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.
☆535Updated last month
Related projects ⓘ
Alternatives and complementary repositories for jpf-core
- Symbolic PathFinder☆130Updated last month
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆667Updated last month
- Pluggable type-checking for Java☆1,023Updated last week
- A dynamic symbolic analysis tool for Java☆113Updated 5 years ago
- The DaCapo benchmark suite☆160Updated 2 weeks ago
- Automatic test generation for Java☆539Updated this week
- Phosphor: Dynamic Taint Tracking for the JVM☆166Updated 3 months ago
- A new version of Soot with a completely overhauled architecture☆586Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆206Updated 3 months ago
- IFDS/IDE Solver for Soot and other frameworks☆232Updated last year
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆763Updated this week
- Dynamic detection of likely invariants☆214Updated last month
- Java Concolic Unit Testing Engine☆88Updated 10 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…☆144Updated 3 months ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆41Updated 4 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated 3 weeks ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- The Renaissance Benchmark Suite☆313Updated this week
- AFL-based fuzzing for Java☆234Updated 4 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated this week
- EvoSuite - automated generation of JUnit test suites for Java classes☆841Updated 3 months ago
- The official repo of Doop, the declarative pointer analysis framework.☆164Updated 2 weeks ago
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- Coverage-guided, in-process fuzzing for the JVM☆1,029Updated 3 weeks ago
- A constraint solver abstraction layer for Java☆20Updated last year
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆161Updated last week
- Software testing optimization tool☆27Updated 9 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,753Updated this week
- ☆71Updated 7 years ago