javapathfinder / jpf-core
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.
☆564Updated 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
- Symbolic PathFinder☆144Updated last month
- Automatic test generation for Java☆558Updated last week
- A dynamic symbolic analysis tool for Java☆118Updated 5 years ago
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆786Updated last month
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆696Updated 3 weeks ago
- The DaCapo benchmark suite☆174Updated last week
- Pluggable type-checking for Java☆1,066Updated this week
- EvoSuite - automated generation of JUnit test suites for Java classes☆865Updated 2 months ago
- A new version of Soot with a completely overhauled architecture☆668Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆224Updated this week
- IFDS/IDE Solver for Soot and other frameworks☆240Updated last year
- 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,808Updated this week
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆293Updated 7 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated last month
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆173Updated 3 months ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 6 months ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Programs for producing static and dynamic (runtime) call graphs for Java programs☆804Updated 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…☆153Updated last month
- AFL-based fuzzing for Java☆237Updated 5 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆222Updated 8 months ago
- Soot - A Java optimization framework☆2,956Updated this week
- Detects smells and computes metrics of Java code☆179Updated last month
- coverage guided fuzz testing for java☆230Updated 3 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆110Updated 2 weeks ago
- A suite of tools for analyzing compiled Java code.☆47Updated this week
- Dynamic detection of likely invariants☆223Updated last week
- a concolic testing engine for Java☆105Updated 7 years ago
- Sample project with a basic Maven + JavaParser setup☆94Updated 3 weeks ago