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
Sorting:
- Incremental Program Analysis Framework☆90Updated 4 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 6 months ago
- An overview of property-based testing functionality☆65Updated 3 weeks ago
- ☆13Updated 5 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆59Updated this week
- ☆37Updated 3 weeks ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated last month
- KITTeL/KoAT☆21Updated 6 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Modbat is a model-based API tester for stateful systems.☆23Updated last year
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated 2 weeks ago
- An SMT Solver for strings☆10Updated 6 years ago
- Deductive verification infrastructure for probabilistic programs☆17Updated last week
- GenProg: heuristic, GP-based automatic program repair for C.☆94Updated 3 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated 6 months ago
- PC-miner tool for program chairs☆27Updated last month
- A framework for testing compilers' type checkers☆52Updated 9 months ago
- SMTInterpol interpolating SMT solver☆66Updated last month
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 10 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- The Melange Language Workbench☆29Updated last year
- Type checking and logical inference for JetBrains MPS☆32Updated last month
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago
- Pluggable type-checking for Java☆21Updated last week
- Genetic program repair using GHC☆30Updated 11 months ago
- Luck -- A Language for Property-Based Generators☆34Updated 2 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆16Updated 9 years ago
- A Java program synthesizer.☆21Updated 6 years ago