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.
☆593Updated 3 weeks ago
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☆165Updated this week
- A dynamic symbolic analysis tool for Java☆124Updated 6 years ago
- JavaSMT - Unified Java API for SMT solvers.☆229Updated this week
- Automatic test generation for Java☆584Updated this week
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆720Updated 3 months ago
- The DaCapo benchmark suite☆192Updated 5 months ago
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆828Updated 2 weeks ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆212Updated 9 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆117Updated 3 months ago
- IFDS/IDE Solver for Soot and other frameworks☆254Updated this week
- Pluggable type-checking for Java☆1,119Updated this week
- Java Concolic Unit Testing Engine☆93Updated 11 years ago
- A suite of tools for analyzing compiled Java code.☆48Updated 2 weeks ago
- Joana - Information Flow Control for Java☆94Updated 4 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆102Updated last year
- The SUSHI test case generator☆23Updated last year
- Phosphor: Dynamic Taint Tracking for the JVM☆180Updated 6 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Examples on how to use the Spoon Java source code transformation library☆92Updated 3 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆232Updated 3 months ago
- A new version of Soot with a completely overhauled architecture☆761Updated this week
- ☆75Updated 8 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated 2 weeks ago
- Dynamic detection of likely invariants☆243Updated this week
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated this week
- Programs for producing static and dynamic (runtime) call graphs for Java programs☆832Updated last year
- ☆472Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated this week