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