Module alias_analysis 

Modules

default

Structs

AliasPair

AliasPair is used to store the alias relationships between two places. The result is field-sensitive.

FnAliasMapWrapper

This is a wrapper struct for displaying FnAliasMap.

FnAliasPairs

To store the alias relationships among arguments and return values. Each function may have multiple return instructions, leading to different RetAlias.

Traits

AliasAnalysis

This trait provides features related to alias analysis.

Functions

aa_place_desc_str 🔒

Type Aliases

FnAliasMap

The data structure to store aliases for a set of functions.