您的位置 首页 电子技术

AbsInt代码安全性能分析套件产品介绍

德国AbsInt公司是专注于安全苛求软件研发、确认、验证和认证的工具链供应商。能够为客户提供较完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt产品广泛地应用于工业、交通、汽车、通信和能源等行业的安全苛求软件研发过程中。\” />

<meta http-equiv=X-UA-Compatible content=\"IE=edge,chrome=1

德国AbsInt公司是专注于安全苛求软件研发、确认、验证和认证的工具链供应商。能够为客户提供较完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt产品广泛地应用于工业、交通、汽车、通信和能源等行业的安全苛求软件研发过程中。

产品介绍

AbsInt 代码安全性能分析套件主要包括以下几种产品:

aiT WCET Analyzer/ 最差情况执行时间分析工具

StackAnalyzer / 最差情况堆栈使用量分析工具

TimingProfiler/ 代码执行时间分析工具

Astrée /C 代码运行时错误和数据竞争检查工具

RuleChecker/C 代码规则检查工具

CompCert/ 形式化方法验证的优化 C 语言编译器

二进制代码分析工具

aiT

针对特定的处理器和编译器,能够分析出较接近实际运行情况的最差执行时间,真实反映系统性能。在分析过程中充分考虑了高速缓存和流水线(pipeline)的影响,从而避免了过于保守的WCET值,亦避免了硬件资源的浪费。

AbsInt代码安全性能分析套件产品介绍

StackAnalyzer

针对特定的处理器族和编译器,能够自动分析出任务的最差堆栈使用量,即避免了人为低估造成的堆栈溢出,又避免了人为高估而造成的资源浪费。

AbsInt代码安全性能分析套件产品介绍

TimingProfiler

针对特定的处理器族和编译器,能够从初期开始对代码执行时间进行持续分析和评估。

特点

代码静态分析工具,可直接导入编译后的 .elf/*.out 等二进制可执行文件进行自动分析,不会对现有的工具链造成影响

图形化显示程序的调用和控制流及不同程序点的机器状态,为优化提供依据

遍历所有程序执行路径,对所有场景有效,无需提供测试用例

支持批量测试,支持Jenkins,可实现软件持续集成测试

aiT 和 StackAnalyzer 有认证支持包,能够提供认证支持服务( ISO-26262, IEC-61508, EN-50128 等)

C 代码分析工具

Astrée

Astrée 能够确保找出所有的代码运行时错误 (run-time error) 和数据竞争 (data race) 问题,控制流和数据流达到全部的覆盖度

Astrée 分析方法,确保较低的误报率

Astrée 在分析过程中能够考虑 OSEKAUTOSAR 等 OS 配置环境的影响,提高分析结果精确度

Astrée 的分析结果支持交互式浏览,能够帮助用户迅速定位问题,并进行备注及修改

Astrée 可与 dSPACE TargetLink 实现无缝集成

Astrée有认证支持包,能够提供认证支持服务(ISO-26262, IEC-61508, EN-50128 等)

RuleChecker

RuleChecker 是 C 代码规则检查工具,支持以下代码规则标准:

MISRA 2004、2012、2012 Amendment 1

ISO/IEC TS 17961:2013

SEI CERT Secure C

MITRE CWE

客户订制标准

应用 & 案例

丰田汽车非预期加速事件调查 ,2010 年 aiT 被 NASA 作为工业标准静态分析工具用于丰田汽车公司非预期加速事件调查,以排除与时间相关的软件缺陷

Daimler 在动力总成控制系统等多个软件研发项目中,成功运用 StackAnalyzer工具进行相关分析,在研发前期即对软件的堆栈使用量情况进行有效分析和预估,避免了堆栈溢出等问题造成的项目延期和成本损失

经纬恒润通过与IBM、Dassault、ANSYS等知名工业软件厂商合作,为用户提供汽车电子领域数十种研发工具,并通过在研发流程、建模仿真、测试验证、平台建设等领域的定制开发和技术服务,助力用户实现研发的流程化、数字化、智能化和平台化,提升产品研发效率和市场竞争力。

经 纬 恒 润

致力于成为国际一流的汽车电子系统科技服务商!

原文标题:AbsInt — 确保代码安全的静态性能分析工具

文章出处:【微信公众号:经纬恒润】欢迎添加关注!文章转载请注明出处。

审核编辑:汤梓红

<!–

免责声明:文章内容不代表本站立场,本站不对其内容的真实性、完整性、准确性给予任何担保、暗示和承诺,仅供读者参考,文章版权归原作者所有。如本文内容影响到您的合法权益(内容、图片等),请及时联系本站,我们会及时删除处理。

作者: admin

为您推荐

智慧路灯照明系统的应用为智慧城市的发展建设添砖加瓦

智慧路灯照明系统的应用为智慧城市的发展建设添砖加瓦

智慧路灯照明系统的应用为智慧城市的发展建设添砖加瓦-夜间的路灯不仅照亮了黑暗的街道,而且照亮了回家的道路。从街上望去,闪烁的路灯发出暖光,指引着我们家的方向。城市里的路灯就像“守护者”,给长途旅行回来的游客带来了极大的安全感。 当今,路灯智能控制时代的到来,极大地促进了传统路灯的人工机械化运行。虽然对此感到兴奋,但我们不禁要问:随着路灯智能控制的早期到来,除了改善路灯的运行模式,还能带来什么? 为城市交通提供安全保障 城市公共照明系统中的智能路灯在每个路

晶振在五种不同行业中的应用说明

晶振在五种不同行业中的应用说明-晶振在五种不同行业的应用-由TST嘉硕代理KOYU光与电子

几种不同的物联网控制APP模式

本文就简单介绍当前几种物联网控制APP模式,让大家了解几种不同的技术路线。\” />

<meta http-equiv=X-UA-Compatible content=\"IE=edge,chrome=1

苹果稳坐全球可穿戴设备数量首位,占据日本市场超7成份额

苹果稳坐全球可穿戴设备数量首位,占据日本市场超7成份额

苹果公司占据2021年日本第四季度可穿戴设备71.5%份额,占据全球可穿戴设备市场34.9%份额。\” />

<meta http-equiv=X-UA-Compatible content=\"IE=edge,chrome=1

如何用GPUDirect存储器如何缓解CPU I / O瓶颈

除了使用 GPUs 而不是 CPU 加快计算的好处外,一旦整个数据处理管道转移到 GPU 执行,直接存储就起到了一个力倍增器的作用。这一点变得尤为重要,因为数据集大小不再适合系统内存,而且 GPUs 的数据 I / O 增长成为处理时间的瓶颈。当人工智能和数据科学继续重新定义可能的艺术时,启用直接路径可以减少甚至完全缓解这个瓶颈。\” />

<meta http-equiv=X-UA-Compatible content=\"IE=edge,chrome=1

发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注

返回顶部