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

Predicate SsaImpl::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.

Import path

predicate updatesNamedField(Call call, TrackedField f, Callable setter)