search

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code
http://svf-tools.github.io/SVF/
Other
1.36k stars 431 forks source link

Steensgaard analysis #119

Open usama54321 opened 5 years ago

usama54321 commented 5 years ago

Hi,

Can you please provide some direction I should take to implement Steensgaard analysis using the pointer analysis framework provided?

Thanks

yuleisui commented 5 years ago

Hi Usama,

Sorry for the late reply. I just came back from overseas.

We have a simple code example to implement an Andersen's analysis on our wiki. It should be fairly easy to modify the rules for your Steensgaard analysis.

https://github.com/SVF-tools/SVF/wiki/Write-a-flow--and-field---insensitive-pointer-analysis