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
)