File tree Expand file tree Collapse file tree 3 files changed +4
-2
lines changed
ruby/ql/test/library-tests/dataflow/summaries Expand file tree Collapse file tree 3 files changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -204,6 +204,7 @@ nodes
204
204
| summaries.rb:100:6:100:6 | x | semmle.label | x |
205
205
subpaths
206
206
invalidSpecComponent
207
+ | ;;Member[Foo].Method[anyNamedArg] | Argument[any-named] | Argument[any-named] |
207
208
#select
208
209
| summaries.rb:2:6:2:12 | tainted | summaries.rb:1:20:1:36 | call to source : | summaries.rb:2:6:2:12 | tainted | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
209
210
| summaries.rb:2:6:2:12 | tainted | summaries.rb:1:20:1:36 | call to source : | summaries.rb:2:6:2:12 | tainted | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
Original file line number Diff line number Diff line change @@ -73,6 +73,7 @@ private class StepsFromModel extends ModelInput::SummaryModelCsv {
73
73
";;Member[Foo].Method[blockArg].Argument[block].Parameter[0].Method[preserveTaint];Argument[0];ReturnValue;taint" ,
74
74
";;Member[Foo].Method[namedArg];Argument[foo:];ReturnValue;taint" ,
75
75
";;Member[Foo].Method[anyArg];Argument[any];ReturnValue;taint" ,
76
+ ";;Member[Foo].Method[anyNamedArg];Argument[any-named];ReturnValue;taint" ,
76
77
";;Member[Foo].Method[anyPositionFromOne];Argument[1..];ReturnValue;taint" ,
77
78
";;Member[Foo].Method[intoNamedCallback];Argument[0];Argument[foo:].Parameter[0];taint" ,
78
79
";;Member[Foo].Method[intoNamedParameter];Argument[0];Argument[0].Parameter[foo:];taint" ,
Original file line number Diff line number Diff line change @@ -54,8 +54,8 @@ def userDefinedFunction(x, y)
54
54
sink ( Foo . anyArg ( foo : tainted ) ) # $ hasTaintFlow=tainted
55
55
sink ( Foo . anyArg ( tainted ) ) # $ hasTaintFlow=tainted
56
56
57
- # sink(Foo.anyNamedArg(foo: tainted)) # $ MISSING: hasTaintFlow=tainted
58
- # sink(Foo.anyNamedArg(tainted))
57
+ sink ( Foo . anyNamedArg ( foo : tainted ) ) # $ MISSING: hasTaintFlow=tainted
58
+ sink ( Foo . anyNamedArg ( tainted ) )
59
59
60
60
sink ( Foo . anyPositionFromOne ( tainted ) )
61
61
sink ( Foo . anyPositionFromOne ( 0 , tainted ) ) # $ hasTaintFlow=tainted
You can’t perform that action at this time.
0 commit comments