通过虚拟代码集成进行动态数据流分析（又名 SpiderPig 案例）

本文探讨了利用虚拟代码集成（VCI）进行动态数据流分析的过程，通常也称为动态二进制重写。本文将尝试展示 SpiderPig 项目中应用的所有技术。它还将讨论所采用的方法与其他可用软件中使用的方法之间的主要区别，并介绍其他相关工作。SpiderPig 的方法被发现非常快速，并且足够透明，能够进行可靠且可用的数据流分析。它的创建目的是提供一种工具，帮助漏洞和安全研究人员跟踪和分析任何必要的数据及其在程序中的进一步传播。目前，它可在运行 Microsoft Windows 系统的 IA-32 平台上工作，并支持 FPU、SSE、MMX 以及所有 IA-32 通用指令。SpiderPig 还展示了虚拟代码集成（VCI）框架的用法，该框架允许在指令级别修改目标应用程序代码。我的意思是，VCI 框架允许自定义代码插入、原始代码修改以及原始应用程序代码的完全定制。可以随意交换、删除或修改指令，而不会破坏周围代码，并且修改的副作用也会得到解决。