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

[Laurie Hendren]

Diana,

This is something you were planning to fix.  Can you please
give an update.

Laurie

+-----------------------------------------------------------------
| Laurie Hendren --- laurie.hendren at mcgill.ca
| Associate Dean (Academic), Faculty of Science,
| Dawson Hall, McGill University, 853 Sherbrooke St W,
| Montreal QC H3A 2T6 Canada, 514-398-7179, fax 514-398-1774
+----------------------------------------------------------------
| For contact and home page info as Professor, Computer Science:
| http://www.sable.mcgill.ca/~hendren   ---  hendren at cs.mcgill.ca
| Research: http://www.sable.mcgill.ca  http://aspectbench.org
+----------------------------------------------------------------


Eric Bodden wrote:
> 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
>>
> 
>