當前位置:首頁 > 廠商動態(tài) > 新思科技(Synopsys)
[導讀]部署Coverity靜態(tài)應用安全測試,構建可信軟件

現(xiàn)在,軟件產品迭代地越來越快,代碼量越來越大,向外暴露的接口越來越多,為漏洞攻擊者留下了更多利用漏洞的機會。開發(fā)和安全團隊需要借助可靠的自動化工具,盡量在軟件開發(fā)生命周期 (SDLC) 的早期解決安全問題和質量缺陷,才能構建可信軟件。

Visuality Systems Ltd. 總部位于以色列約克尼穆,是全球領先的服務器消息塊 (SMB) 協(xié)議解決方案開發(fā)商和供應商。該解決方案是一種數(shù)據和打印機通信協(xié)議,可跨網絡節(jié)點提供對文件和打印機的共享訪問。 Visuality Systems 擁有超過 150 家客戶,提供最全面的 Microsoft SMB 客戶端和 SMB 服務器解決方案,用于各種嵌入式產品、基于 Java 的應用程序和存儲系統(tǒng)。

挑戰(zhàn):代碼質量和安全測試愈加嚴格

Visuality Systems自動化經理Limor Segal-Shevah表示:“軟件安全是我們客戶的優(yōu)先事項,他們期望Visuality Systems等合作伙伴可以提供可信軟件。Visuality Systems希望清楚地證明,我們的解決方案經過了嚴格的測試,以保護客戶的產品和應用?!?

Visuality Systems致力于開發(fā) SMB 客戶端和基于服務器的解決方案,主要客戶包括消費設備、航空航天和國防、汽車以及工業(yè)和醫(yī)療設備領域的行業(yè)領導者。 Visuality Systems的 NQ 產品線是當今世界上最常用的商業(yè) SMB 解決方案。

Limor Segal-Shevah指出:“無論是打印機、家用電器、Java應用程序、醫(yī)療設備還是汽車娛樂系統(tǒng),我們的客戶創(chuàng)建了運行在不同硬件和軟件上的各種軟件應用,并且每個應用都有特定的要求?!?

Limor Segal-Shevah 補充道:“所有設備都需要網絡連接,因為在當今世界,設備和應用程序不能單獨運作。許多應用程序和嵌入式設備通過服務器消息塊或SMB協(xié)議(Windows系統(tǒng)的默認標準)與后端Windows系統(tǒng)進行通信。網絡漏洞可以讓黑客有機會獲得機密信息或使用系統(tǒng)進行攻擊?!?

她說:“軟件漏洞通常是編碼錯誤的結果,惡意攻擊會利用代碼中的漏洞。Visuality Systems開發(fā)人員需要主動的檢測工具來發(fā)現(xiàn)他們編寫的代碼中的漏洞,以降低風險?!?

解決方案:新思科技Coverity 靜態(tài)應用安全測試

Visuality Systems已經在使用新思科技(Synopsys)的Defensics®模糊測試來識別運行代碼中的漏洞,并在2019年添加了 Coverity®靜態(tài)應用安全測試(SAST),以幫助其開發(fā)團隊在軟件開發(fā)生命周期的早期解決編碼漏洞。Coverity是一個快速、準確和高度可擴展的靜態(tài)分析解決方案,幫助開發(fā)和安全團隊處理安全和質量漏洞,確保符合安全和編碼標準。

憑借Coverity 靜態(tài)應用安全測試,Visuality Systems開發(fā)人員可以在不中斷正常工作流程的情況下掃描代碼,以查找安全漏洞和質量缺陷。 開發(fā)人員可以通過選擇Coverity的快速桌面、增量或完整分析模式,來確定分析的速度和深度。快速桌面分析和增量分析可以幫助開發(fā)人員在編碼時發(fā)現(xiàn)漏洞,這些漏洞最容易發(fā)現(xiàn),也最容易修復。Coverity的完整分析模式與構建/CI工具集成,如果缺陷違反了安全或質量規(guī)定,則構建失敗。DevOps團隊可以根據不斷變化的需求來調整和管理代碼分析。

Coverity已集成到Visuality Systems的CI/CD流程中。公司使用Bitbucket和Jira Cloud為軟件團隊管理他們的工作流程,并動態(tài)顯示在pull-request構建中發(fā)現(xiàn)的新問題的信息。Coverity 通過 Python 和 Jenkins CI 集成到構建流程中。 編寫的每一段代碼都由 Coverity 檢查,并且在 Coverity 通過之前不能合并到開發(fā)的主分支中。 當?shù)谝淮螜z測到漏洞時,負責的開發(fā)人員會在 Slack bot 中收到失敗通知,修復問題,然后將代碼推送到云端,從而觸發(fā)新的pull-request構建。 循環(huán)往復,直到成功編寫出安全、優(yōu)質的代碼。

Limor Segal-Shevah贊賞道:“新思科技的Coverity 是一個強大的工具,可以幫助 Visuality Systems 不斷改進產品,并最終編寫出更優(yōu)質、更安全的代碼?!?

成效:更健壯的代碼,更高的客戶滿意度

Visuality Systems的代碼質量和穩(wěn)定性都有所提高。Visuality Systems在軟件發(fā)布之前就已經解決了代碼缺陷和漏洞問題。而不是等到客戶發(fā)現(xiàn)了問題,反饋至公司,然后來來回回進行修復。在編碼開發(fā)過程中解決安全和質量缺陷,可以為客戶交付更健壯的代碼。

Limor Segal-Shevah表示:“在我看來,Coverity最出色的地方在于能提供全面的信息,并擁有過濾這些信息的能力,例如識別優(yōu)先級、風險和單個開發(fā)人員所有者等。我可以只看最新版本中發(fā)現(xiàn)的新問題;可以過濾掉我不需要的信息,只設置我想要的信息。非常便利。我們經常使用過濾功能,每當數(shù)據庫發(fā)生變化時,也會使用通知功能?!?

本站聲明: 本文章由作者或相關機構授權發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內容真實性等。需要轉載請聯(lián)系該專欄作者,如若文章內容侵犯您的權益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或將催生出更大的獨角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉型技術解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術公司SODA.Auto推出其旗艦產品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關鍵字: 汽車 人工智能 智能驅動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務中斷的風險,如企業(yè)系統(tǒng)復雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性,提升韌性,成...

關鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據媒體報道,騰訊和網易近期正在縮減他們對日本游戲市場的投資。

關鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據產業(yè)博覽會開幕式在貴陽舉行,華為董事、質量流程IT總裁陶景文發(fā)表了演講。

關鍵字: 華為 12nm EDA 半導體

8月28日消息,在2024中國國際大數(shù)據產業(yè)博覽會上,華為常務董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權最終是由生態(tài)的繁榮決定的。

關鍵字: 華為 12nm 手機 衛(wèi)星通信

要點: 有效應對環(huán)境變化,經營業(yè)績穩(wěn)中有升 落實提質增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務引領增長 以科技創(chuàng)新為引領,提升企業(yè)核心競爭力 堅持高質量發(fā)展策略,塑強核心競爭優(yōu)勢...

關鍵字: 通信 BSP 電信運營商 數(shù)字經濟

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術學會聯(lián)合牽頭組建的NVI技術創(chuàng)新聯(lián)盟在BIRTV2024超高清全產業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術創(chuàng)新聯(lián)...

關鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關鍵字: BSP 信息技術
關閉