Module signature LangSig
Import path
import codeql.rangeanalysis.RangeAnalysis
Predicates
additionalBoundFlowStep | Holds if |
hasConstantBound | Holds if |
ignoreExprBound | Ignore the bound on this expression. |
includeConstantBounds | |
includeRelativeBounds | |
javaCompatibility |
Parameters
Location | LocationSig | |
Sem | Semantic<LangSig::Location> | |
D | DeltaSig |