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
- 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
- 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
- RAMP - Rust Arithmetic in Multiple Precision☆262Updated 3 years ago
- Rust macro to generate self-referential structs☆212Updated 4 years ago
- Amazing documentation tooling for Rust☆153Updated 7 years ago
- See instead assert_cmd☆148Updated 7 years ago
- Rust's missing development batteries☆121Updated 8 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 5 years ago
- A graphical debugger for Rust MIR☆199Updated 3 years ago
- A crate with indexed arenas with small memory footprint☆79Updated last year
- A rustc plugin to check for numerical instability☆176Updated 9 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆104Updated 6 years ago
- A fast monadic-style parser combinator designed to work on stable Rust.☆244Updated 3 years ago
- A kernel module written in Rust☆135Updated 6 years ago
- A tiny library to efficiently search strings for sets of ASCII characters and byte slices for sets of bytes.☆113Updated last year
- symbolic execution engine for Rust☆357Updated 7 years ago
- Efficient transactional memory in rust.☆210Updated 4 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
- In support of measuring heap allocations in Rust programs.☆102Updated 6 years ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆446Updated 5 months ago
- Scrap Your Rust Boilerplate☆56Updated 8 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆333Updated 6 years ago
- A Rust procedural macro for tracing function execution☆339Updated 2 years ago
- A small utility to compare Rust micro-benchmarks.☆363Updated last year