Skip to content
/ jpf-core Public

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.

450 stars 290 forks
Star
Notifications

javapathfinder/jpf-core

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
8 branches 1 tag
Code

Latest commit

@quadhier
quadhier Fix PreciseRaceDetector false alarms (#344), a backport of PR #345 (#347
3408119 Mar 28, 2023
Fix PreciseRaceDetector false alarms (#344), a backport of PR #345 (#347 
)

* Change the misused API which causes PreciseRaceDetector to raise false alarms

* Add four unit tests (two for true positive and two for true negative)
3408119

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
Add ptml plugin (#296)
September 8, 2021 19:56
bin
modified: bin/jpf-sv-comp: adapt script to path convention.
November 14, 2018 05:49
docs/graphics
Uploaded wiki images.
March 7, 2018 14:06
gradle
Updating Gradle Version (#319)
February 8, 2022 17:01
src
Fix PreciseRaceDetector false alarms (#344), a backport of PR #345 (#347
March 28, 2023 07:28
.gitignore
Ignoring reports/ dir
July 10, 2018 19:44
LICENSE-2.0.txt
Initial import
May 30, 2017 17:46
README.md
Update README.md
April 7, 2021 17:52
build.gradle
Updating the git-version plugin (#335)
August 10, 2022 10:44
gradlew
Updating Gradle Version (#319)
February 8, 2022 17:01
gradlew.bat
Updating Gradle Version (#319)
February 8, 2022 17:01
jpf.properties
Added a recursive look-up mechanism for the java.lang.ClassLoader.def…
July 17, 2019 21:08
settings.gradle
Added Java Plugin to the Gradle build (#52)
May 22, 2018 14:20
Java Pathfinder (JPF) General Information about JPF Building and Installing Documentation

README.md

Java Pathfinder (JPF)

build master

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 that might occur during the installation and build processes as reported by the 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 java-pathfinder@googlegroups.com 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 java-pathfinder@googlegroups.com.

Contributions are welcome 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

Readme

Stars

450 stars

Watchers

20 watching

Forks

290 forks

Releases

1 tags

Packages

No packages published

Contributors 27

+ 16 contributors

Languages