Module miri::borrow_tracker

source ·

Modules

Structs

  • Tracking pointer provenance
  • Per-call-stack-frame data for borrow tracking
  • Extra global state, available to the memory access hooks.

Enums

Traits

Type Aliases