Code contributors Contributors
22
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.
Created
May 31, 2017
Updated
Sept. 20, 2024
License
apache-2.0
Github repo
Primary Language, based on Github DataLanguage
Java
Issues
41