langston-barrett / treeedbLinks
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
☆73Updated last month
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☆65Updated 5 months ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- A linter for Soufflé Datalog☆14Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆71Updated last week
- A high-performance, parallel, compilation-based symbolic execution engine☆136Updated last week
- Datalog with support for SMT queries and first-order functional programming☆161Updated 2 weeks ago
- The Gillian Platform main repository☆88Updated 2 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆112Updated last week
- Symbolic formula representation and solver interaction library☆166Updated last week
- The Daedalus data description language☆77Updated 4 months ago
- A Rust hashconsing library.☆33Updated last year
- Staged Abstract Interpreters☆69Updated 2 years ago
- A formally verified bug finder☆13Updated 8 months ago
- Rewrite Rule Inference Using Equality Saturation☆133Updated 2 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated last week
- Experimental MLIR based points-to analysis tool☆17Updated last week
- Datalog + Egg = Good☆66Updated 2 years ago
- An overview of property-based testing functionality☆70Updated 2 months ago
- Dynamically discover the commands used to create a piece of software☆50Updated 6 months ago
- Open source binary analysis tools.☆228Updated last week
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆59Updated last week
- Simple grammar-based test case generator☆32Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- ☆53Updated this week
- Wasm SpecTec specification tools☆60Updated this week
- Interface with the rustc compiler for the purpose of program verification☆184Updated this week
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- System for verifying the correctness of generated Copilot programs☆17Updated 3 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated last week