langston-barrett / treeedbLinks
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
☆69Updated last month
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☆90Updated 4 years ago
- A linter for Soufflé Datalog☆14Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- The Gillian Platform main repository☆85Updated this week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated last month
- ☆49Updated 3 months ago
- Datalog with equality for rust☆68Updated last month
- Staged Abstract Interpreters☆66Updated 2 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆55Updated 3 weeks ago
- Wasm SpecTec specification tools☆51Updated last week
- Datalog + Egg = Good☆66Updated 2 years ago
- 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
- The Daedalus data description language☆72Updated 2 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆68Updated last week
- A Rust hashconsing library.☆32Updated 10 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated 2 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆105Updated this week
- ☆81Updated 7 months ago
- Datalog with support for SMT queries and first-order functional programming☆157Updated 7 months ago
- A formally verified bug finder☆14Updated 6 months ago
- Interface with the rustc compiler for the purpose of program verification☆148Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- Symbolic formula representation and solver interaction library☆161Updated last month
- An overview of property-based testing functionality☆66Updated last month
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆38Updated this week
- A high-performance, parallel, compilation-based symbolic execution engine☆130Updated last week
- Simple grammar-based test case generator☆31Updated last month
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Genetic program repair using GHC☆30Updated last year