Dava and synchronized blocks

[Jelte Jansen <jeltejan@sci.kun.nl>]

Hi,

I have some trouble decompiling synchronized blocks with soot, it seems
that it cannot handle the way the compiler adds exception handling for
synchronization. Is this correct? If so, is there any way to circumvent
the problem?

Jelte Jansen


Exception in thread "main" java.util.NoSuchElementException
	at java.util.LinkedList.getLast(LinkedList.java:118)
	at
soot.dava.toolkits.base.finders.SynchronizedBlockFinder.find_VariableIncreasing(Unknown Source)
	at
soot.dava.toolkits.base.finders.SynchronizedBlockFinder.set_MonitorLevels(Unknown Source)
	at soot.dava.toolkits.base.finders.SynchronizedBlockFinder.find(Unknown
Source)
	at soot.dava.DavaBody.<init>(DavaBody.java:166)
	at soot.dava.Dava.newBody(Dava.java:68)
	at soot.PackManager.runBodyPacks(PackManager.java:446)
	at soot.PackManager.runBodyPacks(PackManager.java:282)
	at soot.PackManager.runPacks(PackManager.java:241)
	at soot.Main.run(Main.java:172)
	at soot.Main.main(Main.java:152)