keil添加PC-lint代码静态分析工具的方法
关注+星标公众号，不错过精彩内容
作者 | strongerHuang
微信公众号 | 嵌入式专栏
/*lint !e750... */
有多少人认识这段代码注释？
回答这个问题，就要牵涉到本文说的PC-Lint这个工具。
1
写在前面有一定编程经验的读者，应该在一些地方都看到过类似 /*lint !e750... */ 这种“注释”。
#undef MPU_WRAPPERS_INCLUDED_FROM_API_FILE /*lint !e961 !e750. */2
关于PC-LintPC-Lint 是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具，它的全称是PC-Lint/FlexeLint for C/C++。
你可以把它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外，还可以检查出那些虽然符合语法要求，但很可能是潜在的、不易发现的错误。
这些错误号在文档中有详细说明：
2.命令格式
更多相关内容可以参考官网：
www.gimpel.com
3
Keil支持PC-Lint说明在Keil官网有这样一段信息：
X PC-lint is a powerful static analysis tool that will check your C/C++ source code and find bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more. It looks across multiple modules, and so, enjoys a perspective your compiler does not have.
A C compiler cannot always detect each and every potential problem in your source files.
This is where PC-Lint comes in.
Supports K&R C, ANSI C, and ANSI/ISO C++ standards
Explicit support for MISRA C and MISRA C++ (Motor Industry Software Reliability Association) standards
Value tracking of auto and static variables detects subtle initialization and value misuse problems
Inter-function Value Tracking - powerful inter-statement value tracking crosses function boundaries
Optional strong type checking (typedef-based) with a rich option set to detect nominal type differences
User-defined semantic checking for function arguments and return values
Each of the Keil development tools, ARM, C51, C251, and C166, support Gimpel Software's PC-Lint. Configuration files are included in the Keil development tools which enable you to quickly and easily begin using PC-Lint in your application development and testing.
http://www.keil.com/pclint
大概意思就是Keil（ARM, C51, C251, and C166）支持PC-Lint，配置文件包含在Keil开发工具中，使您能够在应用程序开发和测试中快速轻松地开始使用PC-Lint。
4
Keil MDK添加PC-Lint的方法在Keil MDK中要使用PC-Lint，大概需要以下两步：
安装PC-Lint MDK添加PC-Lint
1.安装PC-Lint
后台回复『Keil系列教程』『Keil实用小技巧』阅读更多相关文章。
点击“阅读原文”查看更多分享，欢迎点分享、收藏、点赞、在看。