Efficient points-to analysis for whole-program analysis

摘要: To function on programs written in languages such as C that make extensive use of pointers, automated software engineering tools require safe alias information. Existing alias-analysis techniques are sufficiently efficient for analysis large systems may provide information is too imprecise it: the imprecision (1) reduce precision provided by and (2) increase cost tools. This paper presents a flow-insensitive, context-sensitive points-to algorithm computes almost precise computed Andersen's — most flow- context-insensitive Steensgaard's algorithm. Our empirical studies show our scales to better than flow-insensitive algorithms, algorithm, can compute close more expensive algorithms.