javapathfinder / jpf-coreLinks
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.
☆577Updated last week
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☆157Updated 3 weeks ago
- The DaCapo benchmark suite☆189Updated 2 months ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆710Updated 3 weeks ago
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆814Updated last week
- Automatic test generation for Java☆579Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆229Updated last week
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- A new version of Soot with a completely overhauled architecture☆739Updated this week
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 6 months ago
- Software testing optimization tool☆32Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆116Updated this week
- The SUSHI test case generator☆23Updated last year
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- IFDS/IDE Solver for Soot and other frameworks☆249Updated 2 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…☆162Updated 2 weeks ago
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- Sample project with a basic Maven + JavaParser setup☆97Updated last week
- Joana - Information Flow Control for Java☆94Updated 3 years ago
- Examples on how to use the Spoon Java source code transformation library☆90Updated 3 years ago
- ☆75Updated 7 years ago
- Pluggable type-checking for Java☆1,098Updated this week
- A suite of tools for analyzing compiled Java code.☆48Updated last week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated 11 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated 2 weeks ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆170Updated 2 weeks ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Phosphor: Dynamic Taint Tracking for the JVM☆179Updated 3 months ago
- The official repo of Doop, the declarative pointer analysis framework.☆197Updated 4 months ago
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated 3 months ago
- Dynamic detection of likely invariants☆236Updated this week