近日，美國新思科技公司 （Synopsys, Nasdaq: SNPS ）推出了其靜態(tài)分析工具的最新版本 -- Coverity 2018.01。這款業(yè)界領(lǐng)先的工具在軟件開發(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是新思科技軟件質(zhì)量與安全平臺的核心組件，被Gartner、Forrester、 IDC和 VDC權(quán)威機構(gòu)評定為領(lǐng)先的應用安全測試解決方案。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ù)過濾功能。
