现在的位置: 首页 > 自动控制 > 工业·编程 > 正文

再说代码静态检查

2013-08-09 22:51 工业·编程 ⁄ 共 398字 ⁄ 字号 暂无评论

PC-Lint在linux下叫Flex-Lint,这个代码静态检查工具可以作为命令行扩展工具集成到多种开发环境中,而不像fortify,pvs-studio安装后就集成在VS的开发环境中。所以PC-Lint安装后需要进行一些配置工作,这稍微有点繁琐,但是灵活性也大一些。使用起来应该说是比较方便,如果把静态检查的结果输出到VS的输出窗口中,则可以实现从输出窗口中的警告信息双击快速定位到代码行,方便进行代码修改。

PC-Lint的代码检查可以分为简单检查,单元检查,项目检查。简单检查是分析单个CPP文件,项目检查是分析整个工程项目。

PC-Lint的代码检查规则可以自定义,规则最后存储在一个.lnt文件中,对于熟悉静态检查的用户来说,这个特性使得配置非常灵活,但是对于初学者,可能一下两下摸不着头脑。

无论如何,这个静态检查工具的功能还是非常强大的,能够检测到很多编译器无法检测到的比较隐晦的错误。

给我留言

留言无头像?