Confusion on RECEIVER Edge #120

popthink · 2021-03-18T13:56:39Z

popthink
Mar 18, 2021

In the schema, RECEIVER can point to nodes as following. It seems like linking call node and another ast nodes as its return.

          {"edgeName": "RECEIVER", "inNodes": [
             {"name": "CALL", "cardinality": "0-1:0-1"},
             {"name": "IDENTIFIER", "cardinality": "0-1:0-1"},
             {"name": "LITERAL", "cardinality": "0-1:0-1"},
             {"name": "METHOD_REF", "cardinality": "0-1:0-1"},
             {"name": "TYPE_REF"},
             {"name": "BLOCK", "cardinality": "0-1:0-1"},
	     {"name": "CONTROL_STRUCTURE"},
	     {"name": "UNKNOWN"}
           ]},

Edge Description

        {"id" : 55, "name": "RECEIVER", "comment" : "The receiver of a method call which is either an object or a pointer", "keys": []},

But, CpgValidator only check count of RECEIVER edge dependent on DispatchType.
According to the validator, call node of STATIC_DISPATCH should not have any out-edge of receiver.
and DYNAMIC_DISPATCH should have only one out-edge of receiver which points to instance(Identifier).

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Confusion on RECEIVER Edge #120

{{title}}

Replies: 0 comments

Select a reply

Confusion on RECEIVER Edge #120

popthink Mar 18, 2021

Replies: 0 comments

popthink
Mar 18, 2021