一种面向Trace与漏洞验证的污点分析方法

• 作者: 杨晨霞 秦彪 郭帆
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 污点分析 上下文敏感 域敏感 污点传播 形式化定义
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 网络空间安全
• 页码范围: 157-166
• 页数: 10页
• 分类号: TP311.53
• 字数: 10376字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0055290

摘要

静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警.针对该问题,提出一种上下文敏感和域敏感的污点分析方法.对污点传播的操作语义和一致性约束进行形式化定义,保证污点传播的语义正确性,同时分析插桩运行Android应用后产生的Trace片段,验证漏洞是否存在虚警.基于Soot实现原型系统并对DroidBench数据集中的70个应用进行分析,实验结果表明,该方法可成功验证4个虚警并发现8个漏报,表明其能有效判断静态分析结果的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭帆	江西师范大学计算机信息工程学院	37	217	10.0	12.0
2	杨晨霞	豫章师范学院计算机系	8	1	1.0	1.0
3	秦彪	江西师范大学计算机信息工程学院	2	1	1.0	1.0