1. 基于二进制重写的混合分析构建控制流图方案.
- Author
-
李自友, 黄晓芳, and 殷明勇
- Subjects
- *
FLOWGRAPHS - Abstract
CFG forms the foundation of binary program analysis. Traditional static analysis methods construct CFGs quickly with high code coverage but cannot resolve indirect jumps. Dynamic analysis methods, while capable of handling indirect jumps, suffer from low code coverage and high performance overhead. To efficiently construct a complete CFG, this paper proposed a hybrid analysis approach combining static and dynamic methods. This approach first used static analysis to generate the program's initial CFG, then applied fuzz testing to obtain input data for different execution paths of the target program, inducing the modified program to execute and retrieve indirect jump addresses. By integrating the results of both static and dynamic analyses, the complete CFG was efficiently constructed. Experimental results confirm that this hybrid analysis approach constructs a more complete CFG compared to existing hybrid analysis methods, and is more efficient than hybrid analysis approaches based on dynamic binary instrumentation. [ABSTRACT FROM AUTHOR]
- Published
- 2025
- Full Text
- View/download PDF