Tema: sanitizers
-
Triage de AddressSanitizer: corregir el primer acceso inválido antes de confiar en el comportamiento posterior
Convertir un informe de AddressSanitizer en un caso de regresión mínimo de propiedad (ownership) o de límites, sin tratar una ejecución limpia como una prueba.
-
Triaje de ThreadSanitizer: recuperar el contrato de sincronización que falta
Lee las dos rutas de acceso en conflicto y repara la regla de propiedad o sincronización que las conecta.
Legible por máquina: JSON