Predicate Make::TestAdjacentRefs::adjacentRefRead
Holds if r2 is a certain read or uncertain write, and r1 is the
unique prior reference.
Import path
import codeql.ssa.Ssapredicate adjacentRefRead(Ref r1, Ref r2)Holds if r2 is a certain read or uncertain write, and r1 is the
unique prior reference.
import codeql.ssa.Ssapredicate adjacentRefRead(Ref r1, Ref r2)