CodeQL library for C#
codeql/csharp-all 0.6.2 ( changelog , source )

Member predicate AssignableDefinition :: getAControlFlowNode

Gets a control flow node that updates the targeted assignable when reached.

Multiple definitions may relate to the same control flow node. For example, the definitions of x and y in M(out x, out y) and (x, y) = (0, 1) relate to the same call to M and assignment node, respectively.

Node getAControlFlowNode ( )