skip to main content
research-article
Free access

Static analysis

Published: 17 December 2021 Publication History

Abstract

The fundamental challenge of software engineering is one of complexity.

References

[1]
Cousot, P., Cousot, R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Los Angeles, CA, USA, 1977) 238--252. ACM Press
[2]
Hopper, Adm. G.M. The education of a computer. Annals of the History of Computing 9, 3-4 (1988), 271--281
[3]
Kemerer, C.F. Software complexity and software maintenance: A survey of empirical research. Annals of Software Engineering 1, 1 (1995), 1--22.
[4]
NASA Office of the Chief Engineer. Software Engineering and Assurance Handbook. National Aeronautics and Space Administration. SWE-135, 2011; https://swehb.nasa.gov/display/SWEHBVC.
[5]
Nichols, W.R., Jr. The cost and benefits of static analysis during development, 2020, arXiv:2003.03001; https://ui.adsabs.harvard.edu/abs/2020arXiv200303001N.
[6]
Nievergelt, J. On the automatic simplification of computer programs. Commun. ACM 8, 6 (June 1965), 366--370
[7]
Turing, A.M. On computable numbers, with an application to the entscheidungsproblem. In Proceedings of the London Mathematical Society s2-42, 1 (1937), 230--265

Cited By

View all
  • (2023)A Conceptual Model for the Selection of Methods for Software Engineering Process ImprovementBusiness Modeling and Software Design10.1007/978-3-031-36757-1_23(319-329)Online publication date: 2-Jul-2023
  • (2022)Principles of Abstract InterpretationFormal Aspects of Computing10.1145/354695334:2(1-3)Online publication date: 19-Sep-2022
  • (2022)An empirical study on the effectiveness of static C code analyzers for vulnerability detectionProceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3533767.3534380(544-555)Online publication date: 18-Jul-2022

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 65, Issue 1
January 2022
106 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/3507640
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 December 2021
Published in CACM Volume 65, Issue 1

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Popular
  • Refereed

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)686
  • Downloads (Last 6 weeks)66
Reflects downloads up to 17 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2023)A Conceptual Model for the Selection of Methods for Software Engineering Process ImprovementBusiness Modeling and Software Design10.1007/978-3-031-36757-1_23(319-329)Online publication date: 2-Jul-2023
  • (2022)Principles of Abstract InterpretationFormal Aspects of Computing10.1145/354695334:2(1-3)Online publication date: 19-Sep-2022
  • (2022)An empirical study on the effectiveness of static C code analyzers for vulnerability detectionProceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3533767.3534380(544-555)Online publication date: 18-Jul-2022

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media