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

Module Private::TestOutput

Provides a query predicate for outputting a set of relevant flow summaries.

Import path

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

Predicates

negativeSummary

Holds if a negative flow summary csv exists (semi-colon separated format). Used for testing purposes. The syntax is: “namespace;type;name;signature;provenance”",

summary

A query predicate for outputting flow summaries in semi-colon separated format in QL tests. The syntax is: “namespace;type;overrides;name;signature;ext;inputspec;outputspec;kind;provenance”", ext is hardcoded to empty.

Classes

RelevantNegativeSummarizedCallable

A flow summary to include in the negativeSummary/1 query predicate.

RelevantSummarizedCallable

A flow summary to include in the summary/1 query predicate.