DEVELOPMENT SERVICE
研发F88体育
F88体育
var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?90c4d9819bca8c9bf01e7898dd269864"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })(); !function(p){"use strict";!function(t){var s=window,e=document,i=p,c="".concat("https:"===e.location.protocol?"https://":"http://","sdk.51.la/js-sdk-pro.min.js"),n=e.createElement("script"),r=e.getElementsByTagName("script")[0];n.type="text/javascript",n.setAttribute("charset","UTF-8"),n.async=!0,n.src=c,n.id="LA_COLLECT",i.d=n;var o=function(){s.LA.ids.push(i)};s.LA?s.LA.ids&&o():(s.LA=p,s.LA.ids=[],o()),r.parentNode.insertBefore(n,r)}()}({id:"K9y7fDzSfyJvbjbD",ck:"K9y7fDzSfyJvbjbD"}); ob体育·(中国)官方网站 ob体育·(世界杯)平台 ob体育·(中国)官方平台 ob体育(中国)官方网站-下载APP 宝博·体育(中国)官方网站CN /
搜索
搜索引擎
全部分类
浏览量:
1000
产品描述
产品概述
华烨AbsInt公司是针对于安全性可靠性高苛求系统应运创新管理、认可、印证和认证F88体育 的生产工具应运链销售商，能够为业主供给详细完整确确实实保码安全性可靠性高的安全性性能分享生产工具应运套件及系统应运分享、印证、认可和编译器新技术有关的谘询F88体育 。AbsInt货品非常广泛地应运于实业、城市交通、机动车、 网络通信和生物质能源等业内的安全性可靠性高苛求系统应运创新管理时中。
产品介绍
A♛bsInt代码安全性🎃能分析套件主要包括以下几种产品：
- aiT WCET Analyzer/ 很差环境进行的时间浅析方式
- StackAnalyzer/最烂条件堆栈应用药量讲解生产工具
- TimingProfiler/代码怎么用运行准确时间探讨交通工具
- Astrée/C源代码进行时系统错误和大数据之间的竞争检杳软件
- RuleChecker/C源代码条件检查报告软件工具
- CompCert/状态化方式方法查证的提升C语种编译器
二进制代码分析工具
- aiT： 针对于相关的工作器和编译器，要数据定性分析出较相近事实上强制执行时候的很差强制执行用时，真实的反应软件效能。在数据定性分析方式中积极需要考虑了绕城高速平缓和水流线（pipeline）的干扰，于是制止了过多保手的WCET值，亦即制止了产品材料的浪費
- StackAnalyzer：对其他的操作器族和编译器，还可以电脑自动研究就任务的最烂堆栈选择量，即禁止了人员因素低估从而容易造成的堆栈数组越界，又禁止了人员因素高估而从而容易造成的能源无意间浪费
- TimingProfiler： 采取不同的加工器族和编译器，还可以从成长期刚开始对代码是什么继续执行事件使用快速介绍和评估报告
- 显著特点
代码静态分析工具，可直接导入编译后的.elf/*.out等二进制可执行文件进行自动分析，不会对现有的工具链造成影响
图形化显示程序的调用和控制流及不同程序点的机器状态，为优化提供依据
遍历所有程序执行路径，对所有场景有效，无需提供测试用例
支持批量测试，支持Jenkins，可实现软件持续集成测试
aiT和StackAnalyzer有认证支持包，能够提供认证支持F88体育
（ISO-26262、IEC-61508、EN-50128等）
C代码分析工具
- Astrée
Astrée能够确保找出所有的代码运行时错误(run-time error)和数据竞争(data race)问题，控制流和数据流基本达到100%的覆盖度
Astrée分析方法，确保较低的误报率
Astrée在分析过程中能够考虑OSEK\AUTOSAR等OS配置环境的影响，提高分析结果精确度
Astrée的分析结果支持交互式浏览，能够帮助用户迅速定位问题，并进行备注及修改
Astrée可与dSPACE TargetLink实现无缝集成
Astrée有认证支持包，能够提供认证支持F88体育
（ISO-26262、IEC-61508、EN-50128等）
- RuleChecker：RuleChecker是C编号原则检测生产工具，鼓励下例编号原则准则
MISRA 2004、2012、2012Amendment 1
ISO/IEC TS17961:2013
SEI CERT Secure C
MITRE CWE
客户订制标准
应用案例
- 日产小轿车非预料变快F88体育 抽样调查研究，20十多年aiT被NASA用作化学工业规范标准冗余探讨用具中用日产小轿车工司非预料变快F88体育 抽样调查研究，以消除与事件重要性的电脑软件常见问题
- Daimler在推力总程把握系統等多条軟件新产品开发好工程项目管理好工程项目中，取得成功运营StackAnalyzer专用工具实行关于研究，在新产品开发好工程项目管理现已即对軟件的堆栈在使摄入量情形实行更有效研究和预测，防范了堆栈数组越界等问题构成的好工程项目暂缓和代价消耗
关键词:
分析
工具
代码
astr
支持
能够
软件
认证
堆栈
扫二维码用手机看
