Provides internal implementation predicates that are not cached and should not be used outside of this file.
Import path
import semmle.code.java.dataflow.internal.SsaImpl
Aliases
updatesNamedField | Holds if there exists a call-chain originating in |
Provides internal implementation predicates that are not cached and should not be used outside of this file.
import semmle.code.java.dataflow.internal.SsaImpl
updatesNamedField | Holds if there exists a call-chain originating in |