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
)