1. Binary-Level Type Inference using Datalog Open Access Author: Huhman, Ashley Briane Title: Binary-Level Type Inference using Datalog Graduate Program: Computer Science and Engineering Keywords: DatalogControl Flow Graph constructionType Inference analysis File: Download corrected_FINAL.pdf Committee Members: Dr. Gang Tan, Thesis Advisor/Co-AdvisorDr. Danfeng Zhang, Committee Member