文件名称：pc-lint 经验（中文）
文件大小：809KB
文件格式：PDF
更新时间：2013-04-13 13:21:13
代码检查 PC-Lint
[本文部分内容和例子都来自于PC-Lint用户手册，翻译得时候加上了点自己的理解] 摘要：C/C++语言的语法拥有其它语言所没有的灵活性，这种灵活性带来了代码效率的提升，但相应增加了代码中存在隐患的可能性。静态代码检查工具PC-Lint则偏重于代码的逻辑分析，它能够发现代码中潜在的错误，比如数组访问越界、内存泄漏、使用未初始化变量等。本文将介绍如何安装和配置PC-Lint代码检查工具以及如何将PC-Lint与常见的代码编辑软件集成。 目 录 摘 要 1 引言 2 PC-Lint介绍 3 PC-Lint的代码检查功能 3.1 强类型检查 3.2 变量值跟踪 3.3 赋值顺序检查 3.4 弱定义检查 3.5 格式检查 3.6 缩进检查 3.7 const变量检查 3.8 volatile变量检查 4 PC-Lint软件使用方法 4.1 安装与配置 4.2 PC-Lint与常用开发工具的集成（Visual C++,Source Insight,UEdit) 5 总结 参考文献 附录一 PC-Lint 重要文件说明 附录二 错误信息禁止选项说明 附录三 PC-Lint检测中的常见错误