langston-barrett / treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
☆58Updated 2 weeks ago
Related projects: ⓘ
- A linter for Soufflé Datalog☆12Updated 5 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆65Updated 2 weeks ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago
- Incremental Program Analysis Framework☆89Updated 3 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆44Updated 7 months ago
- ☆36Updated 4 months ago
- Datalog with support for SMT queries and first-order functional programming☆149Updated 2 weeks ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆83Updated 2 years ago
- Simple grammar-based test case generator☆30Updated 4 months ago
- A toy symbolic execution engine, supporting the blog article ...☆16Updated 3 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆54Updated this week
- A formally verified bug finder☆14Updated last year
- Cerberus C semantics☆49Updated this week
- Genetic program repair using GHC☆28Updated 4 months ago
- Datalog with equality for rust☆49Updated 5 months ago
- Datalog + Egg = Good☆65Updated last year
- The Daedalus data description language☆63Updated last month
- Wasm SpecTec specification tools☆25Updated this week
- Staged Abstract Interpreters☆64Updated last year
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 6 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆114Updated last week
- An overview of property-based testing functionality☆52Updated 3 months ago
- Interface with the rustc compiler for the purpose of program verification☆79Updated this week
- Patches Assured up to Trace Equivalence☆15Updated last week
- Rewrite Rule Inference Using Equality Saturation☆113Updated 3 months ago
- Dynamically discover the commands used to create a piece of software☆45Updated 3 months ago
- The Gillian Platform main repository☆75Updated last week
- Symbolic formula representation and solver interaction library☆151Updated 2 weeks ago
- UB-free and deterministic rustc fuzzer☆44Updated 2 months ago
- ☆62Updated 3 months ago