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

ppc: Fix identifyReturn

Browse Source 
Some recent semantics fixes broke a fragile pattern in identifyReturn; there is
now an extra shiftR.
This commit is contained in:
Tristan Ravitch 2018-06-14 14:57:32 -07:00
parent 04e867bf4b
commit cad178cd62
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
macaw-ppc/src/Data/Macaw/PPC/Identify.hs
View File

@ -66,7 +66,8 @@ matchReturn :: (PPCArchConstraints ppc, MC.ArchReg ppc ~ PPCReg ppc)
matchReturn absProcState' ip = do
MC.AssignedValue (MC.Assignment _ (MC.EvalApp (MC.BVShl _ addr (MC.BVValue _ shiftAmt)))) <- return ip
guard (shiftAmt == 0x2)
Some addr' <- return (stripExtTrunc addr)
Some (MC.AssignedValue (MC.Assignment _ (MC.EvalApp (MC.BVShr _ addr' (MC.BVValue _ shiftAmt'))))) <- return (stripExtTrunc addr)
guard (shiftAmt' == 0x2)
case MA.transferValue absProcState' addr' of
MA.ReturnAddr -> return (Some MA.ReturnAddr)
_ -> case addr' of