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 (engl. program comprehension).
Katso myös
muokkaaKirjallisuutta
muokkaa- 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. (englanniksi)