javapathfinder/jpf-coreJPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
621 stars411forks35issuespushed Java
moreless
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
An extensible software model checking framework for Java bytecode programs
Java 100%Shell <1%Batchfile <1%
since 2017branch mastergithub.com/javapathfinder/jpf-core ↗
verdict · rules report
Long shot.
Only 6 of the 22 people who sent their first pull request here got it merged.
23 of 57outside PRs merged (40%)
checked