Alternatives and similar repositories for fuzzcheck-rs

Users that are interested in fuzzcheck-rs are comparing it to the libraries listed below

• rust-fuzz / arbitrary
  Generating structured data from arbitrary, unstructured input.
  ☆840Updated last month
• rust-fuzz / honggfuzz-rs
  Fuzz your Rust code with Google-developed Honggfuzz !
  ☆496Updated 2 months ago
• rust-fuzz / trophy-case
  🏆 Collection of bugs uncovered by fuzzing Rust code
  ☆447Updated 7 months ago
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆276Updated 3 years ago
• japaric / rust-san
  How-to: Sanitize your Rust code!
  ☆434Updated 7 years ago
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆88Updated 2 years ago
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆224Updated this week
• rust-secure-code / safety-dance
  Auditing crates for unsafe code which can be safely replaced
  ☆565Updated 3 years ago
• dtolnay / cargo-llvm-lines
  Count lines of LLVM IR per generic function
  ☆492Updated 3 weeks ago
• rust-lang / glacier
  A big 'ol pile of ICE.
  ☆291Updated last year
• trailofbits / dylint
  Run Rust lints from dynamic libraries
  ☆522Updated this week
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆249Updated 6 months ago
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆472Updated 2 weeks ago
• rust-lang / measureme
  Support crate for rustc's self-profiling feature
  ☆376Updated 6 months ago
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆493Updated last year
• luser / rustfilt
  Demangle Rust symbols
  ☆291Updated 2 years ago
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆263Updated 3 years ago
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆643Updated last year
• rust-lang / rustwide
  Execute your code on the Rust ecosystem.
  ☆189Updated last week
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆199Updated 3 years ago
• rust-secure-code / cargo-supply-chain
  Gather author, contributor and publisher data on crates in your dependency graph.
  ☆346Updated 3 months ago
• rust-secure-code / wg
  Coordination repository for the Secure Code Working Group
  ☆162Updated 4 years ago
• llogiq / mutagen
  Breaking your Rust code for fun and profit
  ☆638Updated 2 years ago
• rust-lang / project-error-handling
  Error handling project group
  ☆263Updated 3 years ago
• blt / bughunt-rust
  QuickCheck bug hunting in Rust standard library data structures
  ☆162Updated 6 years ago
• alexcrichton / coz-rs
  Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz
  ☆218Updated 6 years ago
• Shnatsel / libdiffuzz
  Custom memory allocator that helps discover reads from uninitialized memory
  ☆163Updated 5 years ago
• whatisaphone / genawaiter
  Stackless generators on stable Rust.
  ☆475Updated 3 years ago
• jswrenn / deflect
  Reflection via DWARF.
  ☆298Updated 2 years ago
• japaric / cargo-call-stack
  Whole program static stack analysis
  ☆647Updated last year