sysss-blogs

摘要： Introduction 現(xiàn)有的靜態(tài)分析工具都是 unsound 的，并且體現(xiàn)為 uniformly unsound。這里的“uniformly”指靜態(tài)分析工具會(huì)用一種統(tǒng)一地忽略所有不能處理的特性，而不考慮代碼上下文。這種策略會(huì)減少誤報(bào)率 \(\frac{false \ alarm}{all \ a 閱讀全文