lyxell / logifixLinks
Fixing static analysis violations in Java source code using Datalog
☆17Updated 3 years ago
Alternatives and similar repositories for logifix
Users that are interested in logifix are comparing it to the libraries listed below
Sorting:
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- An overview of property-based testing functionality☆75Updated last month
- Pluggable type-checking for Java☆25Updated last week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 5 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆67Updated 2 weeks ago
- Monorepo containing the framework and various core parts of the SynTest ecosystem☆18Updated last week
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 4 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated last year
- SMTInterpol interpolating SMT solver☆68Updated last month
- SymDiff-Differential-Program-Verifier☆38Updated 4 months ago
- PC-miner tool for program chairs☆29Updated 3 weeks ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 5 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- Genetic program repair using GHC☆33Updated last year
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- JaTyC: a typestate checker for Java☆18Updated 4 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- Verifying the optimization phases of the GraalVM compiler☆14Updated 11 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated 2 months ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- Type checking ifdef variability☆79Updated 4 years ago
- The Gillian Platform main repository☆93Updated last month
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago