Minnesskyddsfel

Minnesskyddsfel är en felkategori i programvarukörningar där ett program försöker komma åt minne som är skyddat av operativsystemets minneshantering. Sådana fel inträffar när en process läser från eller skriver till en otillåten adress eller när den försöker exekvera kod i ett område som endast ska användas för data. Fenomenet är vanligt i system med minnesskydd och innebär ofta att körningen av programmet avbryts av säkerhetsskäl.

Orsaker till minnesskyddsfel inkluderar pekarfel som nullpekartillgång, out-of-bounds- eller överskridningar i pekarberäkningar, användning av frigjort minne (use-after-free), buffertöverskridningar, och felaktig hantering av pekare eller minnesallokering. Även stackoverflow, korrupt minnesstruktur eller fel i externa bibliotek kan leda till minnesskyddsfel. Dessa fel uppstår vanligtvis när det skyddade minnesspa­netet överskrids eller invalid användning av minne upptäcks av processorn och operativsystemet.

Mekanismerna bakom minnesskyddsfel innebär att när en otillåten minnesåtkomst försöks, utlöses en skyddsmisslyckning (ofta kallad page fault eller trap). Operativsystemet avbryter den körande processen och kan generera en signal eller undantag (såsom segfault i Unix-liknande system eller en access violation i Windows). Systemet kan sedan avsluta processen eller, i utvecklingsmiljöer, rapportera felet tillsammans med en minnesdump för felsökning.

Förebyggande åtgärder inkluderar noggrann pekarhantering, användning av minnessäkerhetsverktyg och sanitizers, samt programmeringsspråk eller ramverk som erbjuder bättre minnessäkerhet. Vanliga felsökningsmetoder består av debuggers, minnesprofilerare och instrumentering för att hitta och korrigera orsaken till felaktig minnesåtkomst.