<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hello Manas,<br>
<br>
you can get the conditions from a unit of the JIfStmt class with the
method getCondition()
(<a class="moz-txt-link-freetext" href="http://www.sable.mcgill.ca/soot/doc/soot/jimple/internal/JIfStmt.html">http://www.sable.mcgill.ca/soot/doc/soot/jimple/internal/JIfStmt.html</a>).
Also you can it propagate with the help of a graph. You can use the
UnitGraph
(<a class="moz-txt-link-freetext" href="http://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/UnitGraph.html">http://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/UnitGraph.html</a>).
With the methods getPredsOf(Unit u) or get getSuccsOf(Unit u) you
can coordinate through the graph of your programm. When you use the
ForwardBranchedFlowAnalysis you can use the UnitGraph in the method
doAnalysis(). When you look in the documentation of
ForwardBranchedFlowAnalysis
(<a class="moz-txt-link-freetext" href="http://www.sable.mcgill.ca/soot/doc/soot/toolkits/scalar/ForwardBranchedFlowAnalysis.html">http://www.sable.mcgill.ca/soot/doc/soot/toolkits/scalar/ForwardBranchedFlowAnalysis.html</a>)
you find some classes which extended this class. Maybe the source
code or this presentation
(<a class="moz-txt-link-freetext" href="http://www.iro.umontreal.ca/~dufour/cours/ift6315/docs/soot-tutorial.pdf">http://www.iro.umontreal.ca/~dufour/cours/ift6315/docs/soot-tutorial.pdf</a>)
helps.<br>
<br>
Regards,<br>
Julien<br>
<br>
<div class="moz-cite-prefix">Am 01.08.2014 12:20, schrieb Manas
Thakur:<br>
</div>
<blockquote
cite="mid:CAOChv7EpGG0S02cBFMH9TUvBszP8OVF-NJwf_ZGoqvf9z+ucqg@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>
<div>
<div>I have been trying to find a series of conditions under
which a path executes. I could find a post in this mailing
list from 2012, which says it is possible with
ForwardBranchedFlowAnalysis. Still I am not clear with how
can the conditions be propagated and aggregated for goto's
and if's generated as a result of various programming
constructs.<br>
</div>
Can someone describe the specific details, or provide a link
to some paper/code-snippet where conditions are propagated
through the various paths of a program in Soot?<br>
<br>
</div>
Thanks and regards,<br>
</div>
Manas<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Soot-list mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Soot-list@CS.McGill.CA">Soot-list@CS.McGill.CA</a>
<a class="moz-txt-link-freetext" href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a>
</pre>
</blockquote>
<br>
</body>
</html>