Browse wiki
XCSG:InterproceduralDataFlow |
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 + |
show properties that link here |