A practical off-line taint analysis framework and its application in reverse engineering of file format

作者：Cui Baojiang^*; Wang Fuwei; Guo Tao; Dong Guowei

来源：Computers & Security, 2015, 51: 1-15.

DOI：10.1016/j.cose.2015.02.006

• Taint analysis
• Data flow tracking
• Binary instrumentation
• Format reverse engineering
• Fuzzing test
• Virtualized execution
• Parallelization

This paper presents FlowWalker, a novel dynamic taint analysis framework that aims to extract the complete taint data flow while eliminating the bottlenecks that occur in existing tools, with applications to file-format reverse engineering. The framework proposes a multi-taint-tag assembly-level taint propagation strategy. FlowWalker separates taint tracking operations from execution with an off-line structure, utilizes memory-mapped files to enhance I/O efficiency, processes taint paths during virtual execution playback, and uses parallelization and pipelining mechanisms to achieve speedup. Based on the semantic correlations implied by the taint path information, this paper presents an algorithm for extracting the structures of unknown file formats. According to test data, the overall program runtime ranges from 92.98% to 208.01% of the length of the underlying instrumentation alone, while the speed enhancement is 60% compared to another well-featured tool in Windows. Medium-complexity file formats are correctly partitioned, and the constant fields are extracted. Due to its efficiency and scalability, FlowWalker can address the needs of further security-related research.

• 出版日期2015-6