[Soot-list] How compiled class from the main program's execut ion ?

[diana.gheorghiu at mail.mcgill.ca]

Soot does static analyses so I don't think that what you suggest is 
possible. I'm sorry I cannot help you more right now, but I will let 
you know as soon as my fix is integrated into soot.

Diana

Quoting "Dionne, Sebastien" <Sebastien.Dionne at fbn.ca>:

> the main reason is because I got an decompiled class into java source file.
>
> I have a final Object into a innerclass but the object is not instanciate,
> and if the objet is final it can't be change.
>
> It's impossible that the original source file there was something like that
>
>
> x.addEvent(new Event(){final Object obj; .... };);
>
>
> #1 first when you try to recompile the source file generated from Dava, the
> Object obj as to be assign.
>
> like   Object obj = null;   like that the class will compile.. but it's
> still don't make sence.
>
>
> Why I wanted to run the application is when Soot access the first time the
> class X, it could check the objects instanciate or check for syncrhonize
> block.... something like that.
>
> I tought it could helped and if the classes are obfuscated it could
> identifiate which class were actually used.
>
>
> Sébastien Dionne ing. jr.
> Financière Banque Nationale
> Analyste programmeur Senior
> tel : 514-879-3107
> courriel : sebastien.dionne at fbn.ca
>
> -----Original Message-----
> From: eric.bodden at googlemail.com [mailto:eric.bodden at googlemail.com] On
> Behalf Of Eric Bodden
> Sent: 2007/07/04 10:44
> To: Dionne, Sebastien
> Cc: soot-list at sable.mcgill.ca; Diana Gheorghiu
> Subject: Re: [Soot-list] How compiled class from the main program's execut
> ion ?
>
> On 04/07/07, Dionne, Sebastien <Sebastien.Dionne at fbn.ca> wrote:
>> I tought that the -f dava option was for decompiling the class file into
>> java, but Soot wasn't trying to run the application.
>
> Oh that's what you were asking? I don't understand... Why should it
> run the application?
>
>> Caused by: java.lang.RuntimeException: Could not verify approximated
>> Synchronized body!
>
> That's a known limitation of Dava, currently being addressed by Diana
> in our lab.
>
> Eric
>
> --
> Eric Bodden
> Sable Research Group
> McGill University, Montréal, Canada
>
> **************************************************
> AVIS DE NON-RESPONSABILITE: Ce document transmis par courrier 
> electronique est destine uniquement a la personne ou a l'entite a qui 
> il est adresse et peut contenir des renseignements confidentiels et 
> assujettis au secret professionnel. La confidentialite et le secret 
> professionnel demeurent malgre l'envoi de ce document a la mauvaise 
> adresse electronique. Si vous n'etes pas le destinataire vise ou la 
> personne chargee de remettre ce document a son destinataire, veuillez 
> nous en informer sans delai et detruire ce document ainsi que toute 
> copie qui en aurait ete faite. Toute distribution, reproduction ou 
> autre utilisation de ce document est strictement interdite. De plus, 
> le Groupe Financiere Banque Nationale et ses filiales ne peuvent pas 
> etre tenus responsables des dommages pouvant etre causes par des 
> virus ou des erreurs de transmission.
>
> DISCLAIMER: This documentation transmitted by electronic mail is 
> intended for the use of the individual to whom or the entity to which 
> it is addressed and may contain information which is confidential and 
> privileged. Confidentiality and privilege are not lost by this 
> documentation having been sent to the wrong electronic mail address. 
> If you are not the intended recipient or the person responsible for 
> delivering it to the intended recipient please notify the sender 
> immediately and destroy this document as well as any copies of it. 
> Any distribution, reproduction or other use of this document is 
> strictly prohibited. National Bank Financial Group and its affiliates 
> cannot be held liable for any damage that may be caused by viruses or 
> transmission errors.
> **************************************************
>
>
>