| Ruf95. E. Ruf. Context-sensitive alias analysis reconsidered. Proceedings of the ACM SIGPLAN 95 Conference on Programming Language Design and Implementation, 1995. |
....takes into account the fact that a function must return to the site of the most recent call, while context insensitive analysis propagates information from a call site, through the called function, and back to all call sites. An interesting pair of papers that address this issue are [WL95] and [Ruf95]. Flow and context sensitivity generally provide more precise results, but can also be more costly in terms of time and or space. This paper addresses techniques for flow and context insensitive analysis of stack based storage. Even within this somewhat limited context there is a range of ....
E. Ruf. Context-sensitive alias analysis reconsidered. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 13--22, June 1995.
.... usually limited to reporting the times required to analyze programs, plus some information about the sizes of the points to sets that were produced (possibly comparing the times and sizes of the new algorithm to those required produced by some other algorithm) For examples, see [LR92] And94] [Ruf95], Ste96] EGH94] WL95] or [SH97] While this is certainly interesting, it is not clear whether this information can be used to predict the usefulness of the pointeranalysis algorithm in a larger context. For example, in the case discussed above, we don t really care about the size of p s ....
....if A is the Naive analysis, while the difference between the non trivial pointer analyses is slight. However, for gmodS, gmodT, and tliveT, the value PA=B is always 1.3 or more; the choice of pointer analysis has a very strong effect on these. These results contrast with those reported by Ruf in [Ruf95]. Ruf studied the impact of context sensitivity on flow sensitive pointer analysis. When he considered the sizes of the points to sets at all program points, he found that using a context sensitive algorithm did make a difference (the sets were significantly smaller) However, when he considered ....
E. Ruf. Context-sensitive alias analysis reconsidered. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 13--22, June 1995.
No context found.
Ruf95. E. Ruf. Context-sensitive alias analysis reconsidered. Proceedings of the ACM SIGPLAN 95 Conference on Programming Language Design and Implementation, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC