Forward/Backward Interprocedural Slicing in LLVM

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

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.

Hi Rohit. Sorry for the extremely late reply; I was cleaning out my INBOX when I saw your message.

We at Illinois have a partial backwards static inter-procedural slicing pass for LLVM 2.6. It will trace back through arguments but will not trace back from loads to potentially reaching stores. You'd have to use a points-to analysis (like DSA) and add some enhancements to the code to do that.

If you'd like to have that code, just let me know, and I'll ask our advisor about it.

-- John T.