據(jù)悉，Coverity于10月9日宣布其開發(fā)測試平臺新產(chǎn)品Coverity Security Advisor融合了創(chuàng)新的靜態(tài)分析技術(shù)，能夠幫助開發(fā)團隊高效解決Java網(wǎng)絡(luò)應(yīng)用的安全缺陷。這一新產(chǎn)品的發(fā)布很大程度歸功于Coverity研發(fā)團隊與Coverity安全研究實驗室的緊密合作，以及Coverity在靜態(tài)分析技術(shù)方面核心實力和Coverity在缺陷檢測領(lǐng)域的專利技術(shù)--精確的可擴展技術(shù)。

Coverity擴展了Static Analysis Verification Engine 靜態(tài)分析驗證引擎(Coverity SAVE?)，深刻理解源代碼和現(xiàn)代網(wǎng)絡(luò)應(yīng)用架構(gòu)，提供更加準(zhǔn)確的修復(fù)建議，協(xié)助開發(fā)者識別并修復(fù)導(dǎo)致常見漏洞的安全缺陷，包括SQL注入和跨站點腳本。從開發(fā)者角度出發(fā)，徹底分析現(xiàn)代網(wǎng)絡(luò)應(yīng)用。Coverity的新技術(shù)能夠處理復(fù)雜的現(xiàn)代網(wǎng)絡(luò)應(yīng)用問題，幫助開發(fā)者采用靜態(tài)應(yīng)用安全測試，彌補第一代工具膚淺和完整之處。

Coverity的創(chuàng)新點包括：

◆增加了帶有框架分析器的靜態(tài)源代碼分析技術(shù)，在數(shù)據(jù)通過應(yīng)用框架時，將誤差降到最低，以便最小化誤報率。

◆靜態(tài)分析中包含了模糊白盒測試工具，可以自動驗證數(shù)據(jù)清理程序可以充分處理不可信數(shù)據(jù)數(shù)據(jù)并能夠在合適的環(huán)境下執(zhí)行。

◆提供針對具體缺陷的精確修復(fù)指導(dǎo)，以保證開發(fā)者能夠理解修復(fù)安全缺陷的正確方法。

Coverity創(chuàng)始人之一 Andy Chou（Coverity CTO）表示"修復(fù)安全漏洞不僅需要在集成開發(fā)環(huán)境中整合靜態(tài)測試技術(shù)，開發(fā)者要保證所有識別的缺陷都是真實的缺陷，并且理解如何在代碼中修復(fù)這些缺陷""第一代靜態(tài)分析工具在幫助開發(fā)者時存在著效率不高的問題，因為開發(fā)者無法提供上述信息。我們能夠幫助開發(fā)者分析這一難題，更容易地找到并修復(fù)缺陷。

"我們理解開發(fā)--這是是Coverity的核心優(yōu)勢，"Coverity CEO Anthony Bettencourt說到"我們是靜態(tài)分析市場的領(lǐng)導(dǎo)者，這一點毋庸置疑，尤其是在嵌入式軟件質(zhì)量和安全方面，我們擁有10多年的技術(shù)經(jīng)驗，并且我們的產(chǎn)品和服務(wù)廣為開發(fā)者采用。同時，在網(wǎng)絡(luò)安全市場推廣此項技術(shù)是Coverity開發(fā)測試戰(zhàn)略的自然延伸。大約有75%的安全襲擊都發(fā)生在應(yīng)用層面，因此在開發(fā)階段解決應(yīng)用安全問題至關(guān)重要。該項技術(shù)能為開發(fā)團隊和安全團隊的工作帶來革命性的變革，兩個團隊將致力于推進安全問題的解決。

高德納咨詢公司研究副總裁Joseph Feiman博士以及Gartner Fellow在2011年11月29日發(fā)表的一份報告（應(yīng)用安全測試：從單元到相互關(guān)聯(lián)和相互作用）中表示,"為了將關(guān)鍵業(yè)務(wù)應(yīng)用遭受攻擊的風(fēng)險降至最低，應(yīng)用開發(fā)者和安全專家需要準(zhǔn)確的技術(shù)測試解決類似SQL注入、跨站點腳本以及緩存區(qū)溢出這樣的缺陷，而新一代的應(yīng)用安全測試技術(shù)恰恰能夠?qū)崿F(xiàn)這一點。"

目前Coverity新技術(shù)已應(yīng)用于Coverity Development Testing platform 6.5。