https://github.com/javapathfinder/jpf-core

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.
https://github.com/javapathfinder/jpf-core

Last synced: about 2 months ago
JSON representation

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.

• Host: GitHub
• URL: https://github.com/javapathfinder/jpf-core
• Owner: javapathfinder
• Created: 2017-05-31T00:28:26.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2024-03-29T19:04:51.000Z (6 months ago)
• Last Synced: 2024-04-12T16:12:51.893Z (5 months ago)
• Language: Java
• Homepage:
• Size: 2.09 MB
• Stars: 498
• Watchers: 21
• Forks: 327
• Open Issues: 38
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-2.0.txt

Awesome Lists containing this project

• awesome-java - Java Path Finder (JPF) - JVM formal verification tool containing a model checker and more. Created by NASA. (Projects / Formal Verification)

README

        
# Java PathFinder

[![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)

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](https://github.com/javapathfinder/jpf-core/wiki) page.

## Building and Installing

If you are having problems installing and running JPF, please look at the [How

to install

JPF](https://github.com/javapathfinder/jpf-core/wiki/How-to-install-JPF) guide.

Note that we have transitioned to OpenJDK with the new version of JPF (for Java 11), so unlike branch `java-8`, the new default version for Java 11 no longer compiles using Oracle's JDK.

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*