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

[arm] Fix non-semantics instruction matcher to return Nothing when unrecognized.

Browse Source
This commit is contained in:
Kevin Quick 2018-03-07 00:42:01 -08:00
parent 54f87526e7
commit acb8812d68
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
macaw-arm/src/Data/Macaw/ARM/Arch.hs
View File

@ -197,7 +197,7 @@ a32InstructionMatcher (ARMDis.Instruction opc operands) =
ARMDis.SVC -> case operands of
ARMDis.Pred _opPred ARMDis.:< ARMDis.Imm24b imm ARMDis.:< ARMDis.Nil ->
Just $ G.finishWithTerminator (MCB.ArchTermStmt (ARMSyscall imm))
-- _ -> Nothing
_ -> Nothing
-- | Manually-provided semantics for T32 (thumb) instructions whose full
-- semantics cannot be expressed in our semantics format.
@ -212,4 +212,4 @@ t32InstructionMatcher (ThumbDis.Instruction opc operands) =
ThumbDis.TSVC -> case operands of
ThumbDis.Imm0_255 imm ThumbDis.:< ThumbDis.Nil ->
Just $ G.finishWithTerminator (MCB.ArchTermStmt (ThumbSyscall $ ThumbDis.Imm0_255 imm))
-- _ -> Nothing
_ -> Nothing