[Soot-list] cannot convert java.lang.String from jdk1.1.6

[Eric Bodden]

This is a current limitation of dava. See the dozend earlier postings
on the same error for further details.

Eric

On 11/08/07, Laura D <sol_et_terre at yahoo.com> wrote:
> Hi, I am trying to convert java.lang.String in
> jdk1.1.6 and I get this error
>
> C:\jdk1.1.6\src>java soot.Main -f dava
> java.lang.String
> Soot started on Sat Aug 11 11:47:25 EDT 2007
> Verifying exception handling.. Warning: using
> incomplete callgraph containing on
> ly application classes.
> [Call Graph] For information on where the call graph
> may be incomplete, use the
> verbose option to the cg phase.
> .
>
> Decompiling java.lang.String...
> Exception in thread "main" java.lang.RuntimeException:
> Could not verify approxim
> ated Synchronized body
>         at
> soot.dava.toolkits.base.finders.SynchronizedBlockFinder.find(Synchron
> izedBlockFinder.java:163)
>         at
> soot.dava.DavaBody.<init>(DavaBody.java:331)
>         at soot.dava.Dava.newBody(Dava.java:84)
>         at
> soot.PackManager.runBodyPacks(PackManager.java:807)
>         at
> soot.PackManager.runBodyPacks(PackManager.java:451)
>         at
> soot.PackManager.runBodyPacks(PackManager.java:370)
>         at
> soot.PackManager.runPacks(PackManager.java:347)
>         at soot.Main.run(Main.java:203)
>         at soot.Main.main(Main.java:146)
>
> What does this mean and why is this happening? Is
> there any workaround?
>
> Thank you,
>
> Laura
>
> PS - I can attach the class file if need be
>
>
>
> ____________________________________________________________________________________
> Pinpoint customers who are looking for what you sell.
> http://searchmarketing.yahoo.com/
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>


-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada