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

Member predicate AssignableDefinition :: getAReachableRead

Gets a reachable read of the same underlying assignable. That is, a read that can be reached from this definition, and which is guaranteed to read the value assigned in this definition.

This is the equivalent with getAFirstRead().getANextRead*().

AssignableRead getAReachableRead ( )