Attempting to generate an AST for the attached executable (via the codehawk.sh script) fails with the following message:
========= Function 0x1051c ================
================================================================================
AST generation is still experimental with limited support.
We don't yet support the following instructions in post (0x1051c)
--------------------------------------------------------------------------------
MUL
0x10570: 910200e0 MUL R0, R1: R0 := (R1 * R2) (= (0x2a * rtn_clock))
SMULL
0x10584: 9213c0e0 SMULL R1, R0, R2, R3: (R1,R0) := (R2 * R3) (= (rtn_clock * gv_0x105c0_in))
--------------------------------------------------------------------------------
Attempting to generate an AST for the attached executable (via the codehawk.sh script) fails with the following message: