安全不是功能，而是不变量

大多数程序员把安全视为一个"要添加的功能"（"加上输入验证就好了"），但 CS:APP 的视角揭示了更深层的真相：安全是**内存布局不变量**的维护——缓冲区边界、指针有效性、类型完整性。一旦这些不变量被破坏，安全漏洞不是"可能发生"而是"必然被利用"（ROP 等技术让概率趋近于 100%）。所以安全不是"做了总比不做好"，而是"没做到 100% 就等于 0%"。