Date of Award
Master of Science
Electrical and Computer Engineering
Yong . Guan
Doug . Jacobson
Software analysis of binary code is an important and challenging area of ongoing research.
Due to the significant complexity, tasks such as accurate function identification and control flow
graph recovery remain open problems in both industry and academia. The ability to reliably
analyze binary code is quite valuable to several industries, ranging from cybersecurity to software
verification. While several tools exist to disassemble and model control flow in binary programs,
none have a reliable and robust way of modeling dataflow. To address this gap, this thesis will
present a new technique to trace register dataflow across program slices on the x86 architecture
with a tool called ”RegSym”.
Foudree, Grant, ""Regsym" - dataflow analysis of linear x86 code" (2019). Graduate Theses and Dissertations. 17680.