Skip to content

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.

Notifications You must be signed in to change notification settings

Tejasker/jpf-core

This branch is 15 commits behind javapathfinder/jpf-core:master.

Folders and files

NameName
Last commit message
Last commit date
Aug 28, 2023
May 31, 2017
Mar 7, 2018
Nov 13, 2023
Aug 23, 2023
Jul 25, 2020
May 31, 2017
Jul 11, 2018
Aug 29, 2023
Jul 14, 2023
Jul 14, 2023
Aug 23, 2023
Jul 14, 2023

Repository files navigation

Java PathFinder

Build Status

An extensible software model checking framework for Java bytecode programs

General Information about JPF

All the latest developments, changes, documentation can be found on our wiki page.

Building and Installing

If you are having problems installing and running JPF, please look at the How to install JPF guide.

We have documented on the wiki a lot of common problems during the install and build processes reported by users. If you are facing any issue, please, make sure that we have not addressed it in documentation. Otherwise, feel free to contact us at [email protected] or open an issue on the Issue Tracker.

Documentation

There is a constant effort to update and add JPF documentation on the wiki. If you would like to contribute in that, please, contact us at [email protected].

Contributions are welcomed and we encourage you to get involved with the community.

Happy Verification -- the Java PathFinder team

About

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.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 100.0%