skip to main content
10.1145/1315580.1315601acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
Article

The compiler as a static analysis tool

Published:04 November 2007Publication History

ABSTRACT

This paper shows that a programming language compiler can perform many kinds of tasks that are generally viewed as the domain of separate static analysis tools and, in the other direction, identifies certain kinds of analysis that are best left to separate tools.

References

  1. AdaCore. "The GNAT Pro Compiler". www.adacore.comGoogle ScholarGoogle Scholar
  2. Bartholomew, R. "Static Analysis as an Example Approach to High Integrity Open Source Software", Military Technologies Conference 2007, March 28, 2007.Google ScholarGoogle Scholar
  3. Darwin, I. "Checking C Programs with Lint", 75pp O'Reilly October 1988 Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. The GNAT project. "Examples of gnatxref Usage", GNAT Pro Users Guide, AdaCore, 2007. www.adacore.com.Google ScholarGoogle Scholar
  5. The GNAT project. "The GNAT metric tool gnatmetric", GNAT Pro Users Guide, AdaCore 2007. www.adacore.com.Google ScholarGoogle Scholar
  6. The GNU project. "Link-Time Optimization in GCC: Requirements and High-Level Design", Nov 16, 2005, http://gcc.gnu.org/projects/lto/lto.pdf.Google ScholarGoogle Scholar
  7. ISO/IEC 15291:1999 Information technology. "Programming languages -- Ada Semantic Interface Specification (ASIS)". International Standard published by ISO/IEC in 1999. http://www.iso.org/iso/en/prods-services/ISOstore/store.html.Google ScholarGoogle Scholar
  8. McCabe, T. and Butler, C. "Design complexity measurement and testing", Communications of the ACM, Volume 32, Issue 12 (December 1989). Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Ruiz, J. "Static stack analysis for safety-critical applications", September 2007, Embedded System Engineering, http://www.esemagazine.com/index.php? option=com_content&task=view&id=177&Itemid=2.Google ScholarGoogle Scholar
  10. Wall, D. "Global register allocation at link time", Proceedings of SIGPLAN 86 Symposium on Compiler Construction (Palo Alto, June 1986). ACM, New York, 1986 pp 264--275. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Wikipedia, "The SofCheck Inspector" Entry last modified May 2007, http://en.wikipedia.org/wiki/SofCheck_Inspector.Google ScholarGoogle Scholar

Index Terms

  1. The compiler as a static analysis tool

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Conferences
      SIGAda '07: Proceedings of the 2007 ACM international conference on SIGAda annual international conference
      November 2007
      116 pages
      ISBN:9781595938763
      DOI:10.1145/1315580
      • cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume XXVII, Issue 3
        SIGAda '07
        December 2007
        93 pages
        ISSN:1094-3641
        DOI:10.1145/1315607
        Issue’s Table of Contents

      Copyright © 2007 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 4 November 2007

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • Article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!