static-analysis - 为什么一些静态分析工具不报告潜在的缓冲区溢出？

Question

我有一个 strcpy 命令的示例，它似乎有缓冲区溢出的风险，但 PVS-Studio 没有发出警告。在我的示例中，strcpy 用于将命令行参数复制到缓冲区中，而不检查命令行参数的大小。如果参数超过缓冲区的大小，这可能会导致缓冲区溢出。

代码示例:

char carg1[13];
int main(int argc, char* argv[])
{
// Get name from the 1st command line arg
       strcpy(carg1, argv[1]);
…
}

在处理到 carg1 之前不检查 argv[1] 的大小。这不应该引起警告吗？

Answer 1

理论上不可能构建一个完美的静态分析工具(这是从停机问题的不确定性等结果得出的)。因此，所有静态分析工具充其量都是启发式方法，可以尝试检测某些类别的错误，即使这样也不一定能检测到所有这些错误。

是的，您上面的代码看起来可能存在缓冲区溢出。老实说，我不知道为什么这个特定的工具无法检测到错误，但我的猜测是分析器使用的内部试探法出于某种原因未能检测到错误。

希望这对您有所帮助!