From 238c578f5a392b02c2a0590deca7526fb11486fc Mon Sep 17 00:00:00 2001
From: yoff <lerchedahl@gmail.com>
Date: Mon, 2 May 2022 20:39:53 +0000
Subject: [PATCH] python: Add `LocalSourceParameterNode` This can be used when
 one wants to consider a (source) parameter node as a local source.

---
 .../lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll  | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
index d416b6cacc3..3325ca5f3cb 100644
--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -313,6 +313,8 @@ class SourceParameterNode extends ParameterNode, CfgNode {
   Parameter getParameter() { result = def.getParameter() }
 }
 
+class LocalSourceParameterNode extends SourceParameterNode, LocalSourceNode { }
+
 /** Gets a node corresponding to parameter `p`. */
 SourceParameterNode parameterNode(Parameter p) { result.getParameter() = p }