Buffer Overflow

Définition

Un Buffer Overflow (dépassement de tampon) est une vulnérabilité mémoire fondamentale, référencée sous CWE-120 et CWE-121 selon sa localisation, survenant lorsqu'un programme écrit des données au-delà des limites d'un buffer mémoire préalablement alloué pour les contenir, écrasant ainsi des zones mémoire adjacentes non destinées à recevoir ces données, typiquement dans des langages comme C ou C++ ne procédant pas à une vérification automatique des limites d'accès mémoire contrairement à des langages managés comme Java ou Python. Lorsque le débordement affecte la pile d'exécution (stack overflow), l'attaquant peut potentiellement écraser l'adresse de retour d'une fonction, redirigeant le flux d'exécution du programme vers une adresse arbitraire de son choix, historiquement vers un shellcode injecté directement dans le buffer débordé, technique aujourd'hui largement contrée par les protections DEP/NX et ASLR mais contournable via des techniques avancées comme le Return-Oriented Programming. Le débordement de tas (heap overflow) corrompt les structures de gestion mémoire dynamique, pouvant conduire à une corruption de métadonnées exploitables pour une exécution de code arbitraire. Au minimum, un débordement provoque un crash de l'application, tandis qu'une exploitation aboutie permet l'exécution de code arbitraire avec les privilèges du processus compromis. La prévention repose sur des fonctions sécurisées limitant la taille des écritures, la validation stricte des entrées, et l'emploi de langages memory-safe comme Rust pour les développements critiques.