AbstractRelevant 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.
RightsThis Item is protected by copyright and/or related rights.You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use.For other uses you need to obtain permission from the rights-holder(s).