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.
☆568Updated this 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☆151Updated 2 months ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆704Updated last month
- The DaCapo benchmark suite☆180Updated last month
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆155Updated this week
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- Automatic test generation for Java☆565Updated this week
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆803Updated this week
- IFDS/IDE Solver for Soot and other frameworks☆246Updated 2 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated 3 months ago
- A new version of Soot with a completely overhauled architecture☆697Updated this week
- Java Concolic Unit Testing Engine☆89Updated 10 years ago
- Pluggable type-checking for Java☆1,078Updated this week
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆180Updated 3 weeks ago
- Code samples for the book "JavaParser: Visited" https://leanpub.com/javaparservisited☆101Updated last year
- JavaSMT - Unified Java API for SMT solvers.☆226Updated last week
- Examples on how to use the Spoon Java source code transformation library☆89Updated 2 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆111Updated 2 weeks ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- AFL-based fuzzing for Java☆238Updated 5 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Static checker for Java☆86Updated 5 months ago
- Phosphor: Dynamic Taint Tracking for the JVM☆176Updated last week
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆100Updated 8 months ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- Dynamic detection of likely invariants☆224Updated this week
- ☆191Updated this week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 weeks ago