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
import semmle.code.java.dataflow.SSApredicate updatesNamedField(Call call, TrackedField f, Callable setter)