Skip to content

Commit ebe56fe

Browse files
hvitvedhvitved
committed
Go: Update expected test output
1 parent 6a65429 commit ebe56fe

File tree

2 files changed

+81
-0
lines changed

2 files changed

+81
-0
lines changed

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

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,72 @@
11
edges
22
| main.go:18:46:18:48 | definition of req | main.go:18:46:18:48 | definition of req [Reverse] | provenance | |
3+
| main.go:18:46:18:48 | definition of req | main.go:20:10:20:12 | implicit dereference | provenance | |
4+
| main.go:18:46:18:48 | definition of req | main.go:20:10:20:12 | implicit dereference | provenance | |
5+
| main.go:18:46:18:48 | definition of req | main.go:21:28:21:31 | name | provenance | |
36
| main.go:18:46:18:48 | definition of req | main.go:21:28:21:31 | name | provenance | |
47
| main.go:18:46:18:48 | definition of req | main.go:21:28:21:31 | name | provenance | |
58
| main.go:18:46:18:48 | definition of req [Reverse] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
9+
| main.go:18:46:18:48 | definition of req [Reverse] [pointer, Name] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | provenance | |
10+
| main.go:18:46:18:48 | definition of req [pointer, Name] | main.go:20:10:20:12 | req [pointer, Name] | provenance | |
11+
| main.go:20:10:20:12 | implicit dereference | main.go:18:46:18:48 | definition of req [Reverse] | provenance | |
12+
| main.go:20:10:20:12 | implicit dereference | main.go:21:28:21:31 | name | provenance | |
13+
| main.go:20:10:20:12 | implicit dereference | main.go:21:28:21:31 | name | provenance | |
14+
| main.go:20:10:20:12 | implicit dereference | main.go:21:28:21:31 | name | provenance | |
15+
| main.go:20:10:20:12 | implicit dereference [Name] | main.go:20:10:20:17 | selection of Name | provenance | |
16+
| main.go:20:10:20:12 | implicit dereference [Reverse] [Name] | main.go:20:10:20:12 | req [Reverse] [pointer, Name] | provenance | |
17+
| main.go:20:10:20:12 | req [Reverse] [pointer, Name] | main.go:18:46:18:48 | definition of req [Reverse] [pointer, Name] | provenance | |
18+
| main.go:20:10:20:12 | req [pointer, Name] | main.go:20:10:20:12 | implicit dereference [Name] | provenance | |
19+
| main.go:20:10:20:17 | selection of Name | main.go:21:28:21:31 | name | provenance | |
20+
| main.go:20:10:20:17 | selection of Name [Reverse] | main.go:20:10:20:12 | implicit dereference [Reverse] [Name] | provenance | |
21+
| main.go:21:2:21:32 | []type{args} [Reverse] [array] | main.go:21:28:21:31 | name [Reverse] | provenance | |
22+
| main.go:21:2:21:32 | []type{args} [array] | main.go:21:2:21:32 | []type{args} [Reverse] [array] | provenance | |
23+
| main.go:21:28:21:31 | name | main.go:21:2:21:32 | []type{args} [array] | provenance | |
24+
| main.go:21:28:21:31 | name [Reverse] | main.go:20:10:20:17 | selection of Name [Reverse] | provenance | |
625
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Reverse] | provenance | |
726
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:86:37:86:38 | in | provenance | |
827
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | proto/Hello.pb.micro.go:86:37:86:38 | in | provenance | |
928
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Reverse] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
29+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Reverse] [pointer, Name] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | provenance | |
30+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Reverse] [pointer, Name] | provenance | |
31+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | proto/Hello.pb.micro.go:86:37:86:38 | in [pointer, Name] | provenance | |
32+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | proto/Hello.pb.micro.go:86:37:86:38 | in [pointer, Name] | provenance | |
1033
| proto/Hello.pb.micro.go:86:37:86:38 | in | main.go:18:46:18:48 | definition of req | provenance | |
1134
| proto/Hello.pb.micro.go:86:37:86:38 | in | main.go:18:46:18:48 | definition of req | provenance | |
1235
| proto/Hello.pb.micro.go:86:37:86:38 | in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
1336
| proto/Hello.pb.micro.go:86:37:86:38 | in | proto/Hello.pb.micro.go:85:53:85:54 | definition of in | provenance | |
37+
| proto/Hello.pb.micro.go:86:37:86:38 | in [pointer, Name] | main.go:18:46:18:48 | definition of req [pointer, Name] | provenance | |
38+
| proto/Hello.pb.micro.go:86:37:86:38 | in [pointer, Name] | main.go:18:46:18:48 | definition of req [pointer, Name] | provenance | |
39+
| proto/Hello.pb.micro.go:86:37:86:38 | in [pointer, Name] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | provenance | |
40+
| proto/Hello.pb.micro.go:86:37:86:38 | in [pointer, Name] | proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | provenance | |
1441
nodes
1542
| main.go:18:46:18:48 | definition of req | semmle.label | definition of req |
1643
| main.go:18:46:18:48 | definition of req | semmle.label | definition of req |
1744
| main.go:18:46:18:48 | definition of req [Reverse] | semmle.label | definition of req [Reverse] |
45+
| main.go:18:46:18:48 | definition of req [Reverse] [pointer, Name] | semmle.label | definition of req [Reverse] [pointer, Name] |
46+
| main.go:18:46:18:48 | definition of req [pointer, Name] | semmle.label | definition of req [pointer, Name] |
47+
| main.go:20:10:20:12 | implicit dereference | semmle.label | implicit dereference |
48+
| main.go:20:10:20:12 | implicit dereference | semmle.label | implicit dereference |
49+
| main.go:20:10:20:12 | implicit dereference [Name] | semmle.label | implicit dereference [Name] |
50+
| main.go:20:10:20:12 | implicit dereference [Reverse] [Name] | semmle.label | implicit dereference [Reverse] [Name] |
51+
| main.go:20:10:20:12 | req [Reverse] [pointer, Name] | semmle.label | req [Reverse] [pointer, Name] |
52+
| main.go:20:10:20:12 | req [pointer, Name] | semmle.label | req [pointer, Name] |
53+
| main.go:20:10:20:17 | selection of Name | semmle.label | selection of Name |
54+
| main.go:20:10:20:17 | selection of Name [Reverse] | semmle.label | selection of Name [Reverse] |
55+
| main.go:21:2:21:32 | []type{args} [Reverse] [array] | semmle.label | []type{args} [Reverse] [array] |
56+
| main.go:21:2:21:32 | []type{args} [array] | semmle.label | []type{args} [array] |
57+
| main.go:21:28:21:31 | name | semmle.label | name |
1858
| main.go:21:28:21:31 | name | semmle.label | name |
59+
| main.go:21:28:21:31 | name [Reverse] | semmle.label | name [Reverse] |
1960
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | semmle.label | definition of in |
2061
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in | semmle.label | definition of in |
2162
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Reverse] | semmle.label | definition of in [Reverse] |
63+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [Reverse] [pointer, Name] | semmle.label | definition of in [Reverse] [pointer, Name] |
64+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | semmle.label | definition of in [pointer, Name] |
65+
| proto/Hello.pb.micro.go:85:53:85:54 | definition of in [pointer, Name] | semmle.label | definition of in [pointer, Name] |
2266
| proto/Hello.pb.micro.go:86:37:86:38 | in | semmle.label | in |
2367
| proto/Hello.pb.micro.go:86:37:86:38 | in | semmle.label | in |
68+
| proto/Hello.pb.micro.go:86:37:86:38 | in [pointer, Name] | semmle.label | in [pointer, Name] |
69+
| proto/Hello.pb.micro.go:86:37:86:38 | in [pointer, Name] | semmle.label | in [pointer, Name] |
2470
subpaths
2571
#select
2672
| 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/query-tests/Security/CWE-322/InsecureHostKeyCallback.expected‎

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,10 +5,30 @@ edges
55
| InsecureHostKeyCallbackExample.go:45:3:47:3 | function literal | InsecureHostKeyCallbackExample.go:52:20:52:48 | type conversion | provenance | |
66
| InsecureHostKeyCallbackExample.go:58:39:58:46 | definition of callback | InsecureHostKeyCallbackExample.go:62:20:62:27 | callback | provenance | |
77
| InsecureHostKeyCallbackExample.go:68:48:68:55 | definition of callback | InsecureHostKeyCallbackExample.go:78:28:78:35 | callback | provenance | |
8+
| InsecureHostKeyCallbackExample.go:68:48:68:55 | definition of callback [Reverse] | InsecureHostKeyCallbackExample.go:109:2:109:26 | definition of potentiallySecureCallback | provenance | |
9+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [HostKeyCallback] | InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [Reverse] [HostKeyCallback] | provenance | |
10+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [Reverse] [HostKeyCallback] | InsecureHostKeyCallbackExample.go:78:28:78:35 | callback [Reverse] | provenance | |
11+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [Reverse] [pointer, HostKeyCallback] | InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [Reverse] [HostKeyCallback] | provenance | |
12+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [pointer, HostKeyCallback] | InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [Reverse] [pointer, HostKeyCallback] | provenance | |
13+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [pointer, HostKeyCallback] | InsecureHostKeyCallbackExample.go:76:3:76:8 | config [pointer, HostKeyCallback] | provenance | |
14+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [pointer, HostKeyCallback] | InsecureHostKeyCallbackExample.go:78:3:78:8 | config [pointer, HostKeyCallback] | provenance | |
15+
| InsecureHostKeyCallbackExample.go:76:3:76:8 | config [pointer, HostKeyCallback] | InsecureHostKeyCallbackExample.go:76:3:76:8 | implicit dereference [HostKeyCallback] | provenance | |
16+
| InsecureHostKeyCallbackExample.go:76:3:76:8 | implicit dereference [HostKeyCallback] | InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [pointer, HostKeyCallback] | provenance | |
17+
| InsecureHostKeyCallbackExample.go:76:28:76:54 | call to InsecureIgnoreHostKey | InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [HostKeyCallback] | provenance | |
18+
| InsecureHostKeyCallbackExample.go:76:28:76:54 | call to InsecureIgnoreHostKey | InsecureHostKeyCallbackExample.go:76:3:76:8 | implicit dereference [HostKeyCallback] | provenance | |
19+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | config [pointer, HostKeyCallback] | InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [HostKeyCallback] | provenance | |
20+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [HostKeyCallback] | InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [pointer, HostKeyCallback] | provenance | |
21+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [HostKeyCallback] | InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [Reverse] [HostKeyCallback] | provenance | |
22+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [Reverse] [HostKeyCallback] | InsecureHostKeyCallbackExample.go:78:28:78:35 | callback [Reverse] | provenance | |
23+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [Reverse] [HostKeyCallback] | InsecureHostKeyCallbackExample.go:78:28:78:35 | callback [Reverse] | provenance | |
24+
| InsecureHostKeyCallbackExample.go:78:28:78:35 | callback [Reverse] | InsecureHostKeyCallbackExample.go:68:48:68:55 | definition of callback [Reverse] | provenance | |
25+
| InsecureHostKeyCallbackExample.go:78:28:78:35 | callback [Reverse] | InsecureHostKeyCallbackExample.go:68:48:68:55 | definition of callback [Reverse] | provenance | |
826
| InsecureHostKeyCallbackExample.go:94:3:94:43 | ... := ...[0] | InsecureHostKeyCallbackExample.go:95:28:95:35 | callback | provenance | |
927
| InsecureHostKeyCallbackExample.go:102:22:105:4 | type conversion | InsecureHostKeyCallbackExample.go:107:35:107:50 | insecureCallback | provenance | |
1028
| InsecureHostKeyCallbackExample.go:103:3:105:3 | function literal | InsecureHostKeyCallbackExample.go:102:22:105:4 | type conversion | provenance | |
1129
| InsecureHostKeyCallbackExample.go:107:35:107:50 | insecureCallback | InsecureHostKeyCallbackExample.go:58:39:58:46 | definition of callback | provenance | |
30+
| InsecureHostKeyCallbackExample.go:109:2:109:26 | definition of potentiallySecureCallback | InsecureHostKeyCallbackExample.go:117:35:117:59 | potentiallySecureCallback | provenance | |
31+
| InsecureHostKeyCallbackExample.go:109:2:109:26 | definition of potentiallySecureCallback | InsecureHostKeyCallbackExample.go:120:44:120:68 | potentiallySecureCallback | provenance | |
1232
| InsecureHostKeyCallbackExample.go:109:31:115:4 | type conversion | InsecureHostKeyCallbackExample.go:117:35:117:59 | potentiallySecureCallback | provenance | |
1333
| InsecureHostKeyCallbackExample.go:109:31:115:4 | type conversion | InsecureHostKeyCallbackExample.go:120:44:120:68 | potentiallySecureCallback | provenance | |
1434
| InsecureHostKeyCallbackExample.go:110:3:115:3 | function literal | InsecureHostKeyCallbackExample.go:109:31:115:4 | type conversion | provenance | |
@@ -27,14 +47,29 @@ nodes
2747
| InsecureHostKeyCallbackExample.go:58:39:58:46 | definition of callback | semmle.label | definition of callback |
2848
| InsecureHostKeyCallbackExample.go:62:20:62:27 | callback | semmle.label | callback |
2949
| InsecureHostKeyCallbackExample.go:68:48:68:55 | definition of callback | semmle.label | definition of callback |
50+
| InsecureHostKeyCallbackExample.go:68:48:68:55 | definition of callback [Reverse] | semmle.label | definition of callback [Reverse] |
51+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [HostKeyCallback] | semmle.label | definition of config [HostKeyCallback] |
52+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [Reverse] [HostKeyCallback] | semmle.label | definition of config [Reverse] [HostKeyCallback] |
53+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [Reverse] [pointer, HostKeyCallback] | semmle.label | definition of config [Reverse] [pointer, HostKeyCallback] |
54+
| InsecureHostKeyCallbackExample.go:69:2:69:7 | definition of config [pointer, HostKeyCallback] | semmle.label | definition of config [pointer, HostKeyCallback] |
55+
| InsecureHostKeyCallbackExample.go:76:3:76:8 | config [pointer, HostKeyCallback] | semmle.label | config [pointer, HostKeyCallback] |
56+
| InsecureHostKeyCallbackExample.go:76:3:76:8 | implicit dereference [HostKeyCallback] | semmle.label | implicit dereference [HostKeyCallback] |
3057
| InsecureHostKeyCallbackExample.go:76:28:76:54 | call to InsecureIgnoreHostKey | semmle.label | call to InsecureIgnoreHostKey |
58+
| InsecureHostKeyCallbackExample.go:76:28:76:54 | call to InsecureIgnoreHostKey | semmle.label | call to InsecureIgnoreHostKey |
59+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | config [pointer, HostKeyCallback] | semmle.label | config [pointer, HostKeyCallback] |
60+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [HostKeyCallback] | semmle.label | implicit dereference [HostKeyCallback] |
61+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [Reverse] [HostKeyCallback] | semmle.label | implicit dereference [Reverse] [HostKeyCallback] |
62+
| InsecureHostKeyCallbackExample.go:78:3:78:8 | implicit dereference [Reverse] [HostKeyCallback] | semmle.label | implicit dereference [Reverse] [HostKeyCallback] |
3163
| InsecureHostKeyCallbackExample.go:78:28:78:35 | callback | semmle.label | callback |
64+
| InsecureHostKeyCallbackExample.go:78:28:78:35 | callback [Reverse] | semmle.label | callback [Reverse] |
65+
| InsecureHostKeyCallbackExample.go:78:28:78:35 | callback [Reverse] | semmle.label | callback [Reverse] |
3266
| InsecureHostKeyCallbackExample.go:92:28:92:54 | call to InsecureIgnoreHostKey | semmle.label | call to InsecureIgnoreHostKey |
3367
| InsecureHostKeyCallbackExample.go:94:3:94:43 | ... := ...[0] | semmle.label | ... := ...[0] |
3468
| InsecureHostKeyCallbackExample.go:95:28:95:35 | callback | semmle.label | callback |
3569
| InsecureHostKeyCallbackExample.go:102:22:105:4 | type conversion | semmle.label | type conversion |
3670
| InsecureHostKeyCallbackExample.go:103:3:105:3 | function literal | semmle.label | function literal |
3771
| InsecureHostKeyCallbackExample.go:107:35:107:50 | insecureCallback | semmle.label | insecureCallback |
72+
| InsecureHostKeyCallbackExample.go:109:2:109:26 | definition of potentiallySecureCallback | semmle.label | definition of potentiallySecureCallback |
3873
| InsecureHostKeyCallbackExample.go:109:31:115:4 | type conversion | semmle.label | type conversion |
3974
| InsecureHostKeyCallbackExample.go:110:3:115:3 | function literal | semmle.label | function literal |
4075
| InsecureHostKeyCallbackExample.go:117:35:117:59 | potentiallySecureCallback | semmle.label | potentiallySecureCallback |

0 commit comments

Comments
 (0)