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

Merge pull request #19 from GaloisInc/fix/keep-return-address-stack-write

Browse Source 
Keep the write of the return address to the stack (x86)
This commit is contained in:
Andrei Stefanescu 2018-12-20 13:15:10 -08:00 committed by GitHub
commit 2ce1157af6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base/src/Data/Macaw/Discovery.hs
View File

@ -961,7 +961,7 @@ parseFetchAndExecute ctx idx initRegs stmts absProcState finalRegs = do
-- Use the call-specific code to look for new IPs. -- Use the call-specific code to look for new IPs.
let r = StatementList { stmtsIdent = idx let r = StatementList { stmtsIdent = idx
, stmtsNonterm = toList prev_stmts , stmtsNonterm = toList stmts
, stmtsTerm = ParsedCall finalRegs (Just ret) , stmtsTerm = ParsedCall finalRegs (Just ret)
, stmtsAbsState = absProcState' , stmtsAbsState = absProcState'
} }