PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。
Windows 7/8/10(32位和64位),Linux(64位)和macOS。PC-lint Plus可以分析几乎任何平台的C / C ++源代码。
PC-lint Plus可以检查违反内部代码指南的情况,以及分析是否符合MISRA等行业标准。数以千计的高度可配置的消息可被启动来用于支持许多不同的代码指南,例如控制结构要使用大括号,条件表达式中的赋值规则,明确说明运算符优先级等等。可以在可重用配置文件中指定所需信息的集合,以便在项目和团队之间分享。
PC-lint Plus为MISRA标准提供行业领先的支持,包括MISRA C 2012,MISRA C 2004和MISRA C ++ 2008及其附录和正误表。使用随PC-lint Plus一起的配置文件可以快速启用MISRA检查。可以启用和禁用单个规则,并且可以逐个控制信息。
PC-lint Plus包含多种灵活的方法来控制信息抑制,即是否会发出或忽略特定的信息实例。可以在每个文件,每个函数,每个语句的基础上全局启用或抑制信息,具体取决于信息所引用的类,结构,变量,函数或宏的名称,或者在单个行上。PC-lint Plus可以将第三方或库源代码与项目的其余部分区分开来,并且可以对这些代码应用单独的抑制策略。
PC-lint Plus与PDF格式的手册一起提供下载,手册描述了PC-lint Plus的配置,操作,选项和信息。介绍和安装部分可帮助您快速入门。每个选项和信息都有详细描述,并且很容易找到参考表和目录。版本历史记录部分记录了版本之间的更改。
PC-lint Plus在您的开发人员工作站或您自己的服务器上本地运行。它不连接到互联网或以其他方式使用网络连接。您的源代码只存在您的设备上,它不提交任何其他形式的数据。
1. 产品送达用户之日起 7 日内,出现“性能故障”,经由用户所购产品的生产厂家指定维修服务机构检测属实后,可以免费换货;
2.产品送达用户之日起,主机享有 12 个月保修服务,配件享有 6 个月保修服务。
1、若产品主机符合保修条件,根据保修卡与购机发票即可享受保修服务,若无法提供购买证明及保修卡,则以到货签收时间作为保修起算标准;
2、属非保修产品,用户所购产品的生产厂家指定维修服务机构做保外收费维修处理;
3、产品修复后相同的故障经用户所购产品的生产厂家指定维修服务机构检验属实后,享有 3 个月保修服务;
4、需要维修或检测的产品,向用户所购产品的生产厂家指定维修服务机构送修或检测过程中发生的运输、发货和处置费用由用户承担;维修或检测产品寄还用户时产生的运费由用户所购产品的生产厂家承担(仅限中国大陆境内);
5、需要维修或检测的产品,请用户及时备份机器内的数据。用户所购产品的生产厂家不对因数据丢失造成的损失负责;
6、产品在保修期内,维修中正常使用的零部件免费;
7、维修中被替换下来的零部件所有权归用户所购产品的生产厂家所有;
8、用户所购产品的生产厂家不对非产品标准配置的及未经公司认证的配件、软件或应用负责;
9、平台产品均按照国家三包政策执行(产品在未拆封的情况下),个别产品除外,如:定制产品,项目产品等。
10、本条款未尽事宜参考国家三包法律规定。
1、产品无购机发票和保修卡,亦不能在用户所购产品的生产厂家查询到相关的销售信息,且出库日期超过 12 个月;
2、产品主机和配件曾受到:非正常或错误的使用、非正常条件不当的存储、未经授权的拆卸或改动、事故、不恰当的安装造成的损害;
3、由于用户不当造成的损害,如液体注入、外力受损等;
4、未按产品使用说明书的要求进行使用,维修保养或以外运输造成的损坏;
5、 产品的损坏由外部包括但不限于卫星系统、地磁、静电、物理压力等非正常不可预测的因素引起的;
6、因不可抗力如地震、水灾、战争等原因造成的损坏;
7、其它不符合三包相关规定的情况。
您好,有什么能帮助您
2022-05-08 09:35您好,有什么能帮助您
2022-05-08 09:35此用户没有填写评价内容
2022-05-08 09:35此用户没有填写评价内容
2022-05-08 09:35此用户没有填写评价内容
2022-05-08 09:35此用户没有填写评价内容
2022-05-08 09:35