什么是代碼靜態(tài)分析技術(shù)?

發(fā)布時(shí)間:2021-04-25

定義:是在不執(zhí)行計(jì)算機(jī)程序的條件下,對(duì)源代碼進(jìn)行分析,找出代碼缺陷。
 
執(zhí)行方式:一般配合靜態(tài)程序分析工具進(jìn)行。
 
采用技術(shù):數(shù)據(jù)分析流,機(jī)器學(xué)習(xí),語(yǔ)義精簡(jiǎn)。
 
可檢測(cè)類型:死鎖,空指針,資源泄漏,緩存區(qū)溢出,安全漏洞,竟態(tài)條件。
 
用途:程序翻譯/編譯,程序優(yōu)化重構(gòu),軟件缺陷檢測(cè)等。
 
對(duì)比:程序動(dòng)態(tài)分析:需要實(shí)際執(zhí)行程序
 
程序理解:靜態(tài)分析這一術(shù)語(yǔ)一般用來(lái)形容自動(dòng)化測(cè)試工具的分析,而人工分析則往往叫做程序理解。
 
優(yōu)點(diǎn):
 
1.能夠檢測(cè)所有的代碼級(jí)別可執(zhí)行路徑組合,快速,準(zhǔn)確。
 
2.直接面向源碼,分析多種問(wèn)題。
 
3.在研發(fā)階段開始找到并修復(fù)多種問(wèn)題,節(jié)省大量時(shí)間,人力成本
 
推薦閱讀:
 
 
 
 
本文內(nèi)容不用于商業(yè)目的,如涉及知識(shí)產(chǎn)權(quán)問(wèn)題,請(qǐng)權(quán)利人聯(lián)系SPASVO小編(021-60725088-8054),我們將立即處理,馬上刪除。
滬ICP備07036474號(hào) 2003-2024 版權(quán)所有 上海澤眾軟件科技有限公司 Shanghai ZeZhong Software Co.,Ltd.
微信
咨詢

添加客服微信 歡迎咨詢測(cè)試工具和測(cè)試服務(wù)

微信客服
問(wèn)題
反饋
產(chǎn)品
畫冊(cè)

掃描二維碼下載澤眾軟件企業(yè)宣傳冊(cè)

產(chǎn)品畫冊(cè)
返回
頂部

方案咨詢

×
提交信息

電話咨詢,400-035-7887,安排專業(yè)技術(shù)售前給您解答(產(chǎn)品試用、技術(shù)交流、服務(wù)咨詢和商務(wù)報(bào)價(jià))。

您的信息已成功提交!

我們的客服人員稍后會(huì)與您聯(lián)系