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:
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 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☆217Updated 4 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago
- Amazing documentation tooling for Rust☆153Updated 7 years ago
- Rust macro to generate self-referential structs☆210Updated 4 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆129Updated 3 years ago
- See instead assert_cmd☆147Updated 7 years ago
- A rustc plugin to check for numerical instability☆175Updated 9 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 5 years ago
- A graphical debugger for Rust MIR☆195Updated 3 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- A kernel module written in Rust☆135Updated 6 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆103Updated 6 years ago
- Help me help you!☆111Updated 4 years ago
- A crate with indexed arenas with small memory footprint☆78Updated last year
- A tiny library to efficiently search strings for sets of ASCII characters and byte slices for sets of bytes.☆113Updated last year
- Rust's missing development batteries☆121Updated 8 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆208Updated 2 years ago
- Type-safe transmutations between layout-compatible types.☆122Updated 5 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…☆101Updated last year
- In support of measuring heap allocations in Rust programs.☆101Updated 6 years ago
- Scrap Your Rust Boilerplate☆56Updated 7 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆333Updated 6 years ago
- Allocators in Rust☆316Updated 5 years ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆443Updated 2 months ago