内存安全语言的边界：Rust unsafe 代码的未定义行为审计实战
深度解析 Rust unsafe 代码中的未定义行为（UB）风险，涵盖 Stacked Borrows 别名模型、Miri 检测器原理、常见 UB 模式（悬垂指针转移、未初始化内存读取、越界偏移、违反别名规则），并结合 production-level 审计实践给出可操作的防御策略。
投稿
微信公众账号
微信扫一扫加关注
顶部