Is anyone aware of any implementation of an inter procedural slicing algorithm
for LLVM? I am mostly interested in a static algorithm but a dynamic one can
be helpful too.
Ecole Polytechique Federale de Luasanne
We have done a few class projects on static interprocedural slicing but they are all of “course project” quality. I will put you in touch with some of the students who did those, if you’re interested?
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign