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

Predicate accessPathCostLimits

The cost limits for the AccessPathApprox to AccessPath expansion.

apLimit bounds the acceptable fan-out, and tupleLimit bounds the estimated per-AccessPathApprox tuple cost. Access paths exceeding both of these limits are represented with lower precision.

Import path

predicate accessPathCostLimits ( int apLimit , int tupleLimit )