lyxell / logifix
Fixing static analysis violations in Java source code using Datalog
☆17Updated 2 years ago
Alternatives and similar repositories for logifix:
Users that are interested in logifix are comparing it to the libraries listed below
- Pluggable type-checking for Java☆20Updated this week
- SymDiff-Differential-Program-Verifier☆34Updated this week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated 3 months ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- An overview of property-based testing functionality☆56Updated 8 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated last year
- SMTInterpol interpolating SMT solver☆62Updated 7 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated last year
- PC-miner tool for program chairs☆24Updated last month
- A framework for testing compilers' type checkers☆52Updated 5 months ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆53Updated 2 weeks ago
- PPLite: convex polyhedra library for Abstract Interpretation☆24Updated 7 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- An SMT Solver for strings☆10Updated 6 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 8 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- ☆53Updated last week
- ☆40Updated 5 years ago
- JavaSMT - Unified Java API for SMT solvers.☆196Updated this week
- Prolog, Datalog, languages, resources, and beyond!☆29Updated 3 months ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 5 years ago
- The LTSmin model checking toolset☆57Updated 2 months ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 3 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆66Updated this week
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Datalog with support for SMT queries and first-order functional programming☆155Updated 3 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 9 months ago