Predicate interpretElement
Gets the source/sink/summary/neutral element corresponding to the supplied parameters.
Import path
import semmle.code.java.dataflow.ExternalFlow
Gets the source/sink/summary/neutral element corresponding to the supplied parameters.
import semmle.code.java.dataflow.ExternalFlow