基于动静态程序分析的整形漏洞检测工具.pdfVIP

第 期 电 子 学 报 ８ Ｖｏｌ．３８ Ｎｏ．８ 年 月 ２０１０ ８ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ａｕｇ． ２０１０ 基于动静态程序分析的整形漏洞检测工具 １ １ ２ ２ １ １ 陈 平 ，韩 浩 ，沈晓斌 ，殷新春 ，茅 兵 ，谢 立 （ 南京大学软件新技术国家重点实验室，南京大学计算机科学与技术系，江苏南京 ； １． ２１００９３ 扬州大学信息工程学院，江苏扬州 ）