add Node#getALocalSource predicate

alexrford · alexrford · commit 403dee279d0e · 2021-08-02T15:56:36.000+01:00
diff --git a/ql/src/codeql_ruby/dataflow/internal/DataFlowPublic.qll b/ql/src/codeql_ruby/dataflow/internal/DataFlowPublic.qll
@@ -37,6 +37,11 @@ class Node extends TNode {
   ) {
     getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
   }
+
+  /**
+   * Gets a local source node from which data may flow to this node in zero or more local data-flow steps.
+   */
+  LocalSourceNode getALocalSource() { result.flowsTo(this) }
 }
 
 /** A data-flow node corresponding to a call in the control-flow graph. */

Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,11 @@ class Node extends TNode {`
`37`	`37`	`) {`
`38`	`38`	`getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)`
`39`	`39`	`}`
	`40`	`+`
	`41`	`+ /**`
	`42`	`+ * Gets a local source node from which data may flow to this node in zero or more local data-flow steps.`
	`43`	`+ */`
	`44`	`+ LocalSourceNode getALocalSource() { result.flowsTo(this) }`
`40`	`45`	`}`
`41`	`46`
`42`	`47`	`/** A data-flow node corresponding to a call in the control-flow graph. */`