Make new data flow copy for StringOps.StringsNewReplacer

Author: owen-mc

config/identical-files.json

@@ -29,6 +29,7 @@
     "csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplForContentDataFlow.qll",
     "go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll",
     "go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll",
+    "go/ql/lib/semmle/go/dataflow/internal/DataFlowImplForStringsNewReplacer.qll",
     "python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll",
     "python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll",
     "python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll",

go/ql/lib/semmle/go/StringOps.qll

@@ -3,6 +3,7 @@
  */
 
 import go
+import semmle.go.dataflow.DataFlowForStringsNewReplacer
 
 /** Provides predicates and classes for working with string operations. */
 module StringOps {
@@ -227,7 +228,7 @@ module StringOps {
      * the receiver of a call to `strings.Replacer.Replace` or
      * `strings.Replacer.WriteString`.
      */
-    private class StringsNewReplacerConfiguration extends DataFlow2::Configuration {
+    private class StringsNewReplacerConfiguration extends DataFlowForStringsNewReplacer::Configuration {
       StringsNewReplacerConfiguration() { this = "StringsNewReplacerConfiguration" }
 
       override predicate isSource(DataFlow::Node source) {

go/ql/lib/semmle/go/dataflow/DataFlowForStringsNewReplacer.qll

@@ -0,0 +1,27 @@
+/**
+ * Provides a library for local (intra-procedural) and global (inter-procedural)
+ * data flow analysis: deciding whether data can flow from a _source_ to a
+ * _sink_.
+ *
+ * Unless configured otherwise, _flow_ means that the exact value of
+ * 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
+ * `semmle.code.go.dataflow.TaintTracking`.
+ *
+ * To use global (interprocedural) data flow, extend the class
+ * `DataFlow::Configuration` as documented on that class. To use local
+ * (intraprocedural) data flow, invoke `DataFlow::localFlow` or
+ * `DataFlow::LocalFlowStep` with arguments of type `DataFlow::Node`.
+ */
+
+import go
+
+/**
+ * Provides a library for local (intra-procedural) and global (inter-procedural)
+ * data flow analysis.
+ */
+module DataFlowForStringsNewReplacer {
+  import semmle.go.dataflow.internal.DataFlowImplForStringsNewReplacer
+  import Properties
+}