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

Member predicate SsaImplicitUpdate::assignsUnknownValue

Holds if this ssa variable might change the value to something unknown.

Examples include updates that might change the value of the qualifier, or reads from untracked variables, for example those where the field or one of its qualifiers is volatile.

predicate assignsUnknownValue()