langston-barrett / treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
☆61Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for treeedb
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 2 weeks ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆67Updated this week
- Interface with the rustc compiler for the purpose of program verification☆103Updated this week
- A linter for Soufflé Datalog☆12Updated 7 months ago
- Incremental Program Analysis Framework☆91Updated 3 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆48Updated 9 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆63Updated this week
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 8 months ago
- UB-free and deterministic rustc fuzzer☆49Updated last month
- ☆75Updated 3 weeks ago
- Datalog with support for SMT queries and first-order functional programming☆155Updated 3 weeks ago
- Datalog with equality for rust☆55Updated 3 weeks ago
- Staged Abstract Interpreters☆65Updated last year
- Cerberus C semantics☆53Updated this week
- Simple grammar-based test case generator☆29Updated 6 months ago
- ☆37Updated 3 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆85Updated 2 years ago
- A formally verified bug finder☆14Updated last year
- Datalog + Egg = Good☆65Updated last year
- An awesome list of e-graph resources☆105Updated last week
- Wasm SpecTec specification tools☆27Updated this week
- An overview of property-based testing functionality☆54Updated 5 months ago
- A high-level API for interacting with SMT solvers.☆23Updated 2 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆123Updated this week
- A Rust hashconsing library.☆24Updated 4 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆43Updated 4 months ago
- Dynamically discover the commands used to create a piece of software☆46Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last year
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago
- A toy symbolic execution engine, supporting the blog article ...☆16Updated 3 years ago