Degree Type

Thesis

Date of Award

2019

Degree Name

Master of Science

Department

Electrical and Computer Engineering

Major

Computer Engineering

First Advisor

Yong . Guan

Second Advisor

Doug . Jacobson

Abstract

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

Copyright Owner

Grant Foudree

Language

en

File Format

application/pdf

File Size

45 pages

Share

COinS