Merge pull request #247 from microsoft/add-get-callee-on-call-nodes

MathiasVP · web-flow · commit 56977c76f859 · 2025-06-16T15:48:41.000+01:00
PS: Add `Node.getCallee` predicate on `DataFlow::CallNode`
diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/internal/DataFlowPublic.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/DataFlowPublic.qll
@@ -536,6 +536,8 @@ class CallNode extends ExprNode {
    * Note that this predicate doesn't get the pipeline argument, if any.
    */
   Node getAnArgument() { result.asExpr() = call.getAnArgument() }
+
+  Node getCallee() { result.asExpr() = call.getCallee() }
 }
 
 /** A call to operator `&`, viwed as a node in a data flow graph. */

Original file line number	Diff line number	Diff line change
`@@ -536,6 +536,8 @@ class CallNode extends ExprNode {`
`536`	`536`	`* Note that this predicate doesn't get the pipeline argument, if any.`
`537`	`537`	`*/`
`538`	`538`	`Node getAnArgument() { result.asExpr() = call.getAnArgument() }`
	`539`	`+`
	`540`	`+ Node getCallee() { result.asExpr() = call.getCallee() }`
`539`	`541`	`}`
`540`	`542`
`541`	`543`	/** A call to operator `&`, viwed as a node in a data flow graph. */