EVM.Solidity

Documentation

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

data JumpType

Constructors

JumpInto

JumpFrom

JumpRegular

Instances

Eq JumpType

Methods

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

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

Ord JumpType

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

Methods

showsPrec :: Int -> JumpType -> ShowS

show :: JumpType -> String

showList :: [JumpType] -> ShowS

Generic JumpType

Associated Types

type Rep JumpType :: * -> *

Methods

from :: JumpType -> Rep JumpType x

to :: Rep JumpType x -> JumpType

type Rep JumpType

type Rep JumpType = D1 * (MetaData "JumpType" "EVM.Solidity" "hevm-0.16-5a74lCQx1KPFycEOS1YSBh" 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
• _abiMap :: Map Word32 Method
• _eventMap :: Map W256 Event
• _runtimeSrcmap :: Seq SrcMap
• _creationSrcmap :: Seq SrcMap
• _contractAst :: Value

Instances

Eq SolcContract

Methods

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

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

Show SolcContract

Methods

showsPrec :: Int -> SolcContract -> ShowS

show :: SolcContract -> String

showList :: [SolcContract] -> ShowS

Generic SolcContract

Associated Types

type Rep SolcContract :: * -> *

Methods

from :: SolcContract -> Rep SolcContract x

to :: Rep SolcContract x -> SolcContract

type Rep SolcContract

type Rep SolcContract = D1 * (MetaData "SolcContract" "EVM.Solidity" "hevm-0.16-5a74lCQx1KPFycEOS1YSBh" False) (C1 * (MetaCons "SolcContract" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "_runtimeCodehash") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * W256)) (S1 * (MetaSel (Just Symbol "_creationCodehash") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * W256))) ((:*:) * (S1 * (MetaSel (Just Symbol "_runtimeCode") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * ByteString)) ((:*:) * (S1 * (MetaSel (Just Symbol "_creationCode") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * ByteString)) (S1 * (MetaSel (Just Symbol "_contractName") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Text))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "_abiMap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * (Map Word32 Method))) (S1 * (MetaSel (Just Symbol "_eventMap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * (Map W256 Event)))) ((:*:) * (S1 * (MetaSel (Just Symbol "_runtimeSrcmap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * (Seq SrcMap))) ((:*:) * (S1 * (MetaSel (Just Symbol "_creationSrcmap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * (Seq SrcMap))) (S1 * (MetaSel (Just Symbol "_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

Methods

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

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

Show SourceCache

Methods

showsPrec :: Int -> SourceCache -> ShowS

show :: SourceCache -> String

showList :: [SourceCache] -> ShowS

Generic SourceCache

Associated Types

type Rep SourceCache :: * -> *

Methods

from :: SourceCache -> Rep SourceCache x

to :: Rep SourceCache x -> SourceCache

Monoid SourceCache

Methods

mempty :: SourceCache

mappend :: SourceCache -> SourceCache -> SourceCache

mconcat :: [SourceCache] -> SourceCache

type Rep SourceCache

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

data SrcMap

Constructors

SM

Fields

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

Instances

Eq SrcMap

Methods

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

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

Ord SrcMap

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

Methods

showsPrec :: Int -> SrcMap -> ShowS

show :: SrcMap -> String

showList :: [SrcMap] -> ShowS

Generic SrcMap

Associated Types

type Rep SrcMap :: * -> *

Methods

from :: SrcMap -> Rep SrcMap x

to :: Rep SrcMap x -> SrcMap

type Rep SrcMap

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

data CodeType

Constructors

Creation

Runtime

Instances

Eq CodeType

Methods

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

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

Ord CodeType

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

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

Methods

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

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

Ord Method

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

Methods

showsPrec :: Int -> Method -> ShowS

show :: Method -> String

showList :: [Method] -> ShowS

Generic Method

Associated Types

type Rep Method :: * -> *

Methods

from :: Method -> Rep Method x

to :: Rep Method x -> Method

type Rep Method

type Rep Method = D1 * (MetaData "Method" "EVM.Solidity" "hevm-0.16-5a74lCQx1KPFycEOS1YSBh" False) (C1 * (MetaCons "Method" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "_methodOutput") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * (Maybe (Text, AbiType)))) (S1 * (MetaSel (Just Symbol "_methodInputs") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * [(Text, AbiType)]))) ((:*:) * (S1 * (MetaSel (Just Symbol "_methodName") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "_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

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