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

Member predicate Ssa::Definition::getAReadAtNode

Gets a read of the source variable underlying this SSA definition at control flow node cfn that can be reached from this SSA definition without passing through any other SSA definitions. Example:

int Field;

void SetField(int i) {
  this.Field = i;
  if (i > 0)
    this.Field = i - 1;
  else if (i < 0)
  • The reads of i on lines 4, 6, 7, and 8 can be reached from the implicit entry definition on line 3.
  • The read of this.Field on line 5 can be reached from the explicit SSA definition on line 4.
  • The reads of this.Field on lines 10 and 11 can be reached from the phi node between lines 9 and 10.
AssignableRead getAReadAtNode(Node cfn)