[Soot-list] Jimple : Inversion of the condition within "if"

[Karthik Rao]

Hello Everyone,

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.

https://gist.github.com/karthikraobr/8f6bac98d31e4abe64f8eeb7ed3bf13c

It would be great if someone could have a look at the gist and answer the
following questions for me:


   - Is this always the case? i.e. Are the conditions always inverted?
   - If so ,what is the rationale behind inverting the condition?


Thanks in advance!

Cheers,
Kaarthik Rao
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20180123/0fc87717/attachment.html>