PC-lint Plus是一种静态分析工具，通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样，PC-lint Plus会解析源代码文件，执行语义分析，并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制，包括数据流分析，数值跟踪，读写分析，强类型检查，功能语义验证和许多其他技术，来提供对单个文件和整个项目强大而全面的分析。
PC-lint Plus正式版
au-misra1.lnt
au-misra2.lnt
au-misra3.lnt
au-misra-cpp.lnt
您会发现它们显式启用了库头的消息输出。 例如，在au-misra3.lnt中，您将看到规则4.9的以下条目：
/**** Dir 4.9 (Adv) ************/ +e9026 /* function-like macro defined */ +elib(9026) -append(9026,[MISRA 2012 Directive 4.9, advisory])
此处，相关选项为+ elib（9026）：它针对出现在库头中的函数式宏定义请求消息9026的输出。
之所以要进行明确设置，是因为汽车行业软件可靠性协会（MISRA）标准通常假定开发人员可以控制目标系统（在汽车行业中很常见）的标准库实现和系统库实现的内容，并且 因此，需要开发人员在必要时分析和更正其库的内容。
au-misra3.lnt // enables Elective Notes for library code-wlib(4) // raises the warning level-wlib(1) // lowers the warning level (and disables messages)
还请注意控制Lint是否将标头视为“库”标头的选项； 请参见Lint手册中的第6章（“库”）。
相关内容推荐：
PC-lint Plus v1.3.5更新内容>>>
想要购买PC-lint Plus正版授权，或了解更多产品信息请点击【咨询在线客服】
标签：软件测试技术C/C++静态检测工具
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！