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:
- ☆31Updated 5 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated last year
- PC-miner tool for program chairs☆29Updated last month
- Pluggable type-checking for Java☆27Updated last week
- Incremental Program Analysis Framework☆94Updated 4 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆72Updated 2 weeks ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Updated 3 weeks ago
- ☆15Updated 6 years ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 4 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 6 months ago
- JaTyC: a typestate checker for Java☆19Updated 5 months ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- ☆75Updated 8 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 7 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Spoofax runtime☆160Updated 9 months ago
- SMTInterpol interpolating SMT solver☆69Updated last week
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- An automated deductive program verifier.☆43Updated 2 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- ☆17Updated 9 months ago
- Monorepo containing the framework and various core parts of the SynTest ecosystem☆18Updated last week
- JavaSMT - Unified Java API for SMT solvers.☆230Updated last week
- Generates loop invariants for program verification☆63Updated 5 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 5 years ago