Module flowistry_pdg::pdg

The representation of the PDG.

Structs

• CallString
  A location within the global call-graph.
• GlobalLocation
  A RichLocation within a specific point in a codebase.

Enums

• RichLocation
  Extends a MIR body’s Location with Start (before the first instruction) and End (after all returns).
• SourceUse
  Additional information about the source of data.
• TargetUse
  Additional information about this mutation.

Type Aliases

• CallStringInner 🔒