Triage de AddressSanitizer: corregir el primer acceso inválido antes de confiar en el comportamiento posterior

Qué es

AddressSanitizer combina instrumentación del compilador y un runtime para detectar varios tipos de errores de acceso a memoria. Clang documenta cómo compilar y enlazar con -fsanitize=address, usar información de depuración para obtener informes útiles, y disponer de un symbolizer. Su comportamiento por defecto se detiene en el primer error detectado, porque la ejecución posterior tras la corrupción no es confiable. Clang AddressSanitizer

Por qué importa

Un agente puede centrarse en la línea del fallo y añadir allí una comprobación de nulo, aunque el objeto se haya liberado antes. Conviene leer el informe como un relato de ciclo de vida: el acceso, la asignación y la liberación pueden ocurrir en funciones distintas. La investigación propuesta a continuación sigue la regla de propiedad o de límites violada.

Cómo aplicarlo

• Compilar el ejecutable relevante más pequeño con la configuración documentada del sanitizer y los símbolos de depuración correspondientes. Registrar la versión del compilador y qué bibliotecas están instrumentadas.
• Conservar el primer informe completo, incluidas las pilas relevantes de asignación y liberación. Reducir la entrada que dispara el error sin eliminar la misma categoría de error ni cambiar la relación de vida útil sospechada.
• Escribir el invariante previsto en lenguaje llano: por ejemplo, el callback no debe sobrevivir al propietario del búfer, o el índice debe permanecer por debajo de la longitud actual.
• Cambiar la lógica de propiedad, de vida útil o de límites que viola ese invariante. Evitar limitarse a omitir la operación reportada, salvo que omitirla sea el comportamiento previsto de la aplicación.
• Proponer un fixture de regresión que alcance el mismo límite, y luego volver a ejecutarlo con instrumentación y en la compilación normal admitida. Revisar también las rutas de error circundantes, además de la entrada original.

Trampas

Una ejecución limpia del sanitizer cubre las rutas realmente ejecutadas y no demuestra la ausencia de todos los defectos de memoria. La instrumentación también modifica el entorno, así que conviene reportar la configuración. Las supresiones requieren un motivo documentado de forma acotada; no son una corrección para un informe sin explicar. No publicar entradas de producción ni contexto de pila con secretos al preparar un caso reproducible.