当前位置:网站首页>最新版本的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鉴定的工件。有关更多详细信息,请参见我们以前的文章以获取更多信息。
边栏推荐
- Force buckle 1232 Dotted line
- Opencv learning notes high dynamic range (HDR) imaging
- php 获取图片信息的方法
- Precautions for cjson memory leakage
- Kubernetes——kubectl命令行工具用法详解
- How C language determines whether it is a 32-bit system or a 64 bit system
- 4G设备接入EasyGBS平台出现流量消耗异常,是什么原因?
- 使用高斯Redis实现二级索引
- 力扣 459. 重复的子字符串
- MIT science and technology review article: AgI hype around Gato and other models may make people ignore the really important issues
猜你喜欢

网络原理(1)——基础原理概述

整型int的拼接和拆分

Data island is the first danger encountered by enterprises in their digital transformation

Apifox 接口一体化管理新神器

Yolov6:yolov6+win10--- train your own dataset

Mongodb learn from simple to deep

Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city

AIRIOT助力城市管廊工程,智慧物联守护城市生命线

BI的边界:BI不适合做什么?主数据、MarTech?该如何扩展?

【mysql篇-基础篇】事务
随机推荐
PHP method of obtaining image information
实战:sqlserver 2008 扩展事件-XML转换为标准的table格式[通俗易懂]
图扑数字孪生煤矿开采系统,打造采煤“硬实力”
Force buckle 1790 Can two strings be equal by performing string exchange only once
Force buckle 459 Duplicate substring
JVM class loading mechanism
力扣599. 两个列表的最小索引总和
CUDA versions are inconsistent, and errors are reported when compiling apex
字符串中数据排序
网络原理(1)——基础原理概述
使用高斯Redis实现二级索引
MSE API learning
[solution] package 'XXXX' is not in goroot
TS quick start - Generic
How to test CIS chip?
Chapter 20 using work queue manager (3)
微服务远程Debug,Nocalhost + Rainbond微服务开发第二弹
Force buckle 2315 Statistical asterisk
Some important knowledge of MySQL
Traversal of Oracle stored procedures