01前言在调试程序时，每个人通常都会遇到一些异常现象。
调试花费了很多时间，发现访问超出范围，未初始化变量，依此类推。
如果严格遵守代码规范，则可以尽可能避免这种情况。
实际情况常常是，尽管每个人都知道出色的代码规范是什么，但是在编写代码的过程中，实现并不令人满意。
在许多情况下，注意力不足以引起理解，从而在随后的调试中造成麻烦。
今天，我将介绍KEIL5中专用代码检查工具PC-LINT和PC-LINT的使用。
尽可能减少此类问题。
02 PC-LINT引入了C语言的语法具有其他语言所没有的灵活性。
这种灵活性带来了代码效率的提高，但是相应地，它也使代码写了很多随机性，并且C编译器没有强制执行它。
类型检查不执行任何边界检查，这增加了代码中隐藏危险的可能性。
如果可以在将代码提交进行测试之前发现这些潜在的错误，则可以大大减轻测试人员的压力，并降低调试软件项目的成本。
但是，传统的C编译器无法再执行此操作。
该任务只能通过专用代码来完成。
检查工具已完成。
PC-Lint专注于代码的逻辑分析。
它是一种代码检查工具，可以发现代码中的潜在错误，例如超出范围的数组访问，内存泄漏以及未初始化变量的使用。
PC-Lint是由GIMPEL SOFTWARE开发的C / C ++软件代码静态分析工具。
它的全名是C / C ++的PC-Lint / FlexeLint。
PC-Lint可以在Windows，MS-DOS和OS / 2平台上使用，它以二进制可执行文件的形式发布，而FlexeLint在其他平台上运行，并以源代码的形式发布。
PC-lint在全球拥有广泛的客户群，许多大型软件开发组织都将PC-lint检查视为代码演练的第一个过程。
PC-Lint不仅可以对程序进行全局分析，识别未被正确检查的数组下标，报告未初始化的变量，警告使用空指针和冗余代码，还可以有效地帮助您提出许多使用空间的程序，运营效率方面的改进点。
PC-lint的代码检查功能PC-Lint可以检测许多语法错误并在语法上纠正逻辑错误。
PC-Lint为大多数错误消息分配一个错误号。
编号小于1000的错误号已分配给C语言。
是的，大于1000的错误号用于说明C ++错误消息。
下表列出了PC-Lint警报消息的详细分类。
以C语言为例。
编号1-199表示语法错误，这些错误也由一般编译器生成。
数字200-299是PC-Lint程序中的内部错误，这些错误不会出现在代码中； 300-399是指由于内存限制等导致的系统致命错误。
显示在数字400-999中的提示消息是根据隐藏代码问题的可能性进行分类的：数字400-699是指可能会引起警报的消息。
被检查的代码有问题；出现在数字700-899中。
发生错误的可能性低于警告信息，但是仍然可能是由代码问题引起的问题。
900-999是可选信息，默认情况下不会选中它们，除非您在选项中指定选中它们。
03如何在Keil中配置pc-lint下载并安装pc-lint，Internet上有很多资源。
只需正常安装即可。
配置PC-lint keil MDK已经给出了pc-lint的配置文件，打开keil项目，使用工具-setupPC-lints。
如下图所示，在弹出窗口中显示，首先根据以下配置选择pc-lint执行文件。
在keil安装下选择配置文件ARM / BIN / CO-RV.LINT。
选择头文件和库文件的包含路径，否则编译将不依赖于它，您可以在项目中复制编译选项配置。
单击确定退出。
配置完成后，打开工具，您将看到如下所示的选项。
第一个检查当前打开的源文件，第二个编译所有源文件。
编译后，输出信息在输出窗口中，如下图所示。
04结束语要从Internet借用一句话来进行总结：可以通过pc-lint测试的程序不一定没有问题，但是通过pc-lint测试的程序的质量是不言而喻的。
免责声明：本文内容经21ic授权后发布，版权归原件所有
