Scalable, Precise Context-Sensitive Top-Down Process for Modular Points-to Analysis
by
Erik M. Nystrom
,
Hong-Seok Kim
,
Wen-mei W. Hwu
BibTeX
@MISC{Nystrom_scalable,precise,
author = {Erik M. Nystrom and Hong-Seok Kim and Wen-mei W. Hwu},
title = {Scalable, Precise Context-Sensitive Top-Down Process for Modular Points-to Analysis},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The main loop of modular points-to analysis typically consists of two major phases. The first, a bottom-up process, transforms each procedure into a self-contained module that encapsulates all the internal dataflow along with side effects from procedure calls. The second, a top-down process, provides the input points-to information to each procedure and computes the actual points-to information. We propose
