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

Ruby: use getACallSimple in more Hash methods

Browse Source
This commit is contained in:
Asger F
2022-09-30 22:38:58 +02:00
parent 74c3886167
commit 8b389fe5f9
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
ruby/ql/lib/codeql/ruby/frameworks/core/Hash.qll
View File

@@ -207,7 +207,7 @@ module Hash {
bindingset[this]
AssocSummary() { mc.getMethodName() = "assoc" }
override MethodCall getACall() { result = mc }
override MethodCall getACallSimple() { result = mc }
}
private class AssocKnownSummary extends AssocSummary {
@@ -286,7 +286,7 @@ module Hash {
")"
}
final override MethodCall getACall() { result = mc }
final override MethodCall getACallSimple() { result = mc }
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
input =
@@ -308,7 +308,7 @@ abstract private class FetchValuesSummary extends SummarizedCallable {
bindingset[this]
FetchValuesSummary() { mc.getMethodName() = "fetch_values" }
final override MethodCall getACall() { result = mc }
final override MethodCall getACallSimple() { result = mc }
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
(
@@ -404,7 +404,7 @@ abstract private class SliceSummary extends SummarizedCallable {
bindingset[this]
SliceSummary() { mc.getMethodName() = "slice" }
final override MethodCall getACall() { result = mc }
final override MethodCall getACallSimple() { result = mc }
}
private class SliceKnownSummary extends SliceSummary {