Patrones frecuentes reconocidos en pseudocódigo

Un patrón es una forma reconocible, no un veredicto. La tabla del equipo tiene tres columnas por fila y la última es la que importa: qué no prueba. Un bucle que recorre carpetas sugiere que el programa busca archivos; no dice qué hace con los que encuentra. Una llamada a la configuración del sistema sugiere que toca el equipo; no dice si escribe o solo consulta.

Los mismos patrones están en el programa de nómina y en el visor de PDF de la empresa. Lo que convierte a uno en sospechoso es el dato que lleva al lado —qué ruta de clave, qué dirección, qué lista— y no la forma.

La tabla de apariciones dice en qué funciones de M-2411 sale cada patrón. Uno de ellos aparece en tres funciones distintas: en la de arranque, para armar el título de la ventana; en la que referencia el servidor, para armar una dirección; y en una tercera, para armar el cuerpo de un mensaje con una plantilla.

Que una forma se repita tanto no la hace sospechosa: hace que el programa sea, en buena parte, un armador de textos. Y eso orienta la lectura siguiente, porque un texto armado acaba yendo a alguna parte.

El cruce que vale está en la tercera tabla: qué patrones además se vieron en la corrida del entorno aislado. Un patrón que aparece en el texto y se observó en una corrida pasa a ser un hallazgo. Un patrón que solo está en el texto se queda en «el programa tiene código para hacerlo», que es una frase más floja y más honesta.

De los cinco del catálogo, tres se confirmaron y dos no. Los dos que no se confirmaron no quedan descartados: solo significa que esa corrida no los activó.

Una de las funciones compara un texto contra una lista fija de cuatro nombres, y el pseudocódigo deja vacía la rama que sigue a esa comparación. Es un caso que aparece a menudo y que se presta a inventar: la tentación es contar qué haría el programa si la comparación acertara.

No hay nada que contar. La lectura honesta dice que hay una comparación contra una lista, que la rama no se lee y que, por tanto, no se puede afirmar qué ocurre cuando acierta. Esa frase, tal cual, es lo que va al informe.