mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-24 08:53:12 +03:00
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw
This commit is contained in:
commit
95a3721524
@ -101,9 +101,10 @@ concretizeAbsCodePointers mem (FinSet s) =
|
||||
, Just sa <- [absoluteAddrSegment mem (fromInteger a)]
|
||||
, Perm.isExecutable (segmentFlags (addrSegment sa))
|
||||
]
|
||||
concretizeAbsCodePointers _ (CodePointers s _) =
|
||||
concretizeAbsCodePointers mem (CodePointers s _) =
|
||||
[ sa
|
||||
| sa <- Set.toList s
|
||||
| a <- Set.toList s
|
||||
, Just sa <- [absoluteAddrSegment mem (_addrOffset a)]
|
||||
, Perm.isExecutable (segmentFlags (addrSegment sa))
|
||||
]
|
||||
-- FIXME: this is dangerous !!
|
||||
|
Loading…
Reference in New Issue
Block a user