hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Co-authored-by: Asger F <asgerf@github.com>
This commit is contained in:
Tom Hvitved
2023-05-22 12:43:05 +02:00
committed by GitHub
parent 33be52f0b7
commit 20efe81f10
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll
View File

@@ -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