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