From b2225bf9bc1641fdf5ec749cb66769ea53b6562b Mon Sep 17 00:00:00 2001 From: Asger Feldthaus Date: Thu, 12 Nov 2020 12:43:37 +0000 Subject: [PATCH] JS: Add getALocalUse --- javascript/ql/src/semmle/javascript/dataflow/Sources.qll | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/javascript/ql/src/semmle/javascript/dataflow/Sources.qll b/javascript/ql/src/semmle/javascript/dataflow/Sources.qll index 228810f6238..5bf4f3c6b52 100644 --- a/javascript/ql/src/semmle/javascript/dataflow/Sources.qll +++ b/javascript/ql/src/semmle/javascript/dataflow/Sources.qll @@ -47,6 +47,11 @@ class SourceNode extends DataFlow::Node { */ predicate flowsToExpr(Expr sink) { flowsTo(DataFlow::valueNode(sink)) } + /** + * Gets a node into which data may flow from this node in zero or more local steps. + */ + DataFlow::Node getALocalUse() { flowsTo(result) } + /** * Gets a reference (read or write) of property `propName` on this node. */