Composing Context Sensitive Analysis
Prahladavaradan Sampath, Shrawan Kumar · 2006
In this paper we present a mechanism for developing context-sensitive analyses by composing together two analyses: a subject analysis and a context analysis. The construction provides a means for building analyses of complex properties out of analyses of simpler component properties. In particular, it becomes possible to introduce different forms of context-sensitivity into an analysis. This paper also considers the practical problems of implementing such analyses. In particular, the na¨ýve method of implementing the construction leads to analyses that are impractical and infeasible. We attack this problem by proposing a generic abstraction scheme based on the duality-theory of boolean algebras that makes this approach for building context-sensitive analyses practical.