[CIL users] Can CIL perform slicing?

[Vijayaraghavan M. <m....@nu...>]

Hi,

I'm wondering if CIL can perform program slicing, given a slicing 
criterion. I looked at the option -doDataSlicing, but I'm not sure how 
to get it to work. There is also no manual entry for this option either.

Also there is the option -sliceGlobal, which is said to "output the 
slice of #pragma cilnoremove(sym) symbols" but it doesn't seem to be 
working that way. It simply outputs the whole function given in "sym"..

Any help with these two options (or slicing using CIL in general) would 
be greatly appreciated.

Thanks!

---

Vijayaraghavan Murali
http://www.comp.nus.edu.sg/~mvijayar