[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    Re: [Soot-list] Soot JCmpExpr, JCmpgExpr,JCmplExpr statements
From:       "Steven Arzt" <Steven.Arzt () cased ! de>
Date:       2015-03-30 13:11:36
Message-ID: 012201d06aeb$0d39e060$27ada120$ () cased ! de
[Download RAW message or body]

This is a multipart message in MIME format.

[Attachment #2 (multipart/related)]
This is a multipart message in MIME format.

[Attachment #4 (multipart/alternative)]


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@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill.CA]
Im Auftrag von christian.grosse@comhem.se
Gesendet: Montag, 30. März 2015 14:17
An: soot-list@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.


[Attachment #7 (text/html)]

<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<html xmlns:v="urn:schemas-microsoft-com:vml" \
xmlns:o="urn:schemas-microsoft-com:office:office" \
xmlns:w="urn:schemas-microsoft-com:office:word" \
xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" \
xmlns="http://www.w3.org/TR/REC-html40"><head><meta name=Generator content="Microsoft \
Word 14 (filtered medium)"><!--[if !mso]><style>v\:* {behavior:url(#default#VML);} \
o\:* {behavior:url(#default#VML);} w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
	{font-family:Calibri;
	panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
	{font-family:Tahoma;
	panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
	{margin:0cm;
	margin-bottom:.0001pt;
	font-size:12.0pt;
	font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
	{mso-style-priority:99;
	color:blue;
	text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
	{mso-style-priority:99;
	color:purple;
	text-decoration:underline;}
span.E-MailFormatvorlage17
	{mso-style-type:personal-reply;
	font-family:"Calibri","sans-serif";
	color:#1F497D;}
.MsoChpDefault
	{mso-style-type:export-only;
	font-size:10.0pt;}
@page WordSection1
	{size:612.0pt 792.0pt;
	margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
	{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=DE link=blue vlink=purple><div \
class=WordSection1><p class=MsoNormal><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Hi \
Christian,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p>&nbsp;</o:p></span></p><p \
class=MsoNormal><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>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 &#8220;if&#8221; condition evaluates this variable and either falls \
through to the next statement or jumps to some other statement father \
away.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><br>Best \
regards,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>  \
Steven<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US \
style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p>&nbsp;</o:p></span></p><div><div \
style='border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0cm 0cm 0cm'><p \
class=MsoNormal><b><span lang=EN-US \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>Von:</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'> \
soot-list-bounces@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill</span><span \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>.CA] <b>Im Auftrag von \
</b>christian.grosse@comhem.se<br><b>Gesendet:</b> Montag, 30. März 2015 \
14:17<br><b>An:</b> soot-list@CS.McGill.CA<br><b>Betreff:</b> [Soot-list] Soot \
JCmpExpr, JCmpgExpr,JCmplExpr statements<o:p></o:p></span></p></div></div><p \
class=MsoNormal><o:p>&nbsp;</o:p></p><div><div><div><div><div><p \
class=MsoNormal><span style='color:black'>Hi everyone,</span><span \
style='font-family:"Calibri","sans-serif";color:black'><o:p></o:p></span></p></div><div><p \
class=MsoNormal><span style='color:black'>I have a question about: JCmpExpr(and \
perhaps JCmpgExpr,JCmplExpr) statements. </span><span \
style='font-family:"Calibri","sans-serif";color:black'><o:p></o:p></span></p></div><div><p \
class=MsoNormal><span \
style='font-family:"Calibri","sans-serif";color:black'>&nbsp;<o:p></o:p></span></p></div><div><p \
class=MsoNormal><span style='color:black'>For example i get this generated Jimple \
code:<br>.<br>.<br>.<br>$b3 = l0&nbsp; cmp&nbsp; 0L;&nbsp;&nbsp;&nbsp;&nbsp; \
&lt;JCmpExpr&gt;<br>if ($b3 != \
0)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \
&lt;JIfStmt&gt;<br>.<br>.<br>.</span><span \
style='font-family:"Calibri","sans-serif";color:black'><br><br>I am not sure how to \
</span><span style='color:black'>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! <img width=19 height=19 id="_x0000_i1025" \
src="cid:image001.png@01D06AFB.D0A3B6B0" alt=Smile></span><span \
style='font-family:"Calibri","sans-serif";color:black'><o:p></o:p></span></p></div><div><p \
class=MsoNormal><span \
style='font-family:"Calibri","sans-serif";color:black'>&nbsp;<o:p></o:p></span></p></div><div><p \
class=MsoNormal><span style='color:black'>Best regards,</span><span \
style='font-family:"Calibri","sans-serif";color:black'><br></span><span \
style='color:black'>Christian G.</span><span \
style='font-family:"Calibri","sans-serif";color:black'><o:p></o:p></span></p></div></div></div></div></div></div></body></html>



["image001.png" (image/png)]

_______________________________________________
Soot-list mailing list
Soot-list@CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list


[prev in list] [next in list] [prev in thread] [next in thread] 

Configure | About | News | Add a list | Sponsored by KoreLogic