CodeQL library for Java
Search

Member predicate Callable::writes

Holds if field f may be assigned a value within the body of this callable.

predicate writes(Field f)