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

Improve discovery comments.

Browse Source
This commit is contained in:
Joe Hendrix 2017-06-19 16:30:24 -07:00
parent 8075bad9f9
commit 172cf7e863
No known key found for this signature in database
GPG Key ID: 00F67DE32381DB9F
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -762,7 +762,8 @@ transfer addr = do
------------------------------------------------------------------------
-- Main loop
-- | Explore a specific function
-- | Loop that repeatedly explore blocks until we have explored blocks
-- on the frontier.
analyzeBlocks :: FunM arch ids ()
analyzeBlocks = do
st <- FunM get
@ -774,11 +775,15 @@ analyzeBlocks = do
transfer addr
analyzeBlocks
-- | This the function at the given address
-- | This analyzes the function at a given address, possibly
-- discovering new candidates.
--
-- This returns the updated state and the discovered control flow
-- graph for this function.
analyzeFunction :: ArchSegmentedAddr arch
-- ^ The address to explore
-> CodeAddrReason (ArchAddrWidth arch)
-- ^ Reason to provide for why we are exploring function
-- ^ Reason to provide for why we are analyzing this function
--
-- This can be used to figure out why we decided a
-- given address identified a code location.