Rust变量生命周期与安全：报错防护的漏洞及C等价程序风险

先看你给出的Rust代码：

fn foo() -> &i32 { 
    let x: i32 = 0;
    &x
}

fn main () {
    let p = foo();
    *p = 42 ; // attempt to store 42 at address p => error!
}

1. Rust防范的核心风险：悬垂指针（属于Use-after-free场景） #

你说得没错，报错源于生命周期检查，而这套机制正是用来防止Use-after-free漏洞的。

在这段代码里，foo函数中的x是栈上的局部变量，当foo执行完毕返回时，x占用的栈内存会被系统回收。如果允许返回&x，那么main里的p就会变成一个悬垂指针——指向一块已经被释放、不再属于当前程序合法使用的内存。后续对*p的赋值操作，本质就是在操作已释放的内存，这正是Use-after-free的典型场景。

Rust的生命周期检查通过静态分析提前拦截了这种情况，从编译阶段就杜绝了非法访问已释放内存的可能。

2. 对应的C等价代码及安全风险 #

用C实现同样逻辑的代码如下：

#include <stdio.h>

int* foo() {
    int x = 0;
    return &x;
}

int main() {
    int* p = foo();
    *p = 42;
    printf("%d\n", *p);
    return 0;
}

这段C代码不会在编译时报错，但会触发未定义行为，带来严重安全风险：

• 程序行为不可预测：可能直接崩溃，可能输出随机值，也可能看似正常运行但埋下隐患。
• 可被利用的安全漏洞：攻击者可以通过控制已释放栈内存的内容（比如后续函数调用覆盖这块内存），篡改程序的执行流程，实现代码注入、权限提升等攻击。这类悬垂指针漏洞是二进制安全领域的常见攻击入口。

内容的提问来源于stack exchange，提问作者Rudeus