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.☆668Updated 2 months ago
- Automatic test generation for Java☆539Updated this week
- A dynamic symbolic analysis tool for Java☆114Updated 5 years ago
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆764Updated this week
- The DaCapo benchmark suite☆161Updated this week
- Pluggable type-checking for Java☆1,026Updated 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…☆207Updated 3 months 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…☆145Updated 3 months ago
- A new version of Soot with a completely overhauled architecture☆590Updated this week
- EvoSuite - automated generation of JUnit test suites for Java classes☆841Updated 4 months ago
- Phosphor: Dynamic Taint Tracking for the JVM☆166Updated 3 months ago
- AFL-based fuzzing for Java☆234Updated 4 years ago
- Static checker for Java☆84Updated 11 months ago
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆290Updated 6 years ago
- coverage guided fuzz testing for java☆228Updated 3 years ago
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆41Updated 4 years ago
- The SUSHI test case generator☆22Updated 7 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- IFDS/IDE Solver for Soot and other frameworks☆232Updated last year
- A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research☆743Updated 2 weeks ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated last month
- Dynamic detection of likely invariants☆214Updated last week
- 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,758Updated this week
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last week
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆161Updated last week
- The Renaissance Benchmark Suite☆313Updated this week
- Sample project with a basic Maven + JavaParser setup☆91Updated 2 months ago