GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-01 00:22:24 +03:00
Code Issues Projects Releases Wiki Activity

Update classifyfailure

Browse Source
This commit is contained in:
Joe Hendrix 2017-02-24 01:53:11 -05:00
parent fde2db4726
commit 953e607e0e
No known key found for this signature in database
GPG Key ID: 00F67DE32381DB9F
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -760,7 +760,7 @@ fetchAndExecute' ctx b regs s' = do
pure ParsedBlock { pblockLabel = lbl_idx pure ParsedBlock { pblockLabel = lbl_idx
, pblockStmts = blockStmts b , pblockStmts = blockStmts b
, pblockState = regs' , pblockState = regs'
, pblockTerm = ClassifyFailure "Could not classify block type." , pblockTerm = ClassifyFailure s'
} }
type ParseConstraints arch = ( RegisterInfo (ArchReg arch) type ParseConstraints arch = ( RegisterInfo (ArchReg arch)

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

@ -160,7 +160,7 @@ data ParsedTermStmt arch ids
-- ^ A system call with the registers prior to call and given return address. -- ^ A system call with the registers prior to call and given return address.
| ParsedTranslateError !Text | ParsedTranslateError !Text
-- ^ An error occured in translating the block -- ^ An error occured in translating the block
| ClassifyFailure !String | ClassifyFailure !(RegState (ArchReg arch) (Value arch ids))
-- ^ The classifier failed to identity the block. -- ^ The classifier failed to identity the block.
deriving instance deriving instance