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.
☆577Updated last week
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☆157Updated this week
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆708Updated 4 months ago
- Automatic test generation for Java☆574Updated this week
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆816Updated this week
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- Pluggable type-checking for Java☆1,091Updated this week
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 5 months ago
- A suite of tools for analyzing compiled Java code.☆48Updated last month
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆227Updated last week
- The DaCapo benchmark suite☆189Updated last month
- A symbolic Java virtual machine for program analysis, verification and test generation☆115Updated last week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆160Updated last month
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated 2 weeks ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated 11 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- A new version of Soot with a completely overhauled architecture☆734Updated this week
- The SUSHI test case generator☆23Updated last year
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated 2 months ago
- ☆75Updated 7 years ago
- DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)☆283Updated 2 weeks ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆169Updated last week
- IFDS/IDE Solver for Soot and other frameworks☆251Updated 2 years ago
- ☆443Updated this week
- Dynamic detection of likely invariants☆235Updated this week
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 10 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆32Updated last week
- Mutation system for Java programs, including OO mutation operators.☆67Updated 6 years ago
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆296Updated 7 years ago