Problems with type inference around `printf`
uxmal opened this issue · comments
(See #1337 opened by @yangzao for the binary in question, program 4)
Original code:
char *str = "global string";
printf("%s", str);
Decompile code:
word64 str = 0x006007A8;
printf("%s", *str);
str
is a char *
in the original code. But in the decompiled code, it is defined as a word64
(I assume it's int64_t
). And printf
tries to access it with deferencing.