[Soot-list] Question about static slicing support in soot

[Patrick Lam]

On 04/23/2012 09:17 PM, Sai Zhang wrote:
>
> Hi there,
>
> I am wondering are there any interprocedural static slicing algorithms
> implemented in the current soot release? Sorry that I did not find any
> when taking a rough look at soot's doc and package structure (I can be
> wrong here). Just want to confirm.
>
> If there are some slicing algorithms implemented, could anyone kindly
> point me to the relevant classes, and let me know how easy to
> "customize" it to define my own "statement relevance criteria", such as
> implementing thin slicing-like technique [PLDI'07] or a dependence
> analysis without considering control flow?

Hi Sai,

One of my students, Aakarsh Nair, has implemented something like thin 
slicing. Perhaps we can work together to get it integrated into the Soot 
trunk. Here's a link to his master's thesis.

uwspace.uwaterloo.ca/bitstream/10012/5144/1/uw-ethesis.pdf

pat