Skip to content

Commit 4adea3e

Browse files
hvitvedhvitved
committed
Update expected test output
1 parent 6bbd728 commit 4adea3e

File tree

7 files changed

+282
-0
lines changed

7 files changed

+282
-0
lines changed

‎cpp/ql/test/library-tests/dataflow/fields/path-flow.expected

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -741,6 +741,7 @@ edges
741741
| struct_init.c:15:8:15:9 | ab [a] | struct_init.c:15:12:15:12 | a | provenance | |
742742
| struct_init.c:15:8:15:9 | ab [a] | struct_init.c:15:12:15:12 | a | provenance | |
743743
| struct_init.c:15:8:15:9 | ab [a] | struct_init.c:15:12:15:12 | a | provenance | |
744+
| struct_init.c:15:8:15:9 | ab [post update] [a] | struct_init.c:14:24:14:25 | ab [Return] [a] | provenance | |
744745
| struct_init.c:15:8:15:9 | ab [post update] [a] | struct_init.c:14:24:14:25 | ab [a] | provenance | |
745746
| struct_init.c:15:12:15:12 | a | realistic.cpp:41:17:41:17 | o | provenance | |
746747
| struct_init.c:15:12:15:12 | a | struct_init.c:15:12:15:12 | ref arg a | provenance | |
@@ -1549,6 +1550,7 @@ nodes
15491550
| simple.cpp:118:11:118:20 | call to user_input | semmle.label | call to user_input |
15501551
| simple.cpp:120:8:120:8 | a [i] | semmle.label | a [i] |
15511552
| simple.cpp:120:10:120:10 | i | semmle.label | i |
1553+
| struct_init.c:14:24:14:25 | ab [Return] [a] | semmle.label | ab [Return] [a] |
15521554
| struct_init.c:14:24:14:25 | ab [a] | semmle.label | ab [a] |
15531555
| struct_init.c:14:24:14:25 | ab [a] | semmle.label | ab [a] |
15541556
| struct_init.c:14:24:14:25 | ab [a] | semmle.label | ab [a] |
@@ -1663,6 +1665,7 @@ subpaths
16631665
| simple.cpp:84:14:84:20 | this [f2, f1] | simple.cpp:78:9:78:15 | this [f2, f1] | simple.cpp:79:19:79:20 | f1 | simple.cpp:84:14:84:20 | call to getf2f1 |
16641666
| struct_init.c:15:12:15:12 | a | realistic.cpp:41:17:41:17 | o | realistic.cpp:41:17:41:17 | o | struct_init.c:15:12:15:12 | ref arg a |
16651667
| struct_init.c:22:11:22:11 | a | realistic.cpp:41:17:41:17 | o | realistic.cpp:41:17:41:17 | o | struct_init.c:22:11:22:11 | ref arg a |
1668+
| struct_init.c:24:10:24:12 | & ... [a] | struct_init.c:14:24:14:25 | ab [a] | struct_init.c:14:24:14:25 | ab [Return] [a] | struct_init.c:24:10:24:12 | ref arg & ... [a] |
16661669
| struct_init.c:24:10:24:12 | & ... [a] | struct_init.c:14:24:14:25 | ab [a] | struct_init.c:14:24:14:25 | ab [a] | struct_init.c:24:10:24:12 | ref arg & ... [a] |
16671670
| struct_init.c:31:23:31:23 | a | realistic.cpp:41:17:41:17 | o | realistic.cpp:41:17:41:17 | o | struct_init.c:31:23:31:23 | ref arg a |
16681671
#select

‎go/ql/test/experimental/CWE-522-DecompressionBombs/DecompressionBombs.expected

Lines changed: 181 additions & 0 deletions
Large diffs are not rendered by default.

‎go/ql/test/library-tests/semmle/go/frameworks/GoMicro/LogInjection.expected

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,35 @@
11
edges
22
| main.go:18:46:18:48 | definition of req | main.go:18:46:18:48 | definition of req [Return] | provenance | |
3+
| main.go:18:46:18:48 | definition of req | main.go:18:46:18:48 | definition of req [Return] | provenance | |
34
| main.go:18:46:18:48 | definition of req | main.go:21:28:21:31 | name | provenance | |
45
| main.go:18:46:18:48 | definition of req | main.go:21:28:21:31 | name | provenance | |
56
| main.go:18:46:18:48 | definition of req [Return] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
67
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Return] | provenance | |
8+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Return] | provenance | |
79
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:86:37:86:38 | in | provenance | |
810
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:86:37:86:38 | in | provenance | |
911
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Return] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
1012
| proto/Hello.pb.micro.go:86:37:86:38 | in | main.go:18:46:18:48 | definition of req | provenance | |
1113
| proto/Hello.pb.micro.go:86:37:86:38 | in | main.go:18:46:18:48 | definition of req | provenance | |
1214
| proto/Hello.pb.micro.go:86:37:86:38 | in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
1315
| proto/Hello.pb.micro.go:86:37:86:38 | in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
16+
| proto/Hello.pb.micro.go:86:37:86:38 | in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
1417
nodes
1518
| main.go:18:46:18:48 | definition of req | semmle.label | definition of req |
1619
| main.go:18:46:18:48 | definition of req | semmle.label | definition of req |
1720
| main.go:18:46:18:48 | definition of req [Return] | semmle.label | definition of req [Return] |
21+
| main.go:18:46:18:48 | definition of req [Return] | semmle.label | definition of req [Return] |
1822
| main.go:21:28:21:31 | name | semmle.label | name |
1923
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | semmle.label | definition of in |
2024
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | semmle.label | definition of in |
2125
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Return] | semmle.label | definition of in [Return] |
26+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Return] | semmle.label | definition of in [Return] |
2227
| proto/Hello.pb.micro.go:86:37:86:38 | in | semmle.label | in |
2328
| proto/Hello.pb.micro.go:86:37:86:38 | in | semmle.label | in |
2429
subpaths
30+
| proto/Hello.pb.micro.go:86:37:86:38 | in | main.go:18:46:18:48 | definition of req | main.go:18:46:18:48 | definition of req [Return] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in |
31+
| proto/Hello.pb.micro.go:86:37:86:38 | in | main.go:18:46:18:48 | definition of req | main.go:18:46:18:48 | definition of req [Return] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in |
32+
| proto/Hello.pb.micro.go:86:37:86:38 | in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Return] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in |
33+
| proto/Hello.pb.micro.go:86:37:86:38 | in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Return] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in |
2534
#select
2635
| main.go:21:28:21:31 | name | main.go:18:46:18:48 | definition of req | main.go:21:28:21:31 | name | This log entry depends on a $@. | main.go:18:46:18:48 | definition of req | user-provided value |

‎go/ql/test/library-tests/semmle/go/frameworks/Twirp/RequestForgery.expected

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,19 +2,43 @@
22
| server/main.go:30:38:30:48 | selection of Text | rpc/notes/service.twirp.go:538:25:538:32 | selection of Body | server/main.go:30:38:30:48 | selection of Text | The $@ of this request depends on a $@. | server/main.go:30:38:30:48 | selection of Text | URL | rpc/notes/service.twirp.go:538:25:538:32 | selection of Body | user-provided value |
33
| server/main.go:30:38:30:48 | selection of Text | server/main.go:19:56:19:61 | definition of params | server/main.go:30:38:30:48 | selection of Text | The $@ of this request depends on a $@. | server/main.go:30:38:30:48 | selection of Text | URL | server/main.go:19:56:19:61 | definition of params | user-provided value |
44
edges
5+
| client/main.go:16:35:16:78 | &... | client/main.go:16:35:16:78 | &... | provenance | |
6+
| client/main.go:16:35:16:78 | &... | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | provenance | |
7+
| client/main.go:16:35:16:78 | &... | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | provenance | |
58
| client/main.go:16:35:16:78 | &... | server/main.go:19:56:19:61 | definition of params | provenance | |
9+
| rpc/notes/service.twirp.go:87:70:87:71 | definition of in | rpc/notes/service.twirp.go:87:70:87:71 | definition of in [Return] | provenance | |
10+
| rpc/notes/service.twirp.go:93:38:93:40 | definition of req | rpc/notes/service.twirp.go:93:38:93:40 | definition of req [Return] | provenance | |
11+
| rpc/notes/service.twirp.go:116:74:116:75 | definition of in | rpc/notes/service.twirp.go:116:74:116:75 | definition of in [Return] | provenance | |
12+
| rpc/notes/service.twirp.go:226:66:226:67 | definition of in | rpc/notes/service.twirp.go:226:66:226:67 | definition of in [Return] | provenance | |
13+
| rpc/notes/service.twirp.go:232:38:232:40 | definition of req | rpc/notes/service.twirp.go:232:38:232:40 | definition of req [Return] | provenance | |
14+
| rpc/notes/service.twirp.go:255:70:255:71 | definition of in | rpc/notes/service.twirp.go:255:70:255:71 | definition of in [Return] | provenance | |
615
| rpc/notes/service.twirp.go:473:6:473:13 | definition of typedReq | rpc/notes/service.twirp.go:477:44:477:51 | typedReq | provenance | |
16+
| rpc/notes/service.twirp.go:477:44:477:51 | typedReq | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | provenance | |
17+
| rpc/notes/service.twirp.go:477:44:477:51 | typedReq | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | provenance | |
18+
| rpc/notes/service.twirp.go:477:44:477:51 | typedReq | rpc/notes/service.twirp.go:473:6:473:13 | definition of typedReq | provenance | |
719
| rpc/notes/service.twirp.go:477:44:477:51 | typedReq | server/main.go:19:56:19:61 | definition of params | provenance | |
820
| rpc/notes/service.twirp.go:493:2:493:2 | capture variable reqContent | rpc/notes/service.twirp.go:495:35:495:44 | reqContent | provenance | |
21+
| rpc/notes/service.twirp.go:495:35:495:44 | reqContent | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | provenance | |
22+
| rpc/notes/service.twirp.go:495:35:495:44 | reqContent | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | provenance | |
23+
| rpc/notes/service.twirp.go:495:35:495:44 | reqContent | rpc/notes/service.twirp.go:493:2:493:2 | capture variable reqContent | provenance | |
924
| rpc/notes/service.twirp.go:495:35:495:44 | reqContent | server/main.go:19:56:19:61 | definition of params | provenance | |
1025
| rpc/notes/service.twirp.go:538:2:538:33 | ... := ...[0] | rpc/notes/service.twirp.go:544:27:544:29 | buf | provenance | |
1126
| rpc/notes/service.twirp.go:538:25:538:32 | selection of Body | rpc/notes/service.twirp.go:538:2:538:33 | ... := ...[0] | provenance | Src:MaD:1 MaD:3 |
1227
| rpc/notes/service.twirp.go:543:2:543:11 | definition of reqContent | rpc/notes/service.twirp.go:574:2:574:2 | capture variable reqContent | provenance | |
1328
| rpc/notes/service.twirp.go:544:27:544:29 | buf | rpc/notes/service.twirp.go:543:2:543:11 | definition of reqContent | provenance | MaD:2 |
1429
| rpc/notes/service.twirp.go:554:6:554:13 | definition of typedReq | rpc/notes/service.twirp.go:558:44:558:51 | typedReq | provenance | |
30+
| rpc/notes/service.twirp.go:558:44:558:51 | typedReq | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | provenance | |
31+
| rpc/notes/service.twirp.go:558:44:558:51 | typedReq | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | provenance | |
32+
| rpc/notes/service.twirp.go:558:44:558:51 | typedReq | rpc/notes/service.twirp.go:554:6:554:13 | definition of typedReq | provenance | |
1533
| rpc/notes/service.twirp.go:558:44:558:51 | typedReq | server/main.go:19:56:19:61 | definition of params | provenance | |
1634
| rpc/notes/service.twirp.go:574:2:574:2 | capture variable reqContent | rpc/notes/service.twirp.go:576:35:576:44 | reqContent | provenance | |
35+
| rpc/notes/service.twirp.go:576:35:576:44 | reqContent | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | provenance | |
36+
| rpc/notes/service.twirp.go:576:35:576:44 | reqContent | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | provenance | |
37+
| rpc/notes/service.twirp.go:576:35:576:44 | reqContent | rpc/notes/service.twirp.go:574:2:574:2 | capture variable reqContent | provenance | |
1738
| rpc/notes/service.twirp.go:576:35:576:44 | reqContent | server/main.go:19:56:19:61 | definition of params | provenance | |
39+
| rpc/notes/service.twirp.go:1203:102:1203:103 | definition of in | rpc/notes/service.twirp.go:1203:102:1203:103 | definition of in [Return] | provenance | |
40+
| rpc/notes/service.twirp.go:1252:98:1252:99 | definition of in | rpc/notes/service.twirp.go:1252:98:1252:99 | definition of in [Return] | provenance | |
41+
| server/main.go:19:56:19:61 | definition of params | server/main.go:19:56:19:61 | definition of params [Return] | provenance | |
1842
| server/main.go:19:56:19:61 | definition of params | server/main.go:19:56:19:61 | definition of params [Return] | provenance | |
1943
| server/main.go:19:56:19:61 | definition of params | server/main.go:30:38:30:48 | selection of Text | provenance | |
2044
| server/main.go:19:56:19:61 | definition of params | server/main.go:30:38:30:48 | selection of Text | provenance | |
@@ -29,6 +53,18 @@ models
2953
| 3 | Summary: io; ; false; ReadAll; ; ; Argument[0]; ReturnValue[0]; taint; manual |
3054
nodes
3155
| client/main.go:16:35:16:78 | &... | semmle.label | &... |
56+
| rpc/notes/service.twirp.go:87:70:87:71 | definition of in | semmle.label | definition of in |
57+
| rpc/notes/service.twirp.go:87:70:87:71 | definition of in [Return] | semmle.label | definition of in [Return] |
58+
| rpc/notes/service.twirp.go:93:38:93:40 | definition of req | semmle.label | definition of req |
59+
| rpc/notes/service.twirp.go:93:38:93:40 | definition of req [Return] | semmle.label | definition of req [Return] |
60+
| rpc/notes/service.twirp.go:116:74:116:75 | definition of in | semmle.label | definition of in |
61+
| rpc/notes/service.twirp.go:116:74:116:75 | definition of in [Return] | semmle.label | definition of in [Return] |
62+
| rpc/notes/service.twirp.go:226:66:226:67 | definition of in | semmle.label | definition of in |
63+
| rpc/notes/service.twirp.go:226:66:226:67 | definition of in [Return] | semmle.label | definition of in [Return] |
64+
| rpc/notes/service.twirp.go:232:38:232:40 | definition of req | semmle.label | definition of req |
65+
| rpc/notes/service.twirp.go:232:38:232:40 | definition of req [Return] | semmle.label | definition of req [Return] |
66+
| rpc/notes/service.twirp.go:255:70:255:71 | definition of in | semmle.label | definition of in |
67+
| rpc/notes/service.twirp.go:255:70:255:71 | definition of in [Return] | semmle.label | definition of in [Return] |
3268
| rpc/notes/service.twirp.go:473:6:473:13 | definition of typedReq | semmle.label | definition of typedReq |
3369
| rpc/notes/service.twirp.go:477:44:477:51 | typedReq | semmle.label | typedReq |
3470
| rpc/notes/service.twirp.go:493:2:493:2 | capture variable reqContent | semmle.label | capture variable reqContent |
@@ -41,8 +77,28 @@ nodes
4177
| rpc/notes/service.twirp.go:558:44:558:51 | typedReq | semmle.label | typedReq |
4278
| rpc/notes/service.twirp.go:574:2:574:2 | capture variable reqContent | semmle.label | capture variable reqContent |
4379
| rpc/notes/service.twirp.go:576:35:576:44 | reqContent | semmle.label | reqContent |
80+
| rpc/notes/service.twirp.go:1203:102:1203:103 | definition of in | semmle.label | definition of in |
81+
| rpc/notes/service.twirp.go:1203:102:1203:103 | definition of in [Return] | semmle.label | definition of in [Return] |
82+
| rpc/notes/service.twirp.go:1252:98:1252:99 | definition of in | semmle.label | definition of in |
83+
| rpc/notes/service.twirp.go:1252:98:1252:99 | definition of in [Return] | semmle.label | definition of in [Return] |
4484
| server/main.go:19:56:19:61 | definition of params | semmle.label | definition of params |
4585
| server/main.go:19:56:19:61 | definition of params | semmle.label | definition of params |
4686
| server/main.go:19:56:19:61 | definition of params [Return] | semmle.label | definition of params [Return] |
87+
| server/main.go:19:56:19:61 | definition of params [Return] | semmle.label | definition of params [Return] |
4788
| server/main.go:30:38:30:48 | selection of Text | semmle.label | selection of Text |
4889
subpaths
90+
| client/main.go:16:35:16:78 | &... | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | rpc/notes/service.twirp.go:87:70:87:71 | definition of in [Return] | client/main.go:16:35:16:78 | &... |
91+
| client/main.go:16:35:16:78 | &... | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | rpc/notes/service.twirp.go:226:66:226:67 | definition of in [Return] | client/main.go:16:35:16:78 | &... |
92+
| client/main.go:16:35:16:78 | &... | server/main.go:19:56:19:61 | definition of params | server/main.go:19:56:19:61 | definition of params [Return] | client/main.go:16:35:16:78 | &... |
93+
| rpc/notes/service.twirp.go:477:44:477:51 | typedReq | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | rpc/notes/service.twirp.go:87:70:87:71 | definition of in [Return] | rpc/notes/service.twirp.go:473:6:473:13 | definition of typedReq |
94+
| rpc/notes/service.twirp.go:477:44:477:51 | typedReq | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | rpc/notes/service.twirp.go:226:66:226:67 | definition of in [Return] | rpc/notes/service.twirp.go:473:6:473:13 | definition of typedReq |
95+
| rpc/notes/service.twirp.go:477:44:477:51 | typedReq | server/main.go:19:56:19:61 | definition of params | server/main.go:19:56:19:61 | definition of params [Return] | rpc/notes/service.twirp.go:473:6:473:13 | definition of typedReq |
96+
| rpc/notes/service.twirp.go:495:35:495:44 | reqContent | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | rpc/notes/service.twirp.go:87:70:87:71 | definition of in [Return] | rpc/notes/service.twirp.go:493:2:493:2 | capture variable reqContent |
97+
| rpc/notes/service.twirp.go:495:35:495:44 | reqContent | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | rpc/notes/service.twirp.go:226:66:226:67 | definition of in [Return] | rpc/notes/service.twirp.go:493:2:493:2 | capture variable reqContent |
98+
| rpc/notes/service.twirp.go:495:35:495:44 | reqContent | server/main.go:19:56:19:61 | definition of params | server/main.go:19:56:19:61 | definition of params [Return] | rpc/notes/service.twirp.go:493:2:493:2 | capture variable reqContent |
99+
| rpc/notes/service.twirp.go:558:44:558:51 | typedReq | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | rpc/notes/service.twirp.go:87:70:87:71 | definition of in [Return] | rpc/notes/service.twirp.go:554:6:554:13 | definition of typedReq |
100+
| rpc/notes/service.twirp.go:558:44:558:51 | typedReq | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | rpc/notes/service.twirp.go:226:66:226:67 | definition of in [Return] | rpc/notes/service.twirp.go:554:6:554:13 | definition of typedReq |
101+
| rpc/notes/service.twirp.go:558:44:558:51 | typedReq | server/main.go:19:56:19:61 | definition of params | server/main.go:19:56:19:61 | definition of params [Return] | rpc/notes/service.twirp.go:554:6:554:13 | definition of typedReq |
102+
| rpc/notes/service.twirp.go:576:35:576:44 | reqContent | rpc/notes/service.twirp.go:87:70:87:71 | definition of in | rpc/notes/service.twirp.go:87:70:87:71 | definition of in [Return] | rpc/notes/service.twirp.go:574:2:574:2 | capture variable reqContent |
103+
| rpc/notes/service.twirp.go:576:35:576:44 | reqContent | rpc/notes/service.twirp.go:226:66:226:67 | definition of in | rpc/notes/service.twirp.go:226:66:226:67 | definition of in [Return] | rpc/notes/service.twirp.go:574:2:574:2 | capture variable reqContent |
104+
| rpc/notes/service.twirp.go:576:35:576:44 | reqContent | server/main.go:19:56:19:61 | definition of params | server/main.go:19:56:19:61 | definition of params [Return] | rpc/notes/service.twirp.go:574:2:574:2 | capture variable reqContent |

0 commit comments

Comments
 (0)