Skip to content

Commit 2170717

Browse files
jketemajketema
authored
Merge pull request github#526 from MathiasVP/add-empty-provenance-column
Accept changes from #15549
2 parents abc280a + dc13ffe commit 2170717

File tree

25 files changed

+222
-222
lines changed

25 files changed

+222
-222
lines changed

‎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: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
edges
2-
| test.c:20:15:20:23 | scanf output argument | test.c:21:8:21:16 | *file_name |
3-
| test.c:45:15:45:23 | scanf output argument | test.c:46:29:46:37 | *file_name |
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 |
66
| test.c:21:8:21:16 | *file_name | semmle.label | *file_name |

‎c/cert/test/rules/MEM36-C/DoNotModifyAlignmentOfMemoryWithRealloc.expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
edges
2-
| test.c:5:10:5:22 | call to aligned_alloc | test.c:15:8:15:28 | call to aligned_alloc_wrapper |
3-
| test.c:8:29:8:31 | ptr | test.c:8:64:8:66 | ptr |
4-
| test.c:15:8:15:28 | call to aligned_alloc_wrapper | test.c:16:24:16:25 | v1 |
5-
| test.c:16:24:16:25 | v1 | test.c:8:29:8:31 | ptr |
6-
| test.c:22:8:22:20 | call to aligned_alloc | test.c:23:16:23:17 | v3 |
2+
| test.c:5:10:5:22 | call to aligned_alloc | test.c:15:8:15:28 | call to aligned_alloc_wrapper | provenance | |
3+
| test.c:8:29:8:31 | ptr | test.c:8:64:8:66 | ptr | provenance | |
4+
| test.c:15:8:15:28 | call to aligned_alloc_wrapper | test.c:16:24:16:25 | v1 | provenance | |
5+
| test.c:16:24:16:25 | v1 | test.c:8:29:8:31 | ptr | provenance | |
6+
| test.c:22:8:22:20 | call to aligned_alloc | test.c:23:16:23:17 | v3 | provenance | |
77
nodes
88
| test.c:5:10:5:22 | call to aligned_alloc | semmle.label | call to aligned_alloc |
99
| test.c:8:29:8:31 | ptr | semmle.label | ptr |

‎c/common/test/rules/constlikereturnvalue/ConstLikeReturnValue.expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,11 @@ problems
33
| test.c:64:5:64:9 | conv4 | test.c:61:11:61:20 | call to localeconv | test.c:64:5:64:9 | conv4 | The object returned by the function localeconv should not be modified. |
44
| test.c:73:5:73:8 | conv | test.c:69:25:69:34 | call to localeconv | test.c:73:5:73:8 | conv | The object returned by the function localeconv should not be modified. |
55
edges
6-
| test.c:5:18:5:22 | c_str | test.c:8:8:8:12 | c_str |
7-
| test.c:15:16:15:21 | call to getenv | test.c:21:9:21:12 | env1 |
8-
| test.c:21:9:21:12 | env1 | test.c:5:18:5:22 | c_str |
9-
| test.c:61:11:61:20 | call to localeconv | test.c:64:5:64:9 | conv4 |
10-
| test.c:69:25:69:34 | call to localeconv | test.c:73:5:73:8 | conv |
6+
| test.c:5:18:5:22 | c_str | test.c:8:8:8:12 | c_str | provenance | |
7+
| test.c:15:16:15:21 | call to getenv | test.c:21:9:21:12 | env1 | provenance | |
8+
| test.c:21:9:21:12 | env1 | test.c:5:18:5:22 | c_str | provenance | |
9+
| test.c:61:11:61:20 | call to localeconv | test.c:64:5:64:9 | conv4 | provenance | |
10+
| test.c:69:25:69:34 | call to localeconv | test.c:73:5:73:8 | conv | provenance | |
1111
nodes
1212
| test.c:5:18:5:22 | c_str | semmle.label | c_str |
1313
| test.c:8:8:8:12 | c_str | semmle.label | c_str |

‎c/common/test/rules/donotsubtractpointersaddressingdifferentarrays/DoNotSubtractPointersAddressingDifferentArrays.expected

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@ problems
44
| test.c:13:10:13:11 | p4 | test.c:5:14:5:15 | l2 | test.c:13:10:13:11 | p4 | Subtraction between left operand pointing to array $@ and other operand pointing to array $@. | test.c:3:7:3:8 | l2 | l2 | test.c:2:7:2:8 | l1 | l1 |
55
| test.c:13:15:13:16 | l1 | test.c:13:15:13:16 | l1 | test.c:13:15:13:16 | l1 | Subtraction between right operand pointing to array $@ and other operand pointing to array $@. | test.c:2:7:2:8 | l1 | l1 | test.c:3:7:3:8 | l2 | l2 |
66
edges
7-
| test.c:4:14:4:15 | l1 | test.c:4:14:4:18 | access to array |
8-
| test.c:4:14:4:18 | access to array | test.c:10:10:10:11 | p1 |
9-
| test.c:4:14:4:18 | access to array | test.c:12:10:12:11 | p1 |
10-
| test.c:5:14:5:15 | l2 | test.c:5:14:5:19 | access to array |
11-
| test.c:5:14:5:19 | access to array | test.c:11:10:11:11 | p2 |
12-
| test.c:5:14:5:19 | access to array | test.c:12:15:12:16 | p2 |
13-
| test.c:5:14:5:19 | access to array | test.c:13:10:13:11 | p4 |
14-
| test.c:5:14:5:19 | access to array | test.c:14:10:14:11 | p4 |
7+
| test.c:4:14:4:15 | l1 | test.c:4:14:4:18 | access to array | provenance | |
8+
| test.c:4:14:4:18 | access to array | test.c:10:10:10:11 | p1 | provenance | |
9+
| test.c:4:14:4:18 | access to array | test.c:12:10:12:11 | p1 | provenance | |
10+
| test.c:5:14:5:15 | l2 | test.c:5:14:5:19 | access to array | provenance | |
11+
| test.c:5:14:5:19 | access to array | test.c:11:10:11:11 | p2 | provenance | |
12+
| test.c:5:14:5:19 | access to array | test.c:12:15:12:16 | p2 | provenance | |
13+
| test.c:5:14:5:19 | access to array | test.c:13:10:13:11 | p4 | provenance | |
14+
| test.c:5:14:5:19 | access to array | test.c:14:10:14:11 | p4 | provenance | |
1515
nodes
1616
| test.c:4:14:4:15 | l1 | semmle.label | l1 |
1717
| test.c:4:14:4:18 | access to array | semmle.label | access to array |

0 commit comments

Comments
 (0)