Some Notes on Static Analysis

  • John M. D. Hunter
Part of the Computer Communications and Networks book series (CCN)


This chapter is intended as a very brief introduction to program analysis. The examples of the techniques assurne the use of the SPADE package developed at Southampton University by a team under Dr Bernard Carré. Firstly, a simple Ada example is introduced. This code is then subjected to analysis using the standard techniques of static analysis. The final section summarises the various strengths and weaknesses of static analysis.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A “program” with more than one end node can arise from a procedure with more than one exit (return) statement.Google Scholar

Copyright information

© Springer-Verlag London 2001

Authors and Affiliations

  • John M. D. Hunter
    • 1
  1. 1.CISM GroupCranfield University, RMCSShrivenham, SwindonUK

Personalised recommendations