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

Ruby: Prepare for anyNamedArg summary test

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2022-05-19 14:16:14 +02:00
parent a7f627af0c
commit cb6e5c24fc
2 changed files with 103 additions and 100 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -21,10 +21,10 @@ edges
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:51:24:51:30 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:54:22:54:28 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:55:17:55:23 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:58:32:58:38 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:60:23:60:29 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:90:16:90:22 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:96:14:96:20 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:61:32:61:38 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:63:23:63:29 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:93:16:93:22 | tainted : |
| summaries.rb:1:11:1:36 | call to identity : | summaries.rb:99:14:99:20 | tainted : |
| summaries.rb:1:20:1:36 | call to source : | summaries.rb:1:11:1:36 | call to identity : |
| summaries.rb:1:20:1:36 | call to source : | summaries.rb:1:11:1:36 | call to identity : |
| summaries.rb:4:12:7:3 | call to apply_block : | summaries.rb:9:6:9:13 | tainted2 |
@@ -59,43 +59,43 @@ edges
| summaries.rb:51:24:51:30 | tainted : | summaries.rb:51:6:51:31 | call to namedArg |
| summaries.rb:54:22:54:28 | tainted : | summaries.rb:54:6:54:29 | call to anyArg |
| summaries.rb:55:17:55:23 | tainted : | summaries.rb:55:6:55:24 | call to anyArg |
| summaries.rb:58:32:58:38 | tainted : | summaries.rb:58:6:58:39 | call to anyPositionFromOne |
| summaries.rb:60:23:60:29 | tainted : | summaries.rb:60:40:60:40 | x : |
| summaries.rb:60:40:60:40 | x : | summaries.rb:61:8:61:8 | x |
| summaries.rb:68:24:68:53 | call to source : | summaries.rb:68:8:68:54 | call to preserveTaint |
| summaries.rb:71:26:71:56 | call to source : | summaries.rb:71:8:71:57 | call to preserveTaint |
| summaries.rb:74:15:74:29 | call to source : | summaries.rb:76:6:76:6 | a [element 1] : |
| summaries.rb:74:15:74:29 | call to source : | summaries.rb:76:6:76:6 | a [element 1] : |
| summaries.rb:74:15:74:29 | call to source : | summaries.rb:78:5:78:5 | a [element 1] : |
| summaries.rb:74:15:74:29 | call to source : | summaries.rb:78:5:78:5 | a [element 1] : |
| summaries.rb:74:32:74:46 | call to source : | summaries.rb:77:6:77:6 | a [element 2] : |
| summaries.rb:74:32:74:46 | call to source : | summaries.rb:77:6:77:6 | a [element 2] : |
| summaries.rb:74:32:74:46 | call to source : | summaries.rb:82:1:82:1 | a [element 2] : |
| summaries.rb:74:32:74:46 | call to source : | summaries.rb:82:1:82:1 | a [element 2] : |
| summaries.rb:76:6:76:6 | a [element 1] : | summaries.rb:76:6:76:9 | ...[...] |
| summaries.rb:76:6:76:6 | a [element 1] : | summaries.rb:76:6:76:9 | ...[...] |
| summaries.rb:77:6:77:6 | a [element 2] : | summaries.rb:77:6:77:9 | ...[...] |
| summaries.rb:77:6:77:6 | a [element 2] : | summaries.rb:77:6:77:9 | ...[...] |
| summaries.rb:78:5:78:5 | a [element 1] : | summaries.rb:78:5:78:22 | call to withElementOne [element 1] : |
| summaries.rb:78:5:78:5 | a [element 1] : | summaries.rb:78:5:78:22 | call to withElementOne [element 1] : |
| summaries.rb:78:5:78:22 | call to withElementOne [element 1] : | summaries.rb:80:6:80:6 | b [element 1] : |
| summaries.rb:78:5:78:22 | call to withElementOne [element 1] : | summaries.rb:80:6:80:6 | b [element 1] : |
| summaries.rb:80:6:80:6 | b [element 1] : | summaries.rb:80:6:80:9 | ...[...] |
| summaries.rb:80:6:80:6 | b [element 1] : | summaries.rb:80:6:80:9 | ...[...] |
| summaries.rb:82:1:82:1 | [post] a [element 2] : | summaries.rb:85:6:85:6 | a [element 2] : |
| summaries.rb:82:1:82:1 | [post] a [element 2] : | summaries.rb:85:6:85:6 | a [element 2] : |
| summaries.rb:82:1:82:1 | a [element 2] : | summaries.rb:82:1:82:1 | [post] a [element 2] : |
| summaries.rb:82:1:82:1 | a [element 2] : | summaries.rb:82:1:82:1 | [post] a [element 2] : |
| summaries.rb:85:6:85:6 | a [element 2] : | summaries.rb:85:6:85:9 | ...[...] |
| summaries.rb:85:6:85:6 | a [element 2] : | summaries.rb:85:6:85:9 | ...[...] |
| summaries.rb:90:16:90:22 | [post] tainted : | summaries.rb:96:14:96:20 | tainted : |
| summaries.rb:90:16:90:22 | tainted : | summaries.rb:90:16:90:22 | [post] tainted : |
| summaries.rb:90:16:90:22 | tainted : | summaries.rb:90:25:90:25 | [post] y : |
| summaries.rb:90:16:90:22 | tainted : | summaries.rb:90:33:90:33 | [post] z : |
| summaries.rb:90:25:90:25 | [post] y : | summaries.rb:92:6:92:6 | y |
| summaries.rb:90:33:90:33 | [post] z : | summaries.rb:93:6:93:6 | z |
| summaries.rb:96:1:96:1 | [post] x : | summaries.rb:97:6:97:6 | x |
| summaries.rb:96:14:96:20 | tainted : | summaries.rb:96:1:96:1 | [post] x : |
| summaries.rb:61:32:61:38 | tainted : | summaries.rb:61:6:61:39 | call to anyPositionFromOne |
| summaries.rb:63:23:63:29 | tainted : | summaries.rb:63:40:63:40 | x : |
| summaries.rb:63:40:63:40 | x : | summaries.rb:64:8:64:8 | x |
| summaries.rb:71:24:71:53 | call to source : | summaries.rb:71:8:71:54 | call to preserveTaint |
| summaries.rb:74:26:74:56 | call to source : | summaries.rb:74:8:74:57 | call to preserveTaint |
| summaries.rb:77:15:77:29 | call to source : | summaries.rb:79:6:79:6 | a [element 1] : |
| summaries.rb:77:15:77:29 | call to source : | summaries.rb:79:6:79:6 | a [element 1] : |
| summaries.rb:77:15:77:29 | call to source : | summaries.rb:81:5:81:5 | a [element 1] : |
| summaries.rb:77:15:77:29 | call to source : | summaries.rb:81:5:81:5 | a [element 1] : |
| summaries.rb:77:32:77:46 | call to source : | summaries.rb:80:6:80:6 | a [element 2] : |
| summaries.rb:77:32:77:46 | call to source : | summaries.rb:80:6:80:6 | a [element 2] : |
| summaries.rb:77:32:77:46 | call to source : | summaries.rb:85:1:85:1 | a [element 2] : |
| summaries.rb:77:32:77:46 | call to source : | summaries.rb:85:1:85:1 | a [element 2] : |
| summaries.rb:79:6:79:6 | a [element 1] : | summaries.rb:79:6:79:9 | ...[...] |
| summaries.rb:79:6:79:6 | a [element 1] : | summaries.rb:79:6:79:9 | ...[...] |
| summaries.rb:80:6:80:6 | a [element 2] : | summaries.rb:80:6:80:9 | ...[...] |
| summaries.rb:80:6:80:6 | a [element 2] : | summaries.rb:80:6:80:9 | ...[...] |
| summaries.rb:81:5:81:5 | a [element 1] : | summaries.rb:81:5:81:22 | call to withElementOne [element 1] : |
| summaries.rb:81:5:81:5 | a [element 1] : | summaries.rb:81:5:81:22 | call to withElementOne [element 1] : |
| summaries.rb:81:5:81:22 | call to withElementOne [element 1] : | summaries.rb:83:6:83:6 | b [element 1] : |
| summaries.rb:81:5:81:22 | call to withElementOne [element 1] : | summaries.rb:83:6:83:6 | b [element 1] : |
| summaries.rb:83:6:83:6 | b [element 1] : | summaries.rb:83:6:83:9 | ...[...] |
| summaries.rb:83:6:83:6 | b [element 1] : | summaries.rb:83:6:83:9 | ...[...] |
| summaries.rb:85:1:85:1 | [post] a [element 2] : | summaries.rb:88:6:88:6 | a [element 2] : |
| summaries.rb:85:1:85:1 | [post] a [element 2] : | summaries.rb:88:6:88:6 | a [element 2] : |
| summaries.rb:85:1:85:1 | a [element 2] : | summaries.rb:85:1:85:1 | [post] a [element 2] : |
| summaries.rb:85:1:85:1 | a [element 2] : | summaries.rb:85:1:85:1 | [post] a [element 2] : |
| summaries.rb:88:6:88:6 | a [element 2] : | summaries.rb:88:6:88:9 | ...[...] |
| summaries.rb:88:6:88:6 | a [element 2] : | summaries.rb:88:6:88:9 | ...[...] |
| summaries.rb:93:16:93:22 | [post] tainted : | summaries.rb:99:14:99:20 | tainted : |
| summaries.rb:93:16:93:22 | tainted : | summaries.rb:93:16:93:22 | [post] tainted : |
| summaries.rb:93:16:93:22 | tainted : | summaries.rb:93:25:93:25 | [post] y : |
| summaries.rb:93:16:93:22 | tainted : | summaries.rb:93:33:93:33 | [post] z : |
| summaries.rb:93:25:93:25 | [post] y : | summaries.rb:95:6:95:6 | y |
| summaries.rb:93:33:93:33 | [post] z : | summaries.rb:96:6:96:6 | z |
| summaries.rb:99:1:99:1 | [post] x : | summaries.rb:100:6:100:6 | x |
| summaries.rb:99:14:99:20 | tainted : | summaries.rb:99:1:99:1 | [post] x : |
nodes
| summaries.rb:1:11:1:36 | call to identity : | semmle.label | call to identity : |
| summaries.rb:1:11:1:36 | call to identity : | semmle.label | call to identity : |
@@ -156,52 +156,52 @@ nodes
| summaries.rb:54:22:54:28 | tainted : | semmle.label | tainted : |
| summaries.rb:55:6:55:24 | call to anyArg | semmle.label | call to anyArg |
| summaries.rb:55:17:55:23 | tainted : | semmle.label | tainted : |
| summaries.rb:58:6:58:39 | call to anyPositionFromOne | semmle.label | call to anyPositionFromOne |
| summaries.rb:58:32:58:38 | tainted : | semmle.label | tainted : |
| summaries.rb:60:23:60:29 | tainted : | semmle.label | tainted : |
| summaries.rb:60:40:60:40 | x : | semmle.label | x : |
| summaries.rb:61:8:61:8 | x | semmle.label | x |
| summaries.rb:68:8:68:54 | call to preserveTaint | semmle.label | call to preserveTaint |
| summaries.rb:68:24:68:53 | call to source : | semmle.label | call to source : |
| summaries.rb:71:8:71:57 | call to preserveTaint | semmle.label | call to preserveTaint |
| summaries.rb:71:26:71:56 | call to source : | semmle.label | call to source : |
| summaries.rb:74:15:74:29 | call to source : | semmle.label | call to source : |
| summaries.rb:74:15:74:29 | call to source : | semmle.label | call to source : |
| summaries.rb:74:32:74:46 | call to source : | semmle.label | call to source : |
| summaries.rb:74:32:74:46 | call to source : | semmle.label | call to source : |
| summaries.rb:76:6:76:6 | a [element 1] : | semmle.label | a [element 1] : |
| summaries.rb:76:6:76:6 | a [element 1] : | semmle.label | a [element 1] : |
| summaries.rb:76:6:76:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:76:6:76:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:77:6:77:6 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:77:6:77:6 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:77:6:77:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:77:6:77:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:78:5:78:5 | a [element 1] : | semmle.label | a [element 1] : |
| summaries.rb:78:5:78:5 | a [element 1] : | semmle.label | a [element 1] : |
| summaries.rb:78:5:78:22 | call to withElementOne [element 1] : | semmle.label | call to withElementOne [element 1] : |
| summaries.rb:78:5:78:22 | call to withElementOne [element 1] : | semmle.label | call to withElementOne [element 1] : |
| summaries.rb:80:6:80:6 | b [element 1] : | semmle.label | b [element 1] : |
| summaries.rb:80:6:80:6 | b [element 1] : | semmle.label | b [element 1] : |
| summaries.rb:61:6:61:39 | call to anyPositionFromOne | semmle.label | call to anyPositionFromOne |
| summaries.rb:61:32:61:38 | tainted : | semmle.label | tainted : |
| summaries.rb:63:23:63:29 | tainted : | semmle.label | tainted : |
| summaries.rb:63:40:63:40 | x : | semmle.label | x : |
| summaries.rb:64:8:64:8 | x | semmle.label | x |
| summaries.rb:71:8:71:54 | call to preserveTaint | semmle.label | call to preserveTaint |
| summaries.rb:71:24:71:53 | call to source : | semmle.label | call to source : |
| summaries.rb:74:8:74:57 | call to preserveTaint | semmle.label | call to preserveTaint |
| summaries.rb:74:26:74:56 | call to source : | semmle.label | call to source : |
| summaries.rb:77:15:77:29 | call to source : | semmle.label | call to source : |
| summaries.rb:77:15:77:29 | call to source : | semmle.label | call to source : |
| summaries.rb:77:32:77:46 | call to source : | semmle.label | call to source : |
| summaries.rb:77:32:77:46 | call to source : | semmle.label | call to source : |
| summaries.rb:79:6:79:6 | a [element 1] : | semmle.label | a [element 1] : |
| summaries.rb:79:6:79:6 | a [element 1] : | semmle.label | a [element 1] : |
| summaries.rb:79:6:79:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:79:6:79:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:80:6:80:6 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:80:6:80:6 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:80:6:80:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:80:6:80:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:82:1:82:1 | [post] a [element 2] : | semmle.label | [post] a [element 2] : |
| summaries.rb:82:1:82:1 | [post] a [element 2] : | semmle.label | [post] a [element 2] : |
| summaries.rb:82:1:82:1 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:82:1:82:1 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:85:6:85:6 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:85:6:85:6 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:85:6:85:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:85:6:85:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:90:16:90:22 | [post] tainted : | semmle.label | [post] tainted : |
| summaries.rb:90:16:90:22 | tainted : | semmle.label | tainted : |
| summaries.rb:90:25:90:25 | [post] y : | semmle.label | [post] y : |
| summaries.rb:90:33:90:33 | [post] z : | semmle.label | [post] z : |
| summaries.rb:92:6:92:6 | y | semmle.label | y |
| summaries.rb:93:6:93:6 | z | semmle.label | z |
| summaries.rb:96:1:96:1 | [post] x : | semmle.label | [post] x : |
| summaries.rb:96:14:96:20 | tainted : | semmle.label | tainted : |
| summaries.rb:97:6:97:6 | x | semmle.label | x |
| summaries.rb:81:5:81:5 | a [element 1] : | semmle.label | a [element 1] : |
| summaries.rb:81:5:81:5 | a [element 1] : | semmle.label | a [element 1] : |
| summaries.rb:81:5:81:22 | call to withElementOne [element 1] : | semmle.label | call to withElementOne [element 1] : |
| summaries.rb:81:5:81:22 | call to withElementOne [element 1] : | semmle.label | call to withElementOne [element 1] : |
| summaries.rb:83:6:83:6 | b [element 1] : | semmle.label | b [element 1] : |
| summaries.rb:83:6:83:6 | b [element 1] : | semmle.label | b [element 1] : |
| summaries.rb:83:6:83:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:83:6:83:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:85:1:85:1 | [post] a [element 2] : | semmle.label | [post] a [element 2] : |
| summaries.rb:85:1:85:1 | [post] a [element 2] : | semmle.label | [post] a [element 2] : |
| summaries.rb:85:1:85:1 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:85:1:85:1 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:88:6:88:6 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:88:6:88:6 | a [element 2] : | semmle.label | a [element 2] : |
| summaries.rb:88:6:88:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:88:6:88:9 | ...[...] | semmle.label | ...[...] |
| summaries.rb:93:16:93:22 | [post] tainted : | semmle.label | [post] tainted : |
| summaries.rb:93:16:93:22 | tainted : | semmle.label | tainted : |
| summaries.rb:93:25:93:25 | [post] y : | semmle.label | [post] y : |
| summaries.rb:93:33:93:33 | [post] z : | semmle.label | [post] z : |
| summaries.rb:95:6:95:6 | y | semmle.label | y |
| summaries.rb:96:6:96:6 | z | semmle.label | z |
| summaries.rb:99:1:99:1 | [post] x : | semmle.label | [post] x : |
| summaries.rb:99:14:99:20 | tainted : | semmle.label | tainted : |
| summaries.rb:100:6:100:6 | x | semmle.label | x |
subpaths
invalidSpecComponent
#select
@@ -234,21 +234,21 @@ invalidSpecComponent
| summaries.rb:51:6:51:31 | call to namedArg | summaries.rb:1:20:1:36 | call to source : | summaries.rb:51:6:51:31 | call to namedArg | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:54:6:54:29 | call to anyArg | summaries.rb:1:20:1:36 | call to source : | summaries.rb:54:6:54:29 | call to anyArg | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:55:6:55:24 | call to anyArg | summaries.rb:1:20:1:36 | call to source : | summaries.rb:55:6:55:24 | call to anyArg | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:58:6:58:39 | call to anyPositionFromOne | summaries.rb:1:20:1:36 | call to source : | summaries.rb:58:6:58:39 | call to anyPositionFromOne | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:61:8:61:8 | x | summaries.rb:1:20:1:36 | call to source : | summaries.rb:61:8:61:8 | x | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:68:8:68:54 | call to preserveTaint | summaries.rb:68:24:68:53 | call to source : | summaries.rb:68:8:68:54 | call to preserveTaint | $@ | summaries.rb:68:24:68:53 | call to source : | call to source : |
| summaries.rb:71:8:71:57 | call to preserveTaint | summaries.rb:71:26:71:56 | call to source : | summaries.rb:71:8:71:57 | call to preserveTaint | $@ | summaries.rb:71:26:71:56 | call to source : | call to source : |
| summaries.rb:76:6:76:9 | ...[...] | summaries.rb:74:15:74:29 | call to source : | summaries.rb:76:6:76:9 | ...[...] | $@ | summaries.rb:74:15:74:29 | call to source : | call to source : |
| summaries.rb:76:6:76:9 | ...[...] | summaries.rb:74:15:74:29 | call to source : | summaries.rb:76:6:76:9 | ...[...] | $@ | summaries.rb:74:15:74:29 | call to source : | call to source : |
| summaries.rb:77:6:77:9 | ...[...] | summaries.rb:74:32:74:46 | call to source : | summaries.rb:77:6:77:9 | ...[...] | $@ | summaries.rb:74:32:74:46 | call to source : | call to source : |
| summaries.rb:77:6:77:9 | ...[...] | summaries.rb:74:32:74:46 | call to source : | summaries.rb:77:6:77:9 | ...[...] | $@ | summaries.rb:74:32:74:46 | call to source : | call to source : |
| summaries.rb:80:6:80:9 | ...[...] | summaries.rb:74:15:74:29 | call to source : | summaries.rb:80:6:80:9 | ...[...] | $@ | summaries.rb:74:15:74:29 | call to source : | call to source : |
| summaries.rb:80:6:80:9 | ...[...] | summaries.rb:74:15:74:29 | call to source : | summaries.rb:80:6:80:9 | ...[...] | $@ | summaries.rb:74:15:74:29 | call to source : | call to source : |
| summaries.rb:85:6:85:9 | ...[...] | summaries.rb:74:32:74:46 | call to source : | summaries.rb:85:6:85:9 | ...[...] | $@ | summaries.rb:74:32:74:46 | call to source : | call to source : |
| summaries.rb:85:6:85:9 | ...[...] | summaries.rb:74:32:74:46 | call to source : | summaries.rb:85:6:85:9 | ...[...] | $@ | summaries.rb:74:32:74:46 | call to source : | call to source : |
| summaries.rb:92:6:92:6 | y | summaries.rb:1:20:1:36 | call to source : | summaries.rb:92:6:92:6 | y | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:93:6:93:6 | z | summaries.rb:1:20:1:36 | call to source : | summaries.rb:93:6:93:6 | z | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:97:6:97:6 | x | summaries.rb:1:20:1:36 | call to source : | summaries.rb:97:6:97:6 | x | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:61:6:61:39 | call to anyPositionFromOne | summaries.rb:1:20:1:36 | call to source : | summaries.rb:61:6:61:39 | call to anyPositionFromOne | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:64:8:64:8 | x | summaries.rb:1:20:1:36 | call to source : | summaries.rb:64:8:64:8 | x | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:71:8:71:54 | call to preserveTaint | summaries.rb:71:24:71:53 | call to source : | summaries.rb:71:8:71:54 | call to preserveTaint | $@ | summaries.rb:71:24:71:53 | call to source : | call to source : |
| summaries.rb:74:8:74:57 | call to preserveTaint | summaries.rb:74:26:74:56 | call to source : | summaries.rb:74:8:74:57 | call to preserveTaint | $@ | summaries.rb:74:26:74:56 | call to source : | call to source : |
| summaries.rb:79:6:79:9 | ...[...] | summaries.rb:77:15:77:29 | call to source : | summaries.rb:79:6:79:9 | ...[...] | $@ | summaries.rb:77:15:77:29 | call to source : | call to source : |
| summaries.rb:79:6:79:9 | ...[...] | summaries.rb:77:15:77:29 | call to source : | summaries.rb:79:6:79:9 | ...[...] | $@ | summaries.rb:77:15:77:29 | call to source : | call to source : |
| summaries.rb:80:6:80:9 | ...[...] | summaries.rb:77:32:77:46 | call to source : | summaries.rb:80:6:80:9 | ...[...] | $@ | summaries.rb:77:32:77:46 | call to source : | call to source : |
| summaries.rb:80:6:80:9 | ...[...] | summaries.rb:77:32:77:46 | call to source : | summaries.rb:80:6:80:9 | ...[...] | $@ | summaries.rb:77:32:77:46 | call to source : | call to source : |
| summaries.rb:83:6:83:9 | ...[...] | summaries.rb:77:15:77:29 | call to source : | summaries.rb:83:6:83:9 | ...[...] | $@ | summaries.rb:77:15:77:29 | call to source : | call to source : |
| summaries.rb:83:6:83:9 | ...[...] | summaries.rb:77:15:77:29 | call to source : | summaries.rb:83:6:83:9 | ...[...] | $@ | summaries.rb:77:15:77:29 | call to source : | call to source : |
| summaries.rb:88:6:88:9 | ...[...] | summaries.rb:77:32:77:46 | call to source : | summaries.rb:88:6:88:9 | ...[...] | $@ | summaries.rb:77:32:77:46 | call to source : | call to source : |
| summaries.rb:88:6:88:9 | ...[...] | summaries.rb:77:32:77:46 | call to source : | summaries.rb:88:6:88:9 | ...[...] | $@ | summaries.rb:77:32:77:46 | call to source : | call to source : |
| summaries.rb:95:6:95:6 | y | summaries.rb:1:20:1:36 | call to source : | summaries.rb:95:6:95:6 | y | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:96:6:96:6 | z | summaries.rb:1:20:1:36 | call to source : | summaries.rb:96:6:96:6 | z | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
| summaries.rb:100:6:100:6 | x | summaries.rb:1:20:1:36 | call to source : | summaries.rb:100:6:100:6 | x | $@ | summaries.rb:1:20:1:36 | call to source : | call to source : |
warning
| CSV type row should have 5 columns but has 2: test;TooFewColumns |
| CSV type row should have 5 columns but has 8: test;TooManyColumns;;;Member[Foo].Instance;too;many;columns |

3
ruby/ql/test/library-tests/dataflow/summaries/summaries.rb
View File

@@ -54,6 +54,9 @@ sink(Foo.namedArg(tainted))
sink(Foo.anyArg(foo: tainted)) # $ hasTaintFlow=tainted
sink(Foo.anyArg(tainted)) # $ hasTaintFlow=tainted
# sink(Foo.anyNamedArg(foo: tainted)) # $ MISSING: hasTaintFlow=tainted
# sink(Foo.anyNamedArg(tainted))
sink(Foo.anyPositionFromOne(tainted))
sink(Foo.anyPositionFromOne(0, tainted)) # $ hasTaintFlow=tainted