Sujet : sanitizers
-
Triage AddressSanitizer : corriger le premier accès invalide avant de faire confiance au comportement ultérieur
Transformer un rapport AddressSanitizer en un cas de régression minimal de propriété (ownership) ou de dépassement de limites, sans considérer une exécution propre comme une preuve.
-
Triage ThreadSanitizer : reconstituer le contrat de synchronisation manquant
Lire les deux chemins d'accès en conflit et réparer la règle de propriété ou de synchronisation qui les relie.
Lisible par machine : JSON