Modular Static Program Analysis

The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis; worst-case separate analysis; separate analysis with (user-provided) interfaces; symbolic relational separate analysis; as well as a fth category which is essentially obtained by composition of the above separate local analyses together with global analysis methods.

• Type: Journal
• Year: 2002
• Where: CC
• Authors: Patrick Cousot, Radhia Cousot
• Keywords: CC 2002, Relational Separate Analysis, Separate Analysis, System Software, Worst-case Separate Analysis