You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
the original condition can be met when loop is less than 111,
but the decompiled condition is always false.
If iStack_24 is less than 0x6e (110), a signed borrow occurs,
so both the left (SBORROW4(iStack_24, 0x6e)) and right (iStack_28 + -2 < 0) parts are true and the condition is false.
So the loop body is not reachable in decompiled code.
Environment
Description
when using R2Ghidra, decompiled
for
loop condition incorrectly usesSBORROW4
to represent<
Original code:
Decompiled code:
the original condition can be met when
loop
is less than111
,but the decompiled condition is always
false
.If
iStack_24
is less than0x6e
(110), a signed borrow occurs,so both the left (
SBORROW4(iStack_24, 0x6e)
) and right (iStack_28 + -2 < 0
) parts aretrue
and the condition isfalse
.So the loop body is not reachable in decompiled code.
Test
Files:
2.zip
command used:
the issue is at the last
for
loop near the end of the functionThe text was updated successfully, but these errors were encountered: