背景简述

• 传统的数据流分析
• 基于值流图的稀疏数据流分析方法
• 静态单赋值形式
• 静态单赋值vs流非敏感分析

基于稀疏框架的静态污点分析优化技术

1. 背景
2. 自治数据流图
3. 变量使用点索引
4. 传播函数
5. 基于稀疏框架的污点分析
6. 污点传播中使用点的维护和剪枝
7. 剪枝优化讨论
8. 时空复杂度
9. 实验验证

总结与讨论

1. 精确度：降低误报漏报
2. 效率：删减无关联传播
3. 关于sanitizer过滤不完全的问题

本次组会内容下载链接