address-sanitizer

Descripción general de la skill address-sanitizer

Para qué sirve address-sanitizer

La skill address-sanitizer te ayuda a usar AddressSanitizer (ASan) para detectar errores de seguridad de memoria durante las pruebas, especialmente en fuzzing y en el análisis de fallos. Resulta especialmente útil cuando necesitas convertir un vago “algo está corrompiendo memoria” en una traza de pila reproducible, un historial de asignaciones o un caso de prueba que falle de forma consistente.

Usuarios y casos de uso más adecuados

La skill address-sanitizer encaja muy bien en flujos de prueba de C/C++, pipelines de fuzzing y código Rust que usa unsafe. También es útil para revisores de seguridad que buscan una ruta práctica de address-sanitizer for Security Audit antes de pasar a un análisis manual más profundo.

Qué la diferencia

ASan no es un truco genérico de prompt; es un flujo de instrumentación en tiempo de compilación con compensaciones en tiempo de ejecución. El valor principal de la skill address-sanitizer es ayudarte a decidir cuándo ASan es la herramienta adecuada, qué entradas necesita y cómo evitar resultados engañosos causados por discrepancias en compilación, flags o entorno.

Cómo usar la skill address-sanitizer

Instala la skill

Usa el flujo de instalación del repositorio que espera tu ejecutor de skills y luego verifica que address-sanitizer install se completó correctamente abriendo SKILL.md dentro del paquete de la skill. Si tu entorno admite manifiestos de skills, confirma que el nombre sea exactamente address-sanitizer para que tu router de prompts pueda activar la guía correcta.

Dale el contexto de prueba adecuado

Un buen address-sanitizer usage empieza con un objetivo específico: lenguaje, sistema de compilación, comando de pruebas, síntomas del fallo y si estás haciendo fuzzing, ejecutando pruebas unitarias o reproduciendo un problema. Una solicitud débil como “ayúdame a usar ASan” aporta menos que algo como: “Tengo una biblioteca C++ compilada con CMake, un crash en un target de fuzzing y necesito flags de ASan junto con un flujo mínimo de reproducción”.

Lee los archivos de la skill en este orden

Empieza por SKILL.md y luego revisa cualquier nota del repositorio o documentación de apoyo que exponga tu entorno. Para esta ruta del repo, el orden práctico de lectura es localizar la guía principal y después revisar las secciones de overview, key concepts, when to apply y quick reference, para entender las restricciones operativas antes de tocar los flags de compilación.

Convierte un objetivo difuso en un prompt útil

Para obtener mejores resultados, dile a la skill qué quieres demostrar, qué compilador y harness de pruebas usas y cómo luce el éxito. Ejemplo: “Quiero encontrar un heap-use-after-free en un servicio C++ en Linux compilado con Clang; dame los flags de compilación de ASan, las opciones de ejecución y la ruta de triaje más corta para un crash de una ejecución de fuzzing.” Ese encuadre produce una salida mejor de address-sanitizer guide que pedir una explicación genérica.

Preguntas frecuentes sobre la skill address-sanitizer

¿address-sanitizer es solo para fuzzing?

No. El fuzzing es un caso de uso común, pero la skill address-sanitizer también se aplica a pruebas unitarias, pruebas de regresión y depuración de crashes cuando sospechas corrupción de memoria. Si el error ya se puede reproducir, ASan sigue siendo una de las rutas más rápidas para obtener una traza de pila más clara.

¿Cuándo no debería usarla?

No recurras a ASan cuando necesites un rendimiento parecido al de producción, cuando tu plataforma objetivo o toolchain no lo soporten bien, o cuando el problema probablemente no esté relacionado con la seguridad de memoria. Si tu incidencia es solo lógica, de protocolo o de rendimiento, ASan suele añadir ruido en lugar de señal.

¿Es mejor que un prompt normal?

Sí, cuando la tarea es detectar y triar errores de memoria. Un prompt normal puede explicar ASan de forma conceptual, pero la skill address-sanitizer es más útil cuando necesitas una guía instalable y orientada al flujo de trabajo que te ayude a elegir flags, entradas y pasos de depuración con menos conjeturas.

¿Pueden usarla principiantes?

Sí, siempre que puedan describir su configuración de compilación y pruebas. El requisito principal no es tener un dominio profundo de sanitizers, sino aportar suficiente contexto del proyecto para indicar lenguaje, compilador, plataforma y ruta de reproducción, de modo que la skill pueda recomendar el flujo de ASan correcto.

Cómo mejorar la skill address-sanitizer

Aporta los detalles de compilación y ejecución

Los mejores resultados de address-sanitizer salen de datos exactos sobre compilador, plataforma y comando de pruebas. Incluye si usas Clang o GCC, qué flags de sanitizer ya están activados y si el fallo aparece en un target de fuzzing, en un binario de pruebas o en un repro independiente.

Indica el patrón de memoria que sospechas

La salida de ASan es mucho más accionable cuando describes el síntoma: lectura fuera de límites, heap-use-after-free, desbordamiento de pila, doble free o fuga. Si solo dices “se cae”, la skill tiene que inferir demasiado y puede sugerir un build o una ruta de triaje incorrectos.

Pide el siguiente paso de depuración

Después de la primera respuesta, itera pidiendo el siguiente paso más pequeño posible: “muéstrame cómo reducir este repro”, “ayúdame a interpretar esta traza de pila” o “qué flags de ASan debería añadir para symbolization y mejores informes”. Así mantienes la address-sanitizer skill centrada en la decisión que importa ahora, en lugar de abrir teoría general sobre sanitizers.

Vigila los fallos más comunes

Los errores más frecuentes son compilar sin instrumentación completa, mezclar objetos sanitizados y no sanitizados, y tratar ASan como prueba de explotabilidad en vez de como señal de depuración. Si quieres address-sanitizer for Security Audit, proporciona el modelo de amenaza y la ubicación del código para que la salida distinga entre corrupción de memoria confirmada y riesgo teórico.