CodeQL library for C#
codeql/csharp-all 0.10.1 (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()