Lähdekoodin analysointi

Lähdekoodin analysointi tarkoittaa ohjelmakoodin tutkimista ihmisen suorittamana tai automaattisesti työkalulla.

Ohjelmistokehityksen tuloksena syntyy yleisesti lähdekoodia, joka on kirjoitettu jollakin lukuisista ohjelmointikielistä kuten Java, C, C++, C#, Perl jne. Koodi on yleensä ainutlaatuinen ratkaisu ja käy sellaisenaan vain yhteen tarkoitukseen. Silloin kun koodia on valmistunut jo paljon, puhutaan ns. perintöjärjestelmistä. Niiden sisältämän koodin tutkiminen on hyvin vaivalloista ihmisen tekemänä, sillä koodi sisältää tyypillisesti paljon riippuvuuksia ja epäjatkuvuuksia, joiden esille saaminen vaatii syvällistä ja vaivalloista tutkimista. Tätä tutkimista kutsutaan lähdekoodin analysoimiseksi. 

Lähdekoodin analysoinnin periaatteita on kolme: 
 Staattinen analyysi 
 Dynaaminen analyysi 
 Symbolinen analyysi

Katso myös 
 Koodin katselmointi

Lähteet 
Jackson, D., and Rinard, M. (2000). Software Analysis: A Roadmap, CSE - *Future of SE Track 2000,  133-145 
Hoare, C. A. R. (2006). The ideal of verified software 

Ohjelmointi