Predicate SsaImpl :: certainVariableUpdate
Holds if n must update the locally tracked variable v.
Import path
import semmle.code.java.dataflow.SSA
predicate
certainVariableUpdate
(
TrackedVar
v
,
ControlFlowNode
n
,
BasicBlock
b
,
int
i
)