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

Member predicate Operand :: getDef

Gets the Instruction whose result is the value of the operand. Unlike getAnyDef, this also has no result when isDefinitionInexact holds, which means that the resulting instruction must always be exactly the be the value of this operand.

Instruction getDef ( )