Hello, 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