Rust Sanitizers Miri

What it does

This skill leverages Rust's sanitizers and Miri to detect undefined behavior in your code. It helps identify memory errors like use-after-free, buffer overflows, and data races during testing or development. Miri is a lightweight interpreter that executes Rust code and detects common issues at runtime without requiring full compilation.

When to use it

• Debugging complex memory bugs: When traditional debugging methods fail to pinpoint the root cause of crashes or unexpected behavior.
• Improving code safety: As part of a continuous integration pipeline to proactively catch potential errors before deployment.
• Analyzing unstable crates: When working with third-party libraries where you suspect memory unsafety issues.
• Learning Rust's memory model: To gain a deeper understanding of how Rust manages memory and identify common pitfalls.

Key capabilities

• Utilizes AddressSanitizer (ASan) for detecting memory errors.
• Employs MemorySanitizer (MSan) to find uninitialized reads.
• Integrates with Miri, a lightweight interpreter for runtime checks.
• Provides detailed error reports and stack traces.

Example prompts

• "Run my Rust project using ASan and report any memory errors."
• "Analyze this code snippet with Miri to check for undefined behavior."
• "Can you help me understand the Miri output for this failing test?"

Tips & gotchas

• Requires a Rust development environment. Sanitizers significantly increase compile times, so use them primarily during testing or debugging.