Alternatives and similar repositories for treeedb:

Users that are interested in treeedb are comparing it to the libraries listed below

• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 3 weeks ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• langston-barrett / souffle-lint
  A linter for Soufflé Datalog
  ☆13Updated 11 months ago
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆67Updated 3 weeks ago
• TiarkRompf / reachability
  ☆46Updated last month
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆95Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 4 months ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆51Updated last year
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆31Updated 8 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 4 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated last week
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆121Updated this week
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated 2 weeks ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆30Updated 3 weeks ago
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated this week
• GaloisInc / daedalus
  The Daedalus data description language
  ☆69Updated 7 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated 4 months ago
• harp-lab / gdlog
  ☆80Updated 5 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆58Updated last month
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 2 weeks ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆66Updated this week
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆35Updated last week
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆97Updated this week
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 10 months ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆37Updated last week
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆128Updated 2 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month