loiclec / fuzzcheck-rs

Related projects ⓘ

Alternatives and complementary repositories for fuzzcheck-rs

• rust-fuzz / arbitrary
  Generating structured data from arbitrary, unstructured input.
  ☆730Updated last week
• rust-fuzz / trophy-case
  🏆 Collection of bugs uncovered by fuzzing Rust code
  ☆419Updated 3 months ago
• dtolnay / cargo-llvm-lines
  Count lines of LLVM IR per generic function
  ☆415Updated last week
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆192Updated last week
• rust-lang / measureme
  Support crate for rustc's self-profiling feature
  ☆338Updated 5 months ago
• rust-secure-code / safety-dance
  Auditing crates for unsafe code which can be safely replaced
  ☆537Updated 2 years ago
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆255Updated 2 years ago
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆274Updated 2 years ago
• luser / rustfilt
  Demangle Rust symbols
  ☆240Updated last year
• rust-fuzz / honggfuzz-rs
  Fuzz your Rust code with Google-developed Honggfuzz !
  ☆460Updated last month
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆388Updated 3 months ago
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆451Updated 9 months ago
• japaric / rust-san
  How-to: Sanitize your Rust code!
  ☆427Updated 6 years ago
• llogiq / mutagen
  Breaking your Rust code for fun and profit
  ☆628Updated last year
• rust-secure-code / cargo-supply-chain
  Gather author, contributor and publisher data on crates in your dependency graph.
  ☆319Updated 8 months ago
• trailofbits / dylint
  Run Rust lints from dynamic libraries
  ☆404Updated this week
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆586Updated 3 months ago
• matthieu-m / static-rc
  Compile-time reference counting
  ☆437Updated last year
• alexcrichton / coz-rs
  Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz
  ☆217Updated 5 years ago
• hawkw / thingbuf
  in-place allocation-reusing queues for Rust
  ☆290Updated 5 months ago
• nnethercote / dhat-rs
  Heap profiling and ad hoc profiling for Rust programs.
  ☆747Updated 3 months ago
• rust-lang / glacier
  A big 'ol pile of ICE.
  ☆291Updated 6 months ago
• someguynamedjosh / ouroboros
  Easy self-referential struct generation for Rust.
  ☆537Updated 3 months ago
• jswrenn / deflect
  Reflection via DWARF.
  ☆293Updated last year
• nvzqz / static-assertions
  Ensure correct assumptions about constants, types, and more in Rust
  ☆579Updated last year
• dzfranklin / cargo-rr
  A light wrapper around rr, the time-travelling debugger
  ☆142Updated last year
• cargo-public-api / cargo-public-api
  List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…
  ☆399Updated this week
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆662Updated this week
• magnet / metered-rs
  Fast, ergonomic metrics for Rust
  ☆338Updated last month
• mersinvald / aquamarine
  Inline diagrams for rustdoc with mermaid.js
  ☆507Updated last month