Update ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll

hvitved · asgerf · web-flow · commit 20efe81f1006 · 2023-05-22T12:43:05.000+02:00
Co-authored-by: Asger F &lt;asgerf@github.com&gt;
diff --git a/ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll b/ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll
@@ -615,7 +615,7 @@ private DataFlow::Node evaluateSummaryComponentStackLocal(
       head = SummaryComponent::return() and
       ret.getCfgScope() = prev.asExpr().getExpr() and
       // We need to include both `ret` and `ret.getAnInput()`, since in type-tracking
-      // the step from `ret.getAnInput()` to `ret` is considered a call step.
+      // the step from `ret.getAnInput()` to `ret` is considered a return step.
       result = [ret.(DataFlow::Node), ret.getAnInput()]
     )
     or

Original file line number	Diff line number	Diff line change
`@@ -615,7 +615,7 @@ private DataFlow::Node evaluateSummaryComponentStackLocal(`
`615`	`615`	`head = SummaryComponent::return() and`
`616`	`616`	`ret.getCfgScope() = prev.asExpr().getExpr() and`
`617`	`617`	// We need to include both `ret` and `ret.getAnInput()`, since in type-tracking
`618`		- // the step from `ret.getAnInput()` to `ret` is considered a call step.
	`618`	+ // the step from `ret.getAnInput()` to `ret` is considered a return step.
`619`	`619`	`result = [ret.(DataFlow::Node), ret.getAnInput()]`
`620`	`620`	`)`
`621`	`621`	`or`