一种面向审查的过程内数据流异常自动检测方法
卞磊 * , 刘超, 金茂忠
A method for intra?procedural data flow anomaly autodetection facing to inspection
Bian Software Engineering Institute, Beihang University, Beijing, 100083, China)Lei, Liu Chao, Jin MaoZhong
南京大学学报(自然科学版)
.
2010, (1): 71
-76
.
