From 28ed803faef25d4db294a5f72454fa366c65b010 Mon Sep 17 00:00:00 2001 From: Max Schaefer Date: Mon, 30 Mar 2020 11:21:53 +0100 Subject: [PATCH] Data flow: Add module doc comment for `TaintTrackingImpl.qll` cf https://github.com/Semmle/ql/pull/3155 --- .../internal/tainttracking1/TaintTrackingImpl.qll | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/ql/src/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll b/ql/src/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll index c05de75bfab..e8b828f5b3e 100644 --- a/ql/src/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll +++ b/ql/src/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll @@ -1,3 +1,13 @@ +/** + * Provides an implementation of global (interprocedural) taint tracking. + * This file re-exports the local (intraprocedural) taint-tracking analysis + * from `TaintTrackingParameter::Public` and adds a global analysis, mainly + * exposed through the `Configuration` class. For some languages, this file + * exists in several identical copies, allowing queries to use multiple + * `Configuration` classes that depend on each other without introducing + * mutual recursion among those configurations. + */ + import TaintTrackingParameter::Public private import TaintTrackingParameter::Private