julianthome / autorex
A dk.brics FSM to regular-expression-string converter
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for autorex
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- A regular expression to SMT-LIB constraint translator☆10Updated 6 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Java bytecode generator for sound and precise partial program analysis☆23Updated 3 years ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- An SMT Solver for string constraints☆34Updated this week
- An SMT Solver for strings☆10Updated 6 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- descartes: the cartesian hoare logic prover☆12Updated 7 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆92Updated 3 years ago
- Incremental Program Analysis Framework☆91Updated 3 years ago
- A Datalog compiler and library☆19Updated 3 years ago
- Main distribution of Petablox☆36Updated 6 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 6 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- ☆24Updated 2 years ago
- Translate java jar files into Boogie programs☆12Updated 7 months ago
- An automata learning library written in Python.☆49Updated 4 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- A Java program synthesizer.☆21Updated 5 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated last year
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago