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

Member predicate AccessOrCallExpr::getAnSsaQualifier

Gets a (non-trivial) SSA definition corresponding to the longest qualifier chain of this expression, if any.

This includes the case where this expression is itself an access to an SSA definition.

Examples:

x.Foo.Bar();   // SSA qualifier: SSA definition for `x.Foo`
x.Bar();       // SSA qualifier: SSA definition for `x`
x.Foo().Bar(); // SSA qualifier: SSA definition for `x`
x;             // SSA qualifier: SSA definition for `x`

An expression can have more than one SSA qualifier in the presence of control flow splitting.

Definition getAnSsaQualifier(Node cfn)