Relevant context inference
- 1 January 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 133-146
- https://doi.org/10.1145/292540.292554
Abstract
Relevant context inference (RCI) is a modular technique forflow- and context-sensitive data-flow analysis of staticallytyped object-oriented programming languages such as C++and Java. RCI can be used to analyze complete programsas well as incomplete programs such as libraries; this approachdoes not require that the entire program be memoryresidentduring the analysis. RCI is presented in the contextof points-to analysis for a realistic subset of C++. The empiricalevidence obtained...Keywords
This publication has 24 references indexed in Scilit:
- Comparing flow and context sensitivity on the modification-side-effects problemPublished by Association for Computing Machinery (ACM) ,1998
- Componential set-based analysisPublished by Association for Computing Machinery (ACM) ,1997
- Program decomposition for pointer aliasingPublished by Association for Computing Machinery (ACM) ,1996
- Simple and effective analysis of statically-typed object-oriented programsPublished by Association for Computing Machinery (ACM) ,1996
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- Pointer-induced aliasingACM SIGPLAN Notices, 1993
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992
- Inferring types in SmalltalkPublished by Association for Computing Machinery (ACM) ,1981