rust-sanitizers-miri

What problem does it solve?

This Skill helps developers ensure the memory safety and correctness of their Rust code by leveraging powerful runtime sanitizers and the Miri interpreter to detect undefined behavior.

Core Features & Use Cases

• Runtime Sanitization: Detects memory errors like buffer overflows and use-after-free with AddressSanitizer (ASan), ThreadSanitizer (TSan), and MemorySanitizer (MSan).
• Undefined Behavior Detection: Uses Miri to find subtle undefined behavior in unsafe Rust code that traditional compilers and sanitizers might miss.
• Use Case: You've written a complex piece of unsafe Rust code and suspect it might have memory errors or undefined behavior. You can use this Skill to run ASan and Miri to thoroughly validate its correctness before deployment.

Quick Start

Run your Rust tests under Miri to detect undefined behavior.