GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-29 17:17:05 +03:00
Code Issues Projects Releases Wiki Activity

ppc: Initialize the stack pointer in the abstract state

Browse Source 
PPC uses r1 for the stack pointer
This commit is contained in:
Tristan Ravitch 2018-03-27 18:12:39 -07:00
parent d885de3a72
commit fdb00dec14
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
macaw-ppc/src/Data/Macaw/PPC/Eval.hs
View File

@ -88,6 +88,7 @@ mkInitialAbsState _ tocMap _mem startAddr =
where
s0 = MA.top & MA.setAbsIP startAddr
& MA.absRegState . boundValue PPC_LNK .~ MA.ReturnAddr
& MA.absRegState . boundValue (PPC_GP (D.GPR 1)) .~ MA.concreteStackOffset (relativeSegmentAddr startAddr) 0
absEvalArchFn :: (PPCArchConstraints ppc)
=> proxy ppc