[Soot-list] Implement strong update analysis in SOOT (Lhotak and Chung's)

[Ondrej Lhotak]

The strong update analysis from my POPL 2011 paper does not make sense
for Java, only for C or C++. This is because all objects in Java are
dynamically allocated, so in general, a single allocation site could
represent multiple concrete objects.

Ondrej

On Mon, Mar 05, 2012 at 06:45:45PM +0100, Z wrote:
> Hello, 
> 
> I would like to know whether SOOT has the implementation of Lhotak's strong
> update analysis?  ( It seems that the author of SOOT decided to implement his
> strong update analysis on LLVM. Does that mean something? -:)
> 
> Otherwise, is there flow-sensitive points-to analysis in SOOT?
> 
> In fact, I would like to reproduce in JAVA the benchmark described in  Lhotak
> and Chung's strong update analysis paper. (POPL2012).
> 
> Thanks.
> 
> Zell.

> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list