mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
17 lines
723 B
Plaintext
17 lines
723 B
Plaintext
private import semmle.code.csharp.dataflow.internal.DataFlowPrivate
|
|
private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
|
|
import shared.FlowSummaries
|
|
|
|
private class IncludeAllSummarizedCallable extends IncludeSummarizedCallable {
|
|
IncludeAllSummarizedCallable() { exists(this) }
|
|
}
|
|
|
|
private class IncludeNegativeSummarizedCallable extends RelevantNegativeSummarizedCallable {
|
|
IncludeNegativeSummarizedCallable() {
|
|
this instanceof FlowSummaryImpl::Public::NegativeSummarizedCallable
|
|
}
|
|
|
|
/** Gets a string representing the callable in semi-colon separated format for use in flow summaries. */
|
|
final override string getCallableCsv() { result = Csv::asPartialNegativeModel(this) }
|
|
}
|