Robert Seacord在RustConf 2026指出，Rust虽以内存安全著称，但Unsafe Rust的语言语义仍多未定，缺少完整形式化内存模型，UB、指针provenance与别名规则尚无定论，编译器行为与Miri等来源也不完全一致。Rust需定义、验证并审计unsafe，才能进入汽车、内核等安全关键领域。