Python: Fix up remaining data-flow library copies

This commit is contained in:
Taus Brock-Nannestad
2020-11-02 23:02:04 +01:00
parent b7773849d7
commit 8752b1af1e
6 changed files with 12 additions and 12 deletions

View File

@@ -7,7 +7,7 @@
* the source may reach the sink. We do not track flow across pointer
* dereferences or array indexing. To track these types of flow, where the
* exact value may not be preserved, import
* `experimental.dataflow.TaintTracking`.
* `semmle.python.dataflow.new.TaintTracking`.
*
* To use global (interprocedural) data flow, extend the class
* `DataFlow::Configuration` as documented on that class. To use local
@@ -22,5 +22,5 @@ private import python
* global (inter-procedural) data flow analyses.
*/
module DataFlow3 {
import experimental.dataflow.internal.DataFlowImpl3
import semmle.python.dataflow.new.internal.DataFlowImpl3
}

View File

@@ -7,7 +7,7 @@
* the source may reach the sink. We do not track flow across pointer
* dereferences or array indexing. To track these types of flow, where the
* exact value may not be preserved, import
* `experimental.dataflow.TaintTracking`.
* `semmle.python.dataflow.new.TaintTracking`.
*
* To use global (interprocedural) data flow, extend the class
* `DataFlow::Configuration` as documented on that class. To use local
@@ -22,5 +22,5 @@ private import python
* global (inter-procedural) data flow analyses.
*/
module DataFlow4 {
import experimental.dataflow.internal.DataFlowImpl4
import semmle.python.dataflow.new.internal.DataFlowImpl4
}

View File

@@ -15,5 +15,5 @@ private import python
* global (inter-procedural) taint-tracking analyses.
*/
module TaintTracking3 {
import experimental.dataflow.internal.tainttracking3.TaintTrackingImpl
import semmle.python.dataflow.new.internal.tainttracking3.TaintTrackingImpl
}

View File

@@ -15,5 +15,5 @@ private import python
* global (inter-procedural) taint-tracking analyses.
*/
module TaintTracking4 {
import experimental.dataflow.internal.tainttracking4.TaintTrackingImpl
import semmle.python.dataflow.new.internal.tainttracking4.TaintTrackingImpl
}

View File

@@ -1,6 +1,6 @@
import experimental.dataflow.internal.TaintTrackingPublic as Public
import semmle.python.dataflow.new.internal.TaintTrackingPublic as Public
module Private {
import experimental.dataflow.DataFlow3::DataFlow3 as DataFlow
import experimental.dataflow.internal.TaintTrackingPrivate
import semmle.python.dataflow.new.DataFlow3::DataFlow3 as DataFlow
import semmle.python.dataflow.new.internal.TaintTrackingPrivate
}

View File

@@ -1,6 +1,6 @@
import experimental.dataflow.internal.TaintTrackingPublic as Public
import semmle.python.dataflow.new.internal.TaintTrackingPublic as Public
module Private {
import experimental.dataflow.DataFlow4::DataFlow4 as DataFlow
import experimental.dataflow.internal.TaintTrackingPrivate
import semmle.python.dataflow.new.DataFlow4::DataFlow4 as DataFlow
import semmle.python.dataflow.new.internal.TaintTrackingPrivate
}