CodeQL library for C/C++
codeql/cpp-all 0.7.2 ( 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 )