codeql/cpp-all
4.0.2
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import semmle.code.cpp.ir.dataflow.internal.SsaInternals
predicate useToNode(IRBlock bb, int i, SourceVariable sv, Node nodeTo)