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

future-proof alignment detection

Browse Source
This commit is contained in:
Daniel Wagner 2018-06-12 14:18:19 -04:00
parent 082e024b55
commit 04e867bf4b
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
macaw-ppc/src/Data/Macaw/PPC/Arch.hs
View File

@ -182,6 +182,12 @@ instance MC.IPAlignment PPC64.PPC where
, MC.BVValue _ 2 <- two'
= Just dirtyAddr
| Just (MC.BVAnd _ dirtyAddr (MC.BVValue _ 0xfffffffffffffffc)) <- MC.valueAsApp cleanAddr
= Just dirtyAddr
| Just (MC.BVAnd _ (MC.BVValue _ 0xfffffffffffffffc) dirtyAddr) <- MC.valueAsApp cleanAddr
= Just dirtyAddr
| otherwise = Nothing
where
valueAsExtTwo :: MC.BVValue PPC64.PPC ids 64 -> Maybe (MC.BVValue PPC64.PPC ids 62)