Capacidades fuertes, débiles y engañosas

Una regla con alcance de archivo se conforma con encontrar sus rasgos en cualquier parte, aunque estén lejos. El caso típico son las importaciones: que un ejecutable importe una función de dibujo y otra que da acceso a la pantalla no significa que alguna parte del programa las use juntas para capturarla. Muchos programas importan funciones que nunca llaman, porque las arrastra una biblioteca o porque el compilador las incluye.

Por eso la mesa trata esas coincidencias como débiles: no son falsas, pero lo que demuestran es poco. Lo mismo pasa con una regla que casa por un solo rasgo, aunque esté en una función propia: una llamada suelta describe una acción muy pequeña y muy común.

La mesa de Fiques Curití llama fuerte a una coincidencia con alcance de función o más estrecho, al menos dos rasgos distintos y en código propio. Son las que describen algo que el autor escribió con intención: una función suya que junta las piezas de una acción.

Abre el laboratorio, consulta las coincidencias y los criterios, y aplícalos fila a fila. Ojo con la que tiene coincidencias de dos clases: los criterios dicen qué cuenta.

Un ejecutable no lo escribe entero su autor. El compilador añade código de arranque, y el programa arrastra bibliotecas que traen sus propias comprobaciones. Si una de esas piezas consulta, por ejemplo, si hay un depurador presente, la regla casa con toda razón: el rasgo está ahí. Pero no dice nada de la intención de quien escribió la muestra, porque está en miles de programas legítimos.

Estas herramientas suelen saltarse las funciones que sus firmas reconocen como biblioteca conocida, pero las firmas no lo reconocen todo: lo que se les escapa se analiza como si fuera del autor. Por eso la mesa revisa las funciones donde casó una regla y marca las de biblioteca que identifica. Esa coincidencia es engañosa: se anota en la nota de método y no se redacta como capacidad.

Una misma capacidad puede tener coincidencias en código propio y en código de biblioteca. Pasa con operaciones muy comunes, que aparecen tanto en el trabajo del autor como en una suma de comprobación del compilador. La mesa no tira la capacidad entera ni la acepta entera: cuenta la mejor coincidencia en código propio y deja anotada la otra, para que nadie la cite después como prueba.

La coincidencia que consulta el nombre del equipo es débil por los criterios: un solo rasgo. Eso no significa que la herramienta se equivoque ni que el programa no lo haga; significa que lo que demuestra la estática, por sí sola, es poco. Lo que hace subir una capacidad débil no es releer la salida, sino otra fuente que la sostenga, y la más habitual es la corrida del entorno aislado.