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.
☆609Mar 25, 2026Updated this week
Alternatives and similar repositories for jpf-core
Users that are interested in jpf-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic PathFinder☆168Feb 26, 2026Updated last month
- A dynamic symbolic analysis tool for Java☆127Jun 2, 2019Updated 6 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆121Feb 24, 2026Updated last month
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆726Sep 22, 2025Updated 6 months 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…☆171Mar 16, 2026Updated last week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Java Ranger is a path-merging extension of Symbolic PathFinder☆15Mar 16, 2026Updated last week
- Java Concolic Unit Testing Engine☆95Jul 3, 2014Updated 11 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆206Mar 15, 2026Updated 2 weeks ago
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,476Mar 14, 2026Updated 2 weeks ago
- Soot - A Java optimization framework☆3,076Mar 3, 2026Updated 3 weeks ago
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆837Mar 20, 2026Updated last week
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated 3 weeks ago
- Pluggable type-checking for Java☆1,135Updated this week
- AFL-based fuzzing for Java☆238Jan 26, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Static checker for Java☆87Jan 16, 2025Updated last year
- ☆17Jul 11, 2025Updated 8 months ago
- a concolic testing engine for Java☆106Feb 20, 2018Updated 8 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 7 months ago
- IFDS/IDE Solver for Soot and other frameworks☆255Mar 19, 2026Updated last week
- 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,906Updated this week
- ☆22Sep 28, 2022Updated 3 years ago
- ☆20Jun 23, 2021Updated 4 years ago
- A new version of Soot with a completely overhauled architecture☆776Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automatic test generation for Java☆587Mar 19, 2026Updated last week
- JavaSMT - Unified Java API for SMT solvers.☆232Updated this week
- ☆14Feb 19, 2021Updated 5 years ago
- Mutation-guided mutation-based fuzz testing☆51Jul 13, 2024Updated last year
- A constraint solver abstraction layer for Java☆21Apr 16, 2023Updated 2 years ago
- A benchmark to evaluate taint analysis☆29Jun 20, 2022Updated 3 years ago
- JPassport☆99Mar 17, 2026Updated last week
- Phosphor: Dynamic Taint Tracking for the JVM☆181Jun 17, 2025Updated 9 months ago
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆127Sep 19, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- EvoSuite - automated generation of JUnit test suites for Java classes☆901Feb 14, 2025Updated last year
- KLEE Symbolic Execution Engine☆2,921Feb 21, 2026Updated last month
- Coverage-guided, in-process fuzzing for the JVM☆1,215Updated this week
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 2 years ago
- C Bounded Model Checker☆1,034Mar 23, 2026Updated last week
- `ldc` intrinsics for lazy dynamic constants inspired by JEP 303☆17Dec 7, 2022Updated 3 years ago
- ☆75Nov 11, 2017Updated 8 years ago