CodeQL library for Java
codeql/java-all 0.6.1 ( 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 )