Composing Context Sensitive Analysis

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 naive 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