1997 Advances in Parallel and Distributed Computing Conference (APDC '97)
Eliminating two kinds of data flow inaccuracy in the presence of pointer aliasing
Shanghai, CHINA
March 19-March 21
ISBN: 0-8186-7876-3
Qiang Liu, Nat. Center for Intelligent Comput., Acad. Sinica, Beijing, China
Zhaoqing Zhang, Nat. Center for Intelligent Comput., Acad. Sinica, Beijing, China
Xiaomei Ji, Nat. Center for Intelligent Comput., Acad. Sinica, Beijing, China
Program languages with sophisticated usage of pointers as C are hard to analyze. Recent researches on pointer analysis focus on tracking the possible values of pointers, when a program point is reached, and great progress has been achieved. However, how to apply the result of pointer analysis to dataflow analysis and other program optimization/parallelization is not well studied. This paper presents an efficient interprocedural framework based on two insights in real C program and its use in deriving an context-sensitive pointer analysis algorithm and an accurate interprocedural modification side effects (MOD) computation. Based on the result of the pointer analysis, the inaccuracy induced by merging aliasing information is also studied.
Index Terms:
data flow analysis, data flow inaccuracy, pointer aliasing, pointer analysis, dataflow analysis, program optimization, parallelization, interprocedural framework, real C program
Citation:
Qiang Liu, Zhaoqing Zhang, Xiaomei Ji, "Eliminating two kinds of data flow inaccuracy in the presence of pointer aliasing," apdc, pp.410, 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb