Ethereum.Analyzer.Solidity
data SolNode
decodeSoleNodes
defSolNode
findingsFor
statementsOf
expressionsOf
data Contract
data VarDecl
data Idfr
data LValue
data VarType
data FunDefinition
data Statement
data Expression
s2sContracts
decodeContracts