javapathfinder/jpf-core

JPFは、Javaバイトコード用の拡張可能なソフトウェア解析フレームワークです。jpf-coreはすべてのJPFプロジェクトの基礎であり、常時インストールする必要があります。基本的なVMとモデル検査インフラストラクチャが含まれており、デッドロックなどの並行性欠陥や、NullPointerException、AssertionErrorなどの未処理例外のチェックに使用できます。