GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-28 08:34:23 +03:00
Code Issues Projects Releases Wiki Activity

Fix stack offset.

Browse Source
This commit is contained in:
Joe Hendrix 2018-11-12 15:28:32 -05:00
parent bb63f9f859
commit 23fe50bd45
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
x86/src/Data/Macaw/X86.hs
View File

@ -510,7 +510,7 @@ checkForReturnAddrX86 :: forall ids
. AbsProcessorState X86Reg ids
-> Bool
checkForReturnAddrX86 absState
| Just (StackEntry _ ReturnAddr) <- Map.lookup 8 (absState^.curAbsStack) =
| Just (StackEntry _ ReturnAddr) <- Map.lookup 0 (absState^.curAbsStack) =
True
| otherwise =
False