Analysis of Program Based on Function Block

TL;DRAbstract

Basic block in program analysis plays an important role and it be applied to wide range, such as program compilation, program optimization, reverse engineering, program correctness verification, software security analysis and core module selection, etc. The binary executable analyzed by reverse engineering can contains indirect jump, however, the program analysis technologies based on basic block are not conducive to extract the target address information of indirect jump. In this paper, the presented analysis method based on function block is conducive to extract the target address of indirect jump and solve the problem of constructing the complete control flow graph. The correctness and validity of this method has been verified by the testing of spec2000 and spec2006 benchmark set, and it provides strong support for the research and application of reverse engineering.

Chat with Paper

AI Agents for this Paper