流行者
FlowWalker 是一个实用的离线污点分析框架,具有高效率和低开销。
动态污点分析 (DTA) 是一种数据流分析技术,可监控污点源并跟踪外部输入的传播。 通过 DTA 的结果,可以判断哪些例程和哪些条件跳转在过程中受到外部数据的影响,从而可以手动控制。
FlowWalker 旨在提供一个实用、可用和可扩展的 DTA 框架。 现有的 DTA 工具会分析数据传播以及目标流程的执行,从而给流程带来了无法接受的沉重负担。 FlowWalker 将分析过程与执行分离,因此它由一个动态检测模块 Recorder 和一个跟踪分析器 Replayer 组成,后者给出过程的完整跟踪,以及一个跟踪分析器 Replayer,它分析跟踪并进行数据流跟踪。
此外,FlowWalker 还包含一个独立的模块 Recognizer。 识别器用于自动分析未知程序输入数据的结构和格式。 分析是基于污点分析
2021-10-13 14:58:12
23.75MB
C++
1