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.
☆612Mar 25, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic PathFinder☆171Feb 26, 2026Updated 3 months ago
- A dynamic symbolic analysis tool for Java☆128Jun 2, 2019Updated 7 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆122Feb 24, 2026Updated 3 months ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆736Sep 22, 2025Updated 8 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…☆181May 28, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Java Ranger is a path-merging extension of Symbolic PathFinder☆16Mar 16, 2026Updated 2 months ago
- Java Concolic Unit Testing Engine☆95Jul 3, 2014Updated 11 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆214Updated this week
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,487Mar 14, 2026Updated 2 months ago
- Soot - A Java optimization framework☆3,082May 29, 2026Updated last week
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆854Updated this week
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated 3 months ago
- Pluggable type-checking for Java☆1,137Updated this week
- AFL-based fuzzing for Java☆240Jan 26, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Static checker for Java☆88Jan 16, 2025Updated last year
- a concolic testing engine for Java☆106Feb 20, 2018Updated 8 years ago
- IFDS/IDE Solver for Soot and other frameworks☆255Mar 19, 2026Updated 2 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 9 months ago
- 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,933Updated this week
- ☆22Sep 28, 2022Updated 3 years ago
- ☆20Jun 23, 2021Updated 4 years ago
- A new version of Soot with a completely overhauled architecture☆794Updated this week
- Automatic test generation for Java☆593Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- JavaSMT - Unified Java API for SMT solvers.☆239Updated this week
- ☆14Feb 19, 2021Updated 5 years ago
- A constraint solver abstraction layer for Java☆21Apr 16, 2023Updated 3 years ago
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated last year
- JPassport☆99Updated this week
- A benchmark to evaluate taint analysis☆29Jun 20, 2022Updated 3 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆181Jun 17, 2025Updated 11 months ago
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆127Sep 19, 2025Updated 8 months ago
- EvoSuite - automated generation of JUnit test suites for Java classes☆908Feb 14, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- KLEE Symbolic Execution Engine☆2,949Updated this week
- Coverage-guided, in-process fuzzing for the JVM☆1,231Updated this week
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- C Bounded Model Checker☆1,064Updated this week
- `ldc` intrinsics for lazy dynamic constants inspired by JEP 303☆17Dec 7, 2022Updated 3 years ago
- ☆75Nov 11, 2017Updated 8 years ago
- Examples on how to use the Spoon Java source code transformation library☆92Sep 20, 2022Updated 3 years ago