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.
☆607Dec 16, 2025Updated 2 months ago
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☆165Feb 26, 2026Updated last week
- 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☆120Feb 24, 2026Updated last week
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆726Sep 22, 2025Updated 5 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…☆170Updated this week
- The official repo of Doop, the declarative pointer analysis framework.☆205Updated this week
- Java Ranger is a path-merging extension of Symbolic PathFinder☆15Jan 24, 2026Updated last month
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,466Jun 20, 2025Updated 8 months ago
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆837Mar 1, 2026Updated last week
- Soot - A Java optimization framework☆3,074Updated this week
- IFDS/IDE Solver for Soot and other frameworks☆255Feb 13, 2026Updated 3 weeks ago
- 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,903Mar 2, 2026Updated last week
- JPassport☆97Feb 11, 2026Updated 3 weeks ago
- a concolic testing engine for Java☆105Feb 20, 2018Updated 8 years ago
- JavaSMT - Unified Java API for SMT solvers.☆231Updated this week
- AFL-based fuzzing for Java☆238Jan 26, 2020Updated 6 years ago
- ☆14Feb 19, 2021Updated 5 years ago
- Pluggable type-checking for Java☆1,133Updated this week
- Automatic test generation for Java☆587Mar 2, 2026Updated last week
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated last week
- ☆22Sep 28, 2022Updated 3 years ago
- A new version of Soot with a completely overhauled architecture☆774Updated this week
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Sep 19, 2025Updated 5 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- ☆20Jun 23, 2021Updated 4 years ago
- Coverage-guided, in-process fuzzing for the JVM☆1,202Updated this week
- Phosphor: Dynamic Taint Tracking for the JVM☆181Jun 17, 2025Updated 8 months ago
- 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 last month
- Dynamic detection of likely invariants☆246Feb 20, 2026Updated 2 weeks ago
- A benchmark to evaluate taint analysis☆29Jun 20, 2022Updated 3 years ago
- 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☆897Feb 14, 2025Updated last year
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Mutation-guided mutation-based fuzz testing☆51Jul 13, 2024Updated last year
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆77Oct 14, 2024Updated last year
- Precision-guided context sensitivity for pointer analysis☆61Jul 2, 2023Updated 2 years ago