摘要： 背景： C/C++编译器不进行强制类型检查，也不做任何边界检查 在代码提交测试之前发现这些潜在的错误 专用的代码检查工具完成 Logiscope RuleChecker和PC-Lint 是应用比较广泛的两个C/C++静态代码检查工具 PC-Lint 是GIMPEL SOFTWARE公司开发的 PC- 阅读全文