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

add BoolConst case to joinAbsValue'

Browse Source
This commit is contained in:
Jason Dagit 2017-07-13 17:17:28 -07:00
parent 66b41f1d56
commit c8a5f7abf5
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data/Macaw/AbsDomain/AbsState.hs
View File

@ -449,7 +449,9 @@ joinAbsValue' (SomeStackOffset ax) (SomeStackOffset ay) | ax == ay = return $ No
joinAbsValue' ReturnAddr ReturnAddr = return Nothing
joinAbsValue' (BoolConst b1) (BoolConst b2)
| b1 == b2 = return Nothing
| otherwise = return $! Just TopV
joinAbsValue' x y = do
addWords (codePointerSet x)

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

@ -104,7 +104,7 @@ concretizeAbsCodePointers mem (FinSet s) =
concretizeAbsCodePointers mem (CodePointers s _) =
[ sa
| a <- Set.toList s
, Just sa <- [absoluteAddrSegment mem (_addrOffset a)]
, Just sa <- [absoluteAddrSegment mem (addrValue a)]
, Perm.isExecutable (segmentFlags (addrSegment sa))
]
-- FIXME: this is dangerous !!