Module CppDataFlow

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowImplSpecific

Imports

Private
Public

Predicates

exprNode

Gets the node corresponding to e.

Aliases

getAdditionalFlowIntoCallNodeTerm

Gets an additional term that is added to the join and branch computations to reflect an additional forward or backwards branching factor that is not taken into account when calculating the (virtual) dispatch cost.