Freeness Analysis through Linear Refinement

Publication TypeConference Paper
Year of Publication1999
AuthorsHill PM, Spoto F
EditorCortesi A, Filé G
Conference NameStatic Analysis: Proceedings of the 6th International Symposium
PublisherSpringer-Verlag, Berlin
ISBN Number3-540-66459-9
Keywordsabstract interpretation, freeness analysis, linear refinement, logic programming, mode analysis, software verification, static analysis

Linear refinement is a technique for systematically constructing abstract domains for program analysis directly from a basic domain representing just the property of interest. This paper for the first time uses linear refinement to construct a new domain instead of just reconstructing an existing one. This domain is designed for definite freeness analysis and consists of sets of dependencies between sets of variables. We provide explicit definitions of the operations for this domain which we show to be safe with respect to the concrete operations. We illustrate how the domain may be used in a practical analysis by means of a small example.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.