Module ebpf::verifier

source ·

Structs§

  • A mapping for a field in a struct where the original ebpf program knows a different offset and data size than the one it receives from the kernel.
  • The target type of a pointer type in a struct.
  • 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.
  • A VerifierLogger that drops all its content.
  • An offset inside the stack. The offset is from the end of the stack. downward.

Enums§

Traits§

Functions§

  • Verify the given code depending on the type of the parameters and the registered external functions. This method will rewrite the code to ensure mapped fields are correctly handled. Returns the actual code to run.