Modular static program analysis

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationCompiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings
PublisherSpringer Verlag
Pages159-179
Number of pages21
Volume2304
ISBN (Print)3540433694, 9783540433699
DOIs
StatePublished - 2002
Event11th 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 2002Apr 12 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2304
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002
CountryFrance
CityGrenoble
Period4/8/024/12/02

Fingerprint

Program Analysis
Static analysis
Static Analysis
User interfaces
Chemical analysis
Worst-case Analysis
Abstract Interpretation
Global Analysis
Simplification
User Interface

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Cousot, P., & Cousot, R. (2002). Modular static program analysis. In Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings (Vol. 2304, 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. Vol. 2304 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 proceedingConference contribution

Cousot, P & Cousot, R 2002, Modular static program analysis. in Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. vol. 2304, 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 Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Vol. 2304. Springer Verlag. 2002. p. 159-179. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/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. Vol. 2304 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",
year = "2002",
doi = "10.1007/3-540-45937-5_13",
language = "English (US)",
isbn = "3540433694",
volume = "2304",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "159--179",
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

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

SN - 3540433694

SN - 9783540433699

VL - 2304

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

PB - Springer Verlag

ER -