C/C++代码“不安全”的含义：是程序崩溃还是可被攻击者滥用？

当人们说代码“不安全”时，既包含程序崩溃、异常这类稳定性问题，更关键的是指存在可被攻击者利用的漏洞，进而危害用户系统、窃取敏感数据或破坏服务可用性。下面针对你提到的前三种场景，具体拆解它们的风险：

一、数组越界访问（Accessing an array beyond bound） #

数组越界绝非只会导致程序崩溃这么简单：

• 若越界写入的是程序栈帧区域（比如函数返回地址、栈上的权限校验变量），攻击者可构造恶意输入覆盖这些关键数据，让程序跳转到预先植入的恶意代码执行，实现提权、窃取密码等攻击；
• 就算是只读越界，也可能泄露内存中的敏感信息（比如未清理的密钥、其他进程的缓存数据），这些信息会成为攻击者进一步渗透的突破口。

二、内存泄漏（Malloc without free） #

内存泄漏本身不会直接被攻击者用来执行恶意代码，但它会引发间接的安全问题：

• 对于服务器、后台守护进程这类长期运行的程序，内存泄漏会持续消耗系统内存，最终导致程序崩溃、系统卡顿甚至死机；
• 攻击者可通过反复触发内存泄漏的操作（比如频繁发送恶意请求），制造拒绝服务（DoS）攻击，让服务无法响应合法用户的请求，破坏业务可用性。

三、野指针（Dangling pointer） #

野指针指向已释放或未分配的内存区域，风险点在于：

• 直接解引用大概率会导致程序崩溃，但如果攻击者能控制野指针指向的内存内容（比如释放的内存被重新分配为用户可控的数据结构），就可能篡改程序的关键逻辑：比如覆盖权限校验标志绕过认证，或是破坏内存结构间接触发缓冲区溢出，为执行恶意代码创造条件。

总结 #

代码“不安全”是个宽泛的概念——稳定性问题是基础危害，但可被攻击者利用的漏洞才是最严重的安全风险。很多时候这两类问题是关联的：比如数组越界既可能让程序崩溃，也可能成为攻击者的突破口。

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