Predicate SsaImpl :: relevantFieldUpdate
Holds if fw
is an update of f
in c
that is relevant for SSA construction.
Import path
import semmle.code.java.dataflow.SSA
predicate
relevantFieldUpdate
(
Callable
c
,
Field
f
,
FieldWrite
fw
)