Insecure Compiler Optimization

对内存中的敏感数据删除不当可能会危及数据的安全。

Compiler optimization 错误会在以下情况中出现：

1. 机密数据储存在内存中。

2. 内存中的机密数据通过覆盖内容的方式进行清除。



3. 源代码使用一个优化编译器进行编译，从而标识和删除那些将相关内容作为死存储进行覆盖的函数，因为在随后的操作中不会再使用这一内存。
示例 1：以下代码将从用户处读取一个密码，使用该密码连接到后端大型机，然后尝试使用 memset() 来擦除内存中的密码。

  void GetData(char *MFAddr) {
  char pwd[64];
  if (GetPasswordFromUser(pwd, sizeof(pwd))) {
   if (ConnectToMainframe(MFAddr, pwd)) {
		 // Interaction with mainframe
	 }
  }
  memset(pwd, 0, sizeof(pwd));
}

如果例子中的代码被逐字执行，那么它就可以正确地运行，但是如果代码是使用优化的编译器进行编译的，如 Microsoft Visual C++(R) .NET 或者 GCC 3.x，那么 memset() 的调用会被当作一个死存储清除，因为 pwd 缓冲区在其数值被覆盖之后便不会再次使用了 [2]。因为缓冲区 pwd 包含一个敏感值，所以如果数据长期驻留在内存中，应用程序会很容易受到攻击。如果攻击者能够访问正确的内存区域，那么他们就能使用复原后的密码来获取系统的控制权。

为了防止攻击者获取系统机密，通常的做法是覆盖内存中操作的敏感数据，如密码或者用密码编写的密钥。然而，有了优化编译器，程序就不会一直仅按照源代码指示的那样运行。在本例中，编译器将 memset() 调用解析为一段 dead code，这是因为随后的操作不会再使用被写入的内存，然而显而易见的是这样做会引发安全问题。这里的问题是，很多编译器，实际上是很多编程语言在努力提高效率的同时没有考虑这个及其他安全问题。

通常，攻击者会通过一个核心转储或运行时机制来利用这种漏洞，以便访问某个特定应用程序所使用的内存，并恢复机密信息。在攻击者访问到机密信息之后，盗取更多的系统信息就相对简单了，并有可能危及到与该应用程序交互的其他资源。