MSM: remove unnecessary imports

Author: jbj

ql_demos/cpp/Qualcomm-MSM-copy_from_user/00_copy_from_user.ql

@@ -5,7 +5,6 @@
  */
 
 import cpp
-import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
 
 // This first query is essentially equivalent to `grep -r copy_from_user`.
 // It has almost 1300 results.

ql_demos/cpp/Qualcomm-MSM-copy_from_user/04_safe_malloc.ql

@@ -7,8 +7,7 @@
 
 import cpp
 import semmle.code.cpp.valuenumbering.GlobalValueNumbering
-import semmle.code.cpp.dataflow.TaintTracking
-import DataFlow
+import semmle.code.cpp.dataflow.DataFlow
 
 // Let's see if we can detect this pattern:
 //
@@ -26,7 +25,7 @@ predicate safe_malloc(FunctionCall allocCall, FunctionCall copy_from_user) {
     copy_from_user.getTarget().getName() = "copy_from_user" and
     source.asExpr() = allocCall and
     sink.asExpr() = copy_from_user.getArgument(0) and
-    localFlow(source, sink) and
+    DataFlow::localFlow(source, sink) and
     globalValueNumber(allocCall.getArgument(0)) =
       globalValueNumber(copy_from_user.getArgument(2)))
 }

ql_demos/cpp/Qualcomm-MSM-copy_from_user/05_filter_with_upperbound_and_safe_malloc.ql

@@ -10,8 +10,7 @@
 import cpp
 import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
 import semmle.code.cpp.valuenumbering.GlobalValueNumbering
-import semmle.code.cpp.dataflow.TaintTracking
-import DataFlow
+import semmle.code.cpp.dataflow.DataFlow
 
 // We wrote this predicate in the previous query.
 predicate safe_malloc(FunctionCall allocCall, FunctionCall copy_from_user) {
@@ -20,7 +19,7 @@ predicate safe_malloc(FunctionCall allocCall, FunctionCall copy_from_user) {
     copy_from_user.getTarget().getName() = "copy_from_user" and
     source.asExpr() = allocCall and
     sink.asExpr() = copy_from_user.getArgument(0) and
-    localFlow(source, sink) and
+    DataFlow::localFlow(source, sink) and
     globalValueNumber(allocCall.getArgument(0)) =
       globalValueNumber(copy_from_user.getArgument(2)))
 }

ql_demos/cpp/Qualcomm-MSM-copy_from_user/06_stackaddress_dataflow.ql

@@ -10,9 +10,7 @@
 
 import cpp
 import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
-import semmle.code.cpp.valuenumbering.GlobalValueNumbering
-import semmle.code.cpp.dataflow.TaintTracking
-import DataFlow
+import semmle.code.cpp.dataflow.DataFlow
 import DataFlow::PathGraph
 
 class Config extends DataFlow::Configuration {