Skip to main content
SpringerLink
Log in
Book cover

Encyclopedia of Cryptography and Security pp 1254–1256Cite as

Static Analysis

  • Reference work entry

  • 158 Accesses

Synonyms

Static program analysis

Related Concepts

Dynamic Analysis; Static Analysis

Definition

Static analysis is the process of analyzing a program text in order to extract semantic information.

Background

Static analysis algorithms historically have come from compiler research and implementations. Static analysis algorithms extracted facts about a program that were used by the compiler to ensure correct and efficient translation from a source language to a destination language. One of the earliest examples is the 1957 IBM FORTRAN compiler, which included a number of static analyses for efficiently mapping user variables to registers, transforming loops to make execution more efficient, and ensuring a program is well typed [1].

Initial static analysis were intra-procedural analysis, meaning only a single procedure is analyzed at a time, and all procedures are analyzed independent of other procedures. Inter-proceduralanalysis — static analysis that considers the relationships between...

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   799.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   949.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Recommended Reading

  1. Backus JW, Beeber RJ, Best S, Goldberg R, Haibt LM, Herrick HL, Nelson RA, Sayre D, Sheridan PB, Stern H, Ziller I, Hughes RA, Nutt R (1957) The FORTRAN automatic coding system. In: Proceedings of the Western Joint Computer Conference: papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, 26–28 February 1957. Institute of Radio Engineers, New York

    Google Scholar 

  2. Aho AV, Lam M, Sethi R, Ullman JD (2007) Compilers: principles, techniques, and tools, 2nd edn. Addison-Wesley, Boston

    Google Scholar 

  3. http://www.fortify.com/security-resources/rats.jsp

  4. http://www.cigital.com/its4

  5. http://www.coverity.com

  6. http://wwww.fortify.com

  7. Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, langauges, and computation. Addison-Wesley, Boston

    Google Scholar 

  8. Landi W (1992) Undecidability of static analysis. ACM Lett Progr Lang Sys 1(4):327–337

    MathSciNet  Google Scholar 

  9. Kildall GA (1973) A unified approach to global program optimization. In: POPL ’73: Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Boston, 1–3 October 1973. ACM Press, New York, pp 194–206

    Chapter  Google Scholar 

  10. Nielson F, Nielson HR, Hankin C (2004) Principles of program analysis. Springer, Berlin

    Google Scholar 

  11. Cousot P, Cousot R (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference record of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles, 17–19 Jan 1977. pp 238–252

    Google Scholar 

  12. Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge, MA

    Google Scholar 

  13. http://www.cs.berkeley.edu/~daw/mops/

  14. http://www.cs.cmu.edu/~modelcheck/cbmc/

  15. Pierce BC (2002) Types and programming languages. MIT Press, Cambridge, MA

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical and Computer Engineering Department, Department of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, 15213, Pittsburgh, PA, USA

    David Brumley (Dr.)

Authors
  1. David Brumley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computing Science, Eindhoven University of Technology, 5600 MB, Eindhoven, The Netherlands

    Henk C. A. van Tilborg

  2. Center for Secure Information Systems, George Mason University, Fairfax, VA, 22030-4422, USA

    Sushil Jajodia

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media, LLC

About this entry

Cite this entry

Brumley, D. (2011). Static Analysis. In: van Tilborg, H.C.A., Jajodia, S. (eds) Encyclopedia of Cryptography and Security. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-5906-5_839

Download citation

Publish with us

Policies and ethics

Search

Navigation