Javaコードの並行性を分析できるフレームワークまたはアプリケーション（アプリ）/プログラムがあるかどうか疑問に思っていましたか？
ツールがjreで出荷されたクラスとメソッドのすべての実装を知っている場合、同期されたブロックとメソッド、およびそれらの呼び出し階層の単純な分析になります。ここから、ペトリネットを作成し、デッドロックが発生する可能性があるかどうかを確認できます。
私は何かを見逃していますか、それともこれは本当に簡単ですか？それなら、そのようなことをするクールなツールがあるに違いありませんか？または、そのようなツールは、基礎となるプログラム/ビジネスロジックのために完全に保存されている可能性のあるデッドロックが多すぎることを報告しますか？ペトリネットは、これらの状況を処理するのに十分強力である必要がありますか？
これにより、デッドロックの問題に関連する場合と関連しない場合があるバグを検索するための工数を大幅に節約できます。