Alternatives and similar repositories for concrat

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

• microsoft / verus-proof-synthesis
  ☆40Updated 2 weeks ago
• viperproject / mendel-verifier
  Capability-based verifier for safe Rust clients of interior mutability
  ☆13Updated 11 months ago
• lizhuohua / rust-ffi-checker
  ☆55Updated 2 years ago
• lizhuohua / rust-mir-checker
  ☆152Updated last year
• ZJU-Automated-Reasoning-Group / lotus
  Program analysis and verification framework
  ☆25Updated this week
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated last month
• wslee / duet
  ☆20Updated 3 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆130Updated 4 months ago
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆43Updated 3 months ago
• LiHRaM / taint
  Thesis code
  ☆26Updated last year
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆192Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆67Updated last year
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 6 months ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated last year
• UniCodeSphere / Creal
  ☆33Updated 8 months ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆54Updated 11 months ago
• kupl / Diver-Artifact
  ☆8Updated 2 years ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆84Updated 4 months ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆245Updated 8 months ago
• FP-Analysis / atomic-condition
  ☆22Updated 5 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆42Updated this week
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆174Updated this week
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆295Updated 2 months ago
• JonasAlaif / russol-alpha
  A tool for synthesis of Rust code, very early prototype
  ☆13Updated last year
• cis547 / cis547vm
  ☆20Updated 5 months ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆56Updated last month
• verus-lang / verus-analyzer
  A Verus compiler front-end for IDEs (derived from rust-analyzer)
  ☆24Updated last week
• secure-foundations / human-eval-verus
  ☆18Updated 3 months ago
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago