article · 2001
\tA Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing
Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher
Cited by 0Abstract and details only
Abstract
The first interprocedural modification side-effects analysis for C (MODC) that obtains better than worst-case precision on programs with general-purpose pointer usage is presented with empirical results. The analysis consists of an algorithm schema corresponding to a family of MODC algorithms with two independent phases: one for determining pointer-induced aliases and a subsequent one for propagating interprocedural side effects. These MODC algorithms are parameterized by the aliasing method used. The empirical results compare the performance of two dissimilar MODC algorithms: MODC(FSAlias) uses a flow-sensitive, calling-context-sensitive interprocedural alias analysis; MODC(FIAlias) uses a flow-insensitive, calling-context-insensitive alias analysis which is much faster, but less accurate. These two algorithms were profiled on 45 programs ranging in size from 250 to 30,000 lines of C code, and the results demonstrate dramatically the possible costprecision trade-offs. This first comparative implementation of MODC analyses offers insight into the differences between flow-/context-sensitive and flow-/context-insensitive analyses. The analysis cost versus precision trade-offs in side-effect information obtained are reported. The results show surprisingly that the precision of flow-sensitive side-effect analysis is not always prohibitive in cost, and that the precision of flow-insensitive analysis is substantially better than worst-case estimates
Cite this paper
Ryder, B. G., Landi, W. A., Stocks, P. A., Zhang, S., & Altucher, R. (2001). \tA Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing.
Ryder, Barbara G., et al. “\tA Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing.” 2001.
Ryder, Barbara G., William A. Landi, Philip A. Stocks, Sean Zhang, and Rita Altucher. 2001. “\tA Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing.”
Ryder, B.G. et al. (2001) ‘\tA Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing’.
@article{ryder2001schema,
title = {{\tA Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing}},
author = {Ryder, Barbara G. and Landi, William A. and Stocks, Philip A. and Zhang, Sean and Altucher, Rita},
year = {2001}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.