Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SPointer

Description

Documentation

data SPointer Source #

Constructors

Ptr_Concrete SimpleExpr
Ptr_Base SimpleExpr
Ptr_Top

Instances

Instances details

Generic SPointer Source #
Instance details Defined in Data.SPointer Associated Types type Rep SPointer :: Type -> Type # Methods from :: SPointer -> Rep SPointer x # to :: Rep SPointer x -> SPointer #
Show SPointer Source #
Instance details Defined in Data.SPointer Methods showsPrec :: Int -> SPointer -> ShowS # show :: SPointer -> String # showList :: [SPointer] -> ShowS #
Serialize SPointer Source #
Instance details Defined in Data.SPointer Methods put :: Putter SPointer # get :: Get SPointer #
NFData SPointer Source #
Instance details Defined in Data.SPointer Methods rnf :: SPointer -> () #
Eq SPointer Source #
Instance details Defined in Data.SPointer Methods (==) :: SPointer -> SPointer -> Bool # (/=) :: SPointer -> SPointer -> Bool #
Ord SPointer Source #
Instance details Defined in Data.SPointer Methods compare :: SPointer -> SPointer -> Ordering # (<) :: SPointer -> SPointer -> Bool # (<=) :: SPointer -> SPointer -> Bool # (>) :: SPointer -> SPointer -> Bool # (>=) :: SPointer -> SPointer -> Bool # max :: SPointer -> SPointer -> SPointer # min :: SPointer -> SPointer -> SPointer #
BinaryClass bin => WithAbstractSymbolicValues (Static bin v) SValue SPointer Source #
Instance details Defined in WithNoAbstraction.SymbolicExecution Methods sseparate :: Static bin v -> String -> SPointer -> Maybe ByteSize -> SPointer -> Maybe ByteSize -> Bool Source # senclosed :: Static bin v -> SPointer -> Maybe ByteSize -> SPointer -> Maybe ByteSize -> Bool Source # salias :: Static bin v -> SPointer -> Maybe ByteSize -> SPointer -> Maybe ByteSize -> Bool Source # ssensitive :: Static bin v -> SPointer -> Maybe ByteSize -> SValue -> Bool Source # sread_from_ro_data :: Static bin v -> SPointer -> Maybe ByteSize -> Maybe SValue Source # smk_mem_addresses :: Static bin v -> String -> SValue -> Set SPointer Source # sjoin_values :: Foldable t => Static bin v -> String -> t SValue -> SValue Source # swiden_values :: Static bin v -> String -> SValue -> SValue Source # sjoin_pointers :: Static bin v -> [SPointer] -> [SPointer] Source # top :: Static bin v -> String -> SValue Source # ssemantics :: Static bin v -> String -> SymbolicOperation SValue -> SValue Source # sflg_semantics :: Static bin v -> SValue -> Instruction -> FlagStatus -> FlagStatus Source # simmediate :: Integral i => Static bin v -> i -> SValue Source # smk_init_reg_value :: Static bin v -> Register -> SValue Source # smk_init_mem_value :: Static bin v -> String -> SPointer -> Maybe ByteSize -> SValue Source # scall :: Static bin v -> Instruction -> State (Sstate SValue SPointer, VCS SValue) () Source # sjump :: Static bin v -> Instruction -> State (Sstate SValue SPointer, VCS SValue) () Source # saddress_has_instruction :: Static bin v -> Word64 -> Bool Source # skeep_for_finit :: Static bin v -> SStatePart SPointer -> SValue -> Maybe (Set SPointer) Source # stry_jump_targets :: Static bin v -> SValue -> Maybe (Set ResolvedJumpTarget) Source # stry_resolve_error_call :: Static bin v -> Instruction -> SValue -> Maybe Indirection Source # stry_immediate :: Static bin v -> SValue -> Maybe Word64 Source # sis_deterministic :: Static bin v -> SValue -> Bool Source # scheck_regs_in_postcondition :: Static bin v -> SValue -> SValue -> Bool Source #
type Rep SPointer Source #
Instance details Defined in Data.SPointer type Rep SPointer = D1 ('MetaData "SPointer" "Data.SPointer" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "Ptr_Concrete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SimpleExpr)) :+: (C1 ('MetaCons "Ptr_Base" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SimpleExpr)) :+: C1 ('MetaCons "Ptr_Top" 'PrefixI 'False) (U1 :: Type -> Type)))