uxmal / reko

Reko is a binary decompiler.

Home Page:https://uxmal.github.io/reko

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Crash log generated during data flow analysis

mg8973 opened this issue · comments

Crash log: analysis_99_crash.txt
A XEX file was used to generate a decompilation and the following error log with "Shingle scanning" enabled.

I'm able to reproduce the issue

The binary contains "minicode" sequences, used to save registers in the caller's stack frame. These sequences use negative stack offsets. This confuses the Escaped frame variable analysis.

I have a fix on my machine, but it uncovered a few other issues that I'm chasing down.

I've added support for some missing instructions in the Xenon instruction set, as well as fixing the original issue.

A new crash log was generated during the same phase: analysis_99_crash.txt