[Soot-list] Soot JCmpExpr, JCmpgExpr,JCmplExpr statements

[Steven Arzt]

Hi Christian,

 

The comparison expressions compare two numeric values. In your example, l0
is checked against zero. If the value in l0 is zero, $b3 is set to true,
otherwise it is set to false. The “if” condition evaluates this variable and
either falls through to the next statement or jumps to some other statement
father away.


Best regards,

  Steven

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA]
Im Auftrag von christian.grosse at comhem.se
Gesendet: Montag, 30. März 2015 14:17
An: soot-list at CS.McGill.CA
Betreff: [Soot-list] Soot JCmpExpr, JCmpgExpr,JCmplExpr statements

 

Hi everyone,

I have a question about: JCmpExpr(and perhaps JCmpgExpr,JCmplExpr)
statements. 

 

For example i get this generated Jimple code:
.
.
.
$b3 = l0  cmp  0L;     <JCmpExpr>
if ($b3 != 0)                <JIfStmt>
.
.
.

I am not sure how to interpret this code segment. What is stored in the $b3
variable? Is it a comparison for equality? Are the JCmpExpr, JCmpgExpr and
JCmplExpr always followed by a JIfStmt in Jimple? Any and all help would be
appreciated! Smile

 

Best regards,
Christian G.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150330/d31e338e/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/png
Size: 1046 bytes
Desc: not available
Url : https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150330/d31e338e/attachment-0001.png