From 3b62b45ea8c584f2e6bb18dd935b7bacf55a53d1 Mon Sep 17 00:00:00 2001
From: Michael Nebel <michaelnebel@github.com>
Date: Wed, 30 Mar 2022 10:43:04 +0200
Subject: [PATCH] C#: Add generated framework models to ExternalFlow.

---
 csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll | 1 +
 csharp/ql/lib/semmle/code/csharp/frameworks/Generated.qll  | 3 +++
 2 files changed, 4 insertions(+)
 create mode 100644 csharp/ql/lib/semmle/code/csharp/frameworks/Generated.qll

diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll
index b2390c7b14e..9e8baa291ca 100644
--- a/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll
@@ -86,6 +86,7 @@ private import internal.FlowSummaryImplSpecific
  */
 private module Frameworks {
   private import semmle.code.csharp.frameworks.EntityFramework
+  private import semmle.code.csharp.frameworks.Generated
   private import semmle.code.csharp.frameworks.JsonNET
   private import semmle.code.csharp.frameworks.microsoft.extensions.Primitives
   private import semmle.code.csharp.frameworks.microsoft.VisualBasic
diff --git a/csharp/ql/lib/semmle/code/csharp/frameworks/Generated.qll b/csharp/ql/lib/semmle/code/csharp/frameworks/Generated.qll
new file mode 100644
index 00000000000..fc513bee68b
--- /dev/null
+++ b/csharp/ql/lib/semmle/code/csharp/frameworks/Generated.qll
@@ -0,0 +1,3 @@
+private module GeneratedFrameworks {
+  private import generated.dotnet.Runtime
+}