Module Cached

Import path

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

Predicates

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.

Modules

Nodes0