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

Predicate conversionFlow

Holds if opFrom is an operand whose value flows to the result of instrTo.

isPointerArith is true if instrTo is a PointerArithmeticInstruction and opFrom is the left operand.

additional is true if the conversion is supplied by an implementation of the Indirection class. It is sometimes useful to exclude such conversions.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
predicate conversionFlow(Operand opFrom, Instruction instrTo, boolean isPointerArith, boolean additional)