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.
☆594Updated last month
Alternatives and similar repositories for jpf-core
Users that are interested in jpf-core are comparing it to the libraries listed below
Sorting:
- Automatic test generation for Java☆583Updated last week
- Symbolic PathFinder☆166Updated 3 weeks ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆720Updated 4 months ago
- Pluggable type-checking for Java☆1,121Updated last week
- JavaSMT - Unified Java API for SMT solvers.☆230Updated this week
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆830Updated this week
- The DaCapo benchmark suite☆192Updated 5 months ago
- A dynamic symbolic analysis tool for Java☆125Updated 6 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆213Updated 10 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…☆168Updated last week
- A symbolic Java virtual machine for program analysis, verification and test generation☆119Updated 3 months ago
- Java Concolic Unit Testing Engine☆93Updated 11 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- EvoSuite - automated generation of JUnit test suites for Java classes☆894Updated 11 months ago
- ☆472Updated this week
- A new version of Soot with a completely overhauled architecture☆767Updated this week
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated last week
- Detects smells and computes metrics of Java code☆188Updated 10 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,895Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated this week
- ☆75Updated 8 years ago
- Dynamic detection of likely invariants☆244Updated last week
- The SUSHI test case generator☆23Updated last year
- IFDS/IDE Solver for Soot and other frameworks☆254Updated 3 weeks ago
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆296Updated 8 years ago
- DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)☆345Updated this week
- Sample project with a basic Maven + JavaParser setup☆97Updated 2 weeks ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆175Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆102Updated last year
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated last year