From bd2febcf0088b5a7b9a63a55a21c13f4e5580793 Mon Sep 17 00:00:00 2001 From: Asger F Date: Thu, 16 Jan 2025 13:38:08 +0100 Subject: [PATCH] JS: Implementing new signature members in StepInputSig --- .../dataflow/internal/FlowSummaryPrivate.qll | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/javascript/ql/lib/semmle/javascript/dataflow/internal/FlowSummaryPrivate.qll b/javascript/ql/lib/semmle/javascript/dataflow/internal/FlowSummaryPrivate.qll index 460a2be4f1d4..0f25c694f61c 100644 --- a/javascript/ql/lib/semmle/javascript/dataflow/internal/FlowSummaryPrivate.qll +++ b/javascript/ql/lib/semmle/javascript/dataflow/internal/FlowSummaryPrivate.qll @@ -16,6 +16,14 @@ private import semmle.javascript.internal.flow_summaries.ExceptionFlow */ class SummarizedCallableBase = string; +class SourceBase extends Unit { + SourceBase() { none() } +} + +class SinkBase extends Unit { + SinkBase() { none() } +} + /** Gets the parameter position representing a callback itself, if any. */ ArgumentPosition callbackSelfParameterPosition() { result.isFunctionSelfReference() } @@ -139,6 +147,10 @@ private module FlowSummaryStepInput implements Private::StepsInputSig { ] ) } + + DataFlow::Node getSourceNode(SourceBase source, Private::SummaryComponent sc) { none() } + + DataFlow::Node getSinkNode(SinkBase sink, Private::SummaryComponent sc) { none() } } module Steps = Private::Steps;