| Copyright | (c) Galois Inc 2015-2017 |
|---|---|
| Maintainer | Joe Hendrix <jhendrix@galois.com>, Simon Winwood <sjw@galois.com> |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Macaw.Discovery.AbsEval
Description
This provides a set of functions for abstract evaluation of statements.
Synopsis
- absEvalStmt :: ArchitectureInfo arch -> AbsProcessorState (ArchReg arch) ids -> Stmt arch ids -> AbsProcessorState (ArchReg arch) ids
- absEvalReadMem :: forall a ids (tp :: Type). RegisterInfo (ArchReg a) => AbsProcessorState (ArchReg a) ids -> ArchAddrValue a ids -> MemRepr tp -> ArchAbsValue a tp
Documentation
absEvalStmt :: ArchitectureInfo arch -> AbsProcessorState (ArchReg arch) ids -> Stmt arch ids -> AbsProcessorState (ArchReg arch) ids Source #
Given a statement this modifies the processor state based on the statement.
Arguments
| :: forall a ids (tp :: Type). RegisterInfo (ArchReg a) | |
| => AbsProcessorState (ArchReg a) ids | |
| -> ArchAddrValue a ids | |
| -> MemRepr tp | Information about the memory layout for the value. |
| -> ArchAbsValue a tp |
Get the abstract value associated with an address.