Merge pull request #7911 from kaeluka/javascript/add-getFlowLabel-to-PathNode

JS: add a getFlowLabel method to the PathNode class

Author: kaeluka

javascript/ql/lib/semmle/javascript/dataflow/Configuration.qll

@@ -1800,6 +1800,22 @@ class PathNode extends TPathNode {
   ) {
     nd.hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
   }
+
+  /**
+   * Gets a summary for the path node.
+   */
+  PathSummary getPathSummary() {
+    this = MkMidNode(_, _, result)
+    or
+    this = MkSinkNode(_, _) and getASuccessor(MkMidNode(_, _, result)) = this
+    or
+    this = MkSourceNode(_, _) and getASuccessor(this) = MkMidNode(_, _, result)
+  }
+
+  /**
+   * Gets a flow label for the path node.
+   */
+  FlowLabel getFlowLabel() { result = getPathSummary().getEndLabel() }
 }
 
 /** Gets the mid node corresponding to `src`. */
@@ -1872,9 +1888,6 @@ class MidPathNode extends PathNode, MkMidNode {
 
   MidPathNode() { this = MkMidNode(nd, cfg, summary) }
 
-  /** Gets the summary of the path underlying this path node. */
-  PathSummary getPathSummary() { result = summary }
-
   /** Holds if this path node wraps data-flow node `nd`, configuration `c` and summary `s`. */
   predicate wraps(DataFlow::Node n, DataFlow::Configuration c, PathSummary s) {
     nd = n and cfg = c and summary = s