Skip to content

Commit 18a3f35

Browse files
lcarteylcartey
authored
Merge pull request #742 from github/codeql/upgrade-to-2.16.6
Upgrade `github/codeql` dependency to 2.16.6
2 parents d48d3f7 + bdd3865 commit 18a3f35

File tree

66 files changed

+408
-561
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

66 files changed

+408
-561
lines changed

‎c/cert/src/codeql-pack.lock.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,17 +2,17 @@
22
lockVersion: 1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version: 0.12.2
5+
version: 0.12.9
66
codeql/dataflow:
7-
version: 0.1.5
7+
version: 0.2.3
88
codeql/rangeanalysis:
9-
version: 0.0.4
9+
version: 0.0.11
1010
codeql/ssa:
11-
version: 0.2.5
11+
version: 0.2.12
1212
codeql/tutorial:
13-
version: 0.2.5
13+
version: 0.2.12
1414
codeql/typetracking:
15-
version: 0.2.5
15+
version: 0.2.12
1616
codeql/util:
17-
version: 0.2.5
17+
version: 0.2.12
1818
compiled: false

‎c/cert/src/qlpack.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,4 +5,4 @@ suites: codeql-suites
55
license: MIT
66
dependencies:
77
codeql/common-c-coding-standards: '*'
8-
codeql/cpp-all: 0.12.2
8+
codeql/cpp-all: 0.12.9

‎c/cert/test/codeql-pack.lock.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,17 +2,17 @@
22
lockVersion: 1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version: 0.12.2
5+
version: 0.12.9
66
codeql/dataflow:
7-
version: 0.1.5
7+
version: 0.2.3
88
codeql/rangeanalysis:
9-
version: 0.0.4
9+
version: 0.0.11
1010
codeql/ssa:
11-
version: 0.2.5
11+
version: 0.2.12
1212
codeql/tutorial:
13-
version: 0.2.5
13+
version: 0.2.12
1414
codeql/typetracking:
15-
version: 0.2.5
15+
version: 0.2.12
1616
codeql/util:
17-
version: 0.2.5
17+
version: 0.2.12
1818
compiled: false

‎c/cert/test/rules/ARR37-C/DoNotUsePointerArithmeticOnNonArrayObjectPointers.expected‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
edges
2-
| test.c:14:38:14:39 | p1 | test.c:18:10:18:11 | v1 |
3-
| test.c:14:38:14:39 | p1 | test.c:19:10:19:11 | v2 |
4-
| test.c:14:38:14:39 | p1 | test.c:20:10:20:11 | p1 |
5-
| test.c:14:38:14:39 | p1 | test.c:21:10:21:11 | p1 |
6-
| test.c:14:38:14:39 | p1 | test.c:22:9:22:10 | p1 |
7-
| test.c:14:38:14:39 | p1 | test.c:23:13:23:14 | p1 |
8-
| test.c:14:38:14:39 | p1 | test.c:24:9:24:10 | p1 |
9-
| test.c:14:38:14:39 | p1 | test.c:25:9:25:10 | p1 |
10-
| test.c:51:30:51:38 | & ... | test.c:14:38:14:39 | p1 |
2+
| test.c:14:38:14:39 | p1 | test.c:18:10:18:11 | v1 | provenance | |
3+
| test.c:14:38:14:39 | p1 | test.c:19:10:19:11 | v2 | provenance | |
4+
| test.c:14:38:14:39 | p1 | test.c:20:10:20:11 | p1 | provenance | |
5+
| test.c:14:38:14:39 | p1 | test.c:21:10:21:11 | p1 | provenance | |
6+
| test.c:14:38:14:39 | p1 | test.c:22:9:22:10 | p1 | provenance | |
7+
| test.c:14:38:14:39 | p1 | test.c:23:13:23:14 | p1 | provenance | |
8+
| test.c:14:38:14:39 | p1 | test.c:24:9:24:10 | p1 | provenance | |
9+
| test.c:14:38:14:39 | p1 | test.c:25:9:25:10 | p1 | provenance | |
10+
| test.c:51:30:51:38 | & ... | test.c:14:38:14:39 | p1 | provenance | |
1111
nodes
1212
| test.c:14:38:14:39 | p1 | semmle.label | p1 |
1313
| test.c:18:10:18:11 | v1 | semmle.label | v1 |

‎c/cert/test/rules/ARR39-C/DoNotAddOrSubtractAScaledIntegerToAPointer.expected‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
edges
2-
| test.c:7:13:7:14 | p1 | test.c:9:9:9:10 | p1 |
3-
| test.c:16:19:16:41 | ... - ... | test.c:18:26:18:31 | offset |
4-
| test.c:16:19:16:41 | ... - ... | test.c:29:6:29:11 | offset |
5-
| test.c:17:17:17:26 | sizeof(<expr>) | test.c:23:9:23:12 | size |
6-
| test.c:29:6:29:11 | offset | test.c:7:13:7:14 | p1 |
2+
| test.c:7:13:7:14 | p1 | test.c:9:9:9:10 | p1 | provenance | |
3+
| test.c:16:19:16:41 | ... - ... | test.c:18:26:18:31 | offset | provenance | |
4+
| test.c:16:19:16:41 | ... - ... | test.c:29:6:29:11 | offset | provenance | |
5+
| test.c:17:17:17:26 | sizeof(<expr>) | test.c:23:9:23:12 | size | provenance | |
6+
| test.c:29:6:29:11 | offset | test.c:7:13:7:14 | p1 | provenance | |
77
nodes
88
| test.c:7:13:7:14 | p1 | semmle.label | p1 |
99
| test.c:9:9:9:10 | p1 | semmle.label | p1 |

‎c/cert/test/rules/EXP36-C/DoNotCastPointerToMoreStrictlyAlignedPointerType.expected‎

Lines changed: 63 additions & 63 deletions
Original file line numberDiff line numberDiff line change
@@ -1,67 +1,67 @@
11
edges
2-
| test.c:75:14:75:16 | & ... | test.c:76:11:76:12 | v1 |
3-
| test.c:75:14:75:16 | & ... | test.c:77:12:77:13 | v1 |
4-
| test.c:75:14:75:16 | & ... | test.c:78:10:78:11 | v1 |
5-
| test.c:75:14:75:16 | & ... | test.c:79:12:79:13 | v1 |
6-
| test.c:75:14:75:16 | & ... | test.c:80:11:80:12 | v1 |
7-
| test.c:75:14:75:16 | & ... | test.c:81:13:81:14 | v1 |
8-
| test.c:84:14:84:16 | & ... | test.c:85:11:85:12 | v2 |
9-
| test.c:84:14:84:16 | & ... | test.c:86:12:86:13 | v2 |
10-
| test.c:84:14:84:16 | & ... | test.c:87:10:87:11 | v2 |
11-
| test.c:84:14:84:16 | & ... | test.c:88:12:88:13 | v2 |
12-
| test.c:84:14:84:16 | & ... | test.c:89:11:89:12 | v2 |
13-
| test.c:84:14:84:16 | & ... | test.c:90:13:90:14 | v2 |
14-
| test.c:93:14:93:16 | & ... | test.c:94:11:94:12 | v3 |
15-
| test.c:93:14:93:16 | & ... | test.c:95:12:95:13 | v3 |
16-
| test.c:93:14:93:16 | & ... | test.c:96:10:96:11 | v3 |
17-
| test.c:93:14:93:16 | & ... | test.c:97:12:97:13 | v3 |
18-
| test.c:93:14:93:16 | & ... | test.c:98:11:98:12 | v3 |
19-
| test.c:93:14:93:16 | & ... | test.c:99:13:99:14 | v3 |
20-
| test.c:102:14:102:16 | & ... | test.c:103:11:103:12 | v4 |
21-
| test.c:102:14:102:16 | & ... | test.c:104:12:104:13 | v4 |
22-
| test.c:102:14:102:16 | & ... | test.c:105:10:105:11 | v4 |
23-
| test.c:102:14:102:16 | & ... | test.c:106:12:106:13 | v4 |
24-
| test.c:102:14:102:16 | & ... | test.c:107:11:107:12 | v4 |
25-
| test.c:102:14:102:16 | & ... | test.c:108:13:108:14 | v4 |
26-
| test.c:111:14:111:16 | & ... | test.c:112:11:112:12 | v5 |
27-
| test.c:111:14:111:16 | & ... | test.c:113:12:113:13 | v5 |
28-
| test.c:111:14:111:16 | & ... | test.c:114:10:114:11 | v5 |
29-
| test.c:111:14:111:16 | & ... | test.c:115:12:115:13 | v5 |
30-
| test.c:111:14:111:16 | & ... | test.c:116:11:116:12 | v5 |
31-
| test.c:111:14:111:16 | & ... | test.c:117:13:117:14 | v5 |
32-
| test.c:120:14:120:16 | & ... | test.c:121:11:121:12 | v6 |
33-
| test.c:120:14:120:16 | & ... | test.c:122:12:122:13 | v6 |
34-
| test.c:120:14:120:16 | & ... | test.c:123:10:123:11 | v6 |
35-
| test.c:120:14:120:16 | & ... | test.c:124:12:124:13 | v6 |
36-
| test.c:120:14:120:16 | & ... | test.c:125:11:125:12 | v6 |
37-
| test.c:120:14:120:16 | & ... | test.c:126:13:126:14 | v6 |
38-
| test.c:129:22:129:22 | v | test.c:130:17:130:17 | v |
39-
| test.c:135:21:135:23 | & ... | test.c:129:22:129:22 | v |
40-
| test.c:138:21:138:23 | & ... | test.c:129:22:129:22 | v |
41-
| test.c:166:24:166:29 | call to malloc | test.c:167:13:167:15 | & ... |
42-
| test.c:166:24:166:29 | call to malloc | test.c:168:16:168:17 | s1 |
43-
| test.c:166:24:166:29 | call to malloc | test.c:169:13:169:14 | s1 |
44-
| test.c:166:24:166:29 | call to malloc | test.c:169:13:169:14 | s1 |
45-
| test.c:169:13:169:14 | s1 | test.c:129:22:129:22 | v |
46-
| test.c:174:13:174:14 | s2 | test.c:129:22:129:22 | v |
47-
| test.c:179:13:179:14 | s3 | test.c:129:22:129:22 | v |
48-
| test.c:183:14:183:26 | call to aligned_alloc | test.c:184:11:184:12 | v1 |
49-
| test.c:183:14:183:26 | call to aligned_alloc | test.c:185:10:185:11 | v1 |
50-
| test.c:183:14:183:26 | call to aligned_alloc | test.c:186:13:186:14 | v1 |
51-
| test.c:183:14:183:26 | call to aligned_alloc | test.c:187:13:187:14 | v1 |
52-
| test.c:187:13:187:14 | v1 | test.c:129:22:129:22 | v |
53-
| test.c:189:14:189:26 | call to aligned_alloc | test.c:190:13:190:14 | v2 |
54-
| test.c:190:13:190:14 | v2 | test.c:129:22:129:22 | v |
55-
| test.c:222:8:222:9 | p2 | test.c:223:11:223:12 | v1 |
56-
| test.c:222:8:222:9 | p2 | test.c:224:12:224:13 | v1 |
57-
| test.c:222:8:222:9 | p2 | test.c:225:10:225:11 | v1 |
58-
| test.c:222:8:222:9 | p2 | test.c:226:12:226:13 | v1 |
59-
| test.c:222:8:222:9 | p2 | test.c:227:11:227:12 | v1 |
60-
| test.c:222:8:222:9 | p2 | test.c:228:13:228:14 | v1 |
61-
| test.c:238:13:238:14 | & ... | test.c:244:12:244:13 | ip |
62-
| test.c:241:15:241:18 | & ... | test.c:247:9:247:12 | & ... |
63-
| test.c:252:16:252:18 | & ... | test.c:254:11:254:13 | ps1 |
64-
| test.c:252:16:252:18 | & ... | test.c:256:10:256:12 | ps1 |
2+
| test.c:75:14:75:16 | & ... | test.c:76:11:76:12 | v1 | provenance | |
3+
| test.c:75:14:75:16 | & ... | test.c:77:12:77:13 | v1 | provenance | |
4+
| test.c:75:14:75:16 | & ... | test.c:78:10:78:11 | v1 | provenance | |
5+
| test.c:75:14:75:16 | & ... | test.c:79:12:79:13 | v1 | provenance | |
6+
| test.c:75:14:75:16 | & ... | test.c:80:11:80:12 | v1 | provenance | |
7+
| test.c:75:14:75:16 | & ... | test.c:81:13:81:14 | v1 | provenance | |
8+
| test.c:84:14:84:16 | & ... | test.c:85:11:85:12 | v2 | provenance | |
9+
| test.c:84:14:84:16 | & ... | test.c:86:12:86:13 | v2 | provenance | |
10+
| test.c:84:14:84:16 | & ... | test.c:87:10:87:11 | v2 | provenance | |
11+
| test.c:84:14:84:16 | & ... | test.c:88:12:88:13 | v2 | provenance | |
12+
| test.c:84:14:84:16 | & ... | test.c:89:11:89:12 | v2 | provenance | |
13+
| test.c:84:14:84:16 | & ... | test.c:90:13:90:14 | v2 | provenance | |
14+
| test.c:93:14:93:16 | & ... | test.c:94:11:94:12 | v3 | provenance | |
15+
| test.c:93:14:93:16 | & ... | test.c:95:12:95:13 | v3 | provenance | |
16+
| test.c:93:14:93:16 | & ... | test.c:96:10:96:11 | v3 | provenance | |
17+
| test.c:93:14:93:16 | & ... | test.c:97:12:97:13 | v3 | provenance | |
18+
| test.c:93:14:93:16 | & ... | test.c:98:11:98:12 | v3 | provenance | |
19+
| test.c:93:14:93:16 | & ... | test.c:99:13:99:14 | v3 | provenance | |
20+
| test.c:102:14:102:16 | & ... | test.c:103:11:103:12 | v4 | provenance | |
21+
| test.c:102:14:102:16 | & ... | test.c:104:12:104:13 | v4 | provenance | |
22+
| test.c:102:14:102:16 | & ... | test.c:105:10:105:11 | v4 | provenance | |
23+
| test.c:102:14:102:16 | & ... | test.c:106:12:106:13 | v4 | provenance | |
24+
| test.c:102:14:102:16 | & ... | test.c:107:11:107:12 | v4 | provenance | |
25+
| test.c:102:14:102:16 | & ... | test.c:108:13:108:14 | v4 | provenance | |
26+
| test.c:111:14:111:16 | & ... | test.c:112:11:112:12 | v5 | provenance | |
27+
| test.c:111:14:111:16 | & ... | test.c:113:12:113:13 | v5 | provenance | |
28+
| test.c:111:14:111:16 | & ... | test.c:114:10:114:11 | v5 | provenance | |
29+
| test.c:111:14:111:16 | & ... | test.c:115:12:115:13 | v5 | provenance | |
30+
| test.c:111:14:111:16 | & ... | test.c:116:11:116:12 | v5 | provenance | |
31+
| test.c:111:14:111:16 | & ... | test.c:117:13:117:14 | v5 | provenance | |
32+
| test.c:120:14:120:16 | & ... | test.c:121:11:121:12 | v6 | provenance | |
33+
| test.c:120:14:120:16 | & ... | test.c:122:12:122:13 | v6 | provenance | |
34+
| test.c:120:14:120:16 | & ... | test.c:123:10:123:11 | v6 | provenance | |
35+
| test.c:120:14:120:16 | & ... | test.c:124:12:124:13 | v6 | provenance | |
36+
| test.c:120:14:120:16 | & ... | test.c:125:11:125:12 | v6 | provenance | |
37+
| test.c:120:14:120:16 | & ... | test.c:126:13:126:14 | v6 | provenance | |
38+
| test.c:129:22:129:22 | v | test.c:130:17:130:17 | v | provenance | |
39+
| test.c:135:21:135:23 | & ... | test.c:129:22:129:22 | v | provenance | |
40+
| test.c:138:21:138:23 | & ... | test.c:129:22:129:22 | v | provenance | |
41+
| test.c:166:24:166:29 | call to malloc | test.c:167:13:167:15 | & ... | provenance | |
42+
| test.c:166:24:166:29 | call to malloc | test.c:168:16:168:17 | s1 | provenance | |
43+
| test.c:166:24:166:29 | call to malloc | test.c:169:13:169:14 | s1 | provenance | |
44+
| test.c:166:24:166:29 | call to malloc | test.c:169:13:169:14 | s1 | provenance | |
45+
| test.c:169:13:169:14 | s1 | test.c:129:22:129:22 | v | provenance | |
46+
| test.c:174:13:174:14 | s2 | test.c:129:22:129:22 | v | provenance | |
47+
| test.c:179:13:179:14 | s3 | test.c:129:22:129:22 | v | provenance | |
48+
| test.c:183:14:183:26 | call to aligned_alloc | test.c:184:11:184:12 | v1 | provenance | |
49+
| test.c:183:14:183:26 | call to aligned_alloc | test.c:185:10:185:11 | v1 | provenance | |
50+
| test.c:183:14:183:26 | call to aligned_alloc | test.c:186:13:186:14 | v1 | provenance | |
51+
| test.c:183:14:183:26 | call to aligned_alloc | test.c:187:13:187:14 | v1 | provenance | |
52+
| test.c:187:13:187:14 | v1 | test.c:129:22:129:22 | v | provenance | |
53+
| test.c:189:14:189:26 | call to aligned_alloc | test.c:190:13:190:14 | v2 | provenance | |
54+
| test.c:190:13:190:14 | v2 | test.c:129:22:129:22 | v | provenance | |
55+
| test.c:222:8:222:9 | p2 | test.c:223:11:223:12 | v1 | provenance | |
56+
| test.c:222:8:222:9 | p2 | test.c:224:12:224:13 | v1 | provenance | |
57+
| test.c:222:8:222:9 | p2 | test.c:225:10:225:11 | v1 | provenance | |
58+
| test.c:222:8:222:9 | p2 | test.c:226:12:226:13 | v1 | provenance | |
59+
| test.c:222:8:222:9 | p2 | test.c:227:11:227:12 | v1 | provenance | |
60+
| test.c:222:8:222:9 | p2 | test.c:228:13:228:14 | v1 | provenance | |
61+
| test.c:238:13:238:14 | & ... | test.c:244:12:244:13 | ip | provenance | |
62+
| test.c:241:15:241:18 | & ... | test.c:247:9:247:12 | & ... | provenance | |
63+
| test.c:252:16:252:18 | & ... | test.c:254:11:254:13 | ps1 | provenance | |
64+
| test.c:252:16:252:18 | & ... | test.c:256:10:256:12 | ps1 | provenance | |
6565
nodes
6666
| test.c:7:11:7:13 | & ... | semmle.label | & ... |
6767
| test.c:8:12:8:14 | & ... | semmle.label | & ... |

‎c/cert/test/rules/EXP37-C/DoNotCallFunctionPointerWithIncompatibleType.expected‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
edges
2-
| test.c:48:68:48:70 | fns [f1] | test.c:49:3:49:5 | fns [f1] |
3-
| test.c:49:3:49:5 | fns [f1] | test.c:49:8:49:9 | f1 |
4-
| test.c:61:28:61:29 | f2 | test.c:62:3:62:11 | v1_called |
5-
| test.c:73:3:73:5 | fns [post update] [f1] | test.c:75:45:75:48 | & ... [f1] |
6-
| test.c:73:3:73:13 | ... = ... | test.c:73:3:73:5 | fns [post update] [f1] |
7-
| test.c:73:12:73:13 | v2 | test.c:73:3:73:13 | ... = ... |
8-
| test.c:75:45:75:48 | & ... [f1] | test.c:48:68:48:70 | fns [f1] |
2+
| test.c:48:68:48:70 | fns [f1] | test.c:49:3:49:5 | fns [f1] | provenance | |
3+
| test.c:49:3:49:5 | fns [f1] | test.c:49:8:49:9 | f1 | provenance | |
4+
| test.c:61:28:61:29 | f2 | test.c:62:3:62:11 | v1_called | provenance | |
5+
| test.c:73:3:73:5 | fns [post update] [f1] | test.c:75:45:75:48 | & ... [f1] | provenance | |
6+
| test.c:73:3:73:13 | ... = ... | test.c:73:3:73:5 | fns [post update] [f1] | provenance | |
7+
| test.c:73:12:73:13 | v2 | test.c:73:3:73:13 | ... = ... | provenance | |
8+
| test.c:75:45:75:48 | & ... [f1] | test.c:48:68:48:70 | fns [f1] | provenance | |
99
nodes
1010
| test.c:48:68:48:70 | fns [f1] | semmle.label | fns [f1] |
1111
| test.c:49:3:49:5 | fns [f1] | semmle.label | fns [f1] |

‎c/cert/test/rules/EXP39-C/DoNotAccessVariableViaPointerOfIncompatibleType.expected‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
edges
2-
| test.c:49:8:49:9 | s3 | test.c:50:8:50:9 | s1 |
3-
| test.c:60:16:60:18 | E1A | test.c:61:16:61:17 | e1 |
4-
| test.c:60:16:60:18 | E1A | test.c:65:10:65:12 | & ... |
5-
| test.c:68:22:68:22 | v | test.c:68:41:68:41 | v |
6-
| test.c:72:13:72:15 | & ... | test.c:68:22:68:22 | v |
7-
| test.c:74:13:74:15 | & ... | test.c:68:22:68:22 | v |
8-
| test.c:97:32:97:37 | call to malloc | test.c:98:40:98:41 | s2 |
9-
| test.c:97:32:97:37 | call to malloc | test.c:98:40:98:41 | s2 |
10-
| test.c:98:32:98:38 | call to realloc | test.c:99:3:99:4 | s3 |
11-
| test.c:98:32:98:38 | call to realloc | test.c:100:10:100:11 | s3 |
12-
| test.c:98:40:98:41 | s2 | test.c:98:32:98:38 | call to realloc |
2+
| test.c:49:8:49:9 | s3 | test.c:50:8:50:9 | s1 | provenance | |
3+
| test.c:60:16:60:18 | E1A | test.c:61:16:61:17 | e1 | provenance | |
4+
| test.c:60:16:60:18 | E1A | test.c:65:10:65:12 | & ... | provenance | |
5+
| test.c:68:22:68:22 | v | test.c:68:41:68:41 | v | provenance | |
6+
| test.c:72:13:72:15 | & ... | test.c:68:22:68:22 | v | provenance | |
7+
| test.c:74:13:74:15 | & ... | test.c:68:22:68:22 | v | provenance | |
8+
| test.c:97:32:97:37 | call to malloc | test.c:98:40:98:41 | s2 | provenance | |
9+
| test.c:97:32:97:37 | call to malloc | test.c:98:40:98:41 | s2 | provenance | |
10+
| test.c:98:32:98:38 | call to realloc | test.c:99:3:99:4 | s3 | provenance | |
11+
| test.c:98:32:98:38 | call to realloc | test.c:100:10:100:11 | s3 | provenance | |
12+
| test.c:98:40:98:41 | s2 | test.c:98:32:98:38 | call to realloc | provenance | |
1313
nodes
1414
| test.c:6:19:6:20 | & ... | semmle.label | & ... |
1515
| test.c:11:10:11:11 | & ... | semmle.label | & ... |

‎c/cert/test/rules/EXP40-C/DoNotModifyConstantObjects.expected‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
edges
2-
| test.c:5:8:5:9 | & ... | test.c:6:4:6:5 | aa |
3-
| test.c:26:15:26:15 | a | test.c:27:4:27:4 | a |
4-
| test.c:34:13:34:14 | & ... | test.c:39:7:39:8 | p1 |
5-
| test.c:39:7:39:8 | p1 | test.c:26:15:26:15 | a |
6-
| test.c:40:7:40:9 | * ... | test.c:26:15:26:15 | a |
7-
| test.c:59:7:59:8 | & ... | test.c:60:4:60:4 | p |
8-
| test.c:79:11:79:16 | call to strchr | test.c:81:6:81:12 | ... ++ |
2+
| test.c:5:8:5:9 | & ... | test.c:6:4:6:5 | aa | provenance | |
3+
| test.c:26:15:26:15 | a | test.c:27:4:27:4 | a | provenance | |
4+
| test.c:34:13:34:14 | & ... | test.c:39:7:39:8 | p1 | provenance | |
5+
| test.c:39:7:39:8 | p1 | test.c:26:15:26:15 | a | provenance | |
6+
| test.c:40:7:40:9 | * ... | test.c:26:15:26:15 | a | provenance | |
7+
| test.c:59:7:59:8 | & ... | test.c:60:4:60:4 | p | provenance | |
8+
| test.c:79:11:79:16 | call to strchr | test.c:81:6:81:12 | ... ++ | provenance | |
99
nodes
1010
| test.c:5:8:5:9 | & ... | semmle.label | & ... |
1111
| test.c:6:4:6:5 | aa | semmle.label | aa |

‎c/cert/test/rules/FIO32-C/DoNotPerformFileOperationsOnDevices.expected‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
edges
2-
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | file_name indirection |
3-
| test.c:45:15:45:23 | scanf output argument | test.c:46:29:46:37 | file_name indirection |
2+
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | *file_name | provenance | |
3+
| test.c:45:15:45:23 | scanf output argument | test.c:46:29:46:37 | *file_name | provenance | |
44
nodes
55
| test.c:20:15:20:23 | scanf output argument | semmle.label | scanf output argument |
6-
| test.c:21:8:21:16 | file_name indirection | semmle.label | file_name indirection |
6+
| test.c:21:8:21:16 | *file_name | semmle.label | *file_name |
77
| test.c:45:15:45:23 | scanf output argument | semmle.label | scanf output argument |
8-
| test.c:46:29:46:37 | file_name indirection | semmle.label | file_name indirection |
8+
| test.c:46:29:46:37 | *file_name | semmle.label | *file_name |
99
subpaths
1010
#select
11-
| test.c:21:8:21:16 | file_name | test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | file_name indirection | This argument to a file access function is derived from $@ and then passed to func(file_name), which calls fopen((unnamed parameter 0)). | test.c:20:15:20:23 | scanf output argument | user input (value read by scanf) |
12-
| test.c:46:29:46:37 | file_name | test.c:45:15:45:23 | scanf output argument | test.c:46:29:46:37 | file_name indirection | This argument to a file access function is derived from $@ and then passed to CreateFile(lpFileName). | test.c:45:15:45:23 | scanf output argument | user input (value read by scanf) |
11+
| test.c:21:8:21:16 | file_name | test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | *file_name | This argument to a file access function is derived from $@ and then passed to func(file_name), which calls fopen((unnamed parameter 0)). | test.c:20:15:20:23 | scanf output argument | user input (value read by scanf) |
12+
| test.c:46:29:46:37 | file_name | test.c:45:15:45:23 | scanf output argument | test.c:46:29:46:37 | *file_name | This argument to a file access function is derived from $@ and then passed to CreateFile(lpFileName). | test.c:45:15:45:23 | scanf output argument | user input (value read by scanf) |

0 commit comments

Comments
 (0)