EVM.Solidity

Documentation

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

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

solidity' :: Text -> IO (Text, Text)

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 :: Type -> Type

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.46.0-inplace" 'False) (C1 ('MetaCons "JumpInto" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "JumpFrom" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JumpRegular" 'PrefixI 'False) (U1 :: Type -> Type)))

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
• _storageLayout :: Maybe (Map Text StorageItem)
• _runtimeSrcmap :: Seq SrcMap
• _creationSrcmap :: Seq SrcMap

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 :: Type -> Type

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.46.0-inplace" '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 "_storageLayout") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Map Text StorageItem))) :*: (S1 ('MetaSel ('Just "_runtimeSrcmap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Seq SrcMap)) :*: S1 ('MetaSel ('Just "_creationSrcmap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Seq SrcMap)))))))

data StorageItem

Constructors

StorageItem

Fields

• _type :: SlotType
• _offset :: Int
• _slot :: Int

Instances

Eq StorageItem

Defined in EVM.Solidity

Methods

(==) :: StorageItem -> StorageItem -> Bool

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

Show StorageItem

Defined in EVM.Solidity

Methods

showsPrec :: Int -> StorageItem -> ShowS

show :: StorageItem -> String

showList :: [StorageItem] -> ShowS

data SourceCache

Constructors

SourceCache

Fields

• _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 :: Type -> Type

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.46.0-inplace" 'False) (C1 ('MetaCons "SourceCache" 'PrefixI 'True) (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
• srcMapModifierDepth :: Int

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 :: Type -> Type

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.46.0-inplace" '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) :*: S1 ('MetaSel ('Just "srcMapModifierDepth") 'SourceUnpack 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))))

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 :: [(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 :: Type -> Type

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.46.0-inplace" 'False) (C1 ('MetaCons "Method" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_methodOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(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))))

data SlotType

Constructors

StorageMapping (NonEmpty AbiType) AbiType

StorageValue AbiType

Instances

Eq SlotType

Defined in EVM.Solidity

Methods

(==) :: SlotType -> SlotType -> Bool

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

Read SlotType

Defined in EVM.Solidity

Methods

readsPrec :: Int -> ReadS SlotType

readList :: ReadS [SlotType]

readPrec :: ReadPrec SlotType

readListPrec :: ReadPrec [SlotType]

Show SlotType

Defined in EVM.Solidity

Methods

showsPrec :: Int -> SlotType -> ShowS

show :: SlotType -> String

showList :: [SlotType] -> ShowS

methodName :: Lens' Method Text

methodSignature :: Lens' Method Text

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

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

abiMap :: Lens' SolcContract (Map Word32 Method)

eventMap :: Lens' SolcContract (Map W256 Event)

storageLayout :: Lens' SolcContract (Maybe (Map Text StorageItem))

contractName :: Lens' SolcContract Text

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

creationCode :: Lens' SolcContract ByteString

functionAbi :: Text -> IO Method

makeSrcMaps :: Text -> Maybe (Seq SrcMap)

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

readJSON :: Text -> Maybe (Map Text SolcContract, Map Text Value, [(Text, Maybe ByteString)])

readStdJSON :: Text -> Maybe (Map Text SolcContract, Map Text Value, [(Text, Maybe ByteString)])

readCombinedJSON :: Text -> Maybe (Map Text SolcContract, Map Text Value, [(Text, Maybe ByteString)])

runtimeCode :: Lens' SolcContract ByteString

runtimeCodehash :: Lens' SolcContract W256

creationCodehash :: Lens' SolcContract W256

runtimeSrcmap :: Lens' SolcContract (Seq SrcMap)

creationSrcmap :: Lens' SolcContract (Seq SrcMap)

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

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

sourceAsts :: Lens' SourceCache (Map Text Value)

stripBytecodeMetadata :: ByteString -> ByteString

When doing CREATE and passing constructor arguments, Solidity loads the argument data via the creation bytecode, since there is no "calldata" for CREATE.

This interferes with our ability to look up the current contract by codehash, so we must somehow strip away this extra suffix. Luckily we can detect the end of the actual bytecode by looking for the "metadata hash". (Not 100% correct, but works in practice.)

Actually, we strip away the entire BZZR suffix too, because as long as the codehash matches otherwise, we don't care if there is some difference there.

stripBytecodeMetadataSym :: [SWord 8] -> [SWord 8]

signature :: AsValue s => s -> Text

solc :: Language -> Text -> IO Text

data Language

Constructors

Solidity

Yul

Instances

Show Language

Defined in EVM.Solidity

Methods

showsPrec :: Int -> Language -> ShowS

show :: Language -> String

showList :: [Language] -> ShowS

stdjson :: Language -> Text -> Text

parseMethodInput :: AsValue s => s -> (Text, AbiType)

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