Ethereum.Analyzer.EVM

Documentation

doCfgAugmentPass :: HplContract -> WordLabelMapM HplContract

doCfgAugWithTopNPass :: HasEvmBytecode a => a -> WordLabelMapM HplContract

newtype EvmBytecode

Constructors

EvmBytecode

Fields

• unEvmBytecode :: ByteString

Instances

Eq EvmBytecode

Methods

(==) :: EvmBytecode -> EvmBytecode -> Bool

(/=) :: EvmBytecode -> EvmBytecode -> Bool

Show EvmBytecode

Methods

showsPrec :: Int -> EvmBytecode -> ShowS

show :: EvmBytecode -> String

showList :: [EvmBytecode] -> ShowS

HasEvmBytecode EvmBytecode

Methods

evmBytecodeOf :: EvmBytecode -> EvmBytecode

newtype EvmHexString

Constructors

EvmHexString

Fields

• unEvmHexString :: Text

Instances

Eq EvmHexString

Methods

(==) :: EvmHexString -> EvmHexString -> Bool

(/=) :: EvmHexString -> EvmHexString -> Bool

Show EvmHexString

Methods

showsPrec :: Int -> EvmHexString -> ShowS

show :: EvmHexString -> String

showList :: [EvmHexString] -> ShowS

HasEvmBytecode EvmHexString

Methods

evmBytecodeOf :: EvmHexString -> EvmBytecode

class HasEvmBytecode a where

Minimal complete definition

evmBytecodeOf

Methods

evmBytecodeOf :: a -> EvmBytecode

Instances

HasEvmBytecode Code

Methods

evmBytecodeOf :: Code -> EvmBytecode

HasEvmBytecode EvmHexString

Methods

evmBytecodeOf :: EvmHexString -> EvmBytecode

HasEvmBytecode EvmBytecode

Methods

evmBytecodeOf :: EvmBytecode -> EvmBytecode

disasm :: HasEvmBytecode a => a -> [(Word256, Operation)]

type HplCfg = Graph HplOp O C

data HplContract

Constructors

HplContract

Fields

• ctorOf :: HplCfg
• dispatcherOf :: HplCfg

Instances

ShowText HplContract

Methods

showText :: HplContract -> Text

data HplOp e x where

Constructors

CoOp :: Label -> HplOp C O

OoOp :: (Word256, Operation) -> HplOp O O

OcOp :: (Word256, Operation) -> [Label] -> HplOp O C

HpJump :: MyLabel -> Label -> HplOp O C

HpEnd :: MyLabel -> HplOp O C

HpCodeCopy :: Word256 -> HplOp O O

Instances

NonLocal HplOp

Methods

entryLabel :: HplOp C x -> Label

successors :: HplOp e C -> [Label]

ShowText HplCfg

Methods

showText :: HplCfg -> Text

Eq (HplOp O O)

Methods

(==) :: HplOp O O -> HplOp O O -> Bool

(/=) :: HplOp O O -> HplOp O O -> Bool

Eq (HplOp O C)

Methods

(==) :: HplOp O C -> HplOp O C -> Bool

(/=) :: HplOp O C -> HplOp O C -> Bool

Eq (HplOp C O)

Methods

(==) :: HplOp C O -> HplOp C O -> Bool

(/=) :: HplOp C O -> HplOp C O -> Bool

ShowText (HplOp e x)

Methods

showText :: HplOp e x -> Text

data WordLabelMapM a

Instances

Monad WordLabelMapM

Methods

(>>=) :: WordLabelMapM a -> (a -> WordLabelMapM b) -> WordLabelMapM b

(>>) :: WordLabelMapM a -> WordLabelMapM b -> WordLabelMapM b

return :: a -> WordLabelMapM a

fail :: String -> WordLabelMapM a

Functor WordLabelMapM

Methods

fmap :: (a -> b) -> WordLabelMapM a -> WordLabelMapM b

(<$) :: a -> WordLabelMapM b -> WordLabelMapM a

Applicative WordLabelMapM

Methods

pure :: a -> WordLabelMapM a

(<*>) :: WordLabelMapM (a -> b) -> WordLabelMapM a -> WordLabelMapM b

liftA2 :: (a -> b -> c) -> WordLabelMapM a -> WordLabelMapM b -> WordLabelMapM c

(*>) :: WordLabelMapM a -> WordLabelMapM b -> WordLabelMapM b

(<*) :: WordLabelMapM a -> WordLabelMapM b -> WordLabelMapM a

UniqueMonad WordLabelMapM

Methods

freshUnique :: WordLabelMapM Unique

CheckpointMonad WordLabelMapM

Associated Types

type Checkpoint (WordLabelMapM :: * -> *) :: *

Methods

checkpoint :: WordLabelMapM (Checkpoint WordLabelMapM)

restart :: Checkpoint WordLabelMapM -> WordLabelMapM ()

type Checkpoint WordLabelMapM

type Checkpoint WordLabelMapM

type WordLabelMapFuelM = CheckingFuelMonad WordLabelMapM

unWordLabelMapM :: UnWordLabelMapM a => WordLabelMapM a -> a

evmOps2HplCfg :: [(Word256, Operation)] -> WordLabelMapM HplCfg

evmOps2HplContract :: [(Word256, Operation)] -> WordLabelMapM HplContract

labelFor :: Word256 -> WordLabelMapM Label

labelsFor :: [Word256] -> WordLabelMapM [Label]

showOp :: (Word256, Operation) -> Text

showOps :: [(Word256, Operation)] -> [Text]

disasmToDotText :: HasEvmBytecode a => a -> Text

disasmToDotText2 :: HasEvmBytecode a => a -> (Text, Text)