[本文部分内容和例子都来自于PC-Lint用户手册，翻译得时候加上了点自己的理解]摘要：C/C++语言的语法拥有其它语言所没有的灵活性，这种灵活性带来了代码效率的提升，但相应增加了代码中存在隐患的可能性。静态代码检查工具PC-Lint则偏重于代码的逻辑分析，它能够发现代码中潜在的错误，比如数组访问越界、内存泄漏、使用未初始化变量等。本文将介绍如何安装和配置PC-Lint代码检查工具以及如何将PC-Lint与常见的代码编辑软件集成。目录摘要1引言2PC-Lint介绍3PC-Lint的代码检查功能3.1强类型检查3.2变量值跟踪3.3赋值顺序检查3.4弱定义检查3.5格式检查3.6缩进检查3.7