javapathfinder/jpf-core
@javapathfinderJPF는 Java 바이트코드를 위한 확장 가능한 소프트웨어 분석 프레임워크입니다. jpf-core는 모든 JPF 프로젝트의 기반이므로 반드시 설치해야 합니다. 기본 VM 및 모델 검사 인프라를 포함하며, 데드락과 같은 동시성 결함이나 NullPointerException, AssertionError와 같은 처리되지 않은 예외를 검사하는 데 사용할 수 있습니다.
스타
616
포크
412
언어
Java
라이선스
—
마지막 푸시
3일 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.