javapathfinder의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
JPF는 Java 바이트코드를 위한 확장 가능한 소프트웨어 분석 프레임워크입니다. jpf-core는 모든 JPF 프로젝트의 기반이므로 반드시 설치해야 합니다. 기본 VM 및 모델 검사 인프라를 포함하며, 데드락과 같은 동시성 결함이나 NullPointerException, AssertionError와 같은 처리되지 않은 예외를 검사하는 데 사용할 수 있습니다.
