摘要:
Introduction 現(xiàn)有的靜態(tài)分析工具都是 unsound 的,并且體現(xiàn)為 uniformly unsound。這里的“uniformly”指靜態(tài)分析工具會(huì)用一種統(tǒng)一地忽略所有不能處理的特性,而不考慮代碼上下文。這種策略會(huì)減少誤報(bào)率 \(\frac{false \ alarm}{all \ a 閱讀全文
posted @ 2025-11-02 19:22
sysss
閱讀(5)
評(píng)論(0)
推薦(0)

浙公網(wǎng)安備 33010602011771號(hào)