<div dir="ltr">Hello Everyone,<div><br></div><div>I have a problem understanding how Soot converts a given "if" condition to Jimple representation. I noticed that the conditions of the "if", "if/else"  are always inverted when compared to the original conditions in the Java code. Below is a gist with a code sample consisting of several branching statements along with the corresponding Jimple representation.</div><div><br></div><div><a href="https://gist.github.com/karthikraobr/8f6bac98d31e4abe64f8eeb7ed3bf13c">https://gist.github.com/karthikraobr/8f6bac98d31e4abe64f8eeb7ed3bf13c</a><br></div><div><br></div><div>It would be great if someone could have a look at the gist and answer the following questions for me:</div><div><br></div><div><ul><li>Is this always the case? i.e. Are the conditions always inverted?</li><li>If so ,what is the rationale behind inverting the condition? </li></ul></div><div><br></div><div>Thanks in advance!</div><div><br></div><div>Cheers,</div><div><div class="gmail_signature">Kaarthik Rao<br></div>
</div></div>