PS: Add missing dataflow predicates related to models.

MathiasVP · MathiasVP · commit 1bd93b984981 · 2025-08-08T17:08:15.000+01:00
diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/internal/DataFlowPrivate.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/DataFlowPrivate.qll
@@ -280,6 +280,8 @@ private module Cached {
       )
     ) and
     model = ""
+    or
+    LocalFlow::flowSummaryLocalStep(nodeFrom, nodeTo, _, model)
   }
 
   /** This is the local flow predicate that is exposed. */
@@ -302,6 +304,9 @@ private module Cached {
     LocalFlow::localFlowStepCommon(nodeFrom, nodeTo)
     or
     SsaFlow::localFlowStep(_, nodeFrom, nodeTo, _)
+    or
+    LocalFlow::flowSummaryLocalStep(nodeFrom, nodeTo, any(LibraryCallableToIncludeInTypeTracking c),
+      _)
   }
 
   /** Holds if `n` wraps an SSA definition without ingoing flow. */

Original file line number	Diff line number	Diff line change
`@@ -280,6 +280,8 @@ private module Cached {`
`280`	`280`	`)`
`281`	`281`	`) and`
`282`	`282`	`model = ""`
	`283`	`+ or`
	`284`	`+ LocalFlow::flowSummaryLocalStep(nodeFrom, nodeTo, _, model)`
`283`	`285`	`}`
`284`	`286`
`285`	`287`	`/** This is the local flow predicate that is exposed. */`
`@@ -302,6 +304,9 @@ private module Cached {`
`302`	`304`	`LocalFlow::localFlowStepCommon(nodeFrom, nodeTo)`
`303`	`305`	`or`
`304`	`306`	`SsaFlow::localFlowStep(_, nodeFrom, nodeTo, _)`
	`307`	`+ or`
	`308`	`+ LocalFlow::flowSummaryLocalStep(nodeFrom, nodeTo, any(LibraryCallableToIncludeInTypeTracking c),`
	`309`	`+ _)`
`305`	`310`	`}`
`306`	`311`
`307`	`312`	/** Holds if `n` wraps an SSA definition without ingoing flow. */