flowistry::mir

Module aliases

Source
Expand description

Alias analysis to determine the points-to set of a reference.

Structsยง

  • Aliases
    Data structure for computing and storing aliases.