%0 Journal Article
%T 静态缺陷检测中的误报消除技术研究
%A 赵云山  宫云战  周  傲  王  前  周虹伯
%J -
%D 2012
%X 误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报..
%K [误报
%K 数据流分析
%K 抽象解释
%K 约束求解
%K 符号执行
%K false positive
%K dataflow analysis
%K abstract interpretation
%K constraint solving
%K symbolic execution]
%U http://crad.ict.ac.cn/CN/Y2012/V49/I9/1822