<div dir="ltr">ditto !<br><br>On Tuesday, May 13, 2014 at 7:40:23 AM UTC-7, Marc-André Laverdière wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">Hallo,
<br>
<br>I wanted to know if anybody worked on this lately...
<br>
<br>Marc-André Laverdière-Papineau
<br>Doctorant - PhD Candidate
<br>
<br>On 08/26/2013 01:43 AM, Bernhard Berger wrote:
<br>> Hi Thomas,
<br>>
<br>> I think you can use the dominator information (see [1]) to calculate the
<br>> results. Perhaps you can try [2].
<br>>
<br>>
<br>> Regards,
<br>> Bernhard
<br>>
<br>> [1] <a href="http://en.wikipedia.org/wiki/Dominator_(graph_theory)" target="_blank" rel="nofollow" onmousedown="this.href='http://www.google.com/url?q\75http%3A%2F%2Fen.wikipedia.org%2Fwiki%2FDominator_(graph_theory)\46sa\75D\46sntz\0751\46usg\75AFQjCNGX76e7zWn3q26qubSJCYL-eLIWhw';return true;" onclick="this.href='http://www.google.com/url?q\75http%3A%2F%2Fen.wikipedia.org%2Fwiki%2FDominator_(graph_theory)\46sa\75D\46sntz\0751\46usg\75AFQjCNGX76e7zWn3q26qubSJCYL-eLIWhw';return true;">http://en.wikipedia.org/wiki/<wbr>Dominator_(graph_theory)</a>
<br>> [2]
<br>> <a href="http://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/SimpleDominatorsFinder.html" target="_blank" rel="nofollow" onmousedown="this.href='http://www.google.com/url?q\75http%3A%2F%2Fwww.sable.mcgill.ca%2Fsoot%2Fdoc%2Fsoot%2Ftoolkits%2Fgraph%2FSimpleDominatorsFinder.html\46sa\75D\46sntz\0751\46usg\75AFQjCNGw7i6RO9Nr5IXwltJ0bxLXx-E4xw';return true;" onclick="this.href='http://www.google.com/url?q\75http%3A%2F%2Fwww.sable.mcgill.ca%2Fsoot%2Fdoc%2Fsoot%2Ftoolkits%2Fgraph%2FSimpleDominatorsFinder.html\46sa\75D\46sntz\0751\46usg\75AFQjCNGw7i6RO9Nr5IXwltJ0bxLXx-E4xw';return true;">http://www.sable.mcgill.ca/<wbr>soot/doc/soot/toolkits/graph/<wbr>SimpleDominatorsFinder.html</a>
<br>> Am 15.08.2013 um 19:15 schrieb Herr Thomas Vogel <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="OGxvNPFx_fQJ" rel="nofollow" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">vogel....@me.com</a>
<br>> <mailto:<a href="javascript:" target="_blank" gdf-obfuscated-mailto="OGxvNPFx_fQJ" rel="nofollow" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">vogel....@me.com</a>>>:
<br>>
<br>>> Hi everybody,
<br>>>
<br>>> I' ve following issue:
<br>>> I want to know if a statement in jimple depends on an specific IfStmt.
<br>>> Is there any solution for solving this problem.
<br>>>
<br>>> For example following Java code:
<br>>>
<br>>> public void dependsOnIf() {
<br>>> boolean a = true;
<br>>> if (a) {
<br>>> System.out.println("Depends on 'if (a)' -> if-branch.");
<br>>> } else {
<br>>> System.out.println("Depends on 'if (a)' -> else-branch.");
<br>>> }
<br>>> System.out.println("Depends on nothing.");
<br>>> }
<br>>>
<br>>> Results in the following jimple code (attached is the desired result
<br>>> as comment):
<br>>>
<br>>> this := @this: TaintTrackingTest /* depends on nothing */
<br>>> a = 1 /* depends on nothing */
<br>>> if a == 0 goto nop /* depends on nothing */
<br>>> nop
<br>>> temp$1 = <java.lang.System: java.io.PrintStream out> /* depends on if
<br>>> a == 0 */
<br>>> virtualinvoke temp$1.<java.io.PrintStream: void
<br>>> print(java.lang.String)>("<wbr>Depends on \'if (a)\' -> else-branch.") /*
<br>>> depends on if a == 0 */
<br>>> goto [?= nop]
<br>>> nop
<br>>> temp$0 = <java.lang.System: java.io.PrintStream out> /* depends on if
<br>>> a == 0 */
<br>>> virtualinvoke temp$0.<java.io.PrintStream: void
<br>>> println(java.lang.String)>("<wbr>Depends on \'if (a)\' -> if-branch.") /*
<br>>> depends on if a == 0 */
<br>>> goto [?= nop]
<br>>> nop
<br>>> temp$2 = <java.lang.System: java.io.PrintStream out> /* depends on
<br>>> nothing */
<br>>> virtualinvoke temp$2.<java.io.PrintStream: void
<br>>> println(java.lang.String)>("<wbr>Depends on nothing.") /* depends on nothing */
<br>>> return
<br>>>
<br>>> Regards,
<br>>> Thomas
<br>>> ______________________________<wbr>_________________
<br>>> Soot-list mailing list
<br>>> <a href="javascript:" target="_blank" gdf-obfuscated-mailto="OGxvNPFx_fQJ" rel="nofollow" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">Soot...@sable.mcgill.ca</a> <mailto:<a href="javascript:" target="_blank" gdf-obfuscated-mailto="OGxvNPFx_fQJ" rel="nofollow" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">Soot...@sable.<wbr>mcgill.ca</a>>
<br>>> <a href="http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list" target="_blank" rel="nofollow" onmousedown="this.href='http://www.google.com/url?q\75http%3A%2F%2Fmailman.cs.mcgill.ca%2Fmailman%2Flistinfo%2Fsoot-list\46sa\75D\46sntz\0751\46usg\75AFQjCNGIlTQf7e73va372uZ0ef3qj5-Eqg';return true;" onclick="this.href='http://www.google.com/url?q\75http%3A%2F%2Fmailman.cs.mcgill.ca%2Fmailman%2Flistinfo%2Fsoot-list\46sa\75D\46sntz\0751\46usg\75AFQjCNGIlTQf7e73va372uZ0ef3qj5-Eqg';return true;">http://mailman.cs.mcgill.ca/<wbr>mailman/listinfo/soot-list</a>
<br>>
<br>>
<br>>
<br>> ______________________________<wbr>_________________
<br>> Soot-list mailing list
<br>> <a href="javascript:" target="_blank" gdf-obfuscated-mailto="OGxvNPFx_fQJ" rel="nofollow" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">Soot...@sable.mcgill.ca</a>
<br>> <a href="http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list" target="_blank" rel="nofollow" onmousedown="this.href='http://www.google.com/url?q\75http%3A%2F%2Fmailman.cs.mcgill.ca%2Fmailman%2Flistinfo%2Fsoot-list\46sa\75D\46sntz\0751\46usg\75AFQjCNGIlTQf7e73va372uZ0ef3qj5-Eqg';return true;" onclick="this.href='http://www.google.com/url?q\75http%3A%2F%2Fmailman.cs.mcgill.ca%2Fmailman%2Flistinfo%2Fsoot-list\46sa\75D\46sntz\0751\46usg\75AFQjCNGIlTQf7e73va372uZ0ef3qj5-Eqg';return true;">http://mailman.cs.mcgill.ca/<wbr>mailman/listinfo/soot-list</a>
<br>>
<br>______________________________<wbr>_________________
<br>Soot-list mailing list
<br><a href="javascript:" target="_blank" gdf-obfuscated-mailto="OGxvNPFx_fQJ" rel="nofollow" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">Soot...@CS.McGill.CA</a>
<br><a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" target="_blank" rel="nofollow" onmousedown="this.href='https://www.google.com/url?q\75https%3A%2F%2Fmailman.CS.McGill.CA%2Fmailman%2Flistinfo%2Fsoot-list\46sa\75D\46sntz\0751\46usg\75AFQjCNESpIFG08DX_QShQ4aH7soZrrlBBw';return true;" onclick="this.href='https://www.google.com/url?q\75https%3A%2F%2Fmailman.CS.McGill.CA%2Fmailman%2Flistinfo%2Fsoot-list\46sa\75D\46sntz\0751\46usg\75AFQjCNESpIFG08DX_QShQ4aH7soZrrlBBw';return true;">https://mailman.CS.McGill.CA/<wbr>mailman/listinfo/soot-list</a>
<br></blockquote></div>