Analyze unsafe Rust code for memory safety and FFI issues.
npx skills add https://github.com/Mte90/dotfiles --skill unsafe-checker-mte90
Please help me install this Agent Skill. Skill: unsafe-checker Source: https://github.com/Mte90/dotfiles/tree/main/.config/opencode/skills/unsafe-checker Command: npx skills add https://github.com/Mte90/dotfiles --skill unsafe-checker-mte90
This Skill provides a comprehensive guide and checklist for writing, reviewing, and understanding unsafe Rust code, ensuring memory safety and preventing undefined behavior.
unsafe blocks and functions.unsafe for performance. They use this Skill to ensure their implementation adheres to Rust's safety invariants and avoids common FFI errors.Use the unsafe-checker skill to review the provided Rust code snippet for potential memory safety issues.
High-intent search queries and answers about installing and using this skill.
To review unsafe Rust code, analyze pointer manipulation, data layout, and panic safety. Focus on ensuring adherence to safety invariants and preventing undefined behavior in unsafe blocks and functions.
Best practices for FFI safety involve enforcing strict rules for pointer handling, string conversions, and panic safety at C code boundaries. This prevents undefined behavior when interacting with external functions.
You need unsafe blocks in Rust when performing operations the compiler cannot verify, such as dereferencing raw pointers or implementing low-level data structures requiring unsafe for performance.
Yes, it analyzes Rust code to identify potential undefined behavior by enforcing rules for pointer manipulation, data layout, and FFI boundaries, ensuring critical safety invariants are maintained.
Common pitfalls in unsafe Rust code include improper pointer manipulation, incorrect data layout assumptions, and lacking panic safety. Adhering to safety invariants helps avoid these critical errors during code reviews.
po4ykaAudit unsafe Rust usage across RIPDPI crates for safety invariants.
scanbottAnalyze PR diffs for SQL safety, LLM trust boundary, and side-effect issues.
yumazakDetect unsafe Rust patterns and enforce safety invariants across codebases.
po4ykaDetect undefined behavior in Rust with Miri and sanitizers.