rapx::analysis::core

Module alias_analysis

Source

Modules§

default

Structs§

AAFact
AAFact is used to store the alias relationships between two places. The result is field-sensitive.
AAResult
To store the alias relationships among arguments and return values. Each function may have multiple return instructions, leading to different RetAlias.
AAResultMapWrapper
This is a wrapper struct for displaying AAResultMap.

Traits§

AliasAnalysis
This trait provides features related to alias analysis.

Functions§

aa_place_desc_str 🔒

Type Aliases§

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