Ethereum.Analyzer.Solidity

Documentation

data SolNode

Constructors

SolNode

Fields

• name :: Maybe Text
• _id :: Maybe Int
• _type :: Maybe Text
• _AST :: Maybe SolNode
• attributes :: Maybe SolNode
• constant :: Maybe Bool
• components :: Maybe [Maybe SolNode]
• fullyImplemented :: Maybe Bool
• hexvalue :: Maybe Text
• isLibrary :: Maybe Bool
• linearizedBaseContracts :: Maybe [Int]
• literals :: Maybe [Text]
• member_name :: Maybe Text
• operator :: Maybe Text
• payable :: Maybe Bool
• src :: Maybe Text
• storageLocation :: Maybe Text
• subdenomination :: Maybe Text
• token :: Maybe Text
• type_conversion :: Maybe Bool
• value :: Maybe Text
• visibility :: Maybe Text
• children :: Maybe [SolNode]

Instances

Eq SolNode

Methods

(==) :: SolNode -> SolNode -> Bool

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

Show SolNode

Methods

showsPrec :: Int -> SolNode -> ShowS

show :: SolNode -> String

showList :: [SolNode] -> ShowS

Generic SolNode

Associated Types

type Rep SolNode :: * -> *

Methods

from :: SolNode -> Rep SolNode x

to :: Rep SolNode x -> SolNode

ToJSON SolNode

Methods

toJSON :: SolNode -> Value

toEncoding :: SolNode -> Encoding

toJSONList :: [SolNode] -> Value

toEncodingList :: [SolNode] -> Encoding

FromJSON SolNode

Methods

parseJSON :: Value -> Parser SolNode

parseJSONList :: Value -> Parser [SolNode]

Pretty SolNode

Methods

pretty :: SolNode -> Doc

prettyList :: [SolNode] -> Doc

ShowText SolNode

Methods

showText :: SolNode -> Text

type Rep SolNode

type Rep SolNode = D1 * (MetaData "SolNode" "Ethereum.Analyzer.Solidity.AstJson" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" False) (C1 * (MetaCons "SolNode" PrefixI True) ((:*:) * ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) (S1 * (MetaSel (Just Symbol "_id") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Int)))) ((:*:) * (S1 * (MetaSel (Just Symbol "_type") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "_AST") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe SolNode))) (S1 * (MetaSel (Just Symbol "attributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe SolNode)))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "constant") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Bool))) ((:*:) * (S1 * (MetaSel (Just Symbol "components") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [Maybe SolNode]))) (S1 * (MetaSel (Just Symbol "fullyImplemented") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Bool))))) ((:*:) * (S1 * (MetaSel (Just Symbol "hexvalue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "isLibrary") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Bool))) (S1 * (MetaSel (Just Symbol "linearizedBaseContracts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [Int]))))))) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "literals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [Text]))) ((:*:) * (S1 * (MetaSel (Just Symbol "member_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) (S1 * (MetaSel (Just Symbol "operator") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))))) ((:*:) * (S1 * (MetaSel (Just Symbol "payable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Bool))) ((:*:) * (S1 * (MetaSel (Just Symbol "src") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) (S1 * (MetaSel (Just Symbol "storageLocation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text)))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "subdenomination") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "token") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) (S1 * (MetaSel (Just Symbol "type_conversion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Bool))))) ((:*:) * (S1 * (MetaSel (Just Symbol "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) ((:*:) * (S1 * (MetaSel (Just Symbol "visibility") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) (S1 * (MetaSel (Just Symbol "children") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [SolNode])))))))))

decodeSoleNodes :: LByteString -> Either Text [SolNode]

defSolNode :: SolNode

findingsFor :: Contract -> [Text]

statementsOf :: Contract -> [Statement]

expressionsOf :: Contract -> [Expression]

hoopleOf :: UniqueMonad m => Contract -> m HContract

data HContract

Constructors

HContract

Fields

• hcName :: Text
• hcStateVars :: [VarDecl]
• hcFunctions :: [HFunDefinition]

data HFunDefinition

Constructors

HFunDefinition

Fields

• hfName :: Idfr
• hfParams :: [VarDecl]
• hfReturns :: [VarDecl]
• hfCFG :: CFG

data Contract

Constructors

Contract

Fields

• cName :: Text
• cStateVars :: [VarDecl]
• cFunctions :: [FunDefinition]

Instances

Eq Contract

Methods

(==) :: Contract -> Contract -> Bool

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

Show Contract

Methods

showsPrec :: Int -> Contract -> ShowS

show :: Contract -> String

showList :: [Contract] -> ShowS

Generic Contract

Associated Types

type Rep Contract :: * -> *

Methods

from :: Contract -> Rep Contract x

to :: Rep Contract x -> Contract

Pretty Contract

Methods

pretty :: Contract -> Doc

prettyList :: [Contract] -> Doc

type Rep Contract

type Rep Contract = D1 * (MetaData "Contract" "Ethereum.Analyzer.Solidity.Simple" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" False) (C1 * (MetaCons "Contract" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "cName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) ((:*:) * (S1 * (MetaSel (Just Symbol "cStateVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [VarDecl])) (S1 * (MetaSel (Just Symbol "cFunctions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [FunDefinition])))))

data VarDecl

Constructors

VarDecl

Fields

• vName :: Idfr
• vType :: VarType

Instances

Eq VarDecl

Methods

(==) :: VarDecl -> VarDecl -> Bool

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

Show VarDecl

Methods

showsPrec :: Int -> VarDecl -> ShowS

show :: VarDecl -> String

showList :: [VarDecl] -> ShowS

Generic VarDecl

Associated Types

type Rep VarDecl :: * -> *

Methods

from :: VarDecl -> Rep VarDecl x

to :: Rep VarDecl x -> VarDecl

Pretty VarDecl

Methods

pretty :: VarDecl -> Doc

prettyList :: [VarDecl] -> Doc

type Rep VarDecl

type Rep VarDecl = D1 * (MetaData "VarDecl" "Ethereum.Analyzer.Solidity.Simple" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" False) (C1 * (MetaCons "VarDecl" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "vName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Idfr)) (S1 * (MetaSel (Just Symbol "vType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * VarType))))

newtype Idfr

Constructors

Idfr

Fields

• unIdfr :: Text

Instances

Eq Idfr

Methods

(==) :: Idfr -> Idfr -> Bool

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

Show Idfr

Methods

showsPrec :: Int -> Idfr -> ShowS

show :: Idfr -> String

showList :: [Idfr] -> ShowS

Generic Idfr

Associated Types

type Rep Idfr :: * -> *

Methods

from :: Idfr -> Rep Idfr x

to :: Rep Idfr x -> Idfr

Pretty Idfr

Methods

pretty :: Idfr -> Doc

prettyList :: [Idfr] -> Doc

type Rep Idfr

type Rep Idfr = D1 * (MetaData "Idfr" "Ethereum.Analyzer.Solidity.Simple" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" True) (C1 * (MetaCons "Idfr" PrefixI True) (S1 * (MetaSel (Just Symbol "unIdfr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

data LValue

Constructors

JustId Idfr

Index

Fields

• iArray :: LValue
• iIndex :: LValue

Member

Fields

• mObj :: LValue
• mField :: Idfr

Tuple [LValue]

Instances

Eq LValue

Methods

(==) :: LValue -> LValue -> Bool

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

Show LValue

Methods

showsPrec :: Int -> LValue -> ShowS

show :: LValue -> String

showList :: [LValue] -> ShowS

Generic LValue

Associated Types

type Rep LValue :: * -> *

Methods

from :: LValue -> Rep LValue x

to :: Rep LValue x -> LValue

Pretty LValue

Methods

pretty :: LValue -> Doc

prettyList :: [LValue] -> Doc

ShowText LValue

Methods

showText :: LValue -> Text

type Rep LValue

type Rep LValue = D1 * (MetaData "LValue" "Ethereum.Analyzer.Solidity.Simple" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" False) ((:+:) * ((:+:) * (C1 * (MetaCons "JustId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Idfr))) (C1 * (MetaCons "Index" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "iArray") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue)) (S1 * (MetaSel (Just Symbol "iIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue))))) ((:+:) * (C1 * (MetaCons "Member" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "mObj") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue)) (S1 * (MetaSel (Just Symbol "mField") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Idfr)))) (C1 * (MetaCons "Tuple" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LValue])))))

data VarType

Constructors

Int256

Uint256

Bool

Address

Mapping VarType VarType

Unknown Text

Instances

Eq VarType

Methods

(==) :: VarType -> VarType -> Bool

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

Show VarType

Methods

showsPrec :: Int -> VarType -> ShowS

show :: VarType -> String

showList :: [VarType] -> ShowS

Generic VarType

Associated Types

type Rep VarType :: * -> *

Methods

from :: VarType -> Rep VarType x

to :: Rep VarType x -> VarType

Pretty VarType

Methods

pretty :: VarType -> Doc

prettyList :: [VarType] -> Doc

type Rep VarType

type Rep VarType = D1 * (MetaData "VarType" "Ethereum.Analyzer.Solidity.Simple" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" False) ((:+:) * ((:+:) * (C1 * (MetaCons "Int256" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Uint256" PrefixI False) (U1 *)) (C1 * (MetaCons "Bool" PrefixI False) (U1 *)))) ((:+:) * (C1 * (MetaCons "Address" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Mapping" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * VarType)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * VarType)))) (C1 * (MetaCons "Unknown" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))))

data FunDefinition

Constructors

FunDefinition

Fields

• fName :: Idfr
• fParams :: [VarDecl]
• fReturns :: [VarDecl]
• fBody :: [Statement]

Instances

Eq FunDefinition

Methods

(==) :: FunDefinition -> FunDefinition -> Bool

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

Show FunDefinition

Methods

showsPrec :: Int -> FunDefinition -> ShowS

show :: FunDefinition -> String

showList :: [FunDefinition] -> ShowS

Generic FunDefinition

Associated Types

type Rep FunDefinition :: * -> *

Methods

from :: FunDefinition -> Rep FunDefinition x

to :: Rep FunDefinition x -> FunDefinition

Pretty FunDefinition

Methods

pretty :: FunDefinition -> Doc

prettyList :: [FunDefinition] -> Doc

type Rep FunDefinition

type Rep FunDefinition = D1 * (MetaData "FunDefinition" "Ethereum.Analyzer.Solidity.Simple" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" False) (C1 * (MetaCons "FunDefinition" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "fName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Idfr)) (S1 * (MetaSel (Just Symbol "fParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [VarDecl]))) ((:*:) * (S1 * (MetaSel (Just Symbol "fReturns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [VarDecl])) (S1 * (MetaSel (Just Symbol "fBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Statement])))))

data Statement

Constructors

StLocalVarDecl VarDecl

StAssign LValue Expression

StIf LValue [Statement] [Statement]

StLoop [Statement]

StBreak

StContinue

StReturn [LValue]

StDelete LValue

StTodo Text

StThrow

Instances

Eq Statement

Methods

(==) :: Statement -> Statement -> Bool

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

Show Statement

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

Generic Statement

Associated Types

type Rep Statement :: * -> *

Methods

from :: Statement -> Rep Statement x

to :: Rep Statement x -> Statement

Pretty Statement

Methods

pretty :: Statement -> Doc

prettyList :: [Statement] -> Doc

type Rep Statement

type Rep Statement = D1 * (MetaData "Statement" "Ethereum.Analyzer.Solidity.Simple" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "StLocalVarDecl" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * VarDecl))) (C1 * (MetaCons "StAssign" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Expression))))) ((:+:) * (C1 * (MetaCons "StIf" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Statement])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Statement]))))) ((:+:) * (C1 * (MetaCons "StLoop" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Statement]))) (C1 * (MetaCons "StBreak" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "StContinue" PrefixI False) (U1 *)) (C1 * (MetaCons "StReturn" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LValue])))) ((:+:) * (C1 * (MetaCons "StDelete" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue))) ((:+:) * (C1 * (MetaCons "StTodo" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) (C1 * (MetaCons "StThrow" PrefixI False) (U1 *))))))

data Expression

Constructors

ExpUnary Text LValue

ExpBin Text LValue LValue

ExpLiteral Text

ExpLval LValue

ExpCall LValue [LValue]

Instances

Eq Expression

Methods

(==) :: Expression -> Expression -> Bool

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

Show Expression

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

Generic Expression

Associated Types

type Rep Expression :: * -> *

Methods

from :: Expression -> Rep Expression x

to :: Rep Expression x -> Expression

Pretty Expression

Methods

pretty :: Expression -> Doc

prettyList :: [Expression] -> Doc

type Rep Expression

type Rep Expression = D1 * (MetaData "Expression" "Ethereum.Analyzer.Solidity.Simple" "ethereum-analyzer-3.3.4-FBXiJQqE2cw3DePdSMkoPJ" False) ((:+:) * ((:+:) * (C1 * (MetaCons "ExpUnary" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue)))) (C1 * (MetaCons "ExpBin" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue)))))) ((:+:) * (C1 * (MetaCons "ExpLiteral" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) ((:+:) * (C1 * (MetaCons "ExpLval" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue))) (C1 * (MetaCons "ExpCall" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * LValue)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LValue])))))))

s2sContracts :: UniqueMonad m => SolNode -> m [Contract]

decodeContracts :: Text -> Either Text [Contract]