From b45c274f3316d67393522e36858f80324596b884 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Fri, 24 Mar 2023 12:41:53 +0100 Subject: [PATCH] Dataflow: Adjust qldoc --- java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll | 4 ++-- .../java/dataflow/internal/tainttracking1/TaintTracking.qll | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll index 137612c52af..865d7b4d6ce 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlow.qll @@ -222,7 +222,7 @@ signature module GlobalFlowSig { } /** - * Constructs a standard data flow computation. + * Constructs a global data flow computation. */ module Global implements GlobalFlowSig { private module C implements FullStateConfigSig { @@ -239,7 +239,7 @@ deprecated module Make implements GlobalFlowSig { } /** - * Constructs a data flow computation using flow state. + * Constructs a global data flow computation using flow state. */ module GlobalWithState implements GlobalFlowSig { private module C implements FullStateConfigSig { diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTracking.qll b/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTracking.qll index 3f8cef3698a..872ac8d4cb8 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTracking.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTracking.qll @@ -33,7 +33,7 @@ private module AddTaintDefaults imp } /** - * Constructs a standard taint tracking computation. + * Constructs a global taint tracking computation. */ module Global implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig { @@ -54,7 +54,7 @@ deprecated module Make implements DataFlow::GlobalFl } /** - * Constructs a taint tracking computation using flow state. + * Constructs a global taint tracking computation using flow state. */ module GlobalWithState implements DataFlow::GlobalFlowSig { private module Config0 implements DataFlowInternal::FullStateConfigSig {