From 557b642a8e3ccc9f839cf2edf806c3654a2a12b7 Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Mon, 16 Mar 2020 11:01:20 +0100 Subject: [PATCH] add isRelevant check on flowStep predicate --- javascript/ql/src/semmle/javascript/dataflow/Configuration.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/javascript/ql/src/semmle/javascript/dataflow/Configuration.qll b/javascript/ql/src/semmle/javascript/dataflow/Configuration.qll index 807733f309ae..18bc08726414 100644 --- a/javascript/ql/src/semmle/javascript/dataflow/Configuration.qll +++ b/javascript/ql/src/semmle/javascript/dataflow/Configuration.qll @@ -1106,6 +1106,7 @@ private predicate flowStep( // Flow into higher-order call flowIntoHigherOrderCall(pred, succ, cfg, summary) ) and + isRelevant(succ, cfg) and not cfg.isBarrier(succ) and not isBarrierEdge(cfg, pred, succ) and not isLabeledBarrierEdge(cfg, pred, succ, summary.getEndLabel()) and