Catch transmuting Option<&T> to Option<&mut T> · rust-lang/rust-clippy#372

(3 留言) (0 反應) (1 負責人)Rust (10,406 star) (1,391 fork)batch import

C-enhancementE-mediumT-middlegood first issue

描述

Rustc already has a lint (mutable_transmutes) that catches transmutes from &T to &mut T, which can cause undefined behaviour. However, it doesn't catch minor variations of this problem, like Option<&T> -> Option<&mut T>, which are presumably just as dangerous. I've seen this particular example in real code. It would be nice to have a lint that catches this case (and ideally, other instances of the same problem, although this could get quite complex in the fully general case).

貢獻者指南

技術棧: rust
領域: tooling
議題類型: feature
難度: 3
預計時間: 1-2 days
活動狀態: stale
清晰度: clear
前置要求: Rust programmingUnderstanding of transmute and undefined behaviorClippy lint architectureRust testing
新手友善度: 55
研究方向: Examine the existing `mutable transmutes` lint implementation in clippy, likely in `clippy lints/src/transmute.rs`. Understand how it detects transmutes from `&T` to `&mut T`. Then extend the logic to handle `Option<&T>` to `Option<&mut T>` by checking the inner types. Consider also other generic wrappers. Write tests to cover the new cases.