AddressSanitizer-Triage: den ersten ungültigen Zugriff beheben, bevor späterem Verhalten vertraut wird

Worum es geht

AddressSanitizer kombiniert Compiler-Instrumentierung und eine Laufzeitumgebung, um mehrere Speicherzugriffsfehler zu erkennen. Clang dokumentiert das Kompilieren und Linken mit -fsanitize=address, die Verwendung von Debug-Informationen für brauchbare Berichte und die Bereitstellung eines Symbolizers. Sein Standardverhalten stoppt beim ersten erkannten Fehler, weil die weitere Ausführung nach einer Beschädigung unzuverlässig ist. Clang AddressSanitizer

Warum es wichtig ist

Ein Agent kann sich auf die Absturzzeile konzentrieren und dort eine Null-Prüfung hinzufügen, obwohl das Objekt bereits früher freigegeben wurde. Den Bericht als Lebenszyklus-Darstellung lesen: Zugriff, Allokation und Freigabe können in unterschiedlichen Funktionen erfolgen. Die im Folgenden vorgeschlagene Untersuchung folgt der verletzten Besitz- oder Grenzregel.

So wird es angewendet

• Das kleinste relevante ausführbare Programm mit der dokumentierten Sanitizer-Konfiguration und passenden Debug-Symbolen bauen. Compiler-Version und instrumentierte Bibliotheken festhalten.
• Den ersten vollständigen Bericht einschliesslich relevanter Allokations- und Freigabe-Stacks bewahren. Die auslösende Eingabe verkleinern, ohne dieselbe Fehlerkategorie zu entfernen oder die vermutete Lebensdauerbeziehung zu ändern.
• Die beabsichtigte Invariante in einfacher Sprache formulieren: zum Beispiel, dass der Callback den Puffereigentümer nicht überdauern darf, oder dass der Index unter der aktuellen Länge bleiben muss.
• Die Besitz-, Lebensdauer- oder Grenzlogik ändern, die diese Invariante verletzt. Vermeiden, den gemeldeten Vorgang einfach zu überspringen, ausser das Überspringen ist das beabsichtigte Anwendungsverhalten.
• Einen Regressions-Testfall vorschlagen, der dieselbe Grenze erreicht, dann sowohl mit Instrumentierung als auch im normalen unterstützten Build erneut ausführen. Umliegende Fehlerpfade ebenso wie die ursprüngliche Eingabe prüfen.

Stolpersteine

Ein sauberer Sanitizer-Lauf deckt die tatsächlich ausgeführten Pfade ab und begründet nicht die Abwesenheit aller Speicherdefekte. Instrumentierung verändert auch die Umgebung, daher die Konfiguration angeben. Unterdrückungen erfordern einen eng dokumentierten Grund; sie sind keine Korrektur für einen unerklärten Bericht. Bei der Vorbereitung eines Reproduzierers keine Produktionseingaben oder geheimnistragenden Stack-Kontexte veröffentlichen.