Generating lock graph for nested mutex project

Saurabh Gadia gadia at
Wed Jul 22 16:03:52 UTC 2015

Is there any tool which can be used to generate lock-graph for the JPF
implementation of nested mutex. I have removed unnecessary re-entrant locks
and want to further investigate on which other locks can be avoided with
correct implementation.

code repo:


Saurabh Gadia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the devel mailing list