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.
☆568Updated 2 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☆150Updated 2 months ago
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆800Updated this week
- A dynamic symbolic analysis tool for Java☆119Updated 5 years ago
- IFDS/IDE Solver for Soot and other frameworks☆245Updated 2 years ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆701Updated last week
- A new version of Soot with a completely overhauled architecture☆685Updated this week
- The DaCapo benchmark suite☆179Updated 3 weeks ago
- Automatic test generation for Java☆564Updated this week
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated 2 months ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- A symbolic Java virtual machine for program analysis, verification and test generation☆111Updated last week
- AFL-based fuzzing for Java☆237Updated 5 years ago
- Java Concolic Unit Testing Engine☆89Updated 10 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆179Updated 2 months ago
- Phosphor: Dynamic Taint Tracking for the JVM☆175Updated 5 months ago
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆90Updated last year
- Mutation system for Java programs, including OO mutation operators.☆67Updated 6 years ago
- A step-by-step tutorial for Soot (a Java static analysis framework)☆435Updated 2 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 7 months ago
- ☆423Updated this week
- Pluggable type-checking for Java☆1,073Updated this week
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆43Updated 4 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…☆155Updated this week
- coverage guided fuzz testing for java☆230Updated 4 years ago
- Static checker for Java☆86Updated 4 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated last month
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 9 months ago
- JLang: Ahead-of-time compilation of Java programs to LLVM☆297Updated 5 years ago