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”.