CodeQL library for Java
codeql/java-all 0.4.4 (changelog, source)
Search

Module Private::External

Provides a means of translating externally (e.g., MaD) defined flow summaries into a SummarizedCallables.

Import path

import semmle.code.java.dataflow.internal.FlowSummaryImpl

Predicates

interpretSpec

Holds if spec specifies summary component stack stack.

invalidSpecComponent

Holds if component c of specification spec cannot be parsed.

isSinkNode

Holds if node is specified as a sink with the given kind in a MaD flow model.

isSourceNode

Holds if node is specified as a source with the given kind in a MaD flow model.

parseArg

Holds if specification component token parses as argument pos.

parseParam

Holds if specification component token parses as parameter pos.

parseSynthGlobal

Holds if specification component token parses as synthetic global sg.