[Soot-list] Synchronized Sections and soot.

[Richard Gill]

Hi All,

I have used Soot in order to find synchronized sections and some of my work
is based on an assumption of how soot represents this in Jimple.

It is my understanding that the last exitmonitor statement (when you go down
the program line by line), is always followed by a throw statement. This is
effectively a try catch which is injected inside the synchronize. Can I
verify that this injected exitmonitor followed by a throw statement will
always come last? If it doesn't then my assumptions are incorrect and my
implementation will probably break at some point.

Thanks,

Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100212/ed585886/attachment.html