GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-26 23:52:48 +03:00
Code Issues Projects Releases Wiki Activity

Add a trivial definition of the architecture-specific abstract evaluation function

Browse Source
This commit is contained in:
Tristan Ravitch 2017-10-04 15:46:33 -07:00
parent ab29030e14
commit f12166c2c3
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
macaw-ppc/src/Data/Macaw/PPC/Eval.hs
View File

@ -51,11 +51,13 @@ absEvalArchFn :: proxy ppc
-> AbsValue (RegAddrWidth (ArchReg ppc)) tp -> AbsValue (RegAddrWidth (ArchReg ppc)) tp
absEvalArchFn = undefined absEvalArchFn = undefined
-- | For now, none of the architecture-specific statements have an effect on the
-- abstract value.
absEvalArchStmt :: proxy ppc absEvalArchStmt :: proxy ppc
-> AbsProcessorState (ArchReg ppc) ids -> AbsProcessorState (ArchReg ppc) ids
-> ArchStmt ppc ids -> ArchStmt ppc ids
-> AbsProcessorState (ArchReg ppc) ids -> AbsProcessorState (ArchReg ppc) ids
absEvalArchStmt = undefined absEvalArchStmt _ s _ = s
postCallAbsState :: proxy ppc postCallAbsState :: proxy ppc
-> AbsBlockState (ArchReg ppc) -> AbsBlockState (ArchReg ppc)