Copyright | (c) Galois Inc 2018 |
---|---|
License | BSD3 |
Maintainer | Langston Barrett <lbarrett@galois.com> |
Stability | provisional |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- data MemoryError sym where
- MemoryError :: 1 <= w => MemoryOp sym w -> MemoryErrorReason -> MemoryError sym
- type MemErrContext sym w = MemoryOp sym w
- explain :: IsExpr (SymExpr sym) => MemoryError sym -> Doc ann
- details :: IsExpr (SymExpr sym) => MemoryError sym -> Doc ann
- ppMemoryError :: IsExpr (SymExpr sym) => MemoryError sym -> Doc ann
- data MemoryOp sym w
- = MemLoadOp StorageType (Maybe String) (LLVMPtr sym w) (Mem sym)
- | MemStoreOp StorageType (Maybe String) (LLVMPtr sym w) (Mem sym)
- | MemStoreBytesOp (Maybe String) (LLVMPtr sym w) (Maybe (SymBV sym w)) (Mem sym)
- | forall wlen.1 <= wlen => MemCopyOp (Maybe String, LLVMPtr sym w) (Maybe String, LLVMPtr sym w) (SymBV sym wlen) (Mem sym)
- | MemLoadHandleOp (Maybe Type) (Maybe String) (LLVMPtr sym w) (Mem sym)
- | forall wlen.1 <= wlen => MemInvalidateOp Text (Maybe String) (LLVMPtr sym w) (SymBV sym wlen) (Mem sym)
- memOpMem :: MemoryOp sym w -> Mem sym
- ppMemoryOp :: IsExpr (SymExpr sym) => MemoryOp sym w -> Doc ann
- data MemoryErrorReason
- ppMemoryErrorReason :: MemoryErrorReason -> Doc ann
- data FuncLookupError
- ppFuncLookupError :: FuncLookupError -> Doc ann
- concMemoryError :: IsExprBuilder sym => sym -> (forall tp. SymExpr sym tp -> IO (GroundValue tp)) -> MemoryError sym -> IO (MemoryError sym)
- concMemoryOp :: (1 <= w, IsExprBuilder sym) => sym -> (forall tp. SymExpr sym tp -> IO (GroundValue tp)) -> MemoryOp sym w -> IO (MemoryOp sym w)
Documentation
data MemoryError sym where Source #
MemoryError :: 1 <= w => MemoryOp sym w -> MemoryErrorReason -> MemoryError sym |
type MemErrContext sym w = MemoryOp sym w Source #
ppMemoryError :: IsExpr (SymExpr sym) => MemoryError sym -> Doc ann Source #
MemLoadOp StorageType (Maybe String) (LLVMPtr sym w) (Mem sym) | |
MemStoreOp StorageType (Maybe String) (LLVMPtr sym w) (Mem sym) | |
MemStoreBytesOp (Maybe String) (LLVMPtr sym w) (Maybe (SymBV sym w)) (Mem sym) | |
forall wlen.1 <= wlen => MemCopyOp (Maybe String, LLVMPtr sym w) (Maybe String, LLVMPtr sym w) (SymBV sym wlen) (Mem sym) | |
MemLoadHandleOp (Maybe Type) (Maybe String) (LLVMPtr sym w) (Mem sym) | |
forall wlen.1 <= wlen => MemInvalidateOp Text (Maybe String) (LLVMPtr sym w) (SymBV sym wlen) (Mem sym) |
data MemoryErrorReason Source #
The kinds of type errors that arise while reading memory/constructing LLVM values
Instances
Eq MemoryErrorReason Source # | |
Defined in Lang.Crucible.LLVM.Errors.MemoryError (==) :: MemoryErrorReason -> MemoryErrorReason -> Bool # (/=) :: MemoryErrorReason -> MemoryErrorReason -> Bool # | |
Ord MemoryErrorReason Source # | |
Defined in Lang.Crucible.LLVM.Errors.MemoryError compare :: MemoryErrorReason -> MemoryErrorReason -> Ordering # (<) :: MemoryErrorReason -> MemoryErrorReason -> Bool # (<=) :: MemoryErrorReason -> MemoryErrorReason -> Bool # (>) :: MemoryErrorReason -> MemoryErrorReason -> Bool # (>=) :: MemoryErrorReason -> MemoryErrorReason -> Bool # max :: MemoryErrorReason -> MemoryErrorReason -> MemoryErrorReason # min :: MemoryErrorReason -> MemoryErrorReason -> MemoryErrorReason # |
ppMemoryErrorReason :: MemoryErrorReason -> Doc ann Source #
data FuncLookupError Source #
Reasons that looking up a function handle associated with an LLVM pointer may fail
Instances
Eq FuncLookupError Source # | |
Defined in Lang.Crucible.LLVM.Errors.MemoryError (==) :: FuncLookupError -> FuncLookupError -> Bool # (/=) :: FuncLookupError -> FuncLookupError -> Bool # | |
Ord FuncLookupError Source # | |
Defined in Lang.Crucible.LLVM.Errors.MemoryError compare :: FuncLookupError -> FuncLookupError -> Ordering # (<) :: FuncLookupError -> FuncLookupError -> Bool # (<=) :: FuncLookupError -> FuncLookupError -> Bool # (>) :: FuncLookupError -> FuncLookupError -> Bool # (>=) :: FuncLookupError -> FuncLookupError -> Bool # max :: FuncLookupError -> FuncLookupError -> FuncLookupError # min :: FuncLookupError -> FuncLookupError -> FuncLookupError # |
ppFuncLookupError :: FuncLookupError -> Doc ann Source #
concMemoryError :: IsExprBuilder sym => sym -> (forall tp. SymExpr sym tp -> IO (GroundValue tp)) -> MemoryError sym -> IO (MemoryError sym) Source #
concMemoryOp :: (1 <= w, IsExprBuilder sym) => sym -> (forall tp. SymExpr sym tp -> IO (GroundValue tp)) -> MemoryOp sym w -> IO (MemoryOp sym w) Source #