Module heap_item

Modules

ownership

type_visitor

Structs

DefaultOwnership

Encoder

FindPtr

HeapItem

We encapsulate the interface for identifying heap items in a struct named HeapItem. This struct is a zero-sized type (ZST), so creating and using it does not incur any overhead. These interfaces typically take at least two fixed inputs. One is the context metadata of rCanary, which stores the cache for ADT analysis (of course, users do not need to know the specific information stored). The second input is the type that the user needs to process, along with other parameters.

IndexedTy

IsolatedParam 🔒

IsolatedParamFieldSubst 🔒

IsolatedParamPropagation 🔒

IsolatedParameter

We encapsulate the interface for identifying isolated parameters in a struct named IsolatedParameter. This struct is a zero-sized type (ZST), so creating and using it does not incur any overhead. These interfaces typically take at least two fixed inputs. One is the context metadata of rCanary, which stores the cache for ADT analysis (of course, users do not need to know the specific information stored). The second input is the type that the user needs to process, along with other parameters.

OwnerPropagation 🔒

TypeAnalysis

Functions

is_display_verbose

mir_body

Type Aliases

AdtOwner

OwnerUnit

OwnershipLayout

Parameters 🔒

RustBV

TyMap 🔒

Unique