pekerefeil

Pekerefeil er en samlebetegnelse for programmeringsfeil som oppstår når pekere håndteres feil, vanlig i språk som C og C++. Pekere refererer til minneadresser, og pekerefeil oppstår når disse adressene er ugyldige eller brukes feilaktig, noe som kan føre til minnefeil, krasj eller sikkerhetsproblemer.

Vanlige former for pekerefeil inkluderer å bruke uinitialiserte pekere, å dereferere en nullpekeren, samt bruk etter frigjøring (use-after-free) og dangling pointers etter at minne er frigitt. Andre kilder er pekeren som går ut av løpet, peker som peker utenfor et avgrenset minneområde (out-of-bounds), og dobbelt-frigjøring. Slike feil kan gi alt fra programfeil til kjøretidssårbarheter.

Konsekvenser av pekerefeil varierer fra krasj og uventet oppførsel til korrupsjon av data og sikkerhetsproblemer som vilkårlig kodeseksjon eller lekkasje av sensitiv informasjon. Feilene kan være vanskelige å reprodusere og kan slå ut i ulike deler av programmet eller systemet.

Diagnostisering og forebygging omfatter bruk av verktøy som minne-sanitizers og dynamisk analyseverktøy (for eksempel AddressSanitizer, Valgrind) samt statisk analyse. Forebyggende tiltak inkluderer å initialisere pekere, nullstille dem etter frigjøring, bruke smartpekere eller ressursforvaltere der det er mulig, og å begrense bruk av direkte pekermanipulasjon gjennom høyere nivåer av abstraksjon eller sikre språkalternativer. Utbredte konsepter som manglende minnesikkerhet og sikker programmering står i tett sammenheng med pekerefeil.

Se også: nullpeker, bruk-etter-frigjøring, dangling pointer, bufferoverløp.