CodeQL library for C/C++
codeql/cpp-all 0.13.1 (changelog, source)
Search

Predicate edges

Holds if the output graph contains an edge from pred to succ, and that edge’s property key has the given value.

Import path

import semmle.code.cpp.ir.implementation.aliased_ssa.PrintIR
predicate edges(PrintableIRBlock pred, PrintableIRBlock succ, string key, string value)