C程序的静态分析工具

Question

我正在为这些寻找静态分析开源工具，

1. 检查函数的返回值。

   foobar = Get_FooBar(...); //this function could return null pointer. 
   foobar->property = value;  //no null check here! 
   

2. malloc返回的指针。

   foobar = (void *)malloc(..);
   foobar->property = value; //return value of malloc is not checked. 
   

cppcheck 没有捕捉到这一点，AFAIK。 你们还有其他推荐的开源/免费软件吗？

Answer 1

List of tools for static code analysis

Static Source Code Analysis Tools for C

Splint

Answer 2

你可以试试PVS-Studio 它不是免费的，但您可以使用免费试用（无需填写任何表格）来查找内存问题。