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

[Sai Zhang]

Thanks Patrick for your information. That is very helpful.

So I assume there is not any built-in slicing support in soot currently,
right? but I look forward to seeing Aakarsh's work been integrated into
soot's trunk.

-Sai

On Mon, Apr 23, 2012 at 9:53 PM, Patrick Lam <p.lam at ece.uwaterloo.ca> wrote:

> 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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120424/6374dd98/attachment.html