[Soot-list] 回复: Soot-list Digest, Vol 75, Issue 6

[wqt4585]

Hi!
 I think the "args[2]" is the method name you want to analysis! Because in "PointsToAnalysis.java ":

line 56:   Map/*<Local>*/ ls = getLocals(c,args[2],"Container");
line 155:  private static Map/* <Integer,Local> */getLocals(SootClass sc, String methodname, String typename) {

Maybe can help you. Good luck!

2011-07-09



wqt4585



发件人: soot-list-request at sable.mcgill.ca
发送时间: 2011-07-09 00:00
主 题: Soot-list Digest, Vol 75, Issue 6
收件人: soot-list at sable.mcgill.ca



Send Soot-list mailing list submissions to 
    soot-list at sable.mcgill.ca 

To subscribe or unsubscribe via the World Wide Web, visit 
    http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list 
or, via email, send a message with subject or body 'help' to 
    soot-list-request at sable.mcgill.ca 

You can reach the person managing the list at 
    soot-list-owner at sable.mcgill.ca 

When replying, please edit your Subject line so it is more specific 
than "Re: Contents of Soot-list digest..." 


Today's Topics: 

   1. Soot survivor's guide - Running the SPARK example on    page 34 
      (John Dee) 
   2. Re: Soot survivor's guide - Running the SPARK example on page 
      34 (Eric Bodden) 


---------------------------------------------------------------------- 

Message: 1 
Date: Thu, 7 Jul 2011 20:40:10 +0100 
From: John Dee <jdsoot at hotmail.com> 
Subject: [Soot-list] Soot survivor's guide - Running the SPARK example 
    on    page 34 
To: <soot-list at sable.mcgill.ca> 
Message-ID: <SNT134-w65F1E626C66D2F68F680D9C6410 at phx.gbl> 
Content-Type: text/plain; charset="iso-8859-1" 


Hi all.  
I have been reading through the Soot survivor's guide. I am currently working through the'Using SPARK' section on page 34. I have downloaded the source and set everything up. I run the example (class PointsToAnalysis) with the command line arguments of 'spark' 'Test1' ??? 
I'm not sure what the 3rd argument should be. I have looked in the source of PointsToAnalysisand see that it should be a method name but I've no idea which method. Can someone pointme in the right direction? Overlooking things like this in the guide can make it a little frustratingat times!  
Thanks & RegardsJD                            
-------------- next part -------------- 
An HTML attachment was scrubbed... 
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20110707/f03d4df3/attachment-0001.html  

------------------------------ 

Message: 2 
Date: Fri, 8 Jul 2011 13:19:53 +0200 
From: Eric Bodden <bodden at st.informatik.tu-darmstadt.de> 
Subject: Re: [Soot-list] Soot survivor's guide - Running the SPARK 
    example on page 34 
To: John Dee <jdsoot at hotmail.com> 
Cc: soot-list at sable.mcgill.ca 
Message-ID: 
    <CALhVNN+MBFugtomUHb7xjaRgQc5x0-NTxaoDwB+0ZQRYnHZ_sg at mail.gmail.com> 
Content-Type: text/plain; charset=ISO-8859-1 

Hi John. 

I am not exactly sure how you come to the arguments 'spark' 'Test1'. 

This document here gives detailed information about all command line 
options to Soot, including Spark: 
www.sable.mcgill.ca/soot/tutorial/usage/ 

Eric 

On 7 July 2011 21:40, John Dee <jdsoot at hotmail.com> wrote: 
> Hi all. 
> I have been reading through the Soot survivor's guide. I am currently 
> working through the 
> 'Using SPARK' section on page 34. I have downloaded the source and set 
> everything up. 
> I run the example (class PointsToAnalysis) with the command line arguments 
> of 
> 'spark' 'Test1' ??? 
> I'm not sure what the 3rd argument should be. I have looked in the source of 
> PointsToAnalysis 
> and see that it should be a method name but I've no idea which method. Can 
> someone point 
> me in the right direction? Overlooking things like this in the guide can 
> make it a little frustrating 
> at times! 
> Thanks & Regards 
> JD 
> _______________________________________________ 
> Soot-list mailing list 
> Soot-list at sable.mcgill.ca 
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list 
> 
> 



--  
Dr. Eric Bodden, http://bodden.de/ 
Principal Investigator in Secure Services at CASED 
Coordinator of the CASED Advisory Board of Study Affairs 
PostDoc at Software Technology Group, Technische Universit?t Darmstadt 
Tel: +49 6151 16-5478? ? Fax: +49 6151 16-5410 
Mailing Address: S2|02 A209, Hochschulstra?e 10, 64289 Darmstadt 


------------------------------ 

_______________________________________________ 
Soot-list mailing list 
Soot-list at sable.mcgill.ca 
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list 


End of Soot-list Digest, Vol 75, Issue 6 
**************************************** 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20110709/e7989da3/attachment-0001.html