如果能够在代码提交测试之前发现这些潜在的错误,就能够极大地减轻测试人员的压力,减少软件项目的除错成本,可是传统的C/C++编译器对此已经无能为力,这个任务只能由专用的代码检查工具完成。有很多C/C++静态代码检查工具,其中Logiscope RuleChecker和PC-Lint 是应用比较广泛的两个工具
PC Linit简介:
1.它是一个静态代码检查工具。
2.它是付费的。
https://baike.baidu.com/item/PC-lint/8340681?fr=aladdin#4_1
http://blog.163.com/sam_chen_cn/blog/static/1216438732011753300288/
Klocwork