生产制造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我司是专业于很安全管理卫生苛求手机APP开发、认可、很安全管理验正和资质认证的平台链供应信息商，就能够为的客户可以提供完整性真实保源代码很安全管理卫生的能阐述平台套件或是手机APP阐述、很安全管理验正、认可和编译器技術有关系谘询F88体育 。AbsInt物料常见地采用于工业企业、公共交通、车辆、 网络通信和能量等F88体育 业的很安全管理卫生苛求手机APP开发过程中中。
产品介绍
🎐
AbsInt代码安全性能分析套件主要包括以下几种产品：
- aiT WCET Analyzer/ 较差具体情况实施时间段具体分析道具
- StackAnalyzer/最烂实际情况堆栈便生产量了解产品
- TimingProfiler/代码是什么执行力时期介绍的工具
- Astrée/C码执行时不对和数据分析角逐体检软件
- RuleChecker/C二维码标准进行检查用具
- CompCert/的办法化的办法查验的SEOC语音编译器
二进制代码分析工具
- 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
» 客户订制标准
应用案例
- 东风本田机动车非逾期效果下载速度故事调察，20多年aiT被NASA身为产业规则冗余数据分析方法用到东风本田机动车大公司非逾期效果下载速度故事调察，以查出与时段相应的的pc软件问题
- Daimler在动能屏幕总成掌控系统化等两个app新产品开发投资活动中，胜利操作StackAnalyzer专用工具确定涉及具体深入分析，在新产品开发活动前期即对app的堆栈施含量情况发生确定行之有效具体深入分析和估计，防范了堆栈冒泡等状况可能会导致的投资活动顺延和直接费用海损
关键词:
分析
工具
代码
astr
支持
能够
软件
认证
堆栈
扫二维码用手机看
证券部
电话：010-82263021
油箱： ir@zyzgzz.cn
瞩目F88体育
弹窗留言