From ffeda7f45a3b5ead6d616a593ec3ee6a884d39c3 Mon Sep 17 00:00:00 2001 From: Asger Feldthaus Date: Mon, 24 Feb 2020 11:46:42 +0000 Subject: [PATCH] JS: Expand on doc a bit --- javascript/ql/src/semmle/javascript/explore/CallGraph.qll | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/javascript/ql/src/semmle/javascript/explore/CallGraph.qll b/javascript/ql/src/semmle/javascript/explore/CallGraph.qll index 6bb04698110..faa853e0b57 100644 --- a/javascript/ql/src/semmle/javascript/explore/CallGraph.qll +++ b/javascript/ql/src/semmle/javascript/explore/CallGraph.qll @@ -27,7 +27,8 @@ private import DataFlow * * There are edges from calls to their callees, * and from functions to their contained calls and in some cases - * their inner functions. + * their inner functions to model functions invoked indirectly + * by being passed to another call. */ predicate callEdge(Node pred, Node succ) { exists(InvokeNode invoke, Function f |