icmccorm / mirilliLinks
A study of undefined behavior across foreign function boundaries in Rust libraries.
☆10Updated 11 months ago
Alternatives and similar repositories for mirilli
Users that are interested in mirilli are comparing it to the libraries listed below
Sorting:
- A tool to help with minimization of Rust code☆64Updated 2 months ago
- automatially find crashes in the rust compiler & tooling☆80Updated last year
- Define compiler intermediate representation usable by external tools☆100Updated last month
- Ownership analysis that helps translating C to Rust☆31Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆162Updated 3 months ago
- "Valgrind Client Request" interface for Rust programs☆18Updated 11 months ago
- Finding ownership bugs at scale.☆29Updated last week
- Bechmarks for Rust big integer implementations☆64Updated last year
- ☆193Updated 10 months ago
- Eager evaluation of macros like `concat!` and `env!`☆41Updated 3 weeks ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- UB-free and deterministic rustc fuzzer☆93Updated 3 weeks ago
- ☆13Updated last week
- ☆74Updated last year
- Library facilitating safe pinned initialization☆75Updated this week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Mental model for unsafe in Rust☆18Updated 11 months ago
- A test framework for testing rustc diagnostics output☆38Updated 3 weeks ago
- Callgraph generation for rust project☆78Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Updated 9 months ago
- Lock ordering enforcement at compile time in Rust☆20Updated 9 months ago
- sptr: The Strict Provenance Polyfill