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

[Dionne, Sebastien]

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.
**************************************************