Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
Imports
External | Provides a means of translating externally (e.g., MaD) defined flow summaries into a |
SourceSinkInterpretation<FlowSummaryImpl::SourceSinkInterpretationInput> | Legacy interface for interpreting source/sink specifications in static languages. |
Predicates
neutralElement | Holds if a neutral model exists for |
summaryElement | Holds if an external flow summary exists for |