Annotating Components to Support Component-Based Static Analyses of Software Systems
Judith A. Stafford, Alexander L. Wolf · 1999
COTS (Commercial Off The Shelf) components are typically viewed as black-boxes; input and output information is supplied in their interfaces. In this paper we argue that interfaces provide insucient information for many analysis purposes and suggest analysis-related annotations be supplied with components. We center our discussion on static dependence analysis. We use an extensible language to annotate components and perform dependence analysis over these descriptions. We propose that component annotations be certified, thereby providing a base for certifiable analysis.