Triage AddressSanitizer : corriger le premier accès invalide avant de faire confiance au comportement ultérieur

Ce que c'est

AddressSanitizer combine une instrumentation du compilateur et un environnement d'exécution pour détecter plusieurs types d'erreurs d'accès mémoire. La documentation de Clang décrit la compilation et l'édition de liens avec -fsanitize=address, l'utilisation d'informations de débogage pour obtenir des rapports utiles, et la mise à disposition d'un symbolizer. Son comportement par défaut consiste à s'arrêter à la première erreur détectée, car l'exécution qui suit une corruption n'est plus fiable. Clang AddressSanitizer

Pourquoi c'est important

Un agent peut se concentrer sur la ligne du plantage et y ajouter une vérification de nullité, alors même que l'objet a été libéré plus tôt. Il faut lire le rapport comme le récit d'un cycle de vie : l'accès, l'allocation et la libération peuvent se produire dans des fonctions différentes. L'investigation proposée ci-dessous suit la règle de propriété ou de limites qui a été violée.

Comment l'appliquer

• Construire le plus petit exécutable pertinent avec la configuration documentée du sanitizer et les symboles de débogage correspondants. Noter la version du compilateur et les bibliothèques instrumentées.
• Conserver le premier rapport complet, y compris les piles d'appels pertinentes d'allocation et de libération. Réduire l'entrée déclenchante sans supprimer la même catégorie d'erreur ni modifier la relation de durée de vie suspectée.
• Formuler l'invariant visé en langage clair : par exemple, le callback ne doit pas survivre au propriétaire du tampon, ou l'index doit rester inférieur à la longueur courante.
• Modifier la logique de propriété, de durée de vie ou de limites qui viole cet invariant. Éviter de simplement ignorer l'opération signalée, sauf si l'ignorer est le comportement applicatif prévu.
• Proposer une fixture de régression qui atteint la même limite, puis la réexécuter avec l'instrumentation et dans le build normal pris en charge. Vérifier les chemins d'erreur voisins ainsi que l'entrée d'origine.

Pièges

Une exécution propre du sanitizer ne couvre que les chemins effectivement exécutés et n'établit pas l'absence de tout défaut mémoire. L'instrumentation modifie aussi l'environnement ; il faut donc rapporter la configuration utilisée. Les suppressions nécessitent une raison documentée de façon précise ; elles ne constituent pas une correction pour un rapport inexpliqué. Ne pas publier d'entrées de production ni de contexte de pile contenant des secrets lors de la préparation d'un cas reproductible.