Predicate MakeImplCommon::accessPathApproxCostLimits
The cost limits for the AccessPathFront
to AccessPathApprox
expansion.
apLimit
bounds the acceptable fan-out, and tupleLimit
bounds the
estimated per-AccessPathFront
tuple cost. Access paths exceeding both of
these limits are represented with lower precision during pruning.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate accessPathApproxCostLimits(int apLimit, int tupleLimit)