[Soot-list] Thread.holdsLock(Object)

[Chris Pickett]

Hi Eric,

Can you explain in better detail what you want (maybe with some examples)?
 Do you mean by "simulate the native method" that you want a bytecode-only
version of Thread.holdsLock?  Or do you want a static analysis that tries
to detect when Thread.holdsLock(object) will return true?

caveat: I probably don't have an answer for you.

Cheers,
Chris

On Tue, October 10, 2006 9:17 am, Eric Bodden wrote:
> 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(j
> ava.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
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>