[][src]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.