Las correlaciones de crashes mienten. Así es como hacer que apunten al bug real.
La depuración estadística encuentra predicados correlacionados con crashes, pero la correlación no es un archivo y número de línea. Así es cómo clasificar, filtrar y triangular tu camino desde una puntuación de correlación hasta una ubicación real de bug.
La depuración estadística te da una lista ordenada de predicados, no una causa raíz. Instrumentas cada branch y verificación de nulo, ejecutas cien mil…