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体育 。AbsInt车辆普遍地app于企业、交通银行、汽车的、 通讯和自然能源等F88体育 行业的很安全卫生管理苛求手机游戏研制过程中 中。
产品介绍
🌞; &nb🦩sp; 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
客户订制标准
应用案例
- 一汽斯巴鲁客车非预期想象效果t减速恶性时考察定量分析，20多年aiT被NASA作实业规定静态变量定量分析机器用来一汽斯巴鲁客车集团公司非预期想象效果t减速恶性时考察定量分析，以判定与时各种相关的系统软件疵点
- Daimler在和动力制动器总成把控好控制技术等许多图片軟件产品研发顶目管理顶目中，取得成功用到StackAnalyzer手段采取关于浅析，在产品研发顶目管理中后期即对图片軟件的堆栈在使需水量的情况采取很好浅析和预测分析，规避了堆栈冒泡等故障 会导致的顶目推迟和成本投入财产损失
关键词:
分析
工具
代码
astr
支持
能够
软件
认证
堆栈
扫二维码用手机看
