Module analysis

Structs

AccessTracker

Enums

CodeType

Types of code sections. It is a error if container to contain both RETURNCONTRACT and either of RETURN or STOP.

EofError

EOF Error.

EofValidationError

Functions

to_analysed

Perform bytecode analysis.

validate_eof

Fully validates an Eof container.

validate_eof_code

Validates that:

validate_eof_codes

Validates an Eof structure, without recursing into containers.

validate_eof_inner

validate_raw_eof

Decodes raw into an Eof container and validates it.

validate_raw_eof_inner

Decodes raw into an Eof container and validates it.