Skip to main content
使用Axivion分析多语言软件项目

使用Axivion分析多语言软件项目

回顾:C# P/Invoke 和 Rust FFI 存在安全性隐患 在本系列的上一篇文章(多语言软件项目中的陷阱)中,我们介绍了在软件项目中,使用..

Read Article
理解功能安全并确保关键系统的可靠性

理解功能安全并确保关键系统的可靠性

..

Read Article
Axivion 7.11 现已发布

Axivion 7.11 现已发布

遵循英伟达的CUDA C++指南,受益于Extended Tool Qualification Kit,并通过新增CWE规则保持领先优势..

Read Article
工具鉴定与产品认证--安全关键型开发团队必备指南

工具鉴定与产品认证--安全关键型开发团队必备指南

..

Read Article
Squish 9.1.0:AI 驱动测试、Python灵活性和 MCU 支持

Squish 9.1.0:AI 驱动测试、Python灵活性和 MCU 支持

Squish 团队激动地宣布 Squish GUI Tester 9.1.0 正式发布,这是一款用于跨平台 GUI..

Read Article
软件定义的汽车:用代码驱动未来

软件定义的汽车:用代码驱动未来

软件定义汽车(Software-Defined..

Read Article
Squish全新AI助手正式发布

Squish全新AI助手正式发布

我们欣喜地宣布,作为Squish 9.1版本的重要部分,全新的Squish AI Assistant..

Read Article
人工智能在软件测试的未来中处于什么位置?

人工智能在软件测试的未来中处于什么位置?

..

Read Article
汽车软件合规解析:ASPICE与ISO 26262标准对比

汽车软件合规解析:ASPICE与ISO 26262标准对比

随着软件定义汽车趋势深化,开发团队面临日益严格的软件质量与安全合规要求。ASPICE与ISO..

Read Article
Axivion Suite 7.10 - CUDA、MISRA 及更多功能

Axivion Suite 7.10 - CUDA、MISRA 及更多功能

我们很高兴地宣布 Axivion 7.10 正式发布。在新版本中,客户现在可以将所有已支持C/C++的功能应用于CUDA应用程序分析。由于..

Read Article
MISRA C:2025:深入探讨部分变更

MISRA C:2025:深入探讨部分变更

新的MISRA C:2025规则已发布。但具体有哪些新增内容和变化? MISRA..

Read Article
静态代码分析与架构验证的隐性投资回报

静态代码分析与架构验证的隐性投资回报

..

Read Article