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.
☆614Jul 29, 2026Updated last 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☆170Feb 26, 2026Updated 5 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☆124Jul 30, 2026Updated last week
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆742Jul 22, 2026Updated 2 weeks 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…☆182Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Java Concolic Unit Testing Engine☆97Jul 3, 2014Updated 12 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆16Updated this week
- The official repo of Doop, the declarative pointer analysis framework.☆216Aug 1, 2026Updated last week
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,492Mar 14, 2026Updated 4 months ago
- Soot - A Java optimization framework☆3,099Jul 31, 2026Updated last week
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆864Updated this week
- COVA - A static analysis tool to compute path conditions☆41Mar 2, 2026Updated 5 months ago
- Pluggable type-checking for Java☆1,145Updated this week
- AFL-based fuzzing for Java☆241Jan 26, 2020Updated 6 years ago
- 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.
- Static checker for Java☆88Jan 16, 2025Updated last year
- ☆17Jul 11, 2025Updated last year
- a concolic testing engine for Java☆106Feb 20, 2018Updated 8 years 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,949Updated this week
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated 11 months ago
- IFDS/IDE Solver for Soot and other frameworks☆256Mar 19, 2026Updated 4 months ago
- A new version of Soot with a completely overhauled architecture☆812Updated this week
- Automatic test generation for Java☆596Updated this week
- ☆14Feb 19, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆242Updated this week
- A constraint solver abstraction layer for Java☆21Apr 16, 2023Updated 3 years ago
- A benchmark to evaluate taint analysis☆28Jun 20, 2022Updated 4 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆181Jun 17, 2025Updated last year
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- KLEE Symbolic Execution Engine☆2,966Jul 6, 2026Updated last month
- EvoSuite - automated generation of JUnit test suites for Java classes☆916Feb 14, 2025Updated last year
- C Bounded Model Checker☆1,098Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- `ldc` intrinsics for lazy dynamic constants inspired by JEP 303☆17Dec 7, 2022Updated 3 years ago
- Coverage-guided, in-process fuzzing for the JVM☆1,249Updated this week
- JPassport☆100Updated this week
- ☆76Nov 11, 2017Updated 8 years ago
- Examples on how to use the Spoon Java source code transformation library☆92Sep 20, 2022Updated 3 years ago
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆127Jul 25, 2026Updated 2 weeks ago
- Dynamic detection of likely invariants☆258Updated this week