Alternatives and similar repositories for crown:

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

• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆38Updated last year
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆70Updated 10 months ago
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆26Updated 2 weeks ago
• S2-Lab / ERASan
  ☆44Updated 7 months ago
• lizhuohua / rust-mir-checker
  ☆144Updated 8 months ago
• Artisan-Lab / RAPx
  Rust Analysis Platform
  ☆49Updated this week
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆66Updated 8 months ago
• dwrensha / fuzz-rustc
  setup for fuzzing the Rust compiler
  ☆58Updated 8 months ago
• robinmoussu / cargo-callgraph
  Callgraph generation for rust project
  ☆64Updated 2 years ago
• danielhenrymantilla / rust-uninit
  Read trait fixed to soundly work with uninitalized memory
  ☆25Updated last year
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆140Updated 2 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆73Updated last month
• lizhuohua / rust-ffi-checker
  ☆54Updated 2 years ago
• heinzelotto / rust-callgraph
  Which functions call each other in your rust crate? Static call graph analysis.
  ☆33Updated 4 months ago
• model-checking / kani-github-action
  This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
  ☆11Updated last year
• hlisdero / cargo-check-deadlock
  Find deadlocks in Rust code with Petri net model checking
  ☆26Updated this week
• endorlabs / MIRAI
  ☆119Updated last month
• cdisselkoen / llvm-ir-analysis
  ☆70Updated 11 months ago
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆38Updated last week
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆54Updated 3 months ago
• js2xxx / ferroc
  A lock-free memory allocator
  ☆57Updated this week
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆115Updated this week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆76Updated 2 weeks ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 10 months ago
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆83Updated last year
• PLSysSec / cargo-scan
  A tool for auditing Rust crates
  ☆17Updated 3 weeks ago
• tchajed / rdb
  Debugger written in Rust
  ☆20Updated 2 years ago
• rust-lang / project-ffi-unwind
  ☆36Updated last month
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆68Updated 5 months ago