lyxell / logifix
Fixing static analysis violations in Java source code using Datalog
☆17Updated 2 years ago
Related projects: ⓘ
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆15Updated 2 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆55Updated last week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆89Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 2 years ago
- An overview of property-based testing functionality☆52Updated 3 months ago
- Incremental Program Analysis Framework☆89Updated 3 years ago
- An SMT Solver for strings☆9Updated 6 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆89Updated 3 years ago
- Pluggable type-checking for Java☆17Updated this week
- An automated deductive program verifier.☆39Updated last year
- PC-miner tool for program chairs☆23Updated 3 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 2 months ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated last month
- ☆27Updated last month
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- This projects mines maven central and creates a global dependency graph☆30Updated 2 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆15Updated 3 months ago
- JaTyC: a typestate checker for Java☆15Updated 2 months ago
- TriCera: a model checker for C programs☆17Updated this week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- JVM Abstracting Abstract Machine☆25Updated 5 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 last year
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆28Updated last week
- This is an informal repo for ASSERT teammates to share awesome stuff.☆19Updated 3 months ago
- SymDiff-Differential-Program-Verifier☆29Updated 2 weeks ago