Computer Science Department
School of Computer Science, Carnegie Mellon University
Alias Analysis for Assembly
David Brumley, James Newsome
December 2006
Supercedes CMU-CS-06-180
CMU-CS-06-180R.ps
CMU-CS-06-180R.pdf
We propose using Datalog for alias analysis of binary programs. Alias analysis reasons about whether two memory references will overwrite the same memory cell.
26 pages
Return to:
SCS Technical Report Collection This page maintained by reports@cs.cmu.edu
School of Computer Science