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

Keywords: Assembly alias, x86 alias, datalog

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
School of Computer Science

This page maintained by