ComesFrom
|
XCSG:Variable +
, XCSG:Assignment +
, XCSG:ParameterPass +
, XCSG:ReturnValue +
|
Extends
|
XCSG:DataFlow (Edge) +
|
GoesTo
|
XCSG:Variable +
, XCSG:Assignment +
, XCSG:ParameterPass +
, XCSG:ReturnValue +
|
Permitted edge from Assignment
|
Variable$SEP$0..1$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Permitted edge from Variable
|
DataFlow (Node)$SEP$✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Permitted edge to DataFlow (Node)
|
Variable$SEP$✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Permitted edge to Variable
|
Assignment$SEP$✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Specified edge from Assignment
|
ProgramVariable$SEP$0..1$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Specified edge from ParameterPass
|
Parameter$SEP$1$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Specified edge from ReturnValue
|
FunctionPointerCallSite$SEP$✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
, StaticDispatchCallSite$SEP$✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
, DynamicDispatchCallSite$SEP$✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Specified edge to DynamicDispatchCallSite
|
ReturnValue$SEP$1..✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Specified edge to FunctionPointerCallSite
|
ReturnValue$SEP$1..✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Specified edge to Parameter
|
ParameterPass$SEP$✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Specified edge to ProgramVariable
|
Assignment$SEP$✱$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Specified edge to StaticDispatchCallSite
|
ReturnValue$SEP$1$SEP$Represents [[DataFlow (Edge)|data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. +
|
Has query This property is a special property in this wiki.
|
XCSG:InterproceduralDataFlow +
|
Categories |
XCSG Edge Kinds
, XCSG Tags
|
Modification date This property is a special property in this wiki.
|
27 October 2015 20:21:17 +
|