Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
Predicates
interpretInput | Provides additional source specification logic required for annotations. |
interpretOutput | Provides additional sink specification logic required for annotations. |
sinkElement | Holds if an external sink specification exists for |
sourceElement | Holds if an external source specification exists for |
Classes
InterpretNode | An entity used to interpret a source/sink specification. |
Aliases
Element | A program element that has a name. |
SourceOrSinkElement | A program element that has a name. |