Modular static program analysis

Patrick Cousot; Radhia Cousot

doi:10.1007/3-540-45937-5_13

Modular static program analysis

Patrick Cousot, Radhia Cousot

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 together with global analysis methods.

Original language	English (US)
Title of host publication	Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings
Editors	R. Nigel Horspool
Publisher	Springer Verlag
Pages	159-179
Number of pages	21
ISBN (Print)	3540433694, 9783540433699
DOIs	https://doi.org/10.1007/3-540-45937-5_13
State	Published - 2002
Event	11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France Duration: Apr 8 2002 → Apr 12 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2304
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002
Country/Territory	France
City	Grenoble
Period	4/8/02 → 4/12/02

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-45937-5_13

Cite this

Cousot, P., & Cousot, R. (2002). Modular static program analysis. In R. Nigel Horspool (Ed.), Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings (pp. 159-179). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2304). Springer Verlag. https://doi.org/10.1007/3-540-45937-5_13

Modular static program analysis. / Cousot, Patrick; Cousot, Radhia.
Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. ed. / R. Nigel Horspool. Springer Verlag, 2002. p. 159-179 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2304).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cousot, P & Cousot, R 2002, Modular static program analysis. in R Nigel Horspool (ed.), Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2304, Springer Verlag, pp. 159-179, 11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, 4/8/02. https://doi.org/10.1007/3-540-45937-5_13

Cousot P, Cousot R. Modular static program analysis. In Nigel Horspool R, editor, Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Springer Verlag. 2002. p. 159-179. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45937-5_13

Cousot, Patrick ; Cousot, Radhia. / Modular static program analysis. Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. editor / R. Nigel Horspool. Springer Verlag, 2002. pp. 159-179 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9d6168a5f49b4c28b068baae4b6bca38,

title = "Modular static program analysis",

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 together with global analysis methods.",

author = "Patrick Cousot and Radhia Cousot",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 ; Conference date: 08-04-2002 Through 12-04-2002",

year = "2002",

doi = "10.1007/3-540-45937-5_13",

language = "English (US)",

isbn = "3540433694",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "159--179",

editor = "{Nigel Horspool}, R.",

booktitle = "Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings",

}

TY - GEN

T1 - Modular static program analysis

AU - Cousot, Patrick

AU - Cousot, Radhia

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2002.

PY - 2002

Y1 - 2002

N2 - 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 together with global analysis methods.

AB - 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 together with global analysis methods.

UR - http://www.scopus.com/inward/record.url?scp=84959062828&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84959062828&partnerID=8YFLogxK

U2 - 10.1007/3-540-45937-5_13

DO - 10.1007/3-540-45937-5_13

M3 - Conference contribution

AN - SCOPUS:84959062828

SN - 3540433694

SN - 9783540433699

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 159

EP - 179

BT - Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings

A2 - Nigel Horspool, R.

PB - Springer Verlag

T2 - 11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002

Y2 - 8 April 2002 through 12 April 2002

ER -

Modular static program analysis

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this