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.
  ☆817Updated 2 weeks ago
• rust-fuzz / trophy-case
  🏆 Collection of bugs uncovered by fuzzing Rust code
  ☆438Updated 3 months ago
• rust-fuzz / honggfuzz-rs
  Fuzz your Rust code with Google-developed Honggfuzz !
  ☆489Updated 3 weeks ago
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆216Updated 2 weeks ago
• dtolnay / cargo-llvm-lines
  Count lines of LLVM IR per generic function
  ☆468Updated last week
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆86Updated 2 years ago
• japaric / rust-san
  How-to: Sanitize your Rust code!
  ☆430Updated 7 years 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
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆262Updated 3 years ago
• rust-lang / measureme
  Support crate for rustc's self-profiling feature
  ☆367Updated last month
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆238Updated last month
• rust-lang / glacier
  A big 'ol pile of ICE.
  ☆290Updated last year
• rust-secure-code / safety-dance
  Auditing crates for unsafe code which can be safely replaced
  ☆551Updated 3 years ago
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆194Updated 3 years ago
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆623Updated last year
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆447Updated this week
• trailofbits / dylint
  Run Rust lints from dynamic libraries
  ☆494Updated this week
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆482Updated last year
• rust-lang / rustwide
  Execute your code on the Rust ecosystem.
  ☆184Updated last week
• luser / rustfilt
  Demangle Rust symbols
  ☆263Updated 2 years ago
• blt / bughunt-rust
  QuickCheck bug hunting in Rust standard library data structures
  ☆162Updated 6 years ago
• rust-secure-code / cargo-supply-chain
  Gather author, contributor and publisher data on crates in your dependency graph.
  ☆333Updated 2 months ago
• TimelyDataflow / abomonation
  A mortifying serialization library for Rust
  ☆341Updated 2 years ago
• Shnatsel / libdiffuzz
  Custom memory allocator that helps discover reads from uninitialized memory
  ☆163Updated 4 years ago
• Technolution / rustig
  A tool to detect code paths leading to Rust's panic handler
  ☆217Updated 4 years ago
• llogiq / mutagen
  Breaking your Rust code for fun and profit
  ☆638Updated 2 years ago
• matthieu-m / static-rc
  Compile-time reference counting
  ☆457Updated 3 months ago
• japaric / cargo-call-stack
  Whole program static stack analysis
  ☆637Updated 10 months ago
• jswrenn / deflect
  Reflection via DWARF.
  ☆297Updated 2 years ago
• facebookarchive / cargo-guppy
  Track and query Cargo dependency graphs.
  ☆351Updated 2 years ago