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