From 3c18124faf91a50f91db4e910f37b61bb2a82b82 Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mapeder@microsoft.com>
Date: Wed, 16 Oct 2024 18:16:50 +0100
Subject: [PATCH] PS: Add taint-tracking files.

---
 .../code/powershell/dataflow/TaintTracking.qll       | 12 ++++++++++++
 .../dataflow/internal/TaintTrackingImpl.qll          |  7 +++++++
 2 files changed, 19 insertions(+)
 create mode 100644 powershell/ql/lib/semmle/code/powershell/dataflow/TaintTracking.qll
 create mode 100644 powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingImpl.qll

diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/TaintTracking.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/TaintTracking.qll
new file mode 100644
index 00000000000..af2fc727f74
--- /dev/null
+++ b/powershell/ql/lib/semmle/code/powershell/dataflow/TaintTracking.qll
@@ -0,0 +1,12 @@
+/**
+ * Provides classes for performing local (intra-procedural) and
+ * global (inter-procedural) taint-tracking analyses.
+ */
+module TaintTracking {
+  import semmle.code.powershell.dataflow.internal.TaintTrackingImpl::Public
+  private import semmle.code.powershell.dataflow.internal.DataFlowImplSpecific
+  private import semmle.code.powershell.dataflow.internal.TaintTrackingImplSpecific
+  private import codeql.dataflow.TaintTracking
+  private import powershell
+  import TaintFlowMake<Location, PowershellDataFlow, PowershellTaintTracking>
+}
diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingImpl.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingImpl.qll
new file mode 100644
index 00000000000..e9b742f420b
--- /dev/null
+++ b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingImpl.qll
@@ -0,0 +1,7 @@
+import semmle.code.powershell.dataflow.internal.TaintTrackingPublic as Public
+
+module Private {
+  import semmle.code.powershell.dataflow.DataFlow::DataFlow as DataFlow
+  import semmle.code.powershell.dataflow.internal.DataFlowImpl as DataFlowInternal
+  import semmle.code.powershell.dataflow.internal.TaintTrackingPrivate
+}