静态缺陷检测中的误报消除技术研究

Keywords: [误报, 数据流分析, 抽象解释, 约束求解, 符号执行, false positive, dataflow analysis, abstract interpretation, constraint solving, symbolic execution]

Full-Text   Cite this paper   Add to My Lib

Abstract:

误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报..

Full-Text