Generating lock graph for nested mutex project

[Saurabh Gadia]

hi,
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:
https://github.com/saurabhgadia4/lock-model/blob/rtemsjpf-0.4/rtems/Mutex.java

Thanks,

Saurabh Gadia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20150722/83dacf07/attachment.html>