提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
翻译|使用教程|编辑:黄竹雯|2018-12-24 15:35:00.000|阅读 902 次
概述:C和C ++的首选静态分析工具 PC-lint Plus 常见问题集
# 慧都年终大促·界面/图表报表/文档/IDE等千款热门软控件火热促销中 >>
相关链接:
PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。
1.Q:如何告诉lint在哪里找到我的编译器头文件?
A:使用-i选项或INCLUDE环境变量为当前目录中找不到的文件指定搜索路径。
您可以多次使用-i选项指定多个搜索目录。-i选项和目录名称之间不应有空格,终止目录分隔符是可选的。目录将按照指定的顺序被搜索。例如,要在/usr/local/include中查找头文件,然后在/usr/include中查找,您可以使用:
-i/usr/local/include -i/usr/include
或者,您可以将INCLUDE环境变量设置为以分号分隔(Windows)或冒号分隔(Unix)的目录列表。例如:
在DOS/Windows上:set INCLUDE=/usr/local/include;/usr/include
在UNIX/LINUX上:export INCLUDE=/usr/local/include:/usr/include
您可以使用-incvar选项指定备用环境变量名称。
如果设置了+fim标志选项(默认情况下),则可以使用一个-i选项指定多个目录,方法与上述INCLUDE变量相同。例如:
-i/usr/local/include;/usr/include
--i选项与-i选项相同,但只有在搜索使用-i选项指定的所有目录之后才搜索使用此选项指定的目录。
有关-i,--i和-invcar选项,请参见参考手册的第5.7节,有关INCLUDE环境变量,请参见第15.2.1节。
2.Q:如何让lint控制编译器头文件?
A:Lint使用“library”头文件来指定程序员无法控制的头文件(例如编译器头文件)。默认情况下,所有来自外部目录的#includes或包含在<>中的#includes都被视为“library”。这可以通过使用+libclass选项进行修改,并可使用+libdir/-libdir和+libh/-libh选项进行微调。然后,您可以使用-wlib,-elib和-elibsym选项来控制从库头文件发出的信息。随PC-lint Plus一起分发的编译器选项文件通常包含-wlib(1)选项,该选项将库头文件的lint输出限制为仅错误(抑制警告和信息性信息)。
3.Q:我想为C文件抑制错误,例如715,不是为C ++文件抑制错误。
A:使用-header选项,如:
-header(x.h)
然后在头文件中(本例中为x.h):
#ifdef __cplusplus
//lint +e715
#else
//lint -e715
#endif
未完待续~
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@capbkgr.cn
本文探讨 SQL Server 中 NULL 和空值之间的区别,并讨论如何有效地处理它们。
Unity 是一款功能极其丰富的游戏引擎,允许开发人员将各种媒体集成到他们的项目中。但是,它缺少最令人兴奋的功能之一 - 将 Web 内容(例如 HTML、CSS 和 JavaScript)直接渲染到 3D 场景中的纹理上的能力。在本文中,我们将介绍如何使用 DotNetBrowser 在 Unity3D 中将 Web 内容渲染为纹理。
DevExpress v24.2帮助文档正式发布上线了,请按版本按需下载~
本教程将向您展示如何用MyEclipse构建一个Web项目,欢迎下载最新版IDE体验!
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@capbkgr.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢