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:
- 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
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 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
- Rust macro to generate self-referential structs☆211Updated 4 years ago
- This crate guarantees that your application is free of panicking branches☆178Updated 6 years ago
- Amazing documentation tooling for Rust☆152Updated 7 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- A graphical debugger for Rust MIR☆194Updated 2 years ago
- A rustc plugin to check for numerical instability☆174Updated 8 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- Rust's missing development batteries☆121Updated 8 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- Scrap Your Rust Boilerplate☆55Updated 7 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Test your Rust Markdown documentation via Cargo☆296Updated last year
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆333Updated 6 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 4 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- A kernel module written in Rust☆135Updated 6 years ago
- A Rust procedural macro for tracing function execution☆337Updated 2 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
- Type-safe transmutations between layout-compatible types.☆122Updated 5 years ago
- GLL parsing framework.☆137Updated last year
- Not a real thing, see https://github.com/rust-lang/rust for rustdoc's actual source code☆104Updated 5 years ago
- Verification working group☆104Updated 6 years ago
- rust elf parsing, manipulation and (re)linking toolkit☆205Updated 5 years ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆444Updated last month