Modular Static Program Analysis

  title={Modular Static Program Analysis},
  author={Patrick Cousot and Radhia Cousot},
The purpose of this paper is to present four basic methods for compositional 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. 
Highly Cited
This paper has 266 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 103 extracted citations

266 Citations

Citations per Year
Semantic Scholar estimates that this publication has 266 citations based on the available data.

See our FAQ for additional information.