Ethereum.Analyzer.Solidity

data SolNode

decodeSoleNodes

defSolNode

findingsFor

statementsOf

expressionsOf

hoopleOf

data HContract

data HFunDefinition

data Contract

data VarDecl

data Idfr

data LValue

data VarType

data FunDefinition

data Statement

data Expression

s2sContracts

decodeContracts