基于信息流策略的污点传播分析及动态验证

• 作者: 曾庆凯 黄强
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 脆弱性 信息流 污点传播 动态验证 静态单一赋值
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2036-2048
• 分类号: TP311
• 字数: 10028字
• 语种: 中文
• DOI: 10.3724/SP.J.1 001.2011.03874

摘要

基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度,可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在潜在问题点自动插装动态验证函数,在无需用户干预的情况下保证了程序的运行时安全.在G CC编译器的基础上实现了分析系统,实验结果表明,该方法具有较高的精确度和时空效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆凯	南京大学计算机软件新技术国家重点实验室	58	555	13.0	21.0
10	黄强	南京大学计算机软件新技术国家重点实验室	4	40	2.0	4.0