Re: Flow-sensitive Alias Analysis

[Navindra Umanee <navindra@cs.mcgill.ca>]

Hi Saswat,

I have Global Value Numbering more or less working on Shimple (Jimple
in SSA form) and I'm using that to obtain must alias information.
It's not tested all that extensively and is intraprocedural obviously.

Ondrej also wrote a simple must alias analysis that is intraprocedural
and a little less precise than GVN, but it has the advantage of
working on Jimple directly since it doesn't need SSA.  I have the code
for that too.

Drop me a line if you're interested if you think any of this will suit
your needs.

Cheers,
Navin.

Saswat Anand <saswat@cc.gatech.edu> wrote:
> I am faced with a dataflow problem that needs flow-sensitive must alias
> analysis. So instead of writing it from scratch I am looking for any already
> existing implemenation. If you know of such an implementation based on
> Soot/Spark please let me know. Even a flow-sensitive may alias analyis will
> be a good starting point.
> 
> Thanks a lot.
> Saswat