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