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

Predicate Cached::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.

Argument arg is part of a path from a source to a sink, and p is the target parameter.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
int getAdditionalFlowIntoCallNodeTerm(ArgumentNode arg, ParameterNode p)