2009•Journal of Tsinghua University(Science and Technology)Requires access
Binary code execution path based on symbolic and actual program execution
Jianxin Wang
Open publisher page 0 citations
Abstract
A system model that combines symbolic and actual execution was developed for path analyses of binary codes to find program bug.A debugger was built to dynamically load a program to obtain the binary code.The transformed system binary code is transformed into expressions containing more information than the assembly code which are useful for symbolic execution.The symbolic code is then executed with the actual code to obtain the path conditions.The symbolic execution analysis of the verification test program links the program's execution path to its unique input.Tests show that the system model can precisely analyze the relationships between the program input and its execution path.