Erreur : heap-use-after-free

Erreur d’assainissement de l’adresse : utilisation de la mémoire libérée

Nous montrons trois exemples où le stockage dans le tas peut être alloué via malloc, realloc (C) et new (C++), ainsi qu’une utilisation erronée de volatile.

Exemple- malloc

// example1.cpp
// heap-use-after-free error
#include <stdlib.h>

int main() {
  char *x = (char*)malloc(10 * sizeof(char));
  free(x);

  // ...

  return x[5];   // Boom!
}

Pour générer et tester cet exemple, exécutez ces commandes dans une invite de commandes développeur Visual Studio 2019 version 16.9 ou ultérieure :

cl example1.cpp /fsanitize=address /Zi
devenv /debugexe example1.exe

Lorsque Visual Studio s’affiche, appuyez F5 sur l’exemple 1 pour exécuter l’exemple 1.

Erreur résultante

Exemple- operator new

// example2.cpp
// heap-use-after-free error
#include <windows.h>

int main() {
  char *buffer = new char[42];
  delete [] buffer;

  // ...

  buffer[0] = 42;  // Boom!
  return 0;
}

Pour générer et tester cet exemple, exécutez ces commandes dans une invite de commandes développeur Visual Studio 2019 version 16.9 ou ultérieure :

cl example2.cpp /fsanitize=address /Zi
devenv /debugexe example2.exe

Lorsque Visual Studio s’affiche, appuyez F5 sur l’exemple 2 pour exécuter l’exemple 2.

Erreur résultante : opérateur nouveau

Exemple- realloc

// example3.cpp
// heap-use-after-free error
#include <malloc.h>

int main() {
  char *buffer = (char*)realloc(0, 42);
  free(buffer);

  // ...

  buffer[0] = 42;  // Boom!
  return 0;
}

Pour générer et tester cet exemple, exécutez ces commandes dans une invite de commandes développeur Visual Studio 2019 version 16.9 ou ultérieure :

cl example3.cpp /fsanitize=address /Zi
devenv /debugexe example3.exe

Lorsque Visual Studio s’affiche, appuyez F5 pour exécuter l’exemple 3.

Erreur résultante - realloc

Exemple : volatile

// example4.cpp
// heap-use-after-free error
#include <stdlib.h>

int main() {

  volatile char *x = (char*)malloc(sizeof(char));
  free((void*)x);

      //...

  *x = 42;        // Boom!
}

Pour générer et tester cet exemple, exécutez ces commandes dans une invite de commandes développeur Visual Studio 2019 version 16.9 ou ultérieure :

cl example4.cpp /fsanitize=address /Zi
devenv /debugexe example4.exe

Lorsque Visual Studio s’affiche, appuyez F5 sur l’exemple 4 pour exécuter l’exemple 4.

Erreur résultante - volatile

Voir aussi

Vue d’ensemble de AddressSanitizer
Résoudre les problèmes connus liés à AddressSanitizer
Référence de build et de langage AddressSanitizer
Informations de référence sur le runtime AddressSanitizer
Octets d’ombre AddressSanitizer
Test cloud ou distribué AddressSanitizer
Intégration du débogueur AddressSanitizer
Exemples d’erreur AddressSanitizer