GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 05:45:51 +03:00
Code Issues Projects Releases Wiki Activity

More haddock fixes

Browse Source
This commit is contained in:
Your Name 2024-11-12 15:37:24 -05:00
parent 1c777a0385
commit fb4a8d361a
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
macaw-dump/src/Data/Macaw/Dump/Discover.hs
View File

@ -52,10 +52,10 @@ instance X.Exception DiscoverException
-- | Convert machine addresses into What4 positions.
--
-- When possible, we map to the structured 'WPL.BinaryPos' type. However,
-- some 'MM.MemSegmentOff' values cannot be mapped to an absolute position
-- (e.g., some addresses from shared libraries are in non-trivial segments).
-- In those cases, we map to the unstructured 'WPL.Others' with a sufficiently
-- When possible, we map to the structured 'WPL.BinaryPos' type. However, some
-- 'MM.MemSegmentOff' values cannot be mapped to an absolute position (e.g.,
-- some addresses from shared libraries are in non-trivial segments). In
-- those cases, we map to the unstructured 'WPL.OtherPos' with a sufficiently
-- descriptive string.
posFn :: (MM.MemWidth w) => Text.Text -> MM.MemSegmentOff w -> WPL.Position
posFn binaryName segOff =

8
symbolic/src/Data/Macaw/Symbolic/Testing.hs
View File

@ -113,10 +113,10 @@ instance X.Exception TestingException
-- | Convert machine addresses into Crucible positions.
--
-- When possible, we map to the structured 'WPL.BinaryPos' type. However,
-- some 'MM.MemSegmentOff' values cannot be mapped to an absolute position
-- (e.g., some addresses from shared libraries are in non-trivial segments).
-- In those cases, we map to the unstructured 'WPL.Others' with a sufficiently
-- When possible, we map to the structured 'WPL.BinaryPos' type. However, some
-- 'MM.MemSegmentOff' values cannot be mapped to an absolute position (e.g.,
-- some addresses from shared libraries are in non-trivial segments). In
-- those cases, we map to the unstructured 'WPL.OtherPos' with a sufficiently
-- descriptive string.
posFn :: (MM.MemWidth w) => FilePath -> MM.MemSegmentOff w -> WPL.Position
posFn binaryName segOff =