当前位置:网站首页>Helix QAC 2020.2 new static test tool maximizes the coverage of standard compliance
Helix QAC 2020.2 new static test tool maximizes the coverage of standard compliance
2022-07-07 20:27:00 【Maihexong】

Latest version Helix QAC Many significant improvements have been made to the performance and functionality of static analysis tools , To ensure that developers' software is more secure , Compliance and reliability . The following is right Helix QAC An overview of the most significant new features .
Expanded C ++,CERT,C Secure,MISRA and AUTOSAR Coverage of
• Fully support MISRA C:2012 Revised edition 2.
• AUTOSAR The coverage has been raised to 91%.
• CERT C Rule coverage has been raised to 100%.
◇ Fully support CERT C POSIX The rules .
• CERT C ++ Coverage has increased to 95%.
• ISO / IEC TS 17961 New compliance module for , for C Secure Provide 98% Coverage of .
• Improved right C ++ 17 Language function support , Include :
◇ Inline variables .
◇ Nested namespace definitions .
◇ Select statements with initializers .
◇ Package extension and declaration list when using declaration .
◇ In the template parameter Typename keyword .
◇ Non type template parameters declared with a placeholder type .
◇ UTF-8 Character text .
◇ Explicit templates are specialized In-class Definition .
◇ Enumeration direct list initialization .
◇ Structured binding .
• Added to C ++ 20 Language function support , Include :
◇ Nested inline namespace .
◇ Range based statements with initializers .
◇ Storage class keywords in structured binding .
Increased productivity and availability
• Helix QAC Verify dashboard Improved upload performance ,bug Repair , There are also other minor improvements .
• Eclipse Plug in performance improvement .
• Improved Visual Studio Plug in performance .
• Two new QAGUI Optional features provide quick analysis feedback . These functions are :
◇ Continuous incremental analysis , Enables you to automatically perform analysis when saving a file or when there is a predetermined inactivity time when modifying the file .
◇ Interactive asynchronous feedback , The diagnosis results can be automatically prompted with the analysis . This enables you to start fixing problems while the analysis is running .
• Yes Jenkins Pipelines Support for , Provides a simpler way to automatically perform static analysis , As CI / CD Part of the application lifecycle in a process .
Why choose Helix QAC
Helix QAC 2020.2 The improvements introduced in ensure that it continues to be the most accurate functional security and compliance in all embedded software development industries , The most accurate static analysis tool .
Want to learn more about Helix QAC New features of , Please send an email to [email protected] . also , If you want to apply for Helix QAC A demonstration or experience of , Please visit http://qa-systems.cn/ Or pay attention to the official account below :
Version all , Plagiarism will investigate

The manufacturer that provides code detection :http://www.softtest.cn/
List of code detection tools :http://www.softtest.cn/multi/435.html
Tool is introduced :http://qa-systems.cn/multi/575.html
Tool trial link :http://qa-systems.cn/info/532.html
边栏推荐
- Small guide for rapid formation of manipulator (12): inverse kinematics analysis
- POJ 1742 coins (monotone queue solution) [suggestions collection]
- 图扑数字孪生煤矿开采系统,打造采煤“硬实力”
- 凌云出海记 | 赛盒&华为云:共助跨境电商行业可持续发展
- 写一下跳表
- 数值法求解最优控制问题(〇)——定义
- Micro service remote debug, nocalhost + rainbow micro service development second bullet
- 有用的win11小技巧
- Lingyun going to sea | yidiantianxia & Huawei cloud: promoting the globalization of Chinese e-commerce enterprise brands
- Gorilla official: sample code for golang to open websocket client
猜你喜欢
Klocwork 代码静态分析工具

C语言 整型 和 浮点型 数据在内存中存储详解(内含原码反码补码,大小端存储等详解)

One click deployment of any version of redis

VMWare中虚拟机网络配置

【C语言】指针进阶---指针你真的学懂了吗?
![[paper reading] maps: Multi-Agent Reinforcement Learning Based Portfolio Management System](/img/76/b725788272ba2dcdf866b28cbcc897.jpg)
[paper reading] maps: Multi-Agent Reinforcement Learning Based Portfolio Management System

上海交大最新《标签高效深度分割》研究进展综述,全面阐述无监督、粗监督、不完全监督和噪声监督的深度分割方法

Splicing and splitting of integer ints

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

Implement secondary index with Gaussian redis
随机推荐
Gorilla official: sample code for golang to open websocket client
上海交大最新《标签高效深度分割》研究进展综述,全面阐述无监督、粗监督、不完全监督和噪声监督的深度分割方法
POJ 1742 coins (monotone queue solution) [suggestions collection]
Graduation season | regretful and lucky graduation season
Apifox 接口一体化管理新神器
Optimization cases of complex factor calculation: deep imbalance, buying and selling pressure index, volatility calculation
九度 1201 -二叉排序数遍历- 二叉排序树「建议收藏」
Chapter 9 Yunji datacanvas company won the highest honor of the "fifth digital finance innovation competition"!
H3C S7000/S7500E/10500系列堆叠后BFD检测配置方法
EasyGBS级联时,上级平台重启导致推流失败、画面卡住该如何解决?
OneSpin 360 DV新版发布,刷新FPGA形式化验证功能体验
Machine learning notes - explore object detection datasets using streamlit
VMWare中虚拟机网络配置
使用 BR 恢复 Azure Blob Storage 上的备份数据
MSE API learning
School 1 of vulnhub
Oracle 存儲過程之遍曆
Helix QAC 2020.2新版静态测试工具,最大限度扩展了标准合规性的覆盖范围
Network principle (1) - overview of basic principles
Klocwork code static analysis tool