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.44.1-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.44.1-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.44.1-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.44.1-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.44.1-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

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