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

Module Cached::Internal

Provides internal implementation predicates that are not cached and should not be used outside of this file.

Import path

import semmle.code.java.dataflow.internal.SsaImpl

Aliases

updatesNamedField

Holds if there exists a call-chain originating in call that can update f on some instance where f and call share the same enclosing callable in which a FieldRead of f is reachable from call.