javapathfinder / jpf-coreView external linksLinks
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.
☆600Dec 16, 2025Updated last month
Alternatives and similar repositories for jpf-core
Users that are interested in jpf-core are comparing it to the libraries listed below
Sorting:
- Symbolic PathFinder☆166Jan 7, 2026Updated last month
- A dynamic symbolic analysis tool for Java☆126Jun 2, 2019Updated 6 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆119Oct 10, 2025Updated 4 months ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆722Sep 22, 2025Updated 4 months ago
- Java Concolic Unit Testing Engine☆94Jul 3, 2014Updated 11 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Jan 23, 2026Updated 3 weeks ago
- The official repo of Doop, the declarative pointer analysis framework.☆203Jun 4, 2025Updated 8 months ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆15Jan 24, 2026Updated 2 weeks ago
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,465Jun 20, 2025Updated 7 months ago
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆833Feb 3, 2026Updated last week
- Soot - A Java optimization framework☆3,068Feb 6, 2026Updated last week
- IFDS/IDE Solver for Soot and other frameworks☆254Updated this week
- Static checker for Java☆87Jan 16, 2025Updated last year
- Spoon is a metaprogramming library to analyze and transform Java source code. is made with , and . It parses source files to build a we…☆1,899Updated this week
- JPassport☆95Updated this week
- a concolic testing engine for Java☆105Feb 20, 2018Updated 7 years ago
- JavaSMT - Unified Java API for SMT solvers.☆230Feb 2, 2026Updated last week
- AFL-based fuzzing for Java☆238Jan 26, 2020Updated 6 years ago
- ☆14Feb 19, 2021Updated 4 years ago
- Pluggable type-checking for Java☆1,126Updated this week
- Automatic test generation for Java☆586Updated this week
- ☆22Sep 28, 2022Updated 3 years ago
- A new version of Soot with a completely overhauled architecture☆770Updated this week
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Sep 19, 2025Updated 4 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 5 months ago
- ☆20Jun 23, 2021Updated 4 years ago
- Coverage-guided, in-process fuzzing for the JVM☆1,193Updated this week
- Examples on how to use the Spoon Java source code transformation library☆91Sep 20, 2022Updated 3 years ago
- A file system implementation to access the contents of Java modules in a unified way.☆39Jan 21, 2026Updated 3 weeks ago
- Dynamic detection of likely invariants☆244Updated this week
- Generates a static website from source code that allows navigation like in an IDE.☆30Sep 20, 2022Updated 3 years ago
- EvoSuite - automated generation of JUnit test suites for Java classes☆895Feb 14, 2025Updated 11 months ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆75Oct 14, 2024Updated last year
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Precision-guided context sensitivity for pointer analysis☆61Jul 2, 2023Updated 2 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆188Oct 28, 2021Updated 4 years ago
- Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.☆6,048Updated this week
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- Packages async-profiler with binaries for all platforms in a single JAR☆155Jan 26, 2026Updated 2 weeks ago