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 (Arkistoitu – Internet Archive)
• Hoare, C. A. R. (2006). The ideal of verified software (Arkistoitu – Internet Archive)