lyxell / logifix
Fixing static analysis violations in Java source code using Datalog
☆17Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for logifix
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆16Updated 3 weeks ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- Pluggable type-checking for Java☆19Updated this week
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆39Updated 9 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- An overview of property-based testing functionality☆54Updated 6 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆76Updated 8 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆90Updated this week
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- Type checking ifdef variability☆76Updated 3 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆52Updated last month
- A Datalog compiler and library☆19Updated 3 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆15Updated 2 years ago
- A Java program synthesizer.☆21Updated 5 years ago
- The Melange Language Workbench☆28Updated last year
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 4 years ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 3 months ago
- ADD extracts features from patches such as repair patterns.☆12Updated last year
- Staged Abstract Interpreters☆65Updated last year
- SMTInterpol interpolating SMT solver☆61Updated 5 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Updated 9 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆92Updated 3 years ago
- KITTeL/KoAT☆21Updated 5 years ago