当前位置:网站首页>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
边栏推荐
- Solve the problem of incomplete display around LCD display of rk3128 projector
- 【解决】package ‘xxxx‘ is not in GOROOT
- 如何满足医疗设备对安全性和保密性的双重需求?
- How C language determines whether it is a 32-bit system or a 64 bit system
- How to choose fund products? What fund is suitable to buy in July 2022?
- Make this crmeb single merchant wechat mall system popular, so easy to use!
- Nebula Importer 数据导入实践
- 使用 BR 恢复 Azure Blob Storage 上的备份数据
- Lingyun going to sea | yidiantianxia & Huawei cloud: promoting the globalization of Chinese e-commerce enterprise brands
- Introduction to referer and referer policy
猜你喜欢
School 1 of vulnhub
Splicing and splitting of integer ints
Mrs offline data analysis: process OBS data through Flink job
一键部署Redis任意版本
复杂因子计算优化案例:深度不平衡、买卖压力指标、波动率计算
机械臂速成小指南(十一):坐标系的标准命名
Implement secondary index with Gaussian redis
万字总结数据存储,三大知识点
With st7008, the Bluetooth test is completely grasped
机械臂速成小指南(十二):逆运动学分析
随机推荐
阿里云有奖体验:如何通过ECS挂载NAS文件系统
Small guide for rapid formation of manipulator (11): standard nomenclature of coordinate system
嵌入式系统真正安全了吗?[ OneSpin如何为开发团队全面解决IC完整性问题 ]
基于深度学习的目标检测的更新迭代总结(持续更新ing)
H3C s7000/s7500e/10500 series post stack BFD detection configuration method
POJ 1742 coins (monotone queue solution) [suggestions collection]
Nebula importer data import practice
Useful win11 tips
4G设备接入EasyGBS平台出现流量消耗异常,是什么原因?
Kubernetes -- detailed usage of kubectl command line tool
PHP method of obtaining image information
Spark judges that DF is empty
Micro service remote debug, nocalhost + rainbow micro service development second bullet
[philosophy and practice] the way of program design
Phoenix JDBC
使用高斯Redis实现二级索引
[résolution] le paquet « xxxx» n'est pas dans goroot
不落人后!简单好用的低代码开发,快速搭建智慧管理信息系统
[MySQL - Basic] transactions
网络原理(1)——基础原理概述