JS: Update DataFlowConsistency

2026-04-26 17:25:19 +02:00 · 2024-11-21 12:54:11 +01:00
parent ce00bd2cc9
commit 9dad2d62d7
1 changed files with 2 additions and 0 deletions
--- a/javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowImplConsistency.qll
+++ b/javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowImplConsistency.qll
@@ -26,6 +26,8 @@ private module ConsistencyConfig implements InputSig<Location, JSDataFlow> {
    or
    n instanceof FlowSummaryDynamicParameterArrayNode
    or
+    n instanceof FlowSummaryDefaultExceptionalReturn
+    or
    n instanceof GenericSynthesizedNode
    or
    n = DataFlow::globalAccessPathRootPseudoNode()