Coverity 2018.01靜態(tài)分析工具正式發(fā)布 在SDLC早期檢測軟件質(zhì)量與安全缺陷

　　軟件推出市場后修補漏洞?賠償因軟件本身缺陷而導致的損失?還是開發(fā)階段就提升軟件質(zhì)量和安全性，減少后顧之憂?相信越來越多的軟件供應商已經(jīng)意識到了在SDLC(軟件開發(fā)生命周期)早期及時發(fā)現(xiàn)和解決問題的重要性。

　　靜態(tài)分析工具是其中一種重要的工具。Coverity是新思科技軟件質(zhì)量與安全平臺的核心組件，被Gartner、Forrester、 IDC和 VDC權(quán)威機構(gòu)評定為領先的應用安全測試解決方案。近日，美國新思科技公司 (Synopsys, Nasdaq: SNPS)推出了其靜態(tài)分析工具的最新版本——Coverity 2018.01。

　　Coverity是業(yè)界領先的靜態(tài)代碼分析工具，在軟件開發(fā)生命周期早期分析源代碼，以檢測關(guān)鍵質(zhì)量與安全缺陷。Coverity 2018.01擴展了該工具對新編程語言、編碼標準以及開發(fā)工具集成的支持。

　　Coverity 2018.01 亮點:

　　· 支持Scala和VB.NET編程語言

　　· 全面支持SEI CERT C編碼標準規(guī)則(2016 版)

　　· 增強Jenkins持續(xù)集成(CI)服務器插件，基于DevOps進行自動化測試

　　新思科技軟件質(zhì)量與安全部門總經(jīng)理Andreas Kuehlmann表示：“面對日益嚴峻的威脅，安全、高質(zhì)量的軟件不可或缺，以助力企業(yè)成功發(fā)展并為終端用戶帶來裨益。與此同時，軟件開發(fā)的速度和過程正在發(fā)生巨大的變化。因此，在整個軟件開發(fā)生命周期用來檢測缺陷和潛在安全漏洞的工具也需要不斷進化升級。憑借支持全新的編程語言、安全編碼標準以及開箱即用的現(xiàn)代開發(fā)工具，新思科技能幫助企業(yè)擴展其軟件產(chǎn)品組合，并采用諸如DevOps新的開發(fā)模式，確保其代碼的高質(zhì)量與安全性。”

　　Coverity 2018.01新增功能包括：

　　· 擴展的編程語言覆蓋范圍：即使企業(yè)擴展其軟件組合，采用新的語言、架構(gòu)及技術(shù)，比如移動和微服務，Coverity也能幫助企業(yè)在應用程序中主動構(gòu)建安全性和質(zhì)量。每次發(fā)布新版本，新思科技都將持續(xù)擴大Coverity對新的編程語言的支持，同時加強對現(xiàn)有語言的安全分析。Coverity 2018.01增加了對兩種新語言的支持：通常用于基于微服務的應用程序開發(fā)的Scala和VB.NET。最新發(fā)布的Coverity還為Swift、 PHP、 Python、 JavaScript、 Java、 C#和 Node.js編程語言提供增強的安全分析。通過這些新增功能，Coverity支持用于構(gòu)建嵌入式和企業(yè)級軟件的關(guān)鍵程序語言。

　　· 支持安全編碼標準：Coverity幫助企業(yè)遵循編碼標準，提升關(guān)鍵嵌入軟件的安全性及可靠性。隨著最新版本的發(fā)布，Coverity 2018.01全面支持SEI CERT C (2016 版) —— 安全編碼的行業(yè)標準。除了CERT C， Coverity也支持MISRA編碼標準的所有版本，并通過了ISO 26262認證。

　　· 與現(xiàn)代開發(fā)工具鏈的集成：Coverity支持并集成許多常用的開發(fā)工具，以助力實現(xiàn)快速和自動化的開發(fā)工作流程。Coverity 2018.01為最新的集成開發(fā)環(huán)境(IDEs)提供插件，包括Visual Studio、 Eclipse、 IntelliJ和Android Studio等等。為了優(yōu)化安全測試，最新版本還借助Jenkins持續(xù)集成(CI)服務器，以支持開箱即用的集成。Coverity新的Jenkins插件進一步完善了Jenkins Pipeline工作流框架，可以按項目檢索發(fā)現(xiàn)問題，并增強了數(shù)據(jù)過濾功能。