AddressSanitizer
Détecter les erreurs de mémoire
AddressSanitizer est une leçon C++ Academy gratuite sur CoddyKit. Ceci est la leçon 2 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage C++ Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours C++ Academy comprend 4 leçons au total.
Qu'est-ce qu'AddressSanitizer ?
AddressSanitizer (ASan) est un outil fondé sur le compilateur qui détecte les erreurs de mémoire lors de l'exécution : accès hors limites, utilisation après libération, double libération et fuites. Il est suffisamment rapide pour les tests quotidiens.
Activer ASan
Ajoutez -fsanitize=address lors de la compilation et de l'édition des liens, ainsi que -g pour obtenir des rapports lisibles.
g++ -fsanitize=address -g -O1 main.cpp -o app
./appDépassement de tampon du tas
ASan signale les lectures et écritures au-delà d'un tampon alloué. Ce programme écrit un élément de trop.
#include <cstdlib>
int main() {
int* a = (int*)malloc(3 * sizeof(int));
a[3] = 7; // out of bounds
free(a);
return 0;
}Utilisation après libération
Accéder à une mémoire après sa libération constitue un comportement indéfini ; ASan signale un heap-use-after-free avec les piles d'appels de la libération et de l'allocation.
#include <cstdlib>
int main() {
int* p = (int*)malloc(sizeof(int));
free(p);
*p = 5; // use after free
return 0;
}Dépassement de tampon de la pile
ASan instrumente également les tableaux de la pile et détecte les dépassements des tampons locaux.
#include <iostream>
int main() {
int buf[3] = {0, 0, 0};
for (int i = 0; i <= 3; ++i) buf[i] = i; // i==3 overflows
std::cout << buf[0] << "\n";
return 0;
}Lire le rapport
Un rapport ASan indique le type d'erreur, l'adresse fautive et les traces de pile du mauvais accès ainsi que de l'allocation ou de la libération concernée. La première trame de la pile pointe généralement directement vers le bogue.
Détection des fuites
ASan inclut LeakSanitizer sur de nombreuses plateformes et signale la mémoire qui n'a jamais été libérée à la fin du programme, avec la pile d'appels de l'allocation.
#include <cstdlib>
int main() {
int* leaked = (int*)malloc(100); // never freed
return 0;
}Options d'exécution
Adaptez le comportement avec la variable d'environnement ASAN_OPTIONS, par exemple ASAN_OPTIONS=detect_leaks=1:halt_on_error=0.
Coût en performances
ASan ralentit généralement les programmes d'environ deux fois et augmente l'utilisation de la mémoire. C'est acceptable pour les tests et l'intégration continue, mais vous ne livreriez pas une version de production avec cet outil activé.
Associer aux tests
Exécutez vos tests unitaires sous ASan dans l'intégration continue. De nombreux bogues réels n'apparaissent que lorsqu'ils sont exercés par des tests avec les désinfecteurs activés. Conservez une configuration de compilation dédiée aux désinfecteurs.
Ne remplace pas la vigilance
ASan ne trouve les bogues que sur les chemins de code que vous exécutez réellement. Associez-le à une bonne couverture de tests ; une branche défectueuse qui n'est pas exécutée reste cachée.
Vérification rapide
Rappelez-vous comment activer ASan.
Récapitulatif
Vous avez découvert AddressSanitizer.
- Détecte les accès hors limites, les utilisations après libération, les doubles libérations et les fuites
- Activez-le avec
-fsanitize=address -g - Les rapports nomment l'erreur et affichent les piles d'appels des allocations et libérations
- Environ deux fois plus lent ; idéal pour les tests et l'intégration continue, mais pas pour les versions livrées
Questions Fréquemment Posées
La leçon « AddressSanitizer » est-elle gratuite ?
Oui — le texte complet de « AddressSanitizer » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours C++ Academy, passe à CoddyKit PRO. Le cours C++ Academy comprend 4 leçons au total.
Qu'est-ce que j'apprendrai dans « AddressSanitizer » ?
Détecter les erreurs de mémoire Tu pratiques C++ Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.
Dois-je avoir de l'expérience pour commencer C++ Academy ?
Aucune expérience préalable n'est requise. C++ Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 2 sur 4.
Combien de temps prend la leçon « AddressSanitizer » ?
La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.
Peux-tu écrire et exécuter du code dans cette leçon C++ Academy ?
Oui. Chaque leçon C++ Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.
Toutes les leçons de ce cours
- Utiliser gdb et lldb
- AddressSanitizer
- UBSan et TSan
- Les bases de Valgrind