Un motor
El trabajo nativo usa Ghidra, Hopper o IDA. Traes ese motor. Si falta, REA no cambia a un segundo.
Cómo funciona
Una función. Un motor. Un lugar para lo que se vio.
La ingeniería inversa va de una función cada vez. REA es una CLI local y un servidor MCP. El agente de código hace una pregunta. REA lee el programa y devuelve elementos que el agente puede comprobar. Una inferencia queda marcada como inferencia.
- PreguntarNombra una función, un canal o una captura guardada. Reescribir todo el producto es un proyecto posterior.
- InspeccionarREA devuelve archivo y línea, una dirección, un rango de bytes o un campo. Cada elemento nombra su origen.
- ExplicarLo visto y lo no visto van en frases distintas. Una nota ausente no prueba que el comportamiento falte.
Una afirmación situada
La prueba es un lugar en el artefacto: ruta y línea, dirección de desensamblado o un campo de una captura. El porcentaje de la Calculadora de Windows es un ejemplo comprobado.
Qué sale del equipo
Las herramientas corren en local. El texto que entregas al agente de código va al proveedor de su modelo.
Siguiente: Empezar y leer doctor, o Casos para un caso con fecha. Fuente ReaReverse.