Abstract
Relevant context inference (RCI) is a modular technique for flow- and context-sensitive data-flow analysis of statically typed object-oriented programming languages such as C++ and Java. RCI can be used to analyze complete programs as well as incomplete programs such as libraries; this approach does not require that the entire program be memory-resident during the analysis. We show that RCI can handle exceptions. We also discuss application of RCI to unit testing of libraries and explain how the information computed by RCI can be used for generating relevant test cases. RCI is presented in the context of points-to analysis. The empirical evidence obtained from a prototype implementation argues the effectiveness of RCI.