Descompilación guiada por contexto: un paso hacia la reejecución