eisop / checker-framework
Pluggable type-checking for Java
☆17Updated this week
Related projects: ⓘ
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated last year
- KeY Theorem Prover for Deductive Java Verification☆42Updated this week
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆12Updated 2 years ago
- Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpa…☆32Updated 2 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆55Updated last week
- JaTyC: a typestate checker for Java☆15Updated 2 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Static checker for Java☆83Updated 9 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 2 years ago
- ☆15Updated 2 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…☆140Updated last month
- Inconsistent code detection for Java.☆14Updated 6 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆38Updated 7 months ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆114Updated last month
- Mutation analysis tool for Coq verification projects☆28Updated 3 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆12Updated 3 weeks ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- PC-miner tool for program chairs☆23Updated 3 months ago
- Software testing optimization tool☆26Updated 7 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆28Updated this week
- ☆70Updated 6 years ago
- Solver for Constrained Horn Clauses☆34Updated this week
- The Termination Problem Database☆27Updated 3 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago