Casos

Casos comprobados, cada uno atado a un programa.

Son comprobaciones publicadas de ingeniería inversa. Estas notas describen comprobaciones publicadas. Un acierto en un binario no es una tasa para el archivo siguiente.

Nativo

Porcentaje de la Calculadora de Windows

Dos ramas, 0x5b y 0x5c, caen en el mismo sitio. La constante 100 se ve. Tras +, 200 + 10% es 220: el porcentaje toma una parte del primer número. Tras ×, escala el producto.

Un camino comprobado en calc.exe. No es una promesa para cada botón de porcentaje.

Nativo

Paneo de sonido de DX-Ball

Una reconstrucción publicada comprobó 3.205 casos x86 en bruto y coincidió con 63 bytes de funciones compiladas.

Notas del proyecto y el informe de GBHackers del 12 oct. 2026.

Electron

Portapapeles de Notion

El script empaquetado muestra al renderer pidiendo al proceso principal que escriba texto y HTML en el portapapeles del sistema.

Un rastro de función. No es una copia del producto de Notion.

Medido

Electron API Demos

Una ejecución de REA 6.4.0 el 12 oct. 2026 contra el commit 26b3d1d anotó 30 de 30 comprobaciones de archivo y línea. El mismo texto listó respuestas que el resumen omitió. Esas omisiones quedan en el registro.

systemdesign.academy, 12 oct. 2026. Un hallazgo ausente no demuestra ausencia.