[Soot-list] Soot-list Digest, Vol 52, Issue 7

[dragonwang]

soot-list-request at sable.mcgill.ca wrote:
> 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. Re: exceptions with specjvm2008 (Eric Bodden)
>    2. Analysis of variables (Cristiane Queiroz)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 7 Aug 2009 18:05:11 +0200
> From: Eric Bodden <bodden at st.informatik.tu-darmstadt.de>
> Subject: Re: [Soot-list] exceptions with specjvm2008
> To: Manjiri Namjoshi <manjiri.namjoshi at googlemail.com>
> Cc: soot-list at sable.mcgill.ca
> Message-ID:
> 	<804e3c660908070905w492a8b34y193322d67476f93d at mail.gmail.com>
> Content-Type: text/plain; charset=ISO-8859-1
>
> Hi Manjiri.
>
>   
>> Like dacapo has a soot version (unsigned classes), does specjvm2008 have
>> unsigned jars ?
>>     
>
> I don't think so. But I guess you could build one yourself.
>
>   
>> I am also getting another exception while running the transformed
>> crypto.rsa:
>>
>> Errors in benchmark: crypto.rsa
>>   [iter=1] Interrupted when joining benchmark thread 0: null
>>   [iter=1] java.lang.InterruptedException: null
>> java.lang.Object.wait(Native Method)
>>
>> [iter=1] Iteration failed.
>> [iter=1][bt:1|op:1] java.lang.ExceptionInInitializerError: null
>> Score on crypto.rsa:  **NOT VALID**
>>
>> Is there a work around for this exception ?
>>     
>
> That's hard to say. I have never seen this happen before. I guess that
> Soot is generating invalid code somewhere but you would have to
> produce a stack trace and look at the generated bytecode to see what's
> going on.
>
> Sorry that I can't be of more help.
>
> Eric
>
> --
> Eric Bodden
> Software Technology Group
> Technical University Darmstadt, Germany
>
>
> ------------------------------
>
> Message: 2
> Date: Fri, 7 Aug 2009 16:20:56 -0300
> From: Cristiane Queiroz <criscq at gmail.com>
> Subject: [Soot-list] Analysis of variables
> To: soot-list at sable.mcgill.ca
> Message-ID:
> 	<73ce45380908071220o5b23e985gba9e32933fbb4a19 at mail.gmail.com>
> Content-Type: text/plain; charset="iso-8859-1"
>
> Hi,I'm doing analysis of variables within blocks with Soot.
>
> Initially I have information by Polyglot which works with Block, and the
> Soot works works with Body.
> Do you know how I can make this change?
> Polyglot -> Soot
> for example:
> MethodDecl.body () -> SootMethod.getActiveBody ()
>
> Thank You.
> Cristiane
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090807/4da50dad/attachment-0001.html 
>
> ------------------------------
>
> _______________________________________________
> 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 52, Issue 7
> ****************************************
>
>   
Dear All:

I am a new comer to use the Soot framework. And I am trying to do 
data-flow testing with Soot.
I wonder whether Soot can extract the def-use chains from the source 
code file or its byte code file
please? If this is the case, may I find some examples to make my 
learning life easier please?
I will appreciate your feedback so much!

Regards
Martin