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.
☆579Updated 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:
- Symbolic PathFinder☆160Updated last month
- Automatic test generation for Java☆581Updated this week
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆711Updated last month
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆821Updated this week
- The DaCapo benchmark suite☆190Updated 2 months ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- A dynamic symbolic analysis tool for Java☆121Updated 6 years ago
- JavaSMT - Unified Java API for SMT solvers.☆230Updated this week
- A new version of Soot with a completely overhauled architecture☆742Updated this week
- Pluggable type-checking for Java☆1,101Updated last week
- Java Concolic Unit Testing Engine☆93Updated 11 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆116Updated 3 weeks 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…☆162Updated last week
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 7 months ago
- A suite of tools for analyzing compiled Java code.☆48Updated this week
- The SUSHI test case generator☆23Updated last year
- Examples on how to use the Spoon Java source code transformation library☆91Updated 3 years ago
- Dynamic detection of likely invariants☆237Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated last year
- IFDS/IDE Solver for Soot and other frameworks☆250Updated 2 years ago
- ☆75Updated 7 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆69Updated 3 weeks ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆229Updated last month
- Code samples for the book "JavaParser: Visited" https://leanpub.com/javaparservisited☆102Updated 2 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated last week
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated last year
- Software testing optimization tool☆32Updated last year
- Phosphor: Dynamic Taint Tracking for the JVM☆179Updated 4 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆47Updated last year
- Sample project with a basic Maven + JavaParser setup☆97Updated 3 weeks ago