C#: Prepare for .NET negative summaries and use in UnsupportedExternalAPIs query.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/NegativeSummary.qll

@@ -0,0 +1,9 @@
+/** Provides modules for importing negative summaries. */
+
+/**
+ * A module importing the frameworks that provide external flow data,
+ * ensuring that they are visible to the taint tracking / data flow library.
+ */
+private module Frameworks {
+  private import semmle.code.csharp.frameworks.GeneratedNegative
+}

csharp/ql/lib/semmle/code/csharp/frameworks/GeneratedNegative.qll

@@ -0,0 +1,9 @@
+/**
+ * A module importing all generated negative Models as Data models.
+ */
+
+import csharp
+
+private module GeneratedFrameworks {
+  private import generated.dotnet.NegativeRuntime
+}

csharp/ql/lib/semmle/code/csharp/frameworks/generated/dotnet/NegativeRuntime.qll

@@ -0,0 +1,7 @@
+/**
+ * THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
+ * Definitions of negative summaries in the Runtime framework.
+ */
+
+import csharp
+private import semmle.code.csharp.dataflow.ExternalFlow

csharp/ql/src/Telemetry/UnsupportedExternalAPIs.ql

@@ -9,6 +9,7 @@
 private import csharp
 private import semmle.code.csharp.dispatch.Dispatch
 private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
+private import semmle.code.csharp.dataflow.NegativeSummary
 private import ExternalApi
 
 private predicate getRelevantUsages(ExternalApi api, int usages) {

csharp/ql/test/shared/FlowSummaries.qll

@@ -1,5 +1,6 @@
 private import semmle.code.csharp.dataflow.internal.DataFlowPrivate
 import semmle.code.csharp.dataflow.FlowSummary
+import semmle.code.csharp.dataflow.NegativeSummary
 import semmle.code.csharp.dataflow.internal.FlowSummaryImpl::Private::TestOutput
 
 abstract class IncludeSummarizedCallable extends RelevantSummarizedCallable {