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

Ruby: Adapt to changes in FlowSummaryImpl

Browse Source
This commit is contained in:
Tom Hvitved
2025-12-16 13:49:04 +01:00
parent c4e0dda178
commit c975ae5231
30 changed files with 282 additions and 272 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ruby/ql/test/library-tests/dataflow/flow-summaries/semantics.ql
View File

@@ -12,7 +12,7 @@ private import codeql.ruby.dataflow.FlowSummary
/**
* A convenience class for defining value (c.f. taint) flow summaries.
*/
abstract private class Summary extends SimpleSummarizedCallable {
abstract private class Summary extends SummarizedCallable::RangeSimple {
bindingset[this]
Summary() { any() }

2
ruby/ql/test/library-tests/dataflow/regressions/Regressions.ql
View File

@@ -1,6 +1,6 @@
private import codeql.ruby.dataflow.FlowSummary
private class ReverseSummary extends SimpleSummarizedCallable {
private class ReverseSummary extends SummarizedCallable::RangeSimple {
ReverseSummary() { this = "reverse" }
override predicate propagatesFlow(string input, string output, boolean preservesValue) {

6
ruby/ql/test/library-tests/dataflow/summaries/Summaries.ql
View File

@@ -18,7 +18,7 @@ query predicate invalidSpecComponent(SummarizedCallable sc, string s, string c)
query predicate warning = ModelOutput::getAWarning/0;
private class SummarizedCallableIdentity extends SummarizedCallable {
private class SummarizedCallableIdentity extends SummarizedCallable::Range {
SummarizedCallableIdentity() { this = "identity" }
override MethodCall getACall() { result.getMethodName() = this }
@@ -30,7 +30,7 @@ private class SummarizedCallableIdentity extends SummarizedCallable {
}
}
private class SummarizedCallableApplyBlock extends SummarizedCallable {
private class SummarizedCallableApplyBlock extends SummarizedCallable::Range {
SummarizedCallableApplyBlock() { this = "apply_block" }
override MethodCall getACall() { result.getMethodName() = this }
@@ -46,7 +46,7 @@ private class SummarizedCallableApplyBlock extends SummarizedCallable {
}
}
private class SummarizedCallableApplyLambda extends SummarizedCallable {
private class SummarizedCallableApplyLambda extends SummarizedCallable::Range {
SummarizedCallableApplyLambda() { this = "apply_lambda" }
override MethodCall getACall() { result.getMethodName() = this }