|
Published Articles >> Table of Contents >> Abstract
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
pp. 186-195
Composing Context Sensitive Analysis
Prahladavaradan Sampath, GM India Science Lab, India
Shrawan Kumar, TRDDC, India
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.12
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
Citation:
Prahladavaradan Sampath, Shrawan Kumar,
"Composing Context Sensitive Analysis,"
sefm,
pp. 186-195,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06),
2006
|
|
