当前位置:网站首页>最新版本的CodeSonar改进了功能安全性,支持MISRA,C ++解析和可视化
最新版本的CodeSonar改进了功能安全性,支持MISRA,C ++解析和可视化
2022-07-07 18:21:00 【麦禾信通】
最新版本的GrammaTech CodeSonar(版本5.3)继续致力于成为静态应用程序安全测试(SAST)的首选提供商,以及成为提高软件内外部安全和软件质量所选择的静态分析工具。该版本具备一些新功能以及兼容性的更新和其他改进。
此版本的CodeSonar包括对Android,NetBSD 8,Visual Studio 19,CWE 4.0映射的支持和许多可用性方面的改进。
MISRA C / C ++和AUTOSAR C ++ 14
CodeSonar 5.3扩展了对MISRA-C,MISRA-C ++和AUTOSAR C ++ 14规则的支持,从而产生更高质量的代码,易于维护和认证。许多组织根据这些流行的标准制定自己的编码准则,并将其与度量标准(例如KGAS度量标准)结合起来,以跟踪与代码复杂性和注释密度有关的数据点。
受污染的数据改进
我们对受污染的数据跟踪功能进行了许多的改进,尤其是在涉及到结构和分类的地方。
默认配置
现在,CodeSonar允许您选择所有项目默认使用的一组预设,从而减轻了在分析时指定这些预设的需要。配置工具允许您在安装时指定这些预设,并更改了默认预设值以提高可用性。
C ++解析
CodeSonar改进了对C +±20的支持以及非标准C ++方言的兼容性,较新版本的编译器(例如Clang和gcc)可以理解这些方言。这些更新改善了使用这些C ++方言项目的解析结果,并且在分析诸如Android之类的新代码时尤其重要。
可视化
CodeSonar使用的HTML5可视化工具已扩展了新的可用性功能和搜索功能。
NetBSD支持
CodeSonar现在可用于NetBSD 8.0版本,已不再支持NetBSD 6.0版本。
CodeSonar认证和工具资质
CodeSonar已通过IEC 61508,ISO 26262和CENELEC EN 50128等标准的资格预审,可用于开发需要遵守最高安全级别的软件。还提供了有助于使用DO-330 / ED-215进行DO-178C / ED-12C和DO-326A / ED-202鉴定的工件。有关更多详细信息,请参见我们以前的文章以获取更多信息。
边栏推荐
猜你喜欢

Some important knowledge of MySQL

Chapter 9 Yunji datacanvas company won the highest honor of the "fifth digital finance innovation competition"!

【mysql篇-基础篇】事务

【论文阅读】MAPS: Multi-agent Reinforcement Learning-based Portfolio Management System

机械臂速成小指南(十一):坐标系的标准命名

The boundary of Bi: what is bi not suitable for? Master data, Martech? How to expand?

How to cooperate among multiple threads

写了个 Markdown 命令行小工具,希望能提高园友们发文的效率!
![[MySQL - Basic] transactions](/img/a4/52c4b156b107c1e2f0220b4379eab2.png)
[MySQL - Basic] transactions

Chapter 9 Yunji datacanvas was rated as 36 krypton "the hard core technology enterprise most concerned by investors"
随机推荐
CSDN语法说明
With st7008, the Bluetooth test is completely grasped
JVM GC garbage collection brief
力扣 1790. 仅执行一次字符串交换能否使两个字符串相等
Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
Open source heavy ware! Chapter 9 the open source project of ylarn causal learning of Yunji datacanvas company will be released soon!
MIT science and technology review article: AgI hype around Gato and other models may make people ignore the really important issues
毕业季|遗憾而又幸运的毕业季
Chapter 9 Yunji datacanvas company won the highest honor of the "fifth digital finance innovation competition"!
力扣 1037.有效的回旋镖
POJ 1742 Coins ( 单调队列解法 )「建议收藏」
开发那些事儿:Go加C.free释放内存,编译报错是什么原因?
gorilla官方:golang开websocket client的示例代码
When easygbs cascades, how to solve the streaming failure and screen jam caused by the restart of the superior platform?
POJ 1742 coins (monotone queue solution) [suggestions collection]
TS quick start - Generic
Force buckle 88 Merge two ordered arrays
Force buckle 1037 Effective boomerang
图扑数字孪生煤矿开采系统,打造采煤“硬实力”
理财产品要怎么选?新手还什么都不懂