1. Practical Static Binary Analysis with Block Memory Model Open Access Author: Kim, Sun Hyoung Title: Practical Static Binary Analysis with Block Memory Model Graduate Program: Computer Science and Engineering (PHD) Keywords: Static AnalysisBinary AnalysisControl Flow GraphPointer AnalysisType Inference File: Download Sun_Hyoung_Kim_thesis_final.pdf Committee Members: G. Tan, Chair & Dissertation AdvisorSencun Zhu, Major Field MemberDanfeng Zhang, Major Field MemberDinghao Wu, Outside Unit & Field MemberChitaranjan Das, Program Head/Chair