软件学报ISSN 1000-9825 CODEN RUXUEWE-mail: of Software [doi: ]?中国科学院软件研究所版权所有.Tel: 86-10-62562563静态软件缺陷预测方法?基金项目: 国家自然科学基金(00000000 00000000) 南京大学计算机软件新技术国家重点实验室开放课题(KFKT00000000)Foundation item: Nati