Data flow: Add module doc comment for TaintTrackingImpl.qll

cf https://github.com/Semmle/ql/pull/3155
This commit is contained in:
Max Schaefer
2020-03-30 11:21:53 +01:00
parent bb34c91b38
commit 28ed803fae

View File

@@ -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