Alternatives and similar repositories for crusts

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

• uw-pluverse / perses
  language-agnostic program reducer.
  ☆200Updated 3 weeks ago
• microsoft / verus-proof-synthesis
  ☆59Updated last week
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated 2 years ago
• vikramnitin9 / c2saferrust
  ☆31Updated 8 months ago
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆26Updated last week
• lizhuohua / rust-ffi-checker
  ☆62Updated 2 years ago
• LiHRaM / taint
  Thesis code
  ☆26Updated 2 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 9 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆240Updated this week
• asterinas / vostd
  A community preview of ongoing formal verification efforts for Asterinas
  ☆39Updated this week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆61Updated last year
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆148Updated 6 months ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆73Updated this week
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆170Updated 4 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆248Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆65Updated 7 months ago
• anirudhkhatry / CRUST-bench
  Datasets and code for the CRUST-bench paper.
  ☆33Updated last month
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆182Updated last month
• lizhuohua / rust-mir-checker
  ☆162Updated last year
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆125Updated last week
• TELOS-syslab / CortenMM-Artifact
  The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
  ☆33Updated last month
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆12Updated 4 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆100Updated last week
• FP-Analysis / atomic-condition
  ☆21Updated 6 years ago
• microsoft / verus-copilot-vscode
  ☆16Updated 3 weeks ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆38Updated 2 months ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆89Updated 9 months ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆414Updated this week
• goblint / analyzer
  Static analysis framework for C
  ☆227Updated last week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆106Updated 3 years ago