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