Holds if the i
th node of bb
reads v
.
Import path
import semmle.go.dataflow.SsaImpl
predicate useAt(ReachableBasicBlock bb, int i, SsaSourceVariable v)
Holds if the i
th node of bb
reads v
.
import semmle.go.dataflow.SsaImpl
predicate useAt(ReachableBasicBlock bb, int i, SsaSourceVariable v)