Alternatives and similar repositories for treeedb

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

• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆67Updated 8 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.
  ☆77Updated last week
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆60Updated 3 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆91Updated this week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆164Updated last week
• GaloisInc / daedalus
  The Daedalus data description language
  ☆84Updated 7 months ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆142Updated this week
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆70Updated last week
• langston-barrett / souffle-lint
  A linter for Soufflé Datalog
  ☆16Updated last year
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆120Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated this week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆34Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆104Updated 3 years ago
• Jezurko / potato
  Experimental MLIR based points-to analysis tool
  ☆18Updated last week
• rems-project / cn
  CN separation logic refinement type system for C
  ☆39Updated this week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆142Updated 5 months ago
• acorrenson / WiSE
  A formally verified bug finder
  ☆13Updated 11 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆68Updated 2 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆169Updated last week
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆67Updated last year
• TiarkRompf / reachability
  ☆53Updated last month
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆208Updated this week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆47Updated last week
• awslabs / rust-smt-ir
  ☆42Updated 4 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆74Updated 5 months ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆53Updated 2 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆72Updated last week
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆56Updated 3 weeks ago