icmccorm / mirilliLinks
A study of undefined behavior across foreign function boundaries in Rust libraries.
☆10Updated 10 months ago
Alternatives and similar repositories for mirilli
Users that are interested in mirilli are comparing it to the libraries listed below
Sorting:
- automatially find crashes in the rust compiler & tooling☆78Updated last year
- A framework for writing plugins that integrate with the Rust compiler☆162Updated 3 months ago
- A tool to help with minimization of Rust code☆63Updated 2 months ago
- Eager evaluation of macros like `concat!` and `env!`☆41Updated this week
- Finding ownership bugs at scale.☆26Updated this week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- ☆74Updated last year
- Callgraph generation for rust project☆78Updated 3 years ago
- Mental model for unsafe in Rust☆18Updated 10 months ago
- Define compiler intermediate representation usable by external tools☆98Updated last month
- A dynamic binary tracing tool☆67Updated 3 years ago
- Bechmarks for Rust big integer implementations☆64Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- Trophy case for Rudra bugs.☆40Updated last year
- "Valgrind Client Request" interface for Rust programs☆18Updated 11 months ago
- Ownership analysis that helps translating C to Rust☆31Updated last month
- ☆190Updated 9 months ago
- UB-free and deterministic rustc fuzzer☆92Updated this week
- A test framework for testing rustc diagnostics output☆37Updated this week
- Experimenting with Rust's fundamental data model☆55Updated 2 months ago
- Library facilitating safe pinned initialization☆73Updated last week
- ☆12Updated last week
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Lending iterators on stable Rust☆83Updated last year
- How fast can we recognize a word from a small pre-determined set?☆83Updated 10 months ago
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- ☆35Updated 11 months ago
- Recipes for avoiding bounds checks in Rust, without unsafe!☆131Updated 2 years ago
- Faster integer division and modulus operations☆87Updated 6 months ago
- ☆68Updated last month