Module bytecode::borrow_analysis

Data flow analysis computing borrow information for preparation of memory_instrumentation.

Structs

• BorrowAnalysisProcessor
  Borrow analysis processor.
• BorrowAnnotation
  Borrow annotation computed by the borrow analysis processor.
• BorrowInfo
• BorrowInfoAtCodeOffset

Functions

• format_borrow_annotation
  Format a borrow annotation.