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.
☆572Updated 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☆154Updated 3 weeks ago
- Automatic test generation for Java☆567Updated this week
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆706Updated 2 months ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 4 months ago
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆810Updated this week
- The DaCapo benchmark suite☆182Updated 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…☆159Updated 2 weeks ago
- Examples on how to use the Spoon Java source code transformation library☆90Updated 2 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆113Updated this week
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Pluggable type-checking for Java☆1,083Updated this week
- Java Concolic Unit Testing Engine☆91Updated 11 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆100Updated 9 months ago
- A new version of Soot with a completely overhauled architecture☆713Updated this week
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated 2 weeks ago
- EvoSuite - automated generation of JUnit test suites for Java classes☆877Updated 5 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Software testing optimization tool☆30Updated last year
- IFDS/IDE Solver for Soot and other frameworks☆249Updated 2 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated 3 weeks ago
- The SUSHI test case generator☆22Updated last year
- ☆75Updated 7 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆168Updated this week
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆43Updated 4 years ago
- ☆436Updated this week
- Phosphor: Dynamic Taint Tracking for the JVM☆177Updated last month
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- Dynamic detection of likely invariants☆229Updated last week