Computer Science Department
School of Computer Science, Carnegie Mellon University
Alias Analysis for Assembly
David Brumley, James Newsome
Superceded by CMU-CS-06-180R
We propose using Datalog for alias analysis of binary programs. Alias analysis reasons about whether two memory references will overwrite the same memory cell.