一定牛彩票网

登錄 | 注冊 | English

研發工具

首頁  >  研發工具  >  V流程詳細設計驗證階段  >  AbsInt — 確保代碼安全的靜態性能分析工具

AbsInt — 確保代碼安全的靜態性能分析工具

       DEGUOAbsInt GONGSISHIXIANJINDEANQUANKEQIURUANJIANYANFA、QUEREN、YANZHENGHERENZHENGGONGJULIANGONGYINGSHANG。NENGGOUWEIKEHUTIGONGWANZHENGDEQUEBAODAIMAANQUANDEXINGNENGFENXIGONGJUTAOJIANYIJIRUANJIANFENXI、YANZHENG、QUERENHEBIANYIQIJISHUXIANGGUANZIXUNFUWU。AbsInt CHANPINGUANGFANDIYINGYONGYUGONGYE、JIAOTONG、QICHE、TONGXINHENENGYUANDENGXINGYEDEANQUANKEQIURUANJIANYANFAGUOCHENGZHONG。

 

產品介紹

       AbsInt DAIMAANQUANXINGNENGFENXITAOJIANZHUYAOBAOKUOYIXIAJIZHONGCHANPIN:

• 一定牛彩票网StackAnalyzer /最差情況堆棧用量分析工具

• aiT WCET Analyzer/最差情況執行時間分析工具

• 一定牛彩票网TimingProfiler/代碼執行時間估計分析工具

• 一定牛彩票网TimeWeaver/混合式最差情況執行時間分析工具

• 一定牛彩票网Astrée /C代碼運行時錯誤和數據競爭檢查工具

• RuleChecker/C代碼規則檢查工具

 

二進制代碼分析工具

• StackAnalyzer 針對特定的處理器族和編譯器,能夠自動分析出任務的最差堆棧使用量,即避免了人為低估造成的堆棧溢出,又避免了人為高估而造成的資源浪費。

 

 

• aiT、TimingProfiler和TimeWeaver
    ♦  aiT 針對特定的處理器和編譯器,能夠分析出更接近實際運行情況的最差執行時間,真實反映系統性能。在分析過程中充分考慮了高速緩存和流水線(pipeline) 的影響,從而避免了過于保守的WCET 值,亦避免了硬件資源的浪費

 

 

一定牛彩票网     ♦  TimingProfiler ZHENDUITEDINGDECHULIQIZUHEBIANYIQI,NENGGOUCONGSHEJICHUQIJIKAISHIDUIDAIMAZHIXINGXIAOLVJINXINGCHIXUFENXIHEGUJI,JINERWEIXINPIANXUANXING、BUTONGSUANFAFANGANDEZHIXINGXIAOLVPINGGUDENGTIGONGYIJU

 

 

 

一定牛彩票网     ♦  TimeWeaverDUIYUMOUXIEFUZACHULIQI,YOUQISHIaiTBUNENGZHICHIDEGAOJICHULIQI,AbsintGONGSITIGONGLEYIZHONGJIYUSHIJITraceSHUJUDEJIEHEDONGTAICESHIHEJINGTAIFENXIDEHUNHEWCETFENXIGONGJU

 

 

 

    ♦  TimeWeaverKEJICHENGZHIPILCESHI/HILCESHIHUANJING,JINXINGCHULIQIXINGNENGFENXIHEYANZHENGGONGZUO

 

 

一定牛彩票网     ♦  DUIYUInfineon AurixXILIEXINPIAN,KECAIYONGTimeWeaverYUInfineon DASGONGJU(MIANFEI)JINXINGJICHENGDEFANGAN,GENGJIAGAOXIAODEZHIXINGFENXIGUOCHENG

 

 

特點
    ♦  aiT/TimingProfiler/StackAnalyzer,代碼靜態分析工具,可直接導入編譯后的.elf/*.out等二進制可執行文件進行自動分析,不會對現有的工具鏈造成影響
    ♦  TimeWeaver,動態測試+靜態分析,利用二進制可執行文件進行靜態分析,遍歷所有代碼執行路徑。借助Trace分析結果,選用在實際處理器上的代碼片段執行時間,綜合分析得出代碼的最差情況執行時間
    ♦  圖形化顯示程序調用圖和控制流圖,找出代碼性能優化瓶頸,為優化提供依據
    ♦  遍歷所有程序執行路徑,對所有場景有效,無需提供測試用例(TimeWeaver所使用的Trace數據需要提供相應的測試環境及用例)
    ♦  支持批量測試,支持Jenkins,可實現軟件持續集成測試
一定牛彩票网     ♦  aiT和StackAnalyzer有認證支持包,能夠提供認證支持服務( 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有認證支持包,能夠提供認證支持服務(ISO-26262, IEC-61508, EN-50128等)


• RuleChecker
        RuleChecker 是C 代碼規則檢查工具,支持以下代碼規則標準:
    ♦  MISRA 2004、2012、2012 Amendment 1
    ♦  ISO/IEC TS 17961:2013
    ♦  SEI CERT Secure C
    ♦  MITRE CWE
    ♦  客戶訂制標準

應用 & 案例
        豐田汽車非預期加速事件調查 ,2010 年 aiT 被 NASA 作為工業標準靜態分析工具用于豐田汽車公司非預期加速事件調查,以排除與時間相關的軟件缺陷。

一定牛彩票网         DaimlerZAIDONGLIZONGCHENGKONGZHIXITONGDENGDUOGERUANJIANYANFAXIANGMUZHONG,CHENGGONGYUNYONGStackAnalyzer GONGJUJINXINGXIANGGUANFENXI,ZAIYANFAQIANQIJIDUIRUANJIANDEDUIZHANSHIYONGLIANGQINGKUANGJINXINGYOUXIAOFENXIHEYUGU,BIMIANLEDUIZHANYICHUDENGWENTIZAOCHENGDEXIANGMUYANQIHECHENGBENSUNSHI。

關于恒潤
企業簡介
企業理念
企業資質
新聞中心
恒潤在全球
誠聘英才
校園招聘
實習生招聘
社會招聘
走進恒潤
常見問題
市場活動
在線研討會
線下活動
微信課堂
用戶社區
資料下載
恒潤月刊
用戶留言
個人中心
相關鏈接
聯系我們
電話:010-64840808
郵箱:market_dept@rbcfsoft.com
版權所有 ? 北京經緯恒潤科技有限公司 京ICP備18000642號-1 京公網安備11010802017344號 網站地圖 | 招聘信息 | 法律聲明 | 隱私保護