address-sanitizer

Présentation de la compétence address-sanitizer

À quoi sert address-sanitizer

La compétence address-sanitizer vous aide à utiliser AddressSanitizer (ASan) pour détecter des bugs de sûreté mémoire pendant les tests, en particulier dans le fuzzing et l’analyse de crashs. Elle est particulièrement utile quand il faut transformer un vague problème du type « quelque chose corrompt la mémoire » en stack trace reproductible, en historique d’allocations ou en cas de test défaillant.

Utilisateurs et cas d’usage les plus adaptés

Cette compétence address-sanitizer convient très bien aux workflows de test en C/C++, aux pipelines de fuzzing et au code Rust qui utilise unsafe. Elle est aussi utile aux analystes sécurité qui veulent une approche pratique de address-sanitizer for Security Audit avant de passer à une analyse manuelle plus poussée.

Ce qui la différencie

ASan n’est pas une astuce de prompt générique ; c’est un workflow d’instrumentation à la compilation avec des compromis à l’exécution. La vraie valeur de la compétence address-sanitizer est de vous aider à déterminer quand ASan est le bon outil, de quoi il a besoin en entrée et comment éviter les faux résultats causés par un décalage entre build, options de compilation ou environnement.

Comment utiliser la compétence address-sanitizer

Installer la compétence

Utilisez le flux d’installation du dépôt attendu par votre exécuteur de compétences, puis vérifiez que l’installation de address-sanitizer install a bien fonctionné en ouvrant SKILL.md dans le bundle de la compétence. Si votre environnement prend en charge les manifests de compétences, confirmez que le nom est exactement address-sanitizer afin que votre routeur de prompts déclenche les bonnes consignes.

Lui donner le bon contexte de test

Un bon usage de address-sanitizer commence par une cible précise : langage, système de build, commande de test, symptômes du crash, et fait que vous soyez en train de fuzzing, d’exécuter des tests unitaires ou de reproduire un problème. Une demande faible du type « aide-moi à utiliser ASan » est bien moins utile que : « J’ai une bibliothèque C++ compilée avec CMake, un crash dans une cible de fuzzing, et j’ai besoin des options ASan plus d’un workflow minimal de reproduction. »

Lire les fichiers de la compétence dans cet ordre

Commencez par SKILL.md, puis consultez les éventuelles notes de dépôt liées ou la documentation de support exposée par votre environnement. Pour ce chemin de dépôt, l’ordre de lecture le plus pratique consiste à trouver d’abord les consignes principales, puis à vérifier les sections sur la vue d’ensemble, les concepts clés, le moment où l’appliquer et la référence rapide, afin de bien comprendre les contraintes opérationnelles avant de modifier les flags de build.

Transformer un objectif vague en prompt exploitable

Pour obtenir les meilleurs résultats, indiquez à la compétence ce que vous essayez de prouver, quel compilateur et quel harness de test vous utilisez, et à quoi ressemble le succès. Par exemple : « Je veux trouver un heap-use-after-free dans un service C++ Linux compilé avec Clang ; donne-moi les flags de build ASan, les options d’exécution et le chemin d’analyse le plus court pour un crash issu d’une exécution de fuzzing. » Ce cadrage produit un meilleur rendu de address-sanitizer guide qu’une demande d’explication générale.

FAQ de la compétence address-sanitizer

address-sanitizer est-elle réservée au fuzzing ?

Non. Le fuzzing est un cas d’usage courant, mais la compétence address-sanitizer s’applique aussi aux tests unitaires, aux tests de régression et au débogage de crashs quand vous suspectez une corruption mémoire. Si le bug est déjà reproductible, ASan peut tout de même offrir le chemin le plus rapide vers une stack trace plus claire.

Quand ne pas l’utiliser ?

N’allez pas vers ASan si vous avez besoin de performances proches de la production, si votre plateforme cible ou votre toolchain le prend mal en charge, ou si le bug a de fortes chances de ne pas être lié à la sûreté mémoire. Si votre problème est purement logique, au niveau protocolaire ou uniquement lié aux performances, ASan ajoute généralement du bruit plutôt que du signal.

Est-ce mieux qu’un prompt normal ?

Oui, quand la tâche consiste à détecter et à trier des erreurs mémoire. Un prompt classique peut expliquer ASan de manière conceptuelle, mais la compétence address-sanitizer est plus utile quand vous avez besoin d’un guide installable, orienté workflow, qui vous aide à choisir les flags, les entrées et les étapes de débogage avec moins d’hypothèses.

Les débutants peuvent-ils l’utiliser ?

Oui, s’ils savent décrire leur build et leur configuration de test. L’exigence principale n’est pas une expertise approfondie des sanitizers ; c’est d’avoir assez de contexte projet pour indiquer le langage, le compilateur, la plateforme et le chemin de reproduction, afin que la compétence recommande le bon workflow ASan.

Comment améliorer address-sanitizer

Fournir les détails de build et d’exécution

Les meilleurs résultats avec address-sanitizer viennent de détails exacts sur le compilateur, la plateforme et la commande de test. Indiquez si vous utilisez Clang ou GCC, quels flags sanitizer sont déjà activés, et si l’échec apparaît dans une cible de fuzzing, un binaire de test ou un repro autonome.

Décrire le pattern mémoire suspecté

La sortie d’ASan est beaucoup plus exploitable quand vous décrivez le symptôme : lecture hors limites, heap-use-after-free, dépassement de pile, double free ou fuite mémoire. Si vous dites seulement « ça plante », la compétence doit trop deviner et risque de proposer le mauvais build ou le mauvais chemin d’analyse.

Demander l’étape de débogage suivante

Après la première réponse, avancez par petites itérations : « montre-moi comment réduire ce repro », « aide-moi à interpréter cette stack trace » ou « quels flags ASan dois-je ajouter pour la symbolisation et de meilleurs rapports ? ». Cela garde la compétence address-sanitizer centrée sur la décision qui compte maintenant, au lieu de dériver vers une théorie générale des sanitizers.

Surveiller les échecs fréquents

Les erreurs les plus courantes sont de compiler sans instrumentation complète, de mélanger des objets instrumentés et non instrumentés, et de prendre ASan pour une preuve d’exploitabilité alors que ce n’est qu’un signal de débogage. Si vous voulez utiliser address-sanitizer for Security Audit, fournissez le modèle de menace et l’emplacement du code afin que la sortie distingue une corruption mémoire confirmée d’un risque seulement théorique.