当前位置:网站首页>最新版本的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鉴定的工件。有关更多详细信息,请参见我们以前的文章以获取更多信息。
边栏推荐
- With st7008, the Bluetooth test is completely grasped
- Version selection of boot and cloud
- CSDN syntax description
- 有用的win11小技巧
- 深度学习模型压缩与加速技术(七):混合方式
- Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
- MRS离线数据分析:通过Flink作业处理OBS数据
- MSE API learning
- TS快速入门-泛型
- 有了ST7008, 蓝牙测试完全拿捏住了
猜你喜欢
测量楼的高度
Micro service remote debug, nocalhost + rainbow micro service development second bullet
About cv2 dnn. Readnetfromonnx (path) reports error during processing node with 3 inputs and 1 outputs [exclusive release]
关于cv2.dnn.readNetFromONNX(path)就报ERROR during processing node with 3 inputs and 1 outputs的解决过程【独家发布】
Network principle (1) - overview of basic principles
【哲思与实战】程序设计之道
Cloud component development and upgrading
Vulnhub tre1
Force buckle 599 Minimum index sum of two lists
Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
随机推荐
【网络原理的概念】
怎样用Google APIs和Google的应用系统进行集成(1)—-Google APIs简介
Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
解决/bin/sh进去的容器运行可执行文件报not found的问题
Some important knowledge of MySQL
【Auto.js】自动化脚本
恢复持久卷上的备份数据
Yolov6:yolov6+win10--- train your own dataset
Force buckle 1037 Effective boomerang
网络原理(1)——基础原理概述
pom. Brief introduction of XML configuration file label function
Force buckle 1961 Check whether the string is an array prefix
Opencv学习笔记 高动态范围 (HDR) 成像
Force buckle 1790 Can two strings be equal by performing string exchange only once
[solution] package 'XXXX' is not in goroot
Mongodb由浅入深学习
力扣 989. 数组形式的整数加法
I Basic concepts
Cloud component development and upgrading
微服务远程Debug,Nocalhost + Rainbond微服务开发第二弹