foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.JumpTarget

Description

 
Synopsis

Documentation

data ResolvedJumpTarget Source #

Resolving the operand of a jump/call can produce one of the following.

Constructors

Unresolved

An indirect branch that has not been resolved yet

External String

A call to external function f

ExternalDeref String

A call to external function whose entry address is stored at the label: *[l,8] = fptr

ImmediateAddress Word64

An internal call to the given address

Returns Bool

The function returns (treat as a nop) or terminates

Instances

Instances details
Generic ResolvedJumpTarget Source # 
Instance details

Defined in Data.JumpTarget

Associated Types

type Rep ResolvedJumpTarget :: Type -> Type #

Methods

from :: ResolvedJumpTarget -> Rep ResolvedJumpTarget x #

to :: Rep ResolvedJumpTarget x -> ResolvedJumpTarget #

Show ResolvedJumpTarget Source # 
Instance details

Defined in Data.JumpTarget

Methods

showsPrec :: Int -> ResolvedJumpTarget -> ShowS #

show :: ResolvedJumpTarget -> String #

showList :: [ResolvedJumpTarget] -> ShowS #

Serialize ResolvedJumpTarget Source # 
Instance details

Defined in Data.JumpTarget

Methods

put :: Putter ResolvedJumpTarget #

get :: Get ResolvedJumpTarget #

NFData ResolvedJumpTarget Source # 
Instance details

Defined in Data.JumpTarget

Methods

rnf :: ResolvedJumpTarget -> () #

Eq ResolvedJumpTarget Source # 
Instance details

Defined in Data.JumpTarget

Methods

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

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

Ord ResolvedJumpTarget Source # 
Instance details

Defined in Data.JumpTarget

Methods

compare :: ResolvedJumpTarget -> ResolvedJumpTarget -> Ordering #

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

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

(>) :: ResolvedJumpTarget -> ResolvedJumpTarget -> Bool #

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

max :: ResolvedJumpTarget -> ResolvedJumpTarget -> ResolvedJumpTarget #

min :: ResolvedJumpTarget -> ResolvedJumpTarget -> ResolvedJumpTarget #

type Rep ResolvedJumpTarget Source # 
Instance details

Defined in Data.JumpTarget

type Rep ResolvedJumpTarget = D1 ('MetaData "ResolvedJumpTarget" "Data.JumpTarget" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) ((C1 ('MetaCons "Unresolved" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "External" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String))) :+: (C1 ('MetaCons "ExternalDeref" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "ImmediateAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64)) :+: C1 ('MetaCons "Returns" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))))