TrustInSoft 宣布，泰雷茲已選擇 TrustInSoft Analyzer 來(lái)加強(qiáng)其未來(lái)航空電子和通信系統(tǒng)的網(wǎng)絡(luò)安全和可靠性。

隨著安全和任務(wù)關(guān)鍵型環(huán)境中軟件復(fù)雜性的增加，確保不存在內(nèi)存漏洞和運(yùn)行時(shí)錯(cuò)誤變得至關(guān)重要。為了解決這個(gè)問(wèn)題，TrustInSoft 開(kāi)發(fā)的代碼分析技術(shù)使泰雷茲能夠增強(qiáng)其軟件保障流程，以滿足安全和網(wǎng)絡(luò)安全合規(guī)性的最高標(biāo)準(zhǔn)。

TrustInSoft Analyzer 通過(guò)高級(jí)形式化方法為不存在關(guān)鍵軟件缺陷（如緩沖區(qū)溢出、未初始化的內(nèi)存訪問(wèn)和整數(shù)溢出）提供數(shù)學(xué)保證。此功能使 Thales 等組織能夠在所有執(zhí)行場(chǎng)景中驗(yàn)證具有完整路徑和上下文敏感性的軟件穩(wěn)健性。

“支持像泰雷茲這樣的行業(yè)領(lǐng)導(dǎo)者證明了數(shù)學(xué)驗(yàn)證軟件在航空航天和國(guó)防等高可靠性領(lǐng)域的戰(zhàn)略?xún)r(jià)值，”TrustInSoft 首席執(zhí)行官 Caroline Guillaume 說(shuō)。“我們的技術(shù)使工程團(tuán)隊(duì)能夠?qū)崿F(xiàn)合規(guī)性，并交付明顯安全且沒(méi)有關(guān)鍵漏洞的軟件?！?/p>

通過(guò)無(wú)縫集成到現(xiàn)有的敏捷和 V 模型工作流程中，TrustInSoft Analyzer 使工程團(tuán)隊(duì)能夠加快驗(yàn)證時(shí)間，降低錯(cuò)誤檢測(cè)成本，并支持根據(jù) DO-178C、DO-326A 和其他嚴(yán)格的監(jiān)管標(biāo)準(zhǔn)進(jìn)行的認(rèn)證工作。通過(guò)驗(yàn)證源代碼中是否存在未定義的行為，TrustInSoft Analyzer 可以幫助實(shí)現(xiàn)任何安全和/或安全關(guān)鍵級(jí)別的軟件目標(biāo)。此外，使用詳盡的形式化方法方法來(lái)發(fā)現(xiàn)未定義的行為，可以檢測(cè)傳統(tǒng)測(cè)試和經(jīng)典靜態(tài)分析方法無(wú)法識(shí)別的錯(cuò)誤。