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

List:       soot-list
Subject:    Re: [Soot-list] Get reads and writes of a SootField
From:       "Steven Arzt" <Steven.Arzt () cased ! de>
Date:       2014-10-10 7:44:35
Message-ID: 002a01cfe45e$09b3f0c0$1d1bd240$ () cased ! de
[Download RAW message or body]

This is a multipart message in MIME format.

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


Hi Andreas,

 

Have a look at the "SideEffectAnalysis" class in Soot.

 

Best regards,

  Steven

 

Von: soot-list-bounces@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill.CA]
Im Auftrag von Andreas Grimmer
Gesendet: Mittwoch, 8. Oktober 2014 09:36
An: soot-list@CS.McGill.CA
Betreff: [Soot-list] Get reads and writes of a SootField

 

Hello!

 

Is there a possibility in Soot to get all accesses (reads and writes) of a
SootField using an instance?

 

For the instance bInst and the SootField var, I would like to get the write
and read in method bar.

 

public class A {

 

    B bInst = new B();

    

    public void bar() {

        

        bInst.var = 5;

        

        if(bInst.var > 2) {

            

        }

    }

}

 

public class B {

    public int var;

}

 

Thanks in advance!

 

 

Best regards

 

Andreas


[Attachment #5 (text/html)]

<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 HTTP-EQUIV="Content-Type" \
CONTENT="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 14 \
(filtered medium)"><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;}
@font-face
	{font-family:Consolas;
	panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
	{margin:0cm;
	margin-bottom:.0001pt;
	font-size:11.0pt;
	font-family:"Calibri","sans-serif";
	mso-fareast-language:EN-US;}
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;
	font-family:"Calibri","sans-serif";
	color:windowtext;}
span.E-MailFormatvorlage18
	{mso-style-type:personal;
	font-family:"Calibri","sans-serif";
	color:#1F497D;}
span.E-MailFormatvorlage19
	{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='color:#1F497D'>Hi \
Andreas,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US \
style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US \
style='color:#1F497D'>Have a look at the &#8222;SideEffectAnalysis&#8220; class in \
Soot.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US \
style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US \
style='color:#1F497D'>Best regards,<o:p></o:p></span></p><p class=MsoNormal><span \
lang=EN-US style='color:#1F497D'>&nbsp; Steven<o:p></o:p></span></p><p \
class=MsoNormal><span lang=EN-US \
style='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 \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-language:DE'>Von:</span></b><span \
style='font-size:10.0pt;font-family:"Tahoma","sans-serif";mso-fareast-language:DE'> \
soot-list-bounces@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill.CA] <b>Im Auftrag \
von </b>Andreas Grimmer<br><b>Gesendet:</b> Mittwoch, 8. Oktober 2014 \
09:36<br><b>An:</b> soot-list@CS.McGill.CA<br><b>Betreff:</b> [Soot-list] Get reads \
and writes of a SootField<o:p></o:p></span></p></div></div><p \
class=MsoNormal><o:p>&nbsp;</o:p></p><p class=MsoNormal><span \
lang=EN-US>Hello!<o:p></o:p></span></p><p class=MsoNormal><span \
lang=EN-US><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US>Is there a \
possibility in Soot to get all accesses (reads and writes) of a SootField using an \
instance?<o:p></o:p></span></p><p class=MsoNormal><span \
lang=EN-US><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US>For the \
instance </span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>bInst </span><span \
lang=EN-US>and the SootField </span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:#0000C0'>var</span><span \
lang=EN-US>, I would like to get the write and read in method </span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>bar.</span><span \
lang=EN-US><o:p></o:p></span></p><p class=MsoNormal><span \
lang=EN-US><o:p>&nbsp;</o:p></span></p><p class=MsoNormal \
style='text-autospace:none'><b><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>public</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> </span><b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>class</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> A {</span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'><o:p>&nbsp;</o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp; B bInst \
= </span><b><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>new</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> \
B();</span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp; \
</span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp;&nbsp;</span><b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>public</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> </span><b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>void</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> bar() \
{</span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \
</span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;bInst.</span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#0000C0'>var</span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> = \
5;</span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \
</span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>if</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'>(bInst.</span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#0000C0'>var</span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> &gt; 2) \
{</span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \
</span><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><span \
lang=DE-AT style='font-size:10.0pt;font-family:Consolas;color:black'>}</span><span \
lang=DE-AT style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=DE-AT \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp; \
}</span><span lang=DE-AT \
style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal><span lang=DE-AT \
style='font-size:10.0pt;font-family:Consolas;color:black'>}</span><span \
lang=DE-AT><o:p></o:p></span></p><p class=MsoNormal><span \
lang=DE-AT><o:p>&nbsp;</o:p></span></p><p class=MsoNormal \
style='text-autospace:none'><b><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>public</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> </span><b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>class</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> B {</span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal style='text-autospace:none'><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:black'>&nbsp;&nbsp;&nbsp; \
</span><b><span lang=EN-US \
style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>public</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> </span><b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#7F0055'>int</span></b><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'> </span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:#0000C0'>var</span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas;color:black'>;</span><span \
lang=EN-US style='font-size:10.0pt;font-family:Consolas'><o:p></o:p></span></p><p \
class=MsoNormal><span lang=DE-AT \
style='font-size:10.0pt;font-family:Consolas;color:black'>}<o:p></o:p></span></p><p \
class=MsoNormal><span lang=DE-AT \
style='font-size:10.0pt;font-family:Consolas;color:black'><o:p>&nbsp;</o:p></span></p><p \
class=MsoNormal><span lang=EN-US>Thanks in advance!<o:p></o:p></span></p><p \
class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p \
class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p \
class=MsoNormal><span lang=EN-US>Best regards<o:p></o:p></span></p><p \
class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span \
lang=EN-US>Andreas<o:p></o:p></span></p></div></body></html>



_______________________________________________
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