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

Correct a typo in Identify.hs

Browse Source
This commit is contained in:
Felix Yan 2023-02-21 08:22:54 +02:00 committed by Ryan Scott
parent eb107820b3
commit df748376be
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macaw-aarch32/src/Data/Macaw/ARM/Identify.hs
View File

@ -83,7 +83,7 @@ isValidReturnAddress val0 =
-- | Identifies a call statement, *after* the corresponding statement
-- has been performed. This can be tricky with ARM because there are
-- several instructions that can update R15 and effect a "call",
-- athough the predicate condition on those instructions can determine
-- although the predicate condition on those instructions can determine
-- if it is actually executed or not. Also need to consider A32
-- v.s. T32 mode.
identifyCall :: MM.Memory (MC.ArchAddrWidth ARM.AArch32)