Intra-procedural slicing

[dokyungs]

Thanks for a great tool!

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

[mchalupa]

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.