<div dir="ltr"><div><div>hi,<br></div>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.<br><br></div>code repo: <a href="https://github.com/saurabhgadia4/lock-model/blob/rtemsjpf-0.4/rtems/Mutex.java">https://github.com/saurabhgadia4/lock-model/blob/rtemsjpf-0.4/rtems/Mutex.java</a><br><div><div><br clear="all"><div><div><div class="gmail_signature"><div dir="ltr">Thanks,<div><br></div><div>Saurabh Gadia</div></div></div></div>
</div></div></div></div>