Module verifier 

Structs

CallingContext

FieldDescriptor

Definition of a field in a Type::PtrToStruct.

FunctionSignature

MemoryId

An identifier for a memory buffer accessible by an ebpf program. The identifiers are built as a chain of unique identifier so that a buffer can contain multiple pointers to the same type and the verifier can distinguish between the different instances.

NullVerifierLogger

A VerifierLogger that drops all its content.

StackOffset

An offset inside the stack. The offset is from the end of the stack. downward.

StructAccess

StructDescriptor

Defines field layout in a struct pointed by Type::PtrToStruct.

VerifiedEbpfProgram

Enums

FieldType

The type of a filed in a strcut pointed by Type::PtrToStruct.

MemoryParameterSize

Type

Traits

VerifierLogger

A trait to receive the log from the verifier.

Functions

verify_program

Verify the given code depending on the type of the parameters and the registered external functions. Returned VerifiedEbpfProgram should be linked in order to execute it.