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.
  ☆846Updated last month
• rust-fuzz / trophy-case
  🏆 Collection of bugs uncovered by fuzzing Rust code
  ☆447Updated 2 weeks ago
• rust-fuzz / honggfuzz-rs
  Fuzz your Rust code with Google-developed Honggfuzz !
  ☆498Updated 3 months ago
• dtolnay / cargo-llvm-lines
  Count lines of LLVM IR per generic function
  ☆497Updated last month
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆229Updated 2 weeks ago
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆277Updated 3 years ago
• japaric / rust-san
  How-to: Sanitize your Rust code!
  ☆433Updated 8 years ago
• rust-secure-code / safety-dance
  Auditing crates for unsafe code which can be safely replaced
  ☆567Updated 3 years ago
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆88Updated 2 years ago
• luser / rustfilt
  Demangle Rust symbols
  ☆293Updated 2 years ago
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆499Updated 2 years ago
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆249Updated last week
• rust-secure-code / cargo-supply-chain
  Gather author, contributor and publisher data on crates in your dependency graph.
  ☆346Updated this week
• rust-lang / measureme
  Support crate for rustc's self-profiling feature
  ☆376Updated 7 months ago
• trailofbits / dylint
  Run Rust lints from dynamic libraries
  ☆531Updated this week
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆263Updated 4 years ago
• rust-lang / glacier
  A big 'ol pile of ICE.
  ☆290Updated last year
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆199Updated 3 years ago
• llogiq / mutagen
  Breaking your Rust code for fun and profit
  ☆639Updated 2 years ago
• blt / bughunt-rust
  QuickCheck bug hunting in Rust standard library data structures
  ☆161Updated 6 years ago
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆644Updated last year
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆476Updated last month
• rust-lang / rustwide
  Execute your code on the Rust ecosystem.
  ☆189Updated 3 weeks ago
• rust-secure-code / wg
  Coordination repository for the Secure Code Working Group
  ☆162Updated 4 years ago
• japaric / cargo-call-stack
  Whole program static stack analysis
  ☆649Updated last year
• facebookarchive / cargo-guppy
  Track and query Cargo dependency graphs.
  ☆351Updated 3 years ago
• TimelyDataflow / abomonation
  A mortifying serialization library for Rust
  ☆346Updated 3 years ago
• yaahc / displaydoc
  A derive macro for implementing the display Trait via a doc comment and string interpolation
  ☆354Updated 3 weeks ago
• whatisaphone / genawaiter
  Stackless generators on stable Rust.
  ☆476Updated 3 years ago
• alexcrichton / coz-rs
  Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz
  ☆219Updated 6 years ago