EVM.Solidity

Documentation

solidity :: Text -> Text -> IO (Maybe ByteString)

data JumpType

Constructors

JumpInto

JumpFrom

JumpRegular

Instances

Eq JumpType

Defined in EVM.Solidity

Methods

(==) :: JumpType -> JumpType -> Bool

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

Ord JumpType

Defined in EVM.Solidity

Methods

compare :: JumpType -> JumpType -> Ordering

(<) :: JumpType -> JumpType -> Bool

(<=) :: JumpType -> JumpType -> Bool

(>) :: JumpType -> JumpType -> Bool

(>=) :: JumpType -> JumpType -> Bool

max :: JumpType -> JumpType -> JumpType

min :: JumpType -> JumpType -> JumpType

Show JumpType

Defined in EVM.Solidity

Methods

showsPrec :: Int -> JumpType -> ShowS

show :: JumpType -> String

showList :: [JumpType] -> ShowS

Generic JumpType

Defined in EVM.Solidity

Associated Types

type Rep JumpType :: * -> *

Methods

from :: JumpType -> Rep JumpType x

to :: Rep JumpType x -> JumpType

type Rep JumpType

Defined in EVM.Solidity

type Rep JumpType = D1 (MetaData "JumpType" "EVM.Solidity" "hevm-0.20-L6DftnEwVV9HptrJThcN6v" False) (C1 (MetaCons "JumpInto" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "JumpFrom" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "JumpRegular" PrefixI False) (U1 :: * -> *)))

data SolcContract

Constructors

SolcContract

Fields

• _runtimeCodehash :: W256
• _creationCodehash :: W256
• _runtimeCode :: ByteString
• _creationCode :: ByteString
• _contractName :: Text
• _constructorInputs :: [(Text, AbiType)]
• _abiMap :: Map Word32 Method
• _eventMap :: Map W256 Event
• _runtimeSrcmap :: Seq SrcMap
• _creationSrcmap :: Seq SrcMap
• _contractAst :: Value

Instances

Eq SolcContract

Defined in EVM.Solidity

Methods

(==) :: SolcContract -> SolcContract -> Bool

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

Show SolcContract

Defined in EVM.Solidity

Methods

showsPrec :: Int -> SolcContract -> ShowS

show :: SolcContract -> String

showList :: [SolcContract] -> ShowS

Generic SolcContract

Defined in EVM.Solidity

Associated Types

type Rep SolcContract :: * -> *

Methods

from :: SolcContract -> Rep SolcContract x

to :: Rep SolcContract x -> SolcContract

type Rep SolcContract

Defined in EVM.Solidity

type Rep SolcContract = D1 (MetaData "SolcContract" "EVM.Solidity" "hevm-0.20-L6DftnEwVV9HptrJThcN6v" False) (C1 (MetaCons "SolcContract" PrefixI True) (((S1 (MetaSel (Just "_runtimeCodehash") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 W256) :*: S1 (MetaSel (Just "_creationCodehash") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 W256)) :*: (S1 (MetaSel (Just "_runtimeCode") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ByteString) :*: (S1 (MetaSel (Just "_creationCode") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ByteString) :*: S1 (MetaSel (Just "_contractName") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)))) :*: ((S1 (MetaSel (Just "_constructorInputs") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [(Text, AbiType)]) :*: (S1 (MetaSel (Just "_abiMap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Word32 Method)) :*: S1 (MetaSel (Just "_eventMap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map W256 Event)))) :*: (S1 (MetaSel (Just "_runtimeSrcmap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Seq SrcMap)) :*: (S1 (MetaSel (Just "_creationSrcmap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Seq SrcMap)) :*: S1 (MetaSel (Just "_contractAst") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Value))))))

data SourceCache

Constructors

SourceCache

Fields

• _snippetCache :: Map (Int, Int) ByteString
• _sourceFiles :: Map Int (Text, ByteString)
• _sourceLines :: Map Int (Vector ByteString)
• _sourceAsts :: Map Text Value

Instances

Eq SourceCache

Defined in EVM.Solidity

Methods

(==) :: SourceCache -> SourceCache -> Bool

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

Show SourceCache

Defined in EVM.Solidity

Methods

showsPrec :: Int -> SourceCache -> ShowS

show :: SourceCache -> String

showList :: [SourceCache] -> ShowS

Generic SourceCache

Defined in EVM.Solidity

Associated Types

type Rep SourceCache :: * -> *

Methods

from :: SourceCache -> Rep SourceCache x

to :: Rep SourceCache x -> SourceCache

Semigroup SourceCache

Defined in EVM.Solidity

Methods

(<>) :: SourceCache -> SourceCache -> SourceCache

sconcat :: NonEmpty SourceCache -> SourceCache

stimes :: Integral b => b -> SourceCache -> SourceCache

Monoid SourceCache

Defined in EVM.Solidity

Methods

mempty :: SourceCache

mappend :: SourceCache -> SourceCache -> SourceCache

mconcat :: [SourceCache] -> SourceCache

type Rep SourceCache

Defined in EVM.Solidity

type Rep SourceCache = D1 (MetaData "SourceCache" "EVM.Solidity" "hevm-0.20-L6DftnEwVV9HptrJThcN6v" False) (C1 (MetaCons "SourceCache" PrefixI True) ((S1 (MetaSel (Just "_snippetCache") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map (Int, Int) ByteString)) :*: S1 (MetaSel (Just "_sourceFiles") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Int (Text, ByteString)))) :*: (S1 (MetaSel (Just "_sourceLines") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Int (Vector ByteString))) :*: S1 (MetaSel (Just "_sourceAsts") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Text Value)))))

data SrcMap

Constructors

SM

Fields

• srcMapOffset :: Int
• srcMapLength :: Int
• srcMapFile :: Int
• srcMapJump :: JumpType

Instances

Eq SrcMap

Defined in EVM.Solidity

Methods

(==) :: SrcMap -> SrcMap -> Bool

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

Ord SrcMap

Defined in EVM.Solidity

Methods

compare :: SrcMap -> SrcMap -> Ordering

(<) :: SrcMap -> SrcMap -> Bool

(<=) :: SrcMap -> SrcMap -> Bool

(>) :: SrcMap -> SrcMap -> Bool

(>=) :: SrcMap -> SrcMap -> Bool

max :: SrcMap -> SrcMap -> SrcMap

min :: SrcMap -> SrcMap -> SrcMap

Show SrcMap

Defined in EVM.Solidity

Methods

showsPrec :: Int -> SrcMap -> ShowS

show :: SrcMap -> String

showList :: [SrcMap] -> ShowS

Generic SrcMap

Defined in EVM.Solidity

Associated Types

type Rep SrcMap :: * -> *

Methods

from :: SrcMap -> Rep SrcMap x

to :: Rep SrcMap x -> SrcMap

type Rep SrcMap

Defined in EVM.Solidity

type Rep SrcMap = D1 (MetaData "SrcMap" "EVM.Solidity" "hevm-0.20-L6DftnEwVV9HptrJThcN6v" False) (C1 (MetaCons "SM" PrefixI True) ((S1 (MetaSel (Just "srcMapOffset") SourceUnpack NoSourceStrictness DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "srcMapLength") SourceUnpack NoSourceStrictness DecidedStrict) (Rec0 Int)) :*: (S1 (MetaSel (Just "srcMapFile") SourceUnpack NoSourceStrictness DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "srcMapJump") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 JumpType))))

data CodeType

Constructors

Creation

Runtime

Instances

Eq CodeType

Defined in EVM.Solidity

Methods

(==) :: CodeType -> CodeType -> Bool

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

Ord CodeType

Defined in EVM.Solidity

Methods

compare :: CodeType -> CodeType -> Ordering

(<) :: CodeType -> CodeType -> Bool

(<=) :: CodeType -> CodeType -> Bool

(>) :: CodeType -> CodeType -> Bool

(>=) :: CodeType -> CodeType -> Bool

max :: CodeType -> CodeType -> CodeType

min :: CodeType -> CodeType -> CodeType

Show CodeType

Defined in EVM.Solidity

Methods

showsPrec :: Int -> CodeType -> ShowS

show :: CodeType -> String

showList :: [CodeType] -> ShowS

data Method

Constructors

Method

Fields

• _methodOutput :: Maybe (Text, AbiType)
• _methodInputs :: [(Text, AbiType)]
• _methodName :: Text
• _methodSignature :: Text

Instances

Eq Method

Defined in EVM.Solidity

Methods

(==) :: Method -> Method -> Bool

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

Ord Method

Defined in EVM.Solidity

Methods

compare :: Method -> Method -> Ordering

(<) :: Method -> Method -> Bool

(<=) :: Method -> Method -> Bool

(>) :: Method -> Method -> Bool

(>=) :: Method -> Method -> Bool

max :: Method -> Method -> Method

min :: Method -> Method -> Method

Show Method

Defined in EVM.Solidity

Methods

showsPrec :: Int -> Method -> ShowS

show :: Method -> String

showList :: [Method] -> ShowS

Generic Method

Defined in EVM.Solidity

Associated Types

type Rep Method :: * -> *

Methods

from :: Method -> Rep Method x

to :: Rep Method x -> Method

type Rep Method

Defined in EVM.Solidity

type Rep Method = D1 (MetaData "Method" "EVM.Solidity" "hevm-0.20-L6DftnEwVV9HptrJThcN6v" False) (C1 (MetaCons "Method" PrefixI True) ((S1 (MetaSel (Just "_methodOutput") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Text, AbiType))) :*: S1 (MetaSel (Just "_methodInputs") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [(Text, AbiType)])) :*: (S1 (MetaSel (Just "_methodName") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Just "_methodSignature") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text))))

methodName :: Lens' Method Text

methodSignature :: Lens' Method Text

methodInputs :: Lens' Method [(Text, AbiType)]

methodOutput :: Lens' Method (Maybe (Text, AbiType))

abiMap :: Lens' SolcContract (Map Word32 Method)

eventMap :: Lens' SolcContract (Map W256 Event)

contractName :: Lens' SolcContract Text

constructorInputs :: Lens' SolcContract [(Text, AbiType)]

creationCode :: Lens' SolcContract ByteString

makeSrcMaps :: Text -> Maybe (Seq SrcMap)

readSolc :: FilePath -> IO (Maybe (Map Text SolcContract, SourceCache))

runtimeCode :: Lens' SolcContract ByteString

snippetCache :: Lens' SourceCache (Map (Int, Int) ByteString)

runtimeCodehash :: Lens' SolcContract W256

creationCodehash :: Lens' SolcContract W256

runtimeSrcmap :: Lens' SolcContract (Seq SrcMap)

creationSrcmap :: Lens' SolcContract (Seq SrcMap)

contractAst :: Lens' SolcContract Value

sourceFiles :: Lens' SourceCache (Map Int (Text, ByteString))

sourceLines :: Lens' SourceCache (Map Int (Vector ByteString))

sourceAsts :: Lens' SourceCache (Map Text Value)

stripBytecodeMetadata :: ByteString -> ByteString

lineSubrange :: Vector ByteString -> (Int, Int) -> Int -> Maybe (Int, Int)

astIdMap :: Foldable f => f Value -> Map Int Value

Every node in the AST has an ID, and other nodes reference those IDs. This function recurses through the tree looking for objects with the "id" key and makes a big map from ID to value.

astSrcMap :: Map Int Value -> SrcMap -> Maybe Value