FlowWalker:FlowWalker 是一个实用的离线污点分析框架，具有高效率和低开销-源码

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