Muistivuoto

Muistivuoto on ohjelmoinnin tyypillisimpiä virheitä. Tällä tarkoitetaan muistin varausta ohjelmakoodissa ilman muistin vapauttamista. Kun muistivuotoa sisältävää ohjelman osaa suoritetaan riittävän monta kertaa, voi vapaa muisti loppua, mikä aiheuttaa ohjelmiston kaatumisen. Joissakin ohjelmointikielissä, kuten Javassa, on automaattinen roskienkerääjä, joka pyrkii vapauttamaan ohjelmiston varaamia resursseja ohjelman uusiokäyttöön. Tällaista automaattista roskienkerääjää ei ole kuitenkaan esimerkiksi C:ssä ja C++:ssa. Se voidaan toteuttaa olemassa olevilla kirjastoilla taikka toteuttaa itse ohjelman päättyessä kirjoittamalla kaikkien muuttujien päälle nollia. Muistin yli- ja alivuototilanteet on myös hyvä ottaa huomioon.

Ongelman välttäminen

Muistivuodon havaitsemista varten voidaan tehdä testiohjelma, joka suorittaa jotakin funktiota useita kertoja peräkkäin. Jos ohjelma kaatuu koko ajan samassa suoritusvaiheessa, saatetaan havaita muistivuotoa aiheuttava koodin ongelmakohta. Olemassa olevan koodin voi myös tutkia sekä kaupallisilla, että ilmaisilla työkaluilla.

Muistin yli- ja alivuototilanne

Muistin ylivuototilanteessa kirjoitetaan kirjoitettavaksi tarkoitetun alueen yli, esimerkiksi kirjoittamalla kymmenen tavua viiden tavun alueelle. Muistin alivuototilanteessa sijoitetaan muuttuvaksi määritellyn alueen keskelle merkki alueen päättymisestä, minkä on tarkoitus ilmoittaa konekielisen ohjeistuksen alkamisesta.

Yksinkertainen C-kielinen esimerkki

Tämä ohjelma havainnollistaa muistivuotoa.

int main(void)
{
   char *string1 = malloc(sizeof(char)*50);
   char *string2 = malloc(sizeof(char)*50);
   scanf("%s", string2);
   string1 = string2; 
             /* Tässä string1:n varaama muisti kadotetaan.
             *  Se ei osoita mihinkään muistialueeseen,
             *  joten sitä ei voida eksplisiittisesti vapauttaa.
             */
   free(string2); /* Tämä toimii. */
   free(string1); /* Muistivuoto! Yritetään vapauttaa muistia 
                     joka on jo kertaalleen vapautettu. */
   return 0;

}