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

Predicate Cached::adjacentReadPairSameVar

Holds if the read at cfn2 is a read of the same SSA definition def as the read at cfn1, and cfn2 can be reached from cfn1 without passing through another read.

Import path

import semmle.code.csharp.dataflow.internal.SsaImpl
predicate adjacentReadPairSameVar(Definition def, Node cfn1, Node cfn2)