langston-barrett / treeedbLinks
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
☆80Updated this week
Alternatives and similar repositories for treeedb
Users that are interested in treeedb are comparing it to the libraries listed below
Sorting:
- Incremental Program Analysis Framework☆94Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 11 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated last week
- A linter for Soufflé Datalog☆16Updated last year
- The Gillian Platform main repository☆95Updated last month
- Datalog with equality for rust☆72Updated last month
- The Daedalus data description language☆87Updated this week
- CodeHawk Abstract Interpretation Engine and Analyzers☆73Updated last week
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆61Updated 5 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆143Updated last week
- An overview of property-based testing functionality☆80Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- A Rust hashconsing library.☆38Updated last year
- ☆54Updated 3 months ago
- Symbolic formula representation and solver interaction library☆174Updated last week
- The Pulse separation logic DSL for F*☆30Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆81Updated last week
- Dynamically discover the commands used to create a piece of software☆58Updated 3 months ago
- Simple grammar-based test case generator☆39Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆127Updated this week
- CN separation logic refinement type system for C☆44Updated this week
- A formally verified bug finder☆14Updated last year
- A toy symbolic execution engine, supporting the blog article ...☆18Updated 4 years ago
- Analyze Rust crates without touching compiler internals☆281Updated this week
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆68Updated last year
- ☆43Updated 7 months ago
- Wasm SpecTec specification tools☆84Updated last week
- library learning w egraphs☆25Updated 2 years ago