Leer un informe de fallos y su semilla

Un informe de fuzzing reúne cuatro cosas. La traza muestra por dónde pasó el programa hasta romperse. La entrada que falló es el archivo que el motor guardó. La minimización reduce esa entrada al tamaño más pequeño que sigue fallando, lo que facilita entender la causa. Y la semilla (seed) es el número con que se inicializó el generador aleatorio del motor: fija la secuencia de mutaciones de esa corrida.

La entrada guardada es lo que reproduce el fallo: basta entregársela a la función. La semilla ayuda a repetir la exploración (que el motor recorra el mismo camino de entradas), pero no es necesaria para volver a ver este fallo, y el motor puede dar resultados distintos si cambia el corpus o el tiempo.

Una traza de Python lista las llamadas en el orden en que se hicieron: primero el arnés, al final la línea que lanzó la excepción. La causa inmediata está en el último marco que pertenece al código propio, no en el arnés que lo llamó. Ahí se mira la línea concreta y el tipo de excepción.

Abre informe/corrida-nocturna.txt y el extracto de tablas/lector.py.

El informe repite al principio los parámetros con los que corrió el motor: el tiempo máximo, el corpus de partida y la semilla. Guardarlos junto al informe es parte de la evidencia, porque sin ellos nadie puede repetir la corrida con las mismas condiciones.

Abre el informe de la corrida nocturna.

Una semana de corridas produce muchos avisos y pocas causas. Dos avisos son el mismo fallo cuando comparten la firma: la función donde se lanza la excepción y su tipo. Contar avisos infla el problema; contar firmas distintas dice cuánto trabajo hay de verdad.

Abre informe/resumen-corridas.csv y cuenta las firmas diferentes.

El motor redujo el archivo de 1874 bytes a otro de tres: una marca de orden de bytes al principio y nada más. Un archivo de tres bytes se entiende de un vistazo; uno de 1874 no. La minimización revela la condición mínima: aquí, un archivo que no está vacío pero queda sin líneas al quitar la marca, mientras el código supone que la primera línea existe.

Lee fuzz/crashes/minimizacion.txt junto con el extracto del lector, y decide qué corrección corresponde.