摘要：1. 静态分析工具 VS 编译器 编译器负责把C源程序快速、高效地转变为可执行文件，不对代码做类型检查（特别是对分别编译的程序），有益于做到快速与高效。 Lint没有“高效”的要求，可以花更多时间对代码进行更深入、仔细的检查。2. C代码静态分析工具 Its4读取一个或多个 C/C++源程序，将每个源程序分割成函数标志流，然后检查生成的标志是否存在于漏洞数据库中，从而得到每个源程序的所有错误警告列表，并带有相关的描 述。其规则库vulns.i4d定义了各种函数的危险等级，描述等，通过规则匹配来报出风险，但它不能理解程序上下文意思，存在很大的误报。Flawfinder词法扫描和分析，内嵌了一些. 阅读全文

摘要：代码静态检查工具PC-Lint运用实践 如何提交zero bug的产品，如何尽早发现bug，是软件开发工程师和测试工程师都需要思考的问题。我认为高质量的代码是关键，具体实施保障办法有：框架约束，代码评审，以及测试用例的设计和执行。l 框架约束，可以将程序员从编写没有营养、易出错的代码工作中解放出来。程序员只需要写一些配置或描述，就可以由框架生成可运行的代码框架。这既提高了程序员的工作效率，使程序员关注在业务逻辑实现上，也由于框架的约束使程序形成了统一的风格和代码结构。同时由于是自动生成的框架代码，这部分经过严格的测试，可以确保是高质量的代码，大大降低Bug数。l 代码评审，可以发现一些表面问题 阅读全文