Leer una coincidencia y su evidencia

El resumen trae una línea por capacidad: su nombre, el espacio de nombres que la agrupa (persistencia, comunicación, recolección…), el número de coincidencias y la técnica relacionada. Es lo que se ve sin pedir nada más, y es útil para orientarse en un minuto.

El detalle dice, para cada capacidad, en qué alcance casó, en qué función o bloque, qué rasgos encontró y en qué dirección del archivo está cada uno. Es más largo y menos agradable, y es la única parte de la salida que se puede citar: cuando alguien pregunte «¿por qué dice que escribe en el arranque?», la respuesta es una función y dos rasgos, no una línea del resumen.

Una coincidencia en alcance de función se lee de arriba abajo: primero la función donde casó, luego la lógica que pedía la regla (y, o, al menos N) y debajo cada rasgo con su dirección. Si la regla pedía una cadena y una llamada, las dos tienen que estar dentro de esa misma función; si falta una, no hay coincidencia.

Abre el laboratorio y lee primero el resumen y después el detalle.

cat detalle-m3418.txt

El recuento del resumen es el número de sitios del archivo donde casó la regla. No dice cuántas veces hace algo el programa, ni cuántas funciones distintas intervienen: dos coincidencias pueden ser dos bloques de la misma función, y una función de biblioteca puede sumar una coincidencia que no es del autor.

Antes de escribir «la muestra codifica datos en tres sitios», se mira en el detalle a qué funciones pertenecen esos sitios.

El detalle a veces deja ver algo que la regla no pedía pero que está en la misma función. En la coincidencia del arranque, la herramienta anota una cadena más: el nombre que el programa daría al valor. No forma parte de la regla y no la hace más fuerte, pero es lo que operaciones necesitará para buscar en los equipos, y lo que la corrida del entorno aislado podrá confirmar o no en la sala 5.

Cada rasgo del detalle lleva una dirección: el sitio del archivo donde está la llamada, la cadena o la operación. Es la forma de que otra persona lo encuentre en el desensamblado y lo revise. Pero una dirección es un sitio en el código, no un hecho: el programa puede no pasar nunca por ahí, porque la rama depende de una condición que no se cumple o porque esa función no la llama nadie.