生产制造F88体育
DEVELOPMENT SERVICE
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体育 。AbsInt品牌多方面地运用于工业化、客运、小汽车、 光纤通信和生物质能等行业中的健康防护防护苛求平台新产品研发培训过程中 中。
产品介绍
&nbs๊p; AbsInt代码安全性能分析套件主要包括以下几种产品：
- aiT WCET Analyzer/ 最烂现象实行时期分析一下APP
- 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编号的标准规范检测APP，使用下面的编号的标准规范的标准
MISRA 2004、2012、2012Amendment 1
ISO/IEC TS17961:2013
SEI CERT Secure C
MITRE CWE
客户订制标准
应用案例
- 东风本田气车非估计的高速度案例统计表，20多年aiT被NASA当作工业品规定静止探讨平台使用东风本田气车公司的非估计的高速度案例统计表，以是排除与的时间涉及到的的系统软件缺陷报告
- Daimler在牵引力总程控制体统等另一个app研制开发业务中，顺利完成利用StackAnalyzer辅助工具参与关于研究分析一下，在研制开发前期工作即对app的堆栈利消耗量时候参与有效果研究分析一下和估算，避开了堆栈上溢等现象发生的业务延缓和价格折损
关键词:
分析
工具
代码
astr
支持
能够
软件
认证
堆栈
扫二维码用手机看
青睐F88体育
弹窗留言