简介：本次报告主要介绍S&P2021上的《PATA: Fuzzing with Path Aware Taint Analysis》。本文主要介绍了，传统的污点分析技术在辅助测试用例确定变异位置时，无法正确的对循环中的分支约束进行处理的问题。本文提出了约束变量收集的机制，用于辅助污点分析针对循环中分支约束的不同情况进行分析。提升污点分析辅助Fuzzing的准确性。
报告人：何兴陆
时间：2021-11-5，上午10点
会议地点：天河南楼213会议室
原文始发于微信公众号（ipasslab）：预告11.5|【论文分享】基于路径感知的污点分析Fuzzing方法
- 左青龙
- 微信扫一扫
-
- 右白虎
- 微信扫一扫
-
评论