langston-barrett / treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
☆66Updated 2 weeks ago
Alternatives and similar repositories for treeedb:
Users that are interested in treeedb are comparing it to the libraries listed below
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆66Updated 2 weeks ago
- A linter for Soufflé Datalog☆13Updated 9 months ago
- A Rust hashconsing library.☆30Updated 6 months ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- Datalog with equality for rust☆66Updated 2 months ago
- ☆43Updated last month
- An overview of property-based testing functionality☆56Updated 7 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆94Updated 2 years ago
- Datalog with support for SMT queries and first-order functional programming☆155Updated 2 months ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆51Updated 11 months ago
- Simple grammar-based test case generator☆29Updated 8 months ago
- The Daedalus data description language☆66Updated 5 months ago
- The Gillian Platform main repository☆81Updated this week
- A high-performance, parallel, compilation-based symbolic execution engine☆126Updated this week
- ☆79Updated 2 months ago
- Interface with the rustc compiler for the purpose of program verification☆113Updated this week
- Staged Abstract Interpreters☆65Updated last year
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated last week
- Datalog + Egg = Good☆65Updated last year
- ☆37Updated 5 months ago
- Symbolic execution tool for Sail ISA specifications☆64Updated this week
- Cerberus C semantics☆60Updated this week
- Patches Assured up to Trace Equivalence☆14Updated this week
- An awesome list of e-graph resources☆121Updated this week
- Wasm SpecTec specification tools☆28Updated this week
- CodeHawk Abstract Interpretation Engine and Analyzers☆66Updated 3 weeks ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆31Updated this week
- Rewrite Rule Inference Using Equality Saturation☆121Updated 7 months ago
- Genetic program repair using GHC☆30Updated 8 months ago