[LLVMdev] Forward/Backward Interprocedural Slicing in LLVM

[Rohit]

Hi All,

Are there any known implementations of static inter-procedural slicing 
for LLVM (especially forward slicing)?
I did find a few references to it in the archives dating back to 2008, 
but am not sure what the current status is.
Any pointers would be highly appreciated.

Thanks
Rohit

Grad Student
Middleware Security and Testing Group
http://cs.wisc.edu/mist
University of Wisconsin-Madison