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

[Eric Bodden]

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