原创 PC-lint代表性检测区域和丰富可自定义功能集,拿走不谢!

PC-lint Plus提供了超过一千种您的编译器不会发出的诊断信息。这些支持数十个检测区域以及丰富且可自定义的功能集。有关功能和诊断的完整列表,请参阅发行产品和30天的PC-lint Plus评估许可证随附的PC-lint Plus参考手册。以下是代表性列表,突出显示了PC-lint Plus的一些主要功能。

# 产品更新 # 2020-09-04 13:52:45.700 69
原创 史上最著名的8大严重软件错误事件,你还记得有哪些?

如果不闯入计算机,在当今世界上很难做很多事情。作为消费者,我们希望我们的设备、计算机和小工具在大多数情况下都能按预期工作。但是,当运行它们的软件出现错误时,会发生什么。大多数软件错误会带来不便或烦人的情况。但是,它们有时会导致经济损失,危及生命的情况,甚至导致无辜人员死亡。我们在下面检查了一些较著名的严重软件错误。

# 行业资讯 # 2020-08-31 13:51:53.610 314
原创 超实用静态分析工具PC-lint Plus支持CERT®C

PC-lint Plus 1.3支持许多CERT C的静态可执行准则。通过在现有配置中添加对au-certc.lnt文件(随PC-lint Plus分发)的引用,可以轻松实现对CERT C的检查。该文件启用与CERT C准则相对应的消息,并将文本添加到已发布的消息中,以指定与每个适用消息关联的规则。au-certc.lnt文件是使用标准PC-lint Plus选项语法的,易于阅读的纯文本配置文件,可以轻松地对其进行修改以满足任何单个项目的需求。

# 行业资讯 # 2020-08-27 10:30:42.720 69
原创 超实用静态分析工具PC-lint Plus支持AUTOSAR

自成立以来,Gimpel软件就一直为嵌入式和安全关键软件社区提供支持,而我们的工具已经为MISRA和其他相关编码标准提供了近20年的支持。当前版本的PC-lint Plus通过引入对AUTOSAR17编码准则的支持而建立在此跟踪记录的基础上。1.3版支持将近200条准则(超过60%的静态可检查准则),并且在每个发行版中都添加了对其他准则的支持。

# 行业资讯 # 2020-08-27 10:16:21.510 106
原创 超实用静态分析工具PC-lint Plus支持MISRA标准

汽车工业软件可靠性协会(MISRA)是生产和维护C和C++编程准则的组织。这些准则的主要目的是编纂一组与软件开发有关的建议,这些建议有助于创建“安全可靠的软件”。尽管MISRA是汽车行业的一项努力,但MISRA的成功却不断增长,并且已采用该指南来满足其他对安全至关重要的行业(例如医疗保健和航空航天)的需求。

# 行业资讯 # 2020-08-27 09:56:32.887 86
原创 超实用静态分析工具PC-lint Plus支持MISRA C 2004

PC-lint Plus为MISRA C 2004编码指南提供了实质性支持。通过将对au-misra2.lnt文件(随PC-lint Plus分发)的引用添加到PC-lint Plus配置文件中,可以轻松完成对MISRA C 2004兼容性的检查。该文件启用与MISRA C 2004指南相对应的消息,并将文本添加到已发出的消息中,以指定与每个适用消息相关的规则。au-misra2.lnt文件是使用标准PC-lint Plus选项语法的,易于阅读的纯文本配置文件,可以轻松地对其进行修改以满足任何单个项目的需求。

# 行业资讯 # 2020-08-26 16:24:00.403 84
原创 超实用静态分析工具PC-lint Plus支持MISRA C++

PC-lint Plus提供对MISRA C++编码准则的支持。通过将对au-misra-cpp.lnt文件(随PC-lint Plus分发)的引用添加到PC-lint Plus配置中,可以轻松完成对MISRA C++兼容性的检查。该文件启用与MISRA C++准则相对应的消息,并将文本添加到已发布的消息中,以指定与每个适用消息相关的规则。

# 行业资讯 # 2020-08-26 16:10:44.533 103
原创 超实用静态分析工具PC-lint Plus支持MISRA C 2012

Gimpel软件为MISRA社区提供了近20年的支持,致力于为MISRA C 2012提供可靠的一流支持。

# 行业资讯 # 2020-08-26 15:59:43.917 282
在线咨询
联系我们
TOP
在线客服系统
live chat