CodeQL library for C#
codeql/csharp-all 0.10.0 (changelog, source)
Search

Predicate MakeImplCommon::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

import codeql.dataflow.internal.DataFlowImplCommon
predicate accessPathCostLimits(int apLimit, int tupleLimit)