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

Member predicate SsaHelper :: ssa_defn

Holds if v is defined, for the purpose of SSA, at node, which is at position index in block b. This includes definitions from phi nodes.

predicate ssa_defn ( StackVariable v , ControlFlowNode node , BasicBlock b , int index )