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.
☆620Sep 17, 2026Updated last month
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 8 months ago
- A dynamic symbolic analysis tool for Java☆129Jun 2, 2019Updated 7 years ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆745Jul 22, 2026Updated 3 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆125Jul 30, 2026Updated 3 months ago
- Java Concolic Unit Testing Engine☆98Jul 3, 2014Updated 12 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆189Oct 26, 2026Updated last week
- Java Ranger is a path-merging extension of Symbolic PathFinder☆16Sep 14, 2026Updated last month
- The official repo of Doop, the declarative pointer analysis framework.☆227Oct 22, 2026Updated last week
- a concolic testing engine for Java☆106Feb 20, 2018Updated 8 years ago
- AFL-based fuzzing for Java☆242Jan 26, 2020Updated 6 years ago
- Soot - A Java optimization framework☆3,103Updated this week
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,503Mar 14, 2026Updated 7 months ago
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆878Updated this week
- Static checker for Java☆89Jan 16, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- COVA - A static analysis tool to compute path conditions☆42Mar 2, 2026Updated 8 months ago
- Pluggable type-checking for Java☆1,151Updated this week
- A new version of Soot with a completely overhauled architecture☆833Updated this week
- IFDS/IDE Solver for Soot and other frameworks☆259Mar 19, 2026Updated 7 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,963Oct 26, 2026Updated last week
- ☆17Jul 11, 2025Updated last year
- Phosphor: Dynamic Taint Tracking for the JVM☆182Jun 17, 2025Updated last year
- Automatic test generation for Java☆599Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆245Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆22Jan 10, 2019Updated 7 years ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- ☆20Jun 23, 2021Updated 5 years ago
- Coverage-guided, in-process fuzzing for the JVM☆1,265Updated this week
- C Bounded Model Checker☆1,157Updated this week
- A resource leak repository☆12Jan 6, 2026Updated 9 months ago
- KLEE Symbolic Execution Engine☆2,993Oct 25, 2026Updated last week
- ☆22Sep 28, 2022Updated 4 years ago
- ☆14Feb 19, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- EvoSuite - automated generation of JUnit test suites for Java classes☆920Feb 14, 2025Updated last year
- A constraint solver abstraction layer for Java☆22Apr 16, 2023Updated 3 years ago
- ☆76Nov 11, 2017Updated 8 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- A benchmark to evaluate taint analysis☆28Jun 20, 2022Updated 4 years ago
- Mutation-guided mutation-based fuzz testing☆54Jul 13, 2024Updated 2 years ago
- ☆11Sep 2, 2024Updated 2 years ago