Module rupta::mir::path

Structs

• CSPath
  A path augmented with a context.
• Path
  The customized representation for a local variable, heap objects, …

Enums

• PathEnum
  Different kinds of Path used in our analysis.
• PathSelector
  The PathSelector denotes a de-referenced item, field, or element, or slice.

Traits

• PathSupport

Type Aliases

• ProjectionElems
  A non-empty list of projections