Compositional separate modular static analysis of programs by abstract interpretation
Patrick M. Cousot, Radhia Cousot · 2001
Abstract — The purpose of this paper is to present four basic methods for compositional separate modular static analysis of programs by abstract interpretation: • Simplification-based separate analysis; • Worst-case separate analysis; • Separate analysis with (user-provided)interfaces; • Symbolic relational separate analysis; as well as a fifth category which is essentially obtained by composition of the above separate local analyses and global analysis methods.