Rutas de datos en el informe

Una ruta de datos es una lista ordenada de puntos del código: el primero es la fuente, donde entra el dato que no es de fiar; el último es el sumidero, donde ese dato haría daño; los de en medio son las asignaciones, llamadas y retornos por los que pasó. En el formato de intercambio de resultados que se verá en otra sala de este módulo, esa lista vive dentro de un flujo de código, y cada flujo agrupa uno o varios recorridos ordenados.

Lo importante es lo que la ruta no dice. Es un camino posible, no todos: si el código tiene una rama que valida y otra que no, la ruta enseña la que encontró el motor. Y cada paso es una afirmación del motor que se puede comprobar abriendo el archivo en esa línea. Leer una ruta es eso: abrir cada paso y preguntarse si el dato sigue siendo peligroso al salir de él.

Abre el laboratorio y lee resultado-CB-21.txt. Recorre los siete pasos con el código al lado (siniestros.py, filtros.py, repositorio.py) y comprueba que cada línea dice lo que el resultado afirma. El sumidero es el punto donde se debería corregir si no hubiera otro mejor, y el primero que el equipo del repositorio querrá ver.

En siniestros.py la placa se valida, pero no siempre. El comentario cuenta por qué se tomó esa decisión y quién usa el camino que no valida. La ruta del resultado pasa justo por ese camino: del paso 1 salta al paso 2 sin entrar en la rama que valida. Esto es lo que distingue un verdadero positivo de un «ya está validado»: la validación existe, pero no en el camino que el motor encontró.

resultado-CB-22.txt tiene la misma consulta del paquete y otra ruta. Recórrela con cotizador.py al lado. En uno de los pasos el dato se convierte en un número entero, y si no lo es la petición termina con un error antes de tocar la base de datos. A partir de ese paso lo que llega a la consulta ya no puede llevar comillas ni palabras. La nota del paquete explica por qué el motor siguió avisando.

Los dos resultados tienen el mismo sumidero y piden cosas distintas. CB-21 es un verdadero positivo: el arreglo de raíz está donde se arma el texto de la consulta, y la validación que se salta el móvil es una defensa adicional, no el arreglo. CB-22 es un falso positivo del paquete de consultas, que no sabe que esa conversión es una barrera; la decisión buena no es suprimirlo a mano cada vez, sino enseñárselo a la consulta.