Predicate DataFlow::hasNonlocalValue
Holds if the FieldRead is not completely determined by explicit SSA
updates.
Import path
import semmle.code.java.dataflow.DataFlowpredicate hasNonlocalValue(FieldRead fr)Holds if the FieldRead is not completely determined by explicit SSA
updates.
import semmle.code.java.dataflow.DataFlowpredicate hasNonlocalValue(FieldRead fr)