AbsInt—確保代碼安全的性能/資源分析工具套件-創(chuàng)新互聯(lián)

德國AbsInt公司是一家安全苛求軟件研發(fā)、確認(rèn)、驗證和認(rèn)證工具鏈的供應(yīng)商，能夠為客戶提供完整的確保代碼安全的性能分析工具套件以及軟件分析、驗證、確認(rèn)和編譯器技術(shù)相關(guān)咨詢服務(wù)。AbsInt產(chǎn)品廣泛地應(yīng)用于工業(yè)、交通、汽車、通信和能源等行業(yè)的安全苛求軟件研發(fā)過程中。

超過十多年行業(yè)經(jīng)驗，技術(shù)領(lǐng)先，服務(wù)至上的經(jīng)營模式，全靠網(wǎng)絡(luò)和口碑獲得客戶，為自己降低成本，也就是為客戶降低成本。到目前業(yè)務(wù)范圍包括了：成都做網(wǎng)站、網(wǎng)站制作、成都外貿(mào)網(wǎng)站建設(shè)，成都網(wǎng)站推廣，成都網(wǎng)站優(yōu)化，整體網(wǎng)絡(luò)托管，微信小程序開發(fā)，微信開發(fā)，成都app軟件開發(fā)公司，同時也可以讓客戶的網(wǎng)站和網(wǎng)絡(luò)營銷和我們一樣獲得訂單和生意！

產(chǎn)品介紹

AbsInt 代碼安全性能/資源分析套件主要包括以下幾種產(chǎn)品：

?? StackAnalyzer /最差情況堆棧用量分析工具

? ?? aiT WCET Analyzer/最差情況執(zhí)行時間分析工具

? ?? TimingProfiler/代碼執(zhí)行時間估計分析工具

? ?? TimeWeaver/混合式最差情況執(zhí)行時間分析工具

???二進(jìn)制代碼分析工具

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

?????aiT、TimingProfiler和TimeWeaver

??▼??aiT 針對特定的處理器和編譯器，能夠分析出更接近實(shí)際運(yùn)行情況的最差執(zhí)行時間，真實(shí)反映系統(tǒng)性能。在分析過程中充分考慮了高速緩存和流水線（pipeline） 的影響，從而避免了過于保守的WCET 值，亦避免了硬件資源的浪費(fèi)。

??▼??TimingProfiler 針對特定的處理器族和編譯器，能夠從設(shè)計初期即開始對代碼執(zhí)行效率進(jìn)行持續(xù)分析和估計，進(jìn)而為芯片選型、不同算法方案的執(zhí)行效率評估等提供依據(jù)。?

??▼??TimeWeaver對于某些復(fù)雜處理器，尤其是aiT不能支持的高級處理器，Absint公司提供了一種基于實(shí)際Trace數(shù)據(jù)的結(jié)合動態(tài)測試和靜態(tài)分析的混合WCET分析工具。

?

▼??TimeWeaver可集成至PIL測試/HIL測試環(huán)境，進(jìn)行處理器性能分析和驗證工作。

??▼??對于Infineon Aurix系列芯片，可采用TimeWeaver與Infineon DAS工具（免費(fèi)）進(jìn)行集成的方案，更加高效的執(zhí)行分析過程。

???特點(diǎn)?

▼? aiT/TimingProfiler/StackAnalyzer，代碼靜態(tài)分析工具，可直接導(dǎo)入編譯后的.elf/*.out等二進(jìn)制可執(zhí)行文件進(jìn)行自動分析，不會對現(xiàn)有的工具鏈造成影響

▼? TimeWeaver，動態(tài)測試+靜態(tài)分析，利用二進(jìn)制可執(zhí)行文件進(jìn)行靜態(tài)分析，遍歷所有代碼執(zhí)行路徑。借助Trace分析結(jié)果，選用在實(shí)際處理器上的代碼片段執(zhí)行時間，綜合分析得出代碼的最差情況執(zhí)行時間

▼? 圖形化顯示程序調(diào)用圖和控制流圖，找出代碼性能優(yōu)化瓶頸，為優(yōu)化提供依據(jù)

▼? 遍歷所有程序執(zhí)行路徑，對所有場景有效，無需提供測試用例(TimeWeaver所使用的Trace數(shù)據(jù)需要提供相應(yīng)的測試環(huán)境及用例)

▼? 支持批量測試，支持Jenkins，可實(shí)現(xiàn)軟件持續(xù)集成測試

? ▼? aiT和StackAnalyzer有認(rèn)證支持包，能夠提供認(rèn)證支持服務(wù)（ ISO-26262, IEC-61508, EN-50128 等）

???應(yīng)用&案例

豐田汽車非預(yù)期加速事件調(diào)查 ，2010 年 aiT 被 NASA 作為工業(yè)標(biāo)準(zhǔn)靜態(tài)分析工具用于豐田汽車公司非預(yù)期加速事件調(diào)查，以排除與時間相關(guān)的軟件缺陷。

? ? ? Daimler在動力總成控制系統(tǒng)等多個軟件研發(fā)項目中，成功運(yùn)用StackAnalyzer 工具進(jìn)行相關(guān)分析，在研發(fā)前期即對軟件的堆棧使用量情況進(jìn)行有效分析和預(yù)估，避免了堆棧溢出等問題造成的項目延期和成本損失。

經(jīng)緯恒潤

北京市海淀區(qū)知春路7號致真大廈D座6層

電話：010-64840808

郵箱：market_dept@hirain.com

網(wǎng)址：www.hirain.com

另外有需要云服務(wù)器可以了解下創(chuàng)新互聯(lián)cdcxhl.cn，海內(nèi)外云服務(wù)器15元起步，三天無理由+7*72小時售后在線，公司持有idc許可證，提供“云服務(wù)器、裸金屬服務(wù)器、高防服務(wù)器、香港服務(wù)器、美國服務(wù)器、虛擬主機(jī)、免備案服務(wù)器”等云主機(jī)租用服務(wù)以及企業(yè)上云的綜合解決方案，具有“安全穩(wěn)定、簡單易用、服務(wù)可用性高、性價比高”等特點(diǎn)與優(yōu)勢，專為企業(yè)上云打造定制，能夠滿足用戶豐富、多元化的應(yīng)用場景需求。

網(wǎng)站名稱：AbsInt—確保代碼安全的性能/資源分析工具套件-創(chuàng)新互聯(lián)
標(biāo)題網(wǎng)址：http://bm7419.com/article48/ijdhp.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供網(wǎng)站內(nèi)鏈、App設(shè)計、品牌網(wǎng)站設(shè)計、靜態(tài)網(wǎng)站、品牌網(wǎng)站建設(shè)、動態(tài)網(wǎng)站

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請盡快告知，我們將會在第一時間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場，如需處理請聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時需注明來源： 創(chuàng)新互聯(lián)