foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Safe HaskellNone
LanguageHaskell2010

Generic.Address

Synopsis

Documentation

data GenericAddress storage Source #

An unresolved address, within the operand of an instruction, based on polymorphic type storage.

Constructors

AddressStorage storage

Reading a pointer from a storage

AddressImm Word64

Immediate value

AddressMinus (GenericAddress storage) (GenericAddress storage)

Minus

AddressPlus (GenericAddress storage) (GenericAddress storage)

Plus

AddressTimes (GenericAddress storage) (GenericAddress storage)

Times

Instances

Instances details
Functor GenericAddress Source # 
Instance details

Defined in Generic.Address

Methods

fmap :: (a -> b) -> GenericAddress a -> GenericAddress b #

(<$) :: a -> GenericAddress b -> GenericAddress a #

Eq storage => Eq (GenericAddress storage) Source # 
Instance details

Defined in Generic.Address

Methods

(==) :: GenericAddress storage -> GenericAddress storage -> Bool #

(/=) :: GenericAddress storage -> GenericAddress storage -> Bool #

Ord storage => Ord (GenericAddress storage) Source # 
Instance details

Defined in Generic.Address

Methods

compare :: GenericAddress storage -> GenericAddress storage -> Ordering #

(<) :: GenericAddress storage -> GenericAddress storage -> Bool #

(<=) :: GenericAddress storage -> GenericAddress storage -> Bool #

(>) :: GenericAddress storage -> GenericAddress storage -> Bool #

(>=) :: GenericAddress storage -> GenericAddress storage -> Bool #

max :: GenericAddress storage -> GenericAddress storage -> GenericAddress storage #

min :: GenericAddress storage -> GenericAddress storage -> GenericAddress storage #

Show storage => Show (GenericAddress storage) Source # 
Instance details

Defined in Generic.Address

Methods

showsPrec :: Int -> GenericAddress storage -> ShowS #

show :: GenericAddress storage -> String #

showList :: [GenericAddress storage] -> ShowS #

Generic (GenericAddress storage) Source # 
Instance details

Defined in Generic.Address

Associated Types

type Rep (GenericAddress storage) :: Type -> Type #

Methods

from :: GenericAddress storage -> Rep (GenericAddress storage) x #

to :: Rep (GenericAddress storage) x -> GenericAddress storage #

Serialize storage => Serialize (GenericAddress storage) Source # 
Instance details

Defined in Generic.Address

Methods

put :: Putter (GenericAddress storage) #

get :: Get (GenericAddress storage) #

NFData storage => NFData (GenericAddress storage) Source # 
Instance details

Defined in Generic.Address

Methods

rnf :: GenericAddress storage -> () #

type Rep (GenericAddress storage) Source # 
Instance details

Defined in Generic.Address

type Rep (GenericAddress storage) = D1 ('MetaData "GenericAddress" "Generic.Address" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) ((C1 ('MetaCons "AddressStorage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 storage)) :+: C1 ('MetaCons "AddressImm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) :+: (C1 ('MetaCons "AddressMinus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenericAddress storage)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenericAddress storage))) :+: (C1 ('MetaCons "AddressPlus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenericAddress storage)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenericAddress storage))) :+: C1 ('MetaCons "AddressTimes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenericAddress storage)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenericAddress storage))))))

newtype AddressWord64 Source #

A type for encapsulating an immediate (allows to always show hex)

Constructors

AddressWord64 Word64 

Instances

Instances details
Eq AddressWord64 Source # 
Instance details

Defined in Generic.Address

Methods

(==) :: AddressWord64 -> AddressWord64 -> Bool #

(/=) :: AddressWord64 -> AddressWord64 -> Bool #

Ord AddressWord64 Source # 
Instance details

Defined in Generic.Address

Methods

compare :: AddressWord64 -> AddressWord64 -> Ordering #

(<) :: AddressWord64 -> AddressWord64 -> Bool #

(<=) :: AddressWord64 -> AddressWord64 -> Bool #

(>) :: AddressWord64 -> AddressWord64 -> Bool #

(>=) :: AddressWord64 -> AddressWord64 -> Bool #

max :: AddressWord64 -> AddressWord64 -> AddressWord64 #

min :: AddressWord64 -> AddressWord64 -> AddressWord64 #

Show AddressWord64 Source # 
Instance details

Defined in Generic.Address

Methods

showsPrec :: Int -> AddressWord64 -> ShowS #

show :: AddressWord64 -> String #

showList :: [AddressWord64] -> ShowS #

Generic AddressWord64 Source # 
Instance details

Defined in Generic.Address

Associated Types

type Rep AddressWord64 :: Type -> Type #

Methods

from :: AddressWord64 -> Rep AddressWord64 x #

to :: Rep AddressWord64 x -> AddressWord64 #

Serialize AddressWord64 Source # 
Instance details

Defined in Generic.Address

Methods

put :: Putter AddressWord64 #

get :: Get AddressWord64 #

NFData AddressWord64 Source # 
Instance details

Defined in Generic.Address

Methods

rnf :: AddressWord64 -> () #

HasSize Instruction Source # 
Instance details

Defined in X86.Instruction

Methods

sizeof :: Instruction -> Int Source #

type Rep AddressWord64 Source # 
Instance details

Defined in Generic.Address

type Rep AddressWord64 = D1 ('MetaData "AddressWord64" "Generic.Address" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'True) (C1 ('MetaCons "AddressWord64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))