PC-Lint 不但能够对程式进行全局分析,识别没有被适当检验的数组下标,报告未被初始化变量,警告使用空指针连同冗余的代码,还能够有效地提出许多程序在空间利用。