blt / bughunt-rustLinks
QuickCheck bug hunting in Rust standard library data structures
☆162Updated 6 years ago
Alternatives and similar repositories for bughunt-rust
Users that are interested in bughunt-rust are comparing it to the libraries listed below
Sorting:
- tracking performance of rustc-generated binaries over time☆102Updated 3 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 6 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆128Updated 4 years ago
- This crate guarantees that your application is free of panicking branches☆178Updated 6 years ago
- A tool to detect code paths leading to Rust's panic handler☆219Updated 4 years ago
- Amazing documentation tooling for Rust☆153Updated 7 years ago
- Rust macro to generate self-referential structs☆212Updated 4 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 5 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- A graphical debugger for Rust MIR☆198Updated 3 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆333Updated 6 years ago
- See instead assert_cmd☆148Updated 7 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- A Rust procedural macro for tracing function execution☆337Updated 2 years ago
- A kernel module written in Rust☆135Updated 6 years ago
- Test your Rust Markdown documentation via Cargo☆300Updated last year
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- A tiny library to efficiently search strings for sets of ASCII characters and byte slices for sets of bytes.☆113Updated last year
- Type-safe transmutations between layout-compatible types.☆122Updated 5 years ago
- Rust's missing development batteries☆121Updated 8 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆102Updated last year
- A fast monadic-style parser combinator designed to work on stable Rust.☆244Updated 3 years ago
- A crate with indexed arenas with small memory footprint☆79Updated last year
- Scrap Your Rust Boilerplate☆56Updated 8 years ago
- A rustc plugin to check for numerical instability☆176Updated 9 years ago
- A compiler plugin to insert flame calls☆388Updated 2 years ago
- symbolic execution engine for Rust☆357Updated 7 years ago
- Help me help you!☆111Updated 4 years ago