search

mchalupa / dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MIT License
474 stars 131 forks source link

Intra-procedural slicing #444

Open dokyungs opened 1 year ago

dokyungs commented 1 year ago

Thanks for a great tool!

I was wondering if there is any switch that allows us to perform intra-procedural slicing. Is there?

mchalupa commented 1 year ago

There is none atm, but control and data dependence analysis support intra-procedural computation: https://github.com/mchalupa/dg/search?q=intraproc and all analyses should support specifying the entry point, so it should not be that hard to add such a switch. Maybe there would be needed a small modification to points-to analysis to correctly handle values that are fed into procedures from outside.