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☆216Updated 4 years ago
- This crate guarantees that your application is free of panicking branches☆178Updated 6 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 6 years ago
- Amazing documentation tooling for Rust☆153Updated 7 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆263Updated 3 years ago
- Rust macro to generate self-referential structs☆210Updated 4 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆128Updated 4 years ago
- See instead assert_cmd☆147Updated 7 years ago
- A rustc plugin to check for numerical instability☆176Updated 9 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
- A graphical debugger for Rust MIR☆197Updated 3 years ago
- Rust's missing development batteries☆121Updated 8 years ago
- A tiny library to efficiently search strings for sets of ASCII characters and byte slices for sets of bytes.☆113Updated last year
- A fast monadic-style parser combinator designed to work on stable Rust.☆244Updated 3 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆333Updated 6 years ago
- Scrap Your Rust Boilerplate☆56Updated 8 years ago
- A kernel module written in Rust☆135Updated 6 years ago
- Compile-time dimensional analysis for various unit systems using Rust's type system.☆312Updated 2 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 5 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- A Rust procedural macro for tracing function execution☆339Updated 2 years ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆213Updated 2 years ago
- Type-safe transmutations between layout-compatible types.☆122Updated 5 years ago
- rust verification condition generator☆96Updated 9 years ago
- Verification working group☆104Updated 6 years ago
- GLL parsing framework.☆138Updated last year
- A compiler plugin to insert flame calls☆387Updated 2 years ago