Module CppDataFlow
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplSpecific
Predicates
defaultFieldFlowBranchLimit | Gets the default value for the |
exprNode | Gets the node corresponding to |
Aliases
getAdditionalFlowIntoCallNodeTerm | Gets an additional term that is added to the |
getSecondLevelScope | Gets the second-level scope containing the node |
mayBenefitFromCallContext | Holds if the set of viable implementations that can be called by |
neverSkipInPathGraph | |
validParameterAliasStep | Holds if the data-flow step from |
viableImplInCallContext | Gets a viable dispatch target of |