Search

Author:

Zheng, Qingyuan

Title:

A Symbolic Data Dependence Analysis With Abstract Interpretation

Graduate Program:

Computer Science

Keywords:

Static Analysis
Alias Analysis
Data Dependence Analysis
Theorem Prover
Abstract Interpretation

File:

Download Master_Thesis_QingyuanZheng.pdf

Committee Members:

Gang Tan, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee Member
Chitaranjan Das, Program Head/Chair

Author:

Kim, Sun Hyoung

Title:

Practical Static Binary Analysis with Block Memory Model

Graduate Program:

Computer Science and Engineering (PHD)

Keywords:

Static Analysis
Binary Analysis
Control Flow Graph
Pointer Analysis
Type Inference

File:

Download Sun_Hyoung_Kim_thesis_final.pdf

Committee Members:

G. Tan, Chair & Dissertation Advisor
Sencun Zhu, Major Field Member
Danfeng Zhang, Major Field Member
Dinghao Wu, Outside Unit & Field Member
Chitaranjan Das, Program Head/Chair