Lo que la ficha estática deja de servir y lo que sigue sirviendo

La ficha estática clásica se apoya en señales que en estos binarios cambian de sentido. La tabla de importaciones refleja lo que pide el runtime o el intérprete, no lo que hace el autor: en Go, el runtime resuelve muchas funciones del sistema mientras corre y la tabla queda corta en cualquier programa. El tamaño y el recuento de funciones los pone el código ajeno.

Las cadenas también se leen distinto. Go maneja cada texto con su longitud aparte, sin la marca de fin que usan los programas en C, así que una herramienta de cadenas pensada para C puede mostrar varios textos pegados en una sola tira larga; contarlas no dice nada. Lo que sigue sirviendo es lo que no depende del lenguaje (huella, firma, catálogo, comportamiento observado) y lo que estos binarios dejan escrito sobre su autor.

Abre la consola. Con SELECT * FROM criterios ves qué señal sirve, cuál no y cuál sirve con cambios. Con SELECT * FROM borrador ves cada conclusión del analista con la señal que usó. Una conclusión se sostiene si la señal que usó sirve tal cual para el tipo de muestra al que se refiere.

Hay una señal que el equipo no tira, sino que mide de otra manera. La conclusión que la usa está mal escrita, pero la medida bien hecha todavía puede decir algo.

Para M-7403, un Python empaquetado, la jefa de análisis quiere una línea en la ficha que diga qué se puede seguir afirmando con el análisis estático y qué hay que pedir aparte.