CodeQL library for Java/Kotlin
codeql/java-all 1.1.2-dev (changelog, source)

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)