Re: Dava creates strange code with synchronized()

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

On Fri, Apr 12, 2002 at 01:27:01PM +0100, Stephen Cheng wrote:
> I just noticed Dava creates some strange code whenever there is a
> synchronised block. It is not able to reconstitute the synchronised block,
> although the code produced seems to be correct with one exception: it is now
> referring to the class soot.dava.toolkits.based.DavaMonitor.

Jerome (the main Dava author) is away at the moment presenting a paper
that specifically discusses this. Have a look at (especially pages 12 to
16 of)

http://www.sable.mcgill.ca/publications/#cc2002-2

Ondrej