Parameterize UI5PathGraph on PathNodeSig and PathGraphSig

Author: jeongsoolee09

javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/dataflow/DataFlow.qll

@@ -4,7 +4,7 @@ import advanced_security.javascript.frameworks.ui5.UI5
 import advanced_security.javascript.frameworks.ui5.UI5View
 import advanced_security.javascript.frameworks.ui5.RemoteFlowSources
 import advanced_security.javascript.frameworks.ui5.dataflow.FlowSteps
-private import StdLibDataFlow::DataFlow::PathGraph as DataFlowPathGraph
+// private import StdLibDataFlow::DataFlow::PathGraph as DataFlowPathGraph
 private import PatchDataFlow
 
 /**
@@ -60,7 +60,7 @@ class LocalModelContentBoundBidirectionallyToHtmlISinkControl extends DomBasedXs
   UI5Control getControlDeclaration() { result = controlDeclaration }
 }
 
-module UI5PathGraph {
+module UI5PathGraph<PathNodeSig ConfigPathNode, PathGraphSig<ConfigPathNode> ConfigModule> {
   private newtype TNode =
     TUI5BindingPathNode(UI5BindingPath path) or
     TDataFlowNode(DataFlow::Node node)
@@ -92,7 +92,7 @@ module UI5PathGraph {
           .hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
     }
 
-    DataFlow::PathNode getPathNode() { result.getNode() = this.asDataFlowNode() }
+    ConfigPathNode getPathNode() { result.getNode() = this.asDataFlowNode() }
 
     UI5PathNode getAPrimarySource() {
       if this.asDataFlowNode() instanceof LocalModelContentBoundBidirectionallyToSourceControl
@@ -124,9 +124,9 @@ module UI5PathGraph {
   query predicate nodes(UI5PathNode ui5PathNode) {
     exists(ui5PathNode.asUI5BindingPathNode())
     or
-    exists(DataFlow::PathNode pathNode |
+    exists(ConfigPathNode pathNode |
       pathNode.getNode() = ui5PathNode.asDataFlowNode() and
-      DataFlowPathGraph::nodes(pathNode)
+      ConfigModule::nodes(pathNode, _, _)
     )
   }
 
@@ -182,10 +182,10 @@ module UI5PathGraph {
 
   query predicate edges(UI5PathNode ui5PathNodePred, UI5PathNode ui5PathNodeSucc) {
     /* Include all existing dataflow edges */
-    exists(DataFlow::PathNode pathNodeFrom, DataFlow::PathNode pathNodeTo |
+    exists(ConfigPathNode pathNodeFrom, ConfigPathNode pathNodeTo |
       pathNodeFrom.getNode() = ui5PathNodePred.asDataFlowNode() and
       pathNodeTo.getNode() = ui5PathNodeSucc.asDataFlowNode() and
-      DataFlowPathGraph::edges(pathNodeFrom, pathNodeTo)
+      ConfigModule::edges(pathNodeFrom, pathNodeTo, _, _)
     ) and
     /* ========= TODO: Legacy code ========= */
     /* Exclude duplicate edge from model to handler parameter */