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

Predicate signature InputSig::forceHighPrecision

Holds if access paths with c at their head always should be tracked at high precision. This disables adaptive access path precision for such access paths. This may be beneficial for content that indicates an element of an array or container.

signature predicate forceHighPrecision(Content c)