Displaying 1 result from an estimated 1 matches for "329d9edf".
2017 Mar 10
2
flow-sensitive alias analysis
Hi,
I am looking for some flow-sensitive (context-insensitive) alias
analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch
to 4.0 soon.)
As far as I know, none of the built-in analysis (basicAA,
globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I
searched and came across these two
1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8)
2.