flowistry_pdg_construction

Module calling_convention

Source

Structs§

  • The result of calculating a translation from a child place (in a called function) to a parent place (in the caller).
  • This struct represents all the information necessary to translate places from a child (the callee) to its parent (caller) at the boundary of a particular function call.

Enums§

  • Describes how the formal parameters of a given function call relate to the actual parameters.