开发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公司的是专业不断创新稳定可靠苛求图片PC軟件生产研发项目管理、要证明、效验和认真的PC軟件手段链供应信息商，够为客人具备详细完整更何况保码稳定可靠的性能参数剖析PC軟件手段套件或是图片PC軟件剖析、效验、要证明和编译器水平涉及到谘询F88体育 。AbsInt產品大范围地应用于化工、城市交通、车辆、 卫生可靠和发热能源等行业内的稳定可靠苛求图片PC軟件生产研发项目管理历程中。
产品介绍
AbsꦦIn🎀t代码安全性能分析套件主要包括以下几种产品：
- aiT WCET Analyzer/ 最次实际情况运行耗时研究用具
- StackAnalyzer/最烂现状堆栈选择量进行分析工具软件
- TimingProfiler/代碼连接用时剖析产品
- Astrée/C源代码操作时错误操作和动态数据竞争者体检APP
- RuleChecker/C编码玩法检修产品
- CompCert/形势化的方法证实的优化网络C语气编译器
二进制代码分析工具
- aiT： 而对某一的清理器和编译器，要能分享出较快要现场自动运行的情况的较差进行时间间隔，真实度体现系統机械性能。在分享过程中 中完全满足了飞速清理缓存和流水帐线（pipeline）的危害，以此防止了有一些传统的WCET值，亦即防止了cpu信息的资源浪费
- 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作为一个工业生产准则静态式的讲解APP适用于日产小轿车司非期望值加快速度致死案抽样调查方案，以解决与准确时间相关的的APP的缺陷
- Daimler在动力设备屏幕总成管理设备等诸多app手机app技术创新新投资项目中，胜利运作StackAnalyzer辅助工具做有关的剖析，在技术创新之前即对app手机app的堆栈在使摄入量情況做有用剖析和预期，以免 了堆栈流出等相关问题形成的新投资项目推迟和成本低流失
关键词:
分析
工具
代码
astr
支持
能够
软件
认证
堆栈
扫二维码用手机看
瞩目F88体育
弹窗留言