[Soot-list] Thread.holdsLock(Object)

[Eric Bodden]

Hi.

I thought it might be useful to simulate the native method Thread.holdsLock(Object) in Soot for some reasons...

http://java.sun.com/j2se/1.4.2/docs/api/java/lang/Thread.html#holdsLock(java.lang.Object)

Now the problem is that the return value of this method really depends on where in the code it is called. Could anyone give me some pointers of how such a method simulation is implemented best in those cases?

Cheers,
Eric

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