Skip to content

Commit 79cbd98

Browse files
owen-mcowen-mc
committed
Expected changes in test output
1 parent a357712 commit 79cbd98

File tree

35 files changed

+399
-680
lines changed

35 files changed

+399
-680
lines changed

‎go/ql/test/experimental/CWE-1004/CookieWithoutHttpOnly.expected‎

Lines changed: 28 additions & 296 deletions
Large diffs are not rendered by default.

‎go/ql/test/experimental/CWE-321-V2/HardCodedKeys.expected‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,12 @@
11
edges
22
| go-jose.v3.go:13:14:13:34 | type conversion | go-jose.v3.go:24:32:24:37 | JwtKey | provenance | |
3-
| go-jose.v3.go:13:14:13:34 | type conversion | go-jose.v3.go:24:32:24:37 | JwtKey | provenance | |
43
| go-jose.v3.go:13:21:13:33 | "AllYourBase" | go-jose.v3.go:13:14:13:34 | type conversion | provenance | |
5-
| go-jose.v3.go:24:32:24:37 | JwtKey | go-jose.v3.go:24:32:24:37 | JwtKey | provenance | |
6-
| go-jose.v3.go:24:32:24:37 | JwtKey | go-jose.v3.go:24:32:24:37 | JwtKey | provenance | |
74
| golang-jwt-v5.go:19:15:19:35 | type conversion | golang-jwt-v5.go:27:9:27:15 | JwtKey1 | provenance | |
85
| golang-jwt-v5.go:19:22:19:34 | "AllYourBase" | golang-jwt-v5.go:19:15:19:35 | type conversion | provenance | |
96
nodes
107
| go-jose.v3.go:13:14:13:34 | type conversion | semmle.label | type conversion |
118
| go-jose.v3.go:13:21:13:33 | "AllYourBase" | semmle.label | "AllYourBase" |
129
| go-jose.v3.go:24:32:24:37 | JwtKey | semmle.label | JwtKey |
13-
| go-jose.v3.go:24:32:24:37 | JwtKey | semmle.label | JwtKey |
1410
| golang-jwt-v5.go:19:15:19:35 | type conversion | semmle.label | type conversion |
1511
| golang-jwt-v5.go:19:22:19:34 | "AllYourBase" | semmle.label | "AllYourBase" |
1612
| golang-jwt-v5.go:27:9:27:15 | JwtKey1 | semmle.label | JwtKey1 |

‎go/ql/test/experimental/CWE-74/DsnInjectionLocal.expected‎

Lines changed: 6 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -7,17 +7,14 @@ edges
77
| Dsn.go:28:11:28:110 | call to Sprintf | Dsn.go:29:29:29:33 | dbDSN | provenance | |
88
| Dsn.go:28:102:28:109 | index expression | Dsn.go:28:11:28:110 | []type{args} [array] | provenance | |
99
| Dsn.go:28:102:28:109 | index expression | Dsn.go:28:11:28:110 | call to Sprintf | provenance | FunctionModel |
10-
| Dsn.go:62:2:62:4 | definition of cfg [pointer] | Dsn.go:63:9:63:11 | cfg [pointer] | provenance | |
11-
| Dsn.go:62:2:62:4 | definition of cfg [pointer] | Dsn.go:67:102:67:104 | cfg [pointer] | provenance | |
12-
| Dsn.go:63:9:63:11 | cfg [pointer] | Dsn.go:63:9:63:11 | implicit dereference | provenance | |
13-
| Dsn.go:63:9:63:11 | implicit dereference | Dsn.go:62:2:62:4 | definition of cfg [pointer] | provenance | |
14-
| Dsn.go:63:9:63:11 | implicit dereference | Dsn.go:67:102:67:108 | selection of dsn | provenance | |
10+
| Dsn.go:63:9:63:11 | cfg [postupdate] [pointer] | Dsn.go:67:102:67:104 | cfg [pointer] | provenance | |
11+
| Dsn.go:63:9:63:11 | implicit dereference [postupdate] | Dsn.go:63:9:63:11 | cfg [postupdate] [pointer] | provenance | |
12+
| Dsn.go:63:9:63:11 | implicit dereference [postupdate] | Dsn.go:67:102:67:108 | selection of dsn | provenance | |
1513
| Dsn.go:63:19:63:25 | selection of Args | Dsn.go:63:19:63:29 | slice expression | provenance | Src:MaD:1 |
16-
| Dsn.go:63:19:63:29 | slice expression | Dsn.go:63:9:63:11 | implicit dereference | provenance | FunctionModel |
14+
| Dsn.go:63:19:63:29 | slice expression | Dsn.go:63:9:63:11 | implicit dereference [postupdate] | provenance | FunctionModel |
1715
| Dsn.go:67:11:67:109 | []type{args} [array] | Dsn.go:67:11:67:109 | call to Sprintf | provenance | MaD:2 |
1816
| Dsn.go:67:11:67:109 | call to Sprintf | Dsn.go:68:29:68:33 | dbDSN | provenance | |
1917
| Dsn.go:67:102:67:104 | cfg [pointer] | Dsn.go:67:102:67:104 | implicit dereference | provenance | |
20-
| Dsn.go:67:102:67:104 | implicit dereference | Dsn.go:63:9:63:11 | implicit dereference | provenance | |
2118
| Dsn.go:67:102:67:104 | implicit dereference | Dsn.go:67:102:67:108 | selection of dsn | provenance | |
2219
| Dsn.go:67:102:67:108 | selection of dsn | Dsn.go:67:11:67:109 | []type{args} [array] | provenance | |
2320
| Dsn.go:67:102:67:108 | selection of dsn | Dsn.go:67:11:67:109 | call to Sprintf | provenance | FunctionModel |
@@ -30,9 +27,8 @@ nodes
3027
| Dsn.go:28:11:28:110 | call to Sprintf | semmle.label | call to Sprintf |
3128
| Dsn.go:28:102:28:109 | index expression | semmle.label | index expression |
3229
| Dsn.go:29:29:29:33 | dbDSN | semmle.label | dbDSN |
33-
| Dsn.go:62:2:62:4 | definition of cfg [pointer] | semmle.label | definition of cfg [pointer] |
34-
| Dsn.go:63:9:63:11 | cfg [pointer] | semmle.label | cfg [pointer] |
35-
| Dsn.go:63:9:63:11 | implicit dereference | semmle.label | implicit dereference |
30+
| Dsn.go:63:9:63:11 | cfg [postupdate] [pointer] | semmle.label | cfg [postupdate] [pointer] |
31+
| Dsn.go:63:9:63:11 | implicit dereference [postupdate] | semmle.label | implicit dereference [postupdate] |
3632
| Dsn.go:63:19:63:25 | selection of Args | semmle.label | selection of Args |
3733
| Dsn.go:63:19:63:29 | slice expression | semmle.label | slice expression |
3834
| Dsn.go:67:11:67:109 | []type{args} [array] | semmle.label | []type{args} [array] |

‎go/ql/test/experimental/CWE-918/SSRF.expected‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,9 @@
44
| builtin.go:102:13:102:40 | call to DialConfig | builtin.go:97:21:97:31 | call to Referer | builtin.go:101:36:101:49 | untrustedInput | The URL of this request depends on a user-provided value. |
55
| builtin.go:114:3:114:39 | call to Dial | builtin.go:111:21:111:31 | call to Referer | builtin.go:114:15:114:28 | untrustedInput | The URL of this request depends on a user-provided value. |
66
| builtin.go:132:3:132:62 | call to DialContext | builtin.go:129:21:129:31 | call to Referer | builtin.go:132:38:132:51 | untrustedInput | The URL of this request depends on a user-provided value. |
7-
| new-tests.go:31:2:31:58 | call to Get | new-tests.go:26:26:26:30 | &... | new-tests.go:31:11:31:57 | call to Sprintf | The URL of this request depends on a user-provided value. |
8-
| new-tests.go:32:2:32:58 | call to Get | new-tests.go:26:26:26:30 | &... | new-tests.go:32:11:32:57 | call to Sprintf | The URL of this request depends on a user-provided value. |
9-
| new-tests.go:35:3:35:59 | call to Get | new-tests.go:26:26:26:30 | &... | new-tests.go:35:12:35:58 | call to Sprintf | The URL of this request depends on a user-provided value. |
7+
| new-tests.go:31:2:31:58 | call to Get | new-tests.go:26:26:26:30 | &... [postupdate] | new-tests.go:31:11:31:57 | call to Sprintf | The URL of this request depends on a user-provided value. |
8+
| new-tests.go:32:2:32:58 | call to Get | new-tests.go:26:26:26:30 | &... [postupdate] | new-tests.go:32:11:32:57 | call to Sprintf | The URL of this request depends on a user-provided value. |
9+
| new-tests.go:35:3:35:59 | call to Get | new-tests.go:26:26:26:30 | &... [postupdate] | new-tests.go:35:12:35:58 | call to Sprintf | The URL of this request depends on a user-provided value. |
1010
| new-tests.go:47:2:47:47 | call to Get | new-tests.go:39:18:39:30 | call to Param | new-tests.go:47:11:47:46 | ...+... | The URL of this request depends on a user-provided value. |
1111
| new-tests.go:50:2:50:47 | call to Get | new-tests.go:49:18:49:30 | call to Query | new-tests.go:50:11:50:46 | ...+... | The URL of this request depends on a user-provided value. |
1212
| new-tests.go:68:2:68:58 | call to Get | new-tests.go:62:31:62:38 | selection of Body | new-tests.go:68:11:68:57 | call to Sprintf | The URL of this request depends on a user-provided value. |
@@ -22,9 +22,9 @@ edges
2222
| builtin.go:97:21:97:31 | call to Referer | builtin.go:101:36:101:49 | untrustedInput | provenance | Src:MaD:8 |
2323
| builtin.go:111:21:111:31 | call to Referer | builtin.go:114:15:114:28 | untrustedInput | provenance | Src:MaD:8 |
2424
| builtin.go:129:21:129:31 | call to Referer | builtin.go:132:38:132:51 | untrustedInput | provenance | Src:MaD:8 |
25-
| new-tests.go:26:26:26:30 | &... | new-tests.go:31:48:31:56 | selection of word | provenance | Src:MaD:3 |
26-
| new-tests.go:26:26:26:30 | &... | new-tests.go:32:48:32:56 | selection of safe | provenance | Src:MaD:3 |
27-
| new-tests.go:26:26:26:30 | &... | new-tests.go:35:49:35:57 | selection of word | provenance | Src:MaD:3 |
25+
| new-tests.go:26:26:26:30 | &... [postupdate] | new-tests.go:31:48:31:56 | selection of word | provenance | Src:MaD:3 |
26+
| new-tests.go:26:26:26:30 | &... [postupdate] | new-tests.go:32:48:32:56 | selection of safe | provenance | Src:MaD:3 |
27+
| new-tests.go:26:26:26:30 | &... [postupdate] | new-tests.go:35:49:35:57 | selection of word | provenance | Src:MaD:3 |
2828
| new-tests.go:31:11:31:57 | []type{args} [array] | new-tests.go:31:11:31:57 | call to Sprintf | provenance | MaD:11 |
2929
| new-tests.go:31:48:31:56 | selection of word | new-tests.go:31:11:31:57 | []type{args} [array] | provenance | |
3030
| new-tests.go:31:48:31:56 | selection of word | new-tests.go:31:11:31:57 | call to Sprintf | provenance | FunctionModel |
@@ -38,10 +38,10 @@ edges
3838
| new-tests.go:49:18:49:30 | call to Query | new-tests.go:50:11:50:46 | ...+... | provenance | Src:MaD:2 |
3939
| new-tests.go:62:2:62:39 | ... := ...[0] | new-tests.go:63:17:63:23 | reqBody | provenance | |
4040
| new-tests.go:62:31:62:38 | selection of Body | new-tests.go:62:2:62:39 | ... := ...[0] | provenance | Src:MaD:6 MaD:12 |
41-
| new-tests.go:63:17:63:23 | reqBody | new-tests.go:63:26:63:30 | &... | provenance | MaD:10 |
42-
| new-tests.go:63:26:63:30 | &... | new-tests.go:68:48:68:56 | selection of word | provenance | |
43-
| new-tests.go:63:26:63:30 | &... | new-tests.go:69:48:69:56 | selection of safe | provenance | |
44-
| new-tests.go:63:26:63:30 | &... | new-tests.go:74:49:74:57 | selection of word | provenance | |
41+
| new-tests.go:63:17:63:23 | reqBody | new-tests.go:63:26:63:30 | &... [postupdate] | provenance | MaD:10 |
42+
| new-tests.go:63:26:63:30 | &... [postupdate] | new-tests.go:68:48:68:56 | selection of word | provenance | |
43+
| new-tests.go:63:26:63:30 | &... [postupdate] | new-tests.go:69:48:69:56 | selection of safe | provenance | |
44+
| new-tests.go:63:26:63:30 | &... [postupdate] | new-tests.go:74:49:74:57 | selection of word | provenance | |
4545
| new-tests.go:68:11:68:57 | []type{args} [array] | new-tests.go:68:11:68:57 | call to Sprintf | provenance | MaD:11 |
4646
| new-tests.go:68:48:68:56 | selection of word | new-tests.go:68:11:68:57 | []type{args} [array] | provenance | |
4747
| new-tests.go:68:48:68:56 | selection of word | new-tests.go:68:11:68:57 | call to Sprintf | provenance | FunctionModel |
@@ -86,7 +86,7 @@ nodes
8686
| builtin.go:114:15:114:28 | untrustedInput | semmle.label | untrustedInput |
8787
| builtin.go:129:21:129:31 | call to Referer | semmle.label | call to Referer |
8888
| builtin.go:132:38:132:51 | untrustedInput | semmle.label | untrustedInput |
89-
| new-tests.go:26:26:26:30 | &... | semmle.label | &... |
89+
| new-tests.go:26:26:26:30 | &... [postupdate] | semmle.label | &... [postupdate] |
9090
| new-tests.go:31:11:31:57 | []type{args} [array] | semmle.label | []type{args} [array] |
9191
| new-tests.go:31:11:31:57 | call to Sprintf | semmle.label | call to Sprintf |
9292
| new-tests.go:31:48:31:56 | selection of word | semmle.label | selection of word |
@@ -103,7 +103,7 @@ nodes
103103
| new-tests.go:62:2:62:39 | ... := ...[0] | semmle.label | ... := ...[0] |
104104
| new-tests.go:62:31:62:38 | selection of Body | semmle.label | selection of Body |
105105
| new-tests.go:63:17:63:23 | reqBody | semmle.label | reqBody |
106-
| new-tests.go:63:26:63:30 | &... | semmle.label | &... |
106+
| new-tests.go:63:26:63:30 | &... [postupdate] | semmle.label | &... [postupdate] |
107107
| new-tests.go:68:11:68:57 | []type{args} [array] | semmle.label | []type{args} [array] |
108108
| new-tests.go:68:11:68:57 | call to Sprintf | semmle.label | call to Sprintf |
109109
| new-tests.go:68:48:68:56 | selection of word | semmle.label | selection of word |

‎go/ql/test/library-tests/semmle/go/dataflow/DefaultTaintSanitizer/DefaultSanitizer.expected‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -4,27 +4,27 @@ models
44
| 3 | Summary: io; Reader; true; Read; ; ; Argument[receiver]; Argument[0]; taint; manual |
55
| 4 | Summary: os; File; true; Read; ; ; Argument[receiver]; Argument[0]; taint; manual |
66
edges
7-
| Builtin.go:6:2:6:2 | definition of b | Builtin.go:8:9:8:17 | type conversion | provenance | |
8-
| Builtin.go:7:2:7:15 | selection of Body | Builtin.go:6:2:6:2 | definition of b | provenance | Src:MaD:1 MaD:2 |
9-
| Builtin.go:7:2:7:15 | selection of Body | Builtin.go:6:2:6:2 | definition of b | provenance | Src:MaD:1 MaD:3 |
10-
| Builtin.go:7:2:7:15 | selection of Body | Builtin.go:6:2:6:2 | definition of b | provenance | Src:MaD:1 MaD:4 |
11-
| Builtin.go:12:2:12:2 | definition of b | Builtin.go:17:9:17:17 | type conversion | provenance | |
12-
| Builtin.go:13:2:13:15 | selection of Body | Builtin.go:12:2:12:2 | definition of b | provenance | Src:MaD:1 MaD:2 |
13-
| Builtin.go:13:2:13:15 | selection of Body | Builtin.go:12:2:12:2 | definition of b | provenance | Src:MaD:1 MaD:3 |
14-
| Builtin.go:13:2:13:15 | selection of Body | Builtin.go:12:2:12:2 | definition of b | provenance | Src:MaD:1 MaD:4 |
15-
| Builtin.go:21:2:21:2 | definition of b | Builtin.go:24:10:24:18 | type conversion | provenance | |
16-
| Builtin.go:22:2:22:15 | selection of Body | Builtin.go:21:2:21:2 | definition of b | provenance | Src:MaD:1 MaD:2 |
17-
| Builtin.go:22:2:22:15 | selection of Body | Builtin.go:21:2:21:2 | definition of b | provenance | Src:MaD:1 MaD:3 |
18-
| Builtin.go:22:2:22:15 | selection of Body | Builtin.go:21:2:21:2 | definition of b | provenance | Src:MaD:1 MaD:4 |
7+
| Builtin.go:7:2:7:15 | selection of Body | Builtin.go:7:22:7:22 | b [postupdate] | provenance | Src:MaD:1 MaD:2 |
8+
| Builtin.go:7:2:7:15 | selection of Body | Builtin.go:7:22:7:22 | b [postupdate] | provenance | Src:MaD:1 MaD:3 |
9+
| Builtin.go:7:2:7:15 | selection of Body | Builtin.go:7:22:7:22 | b [postupdate] | provenance | Src:MaD:1 MaD:4 |
10+
| Builtin.go:7:22:7:22 | b [postupdate] | Builtin.go:8:9:8:17 | type conversion | provenance | |
11+
| Builtin.go:13:2:13:15 | selection of Body | Builtin.go:13:22:13:22 | b [postupdate] | provenance | Src:MaD:1 MaD:2 |
12+
| Builtin.go:13:2:13:15 | selection of Body | Builtin.go:13:22:13:22 | b [postupdate] | provenance | Src:MaD:1 MaD:3 |
13+
| Builtin.go:13:2:13:15 | selection of Body | Builtin.go:13:22:13:22 | b [postupdate] | provenance | Src:MaD:1 MaD:4 |
14+
| Builtin.go:13:22:13:22 | b [postupdate] | Builtin.go:17:9:17:17 | type conversion | provenance | |
15+
| Builtin.go:22:2:22:15 | selection of Body | Builtin.go:22:22:22:22 | b [postupdate] | provenance | Src:MaD:1 MaD:2 |
16+
| Builtin.go:22:2:22:15 | selection of Body | Builtin.go:22:22:22:22 | b [postupdate] | provenance | Src:MaD:1 MaD:3 |
17+
| Builtin.go:22:2:22:15 | selection of Body | Builtin.go:22:22:22:22 | b [postupdate] | provenance | Src:MaD:1 MaD:4 |
18+
| Builtin.go:22:22:22:22 | b [postupdate] | Builtin.go:24:10:24:18 | type conversion | provenance | |
1919
nodes
20-
| Builtin.go:6:2:6:2 | definition of b | semmle.label | definition of b |
2120
| Builtin.go:7:2:7:15 | selection of Body | semmle.label | selection of Body |
21+
| Builtin.go:7:22:7:22 | b [postupdate] | semmle.label | b [postupdate] |
2222
| Builtin.go:8:9:8:17 | type conversion | semmle.label | type conversion |
23-
| Builtin.go:12:2:12:2 | definition of b | semmle.label | definition of b |
2423
| Builtin.go:13:2:13:15 | selection of Body | semmle.label | selection of Body |
24+
| Builtin.go:13:22:13:22 | b [postupdate] | semmle.label | b [postupdate] |
2525
| Builtin.go:17:9:17:17 | type conversion | semmle.label | type conversion |
26-
| Builtin.go:21:2:21:2 | definition of b | semmle.label | definition of b |
2726
| Builtin.go:22:2:22:15 | selection of Body | semmle.label | selection of Body |
27+
| Builtin.go:22:22:22:22 | b [postupdate] | semmle.label | b [postupdate] |
2828
| Builtin.go:24:10:24:18 | type conversion | semmle.label | type conversion |
2929
subpaths
3030
#select

‎go/ql/test/library-tests/semmle/go/dataflow/ExternalTaintFlow/srcs.expected‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
invalidModelRow
22
#select
3-
| test.go:10:6:10:8 | definition of arg | qltest-arg |
43
| test.go:39:8:39:15 | call to Src1 | qltest |
54
| test.go:40:8:40:15 | call to Src2 | qltest |
65
| test.go:40:8:40:15 | call to Src2 | qltest-w-subtypes |
76
| test.go:41:8:41:16 | call to Src2 | qltest-w-subtypes |
87
| test.go:42:2:42:21 | ... = ...[0] | qltest |
98
| test.go:42:2:42:21 | ... = ...[1] | qltest-w-subtypes |
109
| test.go:43:2:43:22 | ... = ...[1] | qltest-w-subtypes |
10+
| test.go:44:11:44:13 | arg [postupdate] | qltest-arg |
1111
| test.go:59:9:59:16 | call to Src1 | qltest |
1212
| test.go:102:46:102:53 | call to Src1 | qltest |
1313
| test.go:112:35:112:42 | call to Src1 | qltest |

‎go/ql/test/library-tests/semmle/go/dataflow/ExternalTaintFlow/steps.expected‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,18 +2,18 @@ invalidModelRow
22
#select
33
| test.go:17:23:17:25 | arg | test.go:17:10:17:26 | call to StepArgRes |
44
| test.go:18:27:18:29 | arg | test.go:18:2:18:30 | ... = ...[1] |
5-
| test.go:19:15:19:17 | arg | test.go:11:6:11:9 | definition of arg1 |
6-
| test.go:21:16:21:18 | arg | test.go:13:6:13:6 | definition of t |
5+
| test.go:19:15:19:17 | arg | test.go:19:20:19:23 | arg1 [postupdate] |
6+
| test.go:21:16:21:18 | arg | test.go:21:2:21:2 | t [postupdate] |
77
| test.go:22:10:22:10 | t | test.go:22:10:22:24 | call to StepQualRes |
8-
| test.go:23:2:23:2 | t | test.go:10:6:10:8 | definition of arg |
8+
| test.go:23:2:23:2 | t | test.go:23:16:23:18 | arg [postupdate] |
99
| test.go:24:32:24:34 | arg | test.go:24:10:24:35 | call to StepArgResNoQual |
1010
| test.go:61:25:61:27 | src | test.go:61:12:61:28 | call to StepArgRes |
1111
| test.go:64:29:64:31 | src | test.go:64:2:64:32 | ... := ...[1] |
12-
| test.go:68:15:68:17 | src | test.go:67:6:67:11 | definition of taint3 |
13-
| test.go:76:21:76:23 | src | test.go:75:6:75:11 | definition of taint4 |
12+
| test.go:68:15:68:17 | src | test.go:68:20:68:25 | taint3 [postupdate] |
13+
| test.go:76:21:76:23 | src | test.go:76:2:76:7 | taint4 [postupdate] |
1414
| test.go:79:13:79:25 | type assertion | test.go:79:12:79:40 | call to StepQualRes |
15-
| test.go:83:3:83:15 | type assertion | test.go:82:6:82:11 | definition of taint6 |
15+
| test.go:83:3:83:15 | type assertion | test.go:83:30:83:35 | taint6 [postupdate] |
1616
| test.go:86:34:86:36 | src | test.go:86:12:86:37 | call to StepArgResNoQual |
1717
| test.go:149:10:149:27 | []type{args} | test.go:149:10:149:27 | call to append |
1818
| test.go:149:17:149:21 | slice | test.go:149:10:149:27 | call to append |
19-
| test.go:155:15:155:20 | slice1 | test.go:154:2:154:7 | definition of slice2 |
19+
| test.go:155:15:155:20 | slice1 | test.go:155:7:155:12 | slice2 [postupdate] |

‎go/ql/test/library-tests/semmle/go/dataflow/ExternalValueFlow/srcs.expected‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
invalidModelRow
22
#select
3-
| test.go:10:6:10:8 | definition of arg | qltest-arg |
43
| test.go:39:8:39:15 | call to Src1 | qltest |
54
| test.go:40:8:40:15 | call to Src2 | qltest |
65
| test.go:40:8:40:15 | call to Src2 | qltest-w-subtypes |
76
| test.go:41:8:41:16 | call to Src2 | qltest-w-subtypes |
87
| test.go:42:2:42:21 | ... = ...[0] | qltest |
98
| test.go:42:2:42:21 | ... = ...[1] | qltest-w-subtypes |
109
| test.go:43:2:43:22 | ... = ...[1] | qltest-w-subtypes |
10+
| test.go:44:11:44:13 | arg [postupdate] | qltest-arg |
1111
| test.go:59:9:59:16 | call to Src1 | qltest |
1212
| test.go:102:46:102:53 | call to Src1 | qltest |
1313
| test.go:112:35:112:42 | call to Src1 | qltest |

‎go/ql/test/library-tests/semmle/go/dataflow/ExternalValueFlow/steps.expected‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,17 +2,17 @@ invalidModelRow
22
#select
33
| test.go:17:23:17:25 | arg | test.go:17:10:17:26 | call to StepArgRes |
44
| test.go:18:27:18:29 | arg | test.go:18:2:18:30 | ... = ...[1] |
5-
| test.go:19:15:19:17 | arg | test.go:11:6:11:9 | definition of arg1 |
6-
| test.go:21:16:21:18 | arg | test.go:13:6:13:6 | definition of t |
5+
| test.go:19:15:19:17 | arg | test.go:19:20:19:23 | arg1 [postupdate] |
6+
| test.go:21:16:21:18 | arg | test.go:21:2:21:2 | t [postupdate] |
77
| test.go:22:10:22:10 | t | test.go:22:10:22:24 | call to StepQualRes |
8-
| test.go:23:2:23:2 | t | test.go:10:6:10:8 | definition of arg |
8+
| test.go:23:2:23:2 | t | test.go:23:16:23:18 | arg [postupdate] |
99
| test.go:24:32:24:34 | arg | test.go:24:10:24:35 | call to StepArgResNoQual |
1010
| test.go:61:25:61:27 | src | test.go:61:12:61:28 | call to StepArgRes |
1111
| test.go:64:29:64:31 | src | test.go:64:2:64:32 | ... := ...[1] |
12-
| test.go:68:15:68:17 | src | test.go:67:6:67:11 | definition of taint3 |
13-
| test.go:76:21:76:23 | src | test.go:75:6:75:11 | definition of taint4 |
12+
| test.go:68:15:68:17 | src | test.go:68:20:68:25 | taint3 [postupdate] |
13+
| test.go:76:21:76:23 | src | test.go:76:2:76:7 | taint4 [postupdate] |
1414
| test.go:79:13:79:25 | type assertion | test.go:79:12:79:40 | call to StepQualRes |
15-
| test.go:83:3:83:15 | type assertion | test.go:82:6:82:11 | definition of taint6 |
15+
| test.go:83:3:83:15 | type assertion | test.go:83:30:83:35 | taint6 [postupdate] |
1616
| test.go:86:34:86:36 | src | test.go:86:12:86:37 | call to StepArgResNoQual |
1717
| test.go:202:14:202:19 | srcInt | test.go:202:10:202:26 | call to max |
1818
| test.go:202:22:202:22 | 0 | test.go:202:10:202:26 | call to max |

0 commit comments

Comments
 (0)