langston-barrett / treeedbLinks
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
☆76Updated this week
Alternatives and similar repositories for treeedb
Users that are interested in treeedb are comparing it to the libraries listed below
Sorting:
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 7 months ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated last month
- Datalog with support for SMT queries and first-order functional programming☆164Updated this week
- CodeHawk Abstract Interpretation Engine and Analyzers☆70Updated last week
- A linter for Soufflé Datalog☆15Updated last year
- The Gillian Platform main repository☆90Updated last week
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 2 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆140Updated last week
- The Daedalus data description language☆82Updated 7 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆117Updated this week
- Datalog with equality for rust☆71Updated this week
- A Rust hashconsing library.☆35Updated last year
- An overview of property-based testing functionality☆73Updated 4 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated last week
- Wasm SpecTec specification tools☆75Updated last week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago
- Seamless bug-finding for Wasm, C, C++, Rust and Zig☆253Updated 2 weeks ago
- A toy symbolic execution engine, supporting the blog article ...☆18Updated 4 years ago
- Simple grammar-based test case generator☆32Updated this week
- Symbolic formula representation and solver interaction library☆169Updated last week
- Staged Abstract Interpreters☆68Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- ☆53Updated last week
- A formally verified bug finder☆13Updated 11 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Open source binary analysis tools.☆230Updated 2 weeks ago
- The Pulse separation logic DSL for F*☆26Updated last week
- Experimental MLIR based points-to analysis tool☆17Updated this week
- CN separation logic refinement type system for C☆38Updated this week