Staattinen analyysi

Staattinen analyysi tarkoittaa tietokoneohjelmien analysointia suorittamatta niitä (suorittamalla tehtyä analysointia kutsutaan termillä dynaaminen analyysi).
Tyypillisesti juuri työkalun suorittamaa osuutta kutsutaan staattiseksi analyysiksi, kun taas ihmisen suorittamaa jatkoanalysointia siihen liittyen kutsutaan termillä ohjelman ymmärtäminen tai ohjelman ymmärtämisen teoria ().

Katso myös 
 Symbolinen analyysi

Kirjallisuutta 
Cousot,P., Cousot, R. (1977). Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Los Angeles, CA. 

Ohjelmistotuotanto
Ohjelmiston katselmointi