Module Cached

Import path

import semmle.code.java.dataflow.internal.SsaImpl

captures	Holds if `init` is a closure variable that captures the value of `capturedvar`.
defUpdatesNamedField
firstUse	Holds if the value defined at `def` can reach `use` without passing through any other uses, but possibly through phi nodes and uncertain implicit updates.
getDestVar	Gets the destination variable of an update of a tracked variable.
relevantFieldUpdate	Holds if `fw` is an update of `f` in `c` that is relevant for SSA construction.

DataFlowIntegration
Internal	Provides internal implementation predicates that are not cached and should not be used outside of this file.
SsaPublic