[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    Re: [Soot-list] Question about static slicing support in soot
From:       Sai Zhang <szhang () cs ! washington ! edu>
Date:       2012-04-24 16:12:06
Message-ID: CANnq52Fka_YmCS+3oqA6yAux=s=86fq0TwzZ2Wvyx94PtGO=Gg () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


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@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@sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>

[Attachment #5 (text/html)]

<div class="gmail_extra">Thanks Patrick for your information. That is very \
helpful.</div><div class="gmail_extra"><br></div><div class="gmail_extra">So I assume \
there is not any built-in slicing support in soot currently, right? but I look \
forward to seeing Aakarsh&#39;s work been integrated into soot&#39;s trunk.</div> \
<div class="gmail_extra"><br></div><div class="gmail_extra">-Sai<br><br><div \
class="gmail_quote">On Mon, Apr 23, 2012 at 9:53 PM, Patrick Lam <span \
dir="ltr">&lt;<a href="mailto:p.lam@ece.uwaterloo.ca" \
target="_blank">p.lam@ece.uwaterloo.ca</a>&gt;</span> wrote:<br> <blockquote \
class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On 04/23/2012 09:17 PM, \
Sai Zhang wrote:<br> &gt;<br>
&gt; Hi there,<br>
&gt;<br>
&gt; I am wondering are there any interprocedural static slicing algorithms<br>
&gt; implemented in the current soot release? Sorry that I did not find any<br>
&gt; when taking a rough look at soot&#39;s doc and package structure (I can be<br>
&gt; wrong here). Just want to confirm.<br>
&gt;<br>
&gt; If there are some slicing algorithms implemented, could anyone kindly<br>
&gt; point me to the relevant classes, and let me know how easy to<br>
&gt; &quot;customize&quot; it to define my own &quot;statement relevance \
criteria&quot;, such as<br> &gt; implementing thin slicing-like technique \
[PLDI&#39;07] or a dependence<br> &gt; analysis without considering control flow?<br>
<br>
</div></div>Hi Sai,<br>
<br>
One of my students, Aakarsh Nair, has implemented something like thin<br>
slicing. Perhaps we can work together to get it integrated into the Soot<br>
trunk. Here&#39;s a link to his master&#39;s thesis.<br>
<br>
<a href="http://uwspace.uwaterloo.ca/bitstream/10012/5144/1/uw-ethesis.pdf" \
target="_blank">uwspace.uwaterloo.ca/bitstream/10012/5144/1/uw-ethesis.pdf</a><br> \
<br> pat<br>
_______________________________________________<br>
Soot-list mailing list<br>
<a href="mailto:Soot-list@sable.mcgill.ca">Soot-list@sable.mcgill.ca</a><br>
<a href="http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list" \
target="_blank">http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list</a><br> \
</blockquote></div><br></div>



_______________________________________________
Soot-list mailing list
Soot-list@sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list


[prev in list] [next in list] [prev in thread] [next in thread]