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 它不是免费的，但您可以使用免费试用（不填写任何表格）来查找内存问题。