[Soot-list] Shimple with Spark

[Ondrej Lhotak]

On Mon, Nov 22, 2004 at 11:20:32AM -0500, Saswat Anand wrote:
> Hi
> 
> I was just wondering if spark runs with shimple form. In that case, the
> spark points-to results will be flow-sensitive (I hope I am correct on
> this).

It should, and yes, the results should be equivalent to flow-sensitive
treatment of local variables (though not a flow-sensitive heap
abstraction).

I don't know if anyone regularly runs it this way (perhaps Navin does),
so there may be the odd bug.

Ondrej

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