Skip to content

Commit 6f08790

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent 2cbc59b commit 6f08790

File tree

27 files changed

+592
-245
lines changed

27 files changed

+592
-245
lines changed

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

Lines changed: 197 additions & 51 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/query-tests/Critical/MemoryFreed/UseAfterFree.expected

Lines changed: 10 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,18 +9,22 @@ edges
99
| test_free.cpp:95:10:95:10 | pointer to free output argument | test_free.cpp:96:9:96:9 | a | provenance | |
1010
| test_free.cpp:101:10:101:10 | pointer to free output argument | test_free.cpp:102:23:102:23 | a | provenance | |
1111
| test_free.cpp:152:27:152:27 | pointer to free output argument | test_free.cpp:153:5:153:5 | a | provenance | |
12-
| test_free.cpp:233:14:233:15 | pointer to free output argument | test_free.cpp:236:9:236:10 | * ... | provenance | |
13-
| test_free.cpp:239:14:239:15 | pointer to free output argument | test_free.cpp:241:9:241:10 | * ... | provenance | |
12+
| test_free.cpp:233:14:233:15 | pointer to free output argument | test_free.cpp:234:9:234:11 | *... ++ | provenance | |
13+
| test_free.cpp:234:9:234:11 | *... ++ | test_free.cpp:236:9:236:10 | * ... | provenance | |
14+
| test_free.cpp:238:15:238:17 | *... ++ | test_free.cpp:238:15:238:17 | *... ++ | provenance | |
15+
| test_free.cpp:238:15:238:17 | *... ++ | test_free.cpp:241:9:241:10 | * ... | provenance | |
16+
| test_free.cpp:239:14:239:15 | pointer to free output argument | test_free.cpp:238:15:238:17 | *... ++ | provenance | |
1417
| test_free.cpp:245:10:245:11 | pointer to free output argument | test_free.cpp:246:9:246:10 | * ... | provenance | |
1518
| test_free.cpp:277:8:277:8 | *s [post update] [buf] | test_free.cpp:278:12:278:12 | *s [buf] | provenance | |
1619
| test_free.cpp:277:8:277:13 | pointer to free output argument | test_free.cpp:277:8:277:8 | *s [post update] [buf] | provenance | |
1720
| test_free.cpp:278:12:278:12 | *s [buf] | test_free.cpp:278:15:278:17 | buf | provenance | |
1821
| test_free.cpp:282:8:282:8 | *s [post update] [buf] | test_free.cpp:283:12:283:12 | *s [buf] | provenance | |
1922
| test_free.cpp:282:8:282:12 | pointer to free output argument | test_free.cpp:282:8:282:8 | *s [post update] [buf] | provenance | |
2023
| test_free.cpp:283:12:283:12 | *s [buf] | test_free.cpp:283:14:283:16 | buf | provenance | |
21-
| test_free.cpp:293:8:293:10 | pointer to free output argument | test_free.cpp:294:3:294:13 | ... = ... | provenance | |
24+
| test_free.cpp:293:8:293:10 | pointer to free output argument | test_free.cpp:294:11:294:13 | buf | provenance | |
2225
| test_free.cpp:294:3:294:3 | *s [post update] [buf] | test_free.cpp:295:12:295:12 | *s [buf] | provenance | |
2326
| test_free.cpp:294:3:294:13 | ... = ... | test_free.cpp:294:3:294:3 | *s [post update] [buf] | provenance | |
27+
| test_free.cpp:294:11:294:13 | buf | test_free.cpp:294:3:294:13 | ... = ... | provenance | |
2428
| test_free.cpp:295:12:295:12 | *s [buf] | test_free.cpp:295:14:295:16 | buf | provenance | |
2529
nodes
2630
| test_free.cpp:11:10:11:10 | pointer to free output argument | semmle.label | pointer to free output argument |
@@ -43,7 +47,9 @@ nodes
4347
| test_free.cpp:152:27:152:27 | pointer to free output argument | semmle.label | pointer to free output argument |
4448
| test_free.cpp:153:5:153:5 | a | semmle.label | a |
4549
| test_free.cpp:233:14:233:15 | pointer to free output argument | semmle.label | pointer to free output argument |
50+
| test_free.cpp:234:9:234:11 | *... ++ | semmle.label | *... ++ |
4651
| test_free.cpp:236:9:236:10 | * ... | semmle.label | * ... |
52+
| test_free.cpp:238:15:238:17 | *... ++ | semmle.label | *... ++ |
4753
| test_free.cpp:239:14:239:15 | pointer to free output argument | semmle.label | pointer to free output argument |
4854
| test_free.cpp:241:9:241:10 | * ... | semmle.label | * ... |
4955
| test_free.cpp:245:10:245:11 | pointer to free output argument | semmle.label | pointer to free output argument |
@@ -59,6 +65,7 @@ nodes
5965
| test_free.cpp:293:8:293:10 | pointer to free output argument | semmle.label | pointer to free output argument |
6066
| test_free.cpp:294:3:294:3 | *s [post update] [buf] | semmle.label | *s [post update] [buf] |
6167
| test_free.cpp:294:3:294:13 | ... = ... | semmle.label | ... = ... |
68+
| test_free.cpp:294:11:294:13 | buf | semmle.label | buf |
6269
| test_free.cpp:295:12:295:12 | *s [buf] | semmle.label | *s [buf] |
6370
| test_free.cpp:295:14:295:16 | buf | semmle.label | buf |
6471
subpaths

‎cpp/ql/test/query-tests/Security/CWE/CWE-022/semmle/tests/TaintedPath.expected

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,16 @@
11
edges
2-
| test.c:8:27:8:30 | **argv | test.c:17:11:17:18 | *fileName | provenance | TaintFunction |
3-
| test.c:8:27:8:30 | **argv | test.c:32:11:32:18 | *fileName | provenance | |
2+
| test.c:8:27:8:30 | **argv | test.c:9:23:9:29 | *access to array | provenance | |
3+
| test.c:8:27:8:30 | **argv | test.c:31:22:31:28 | *access to array | provenance | |
44
| test.c:8:27:8:30 | **argv | test.c:57:10:57:16 | *access to array | provenance | |
5+
| test.c:9:23:9:29 | *access to array | test.c:17:11:17:18 | *fileName | provenance | TaintFunction |
6+
| test.c:31:22:31:28 | *access to array | test.c:32:11:32:18 | *fileName | provenance | |
57
| test.c:37:17:37:24 | scanf output argument | test.c:38:11:38:18 | *fileName | provenance | |
68
| test.c:43:17:43:24 | scanf output argument | test.c:44:11:44:18 | *fileName | provenance | |
79
nodes
810
| test.c:8:27:8:30 | **argv | semmle.label | **argv |
11+
| test.c:9:23:9:29 | *access to array | semmle.label | *access to array |
912
| test.c:17:11:17:18 | *fileName | semmle.label | *fileName |
13+
| test.c:31:22:31:28 | *access to array | semmle.label | *access to array |
1014
| test.c:32:11:32:18 | *fileName | semmle.label | *fileName |
1115
| test.c:37:17:37:24 | scanf output argument | semmle.label | scanf output argument |
1216
| test.c:38:11:38:18 | *fileName | semmle.label | *fileName |

‎cpp/ql/test/query-tests/Security/CWE/CWE-078/SAMATE/ExecTainted/ExecTainted.expected

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,16 @@
11
edges
22
| tests.cpp:26:15:26:23 | **badSource | tests.cpp:51:12:51:20 | *call to badSource | provenance | |
33
| tests.cpp:33:34:33:39 | *call to getenv | tests.cpp:38:39:38:49 | *environment | provenance | |
4-
| tests.cpp:38:25:38:36 | strncat output argument | tests.cpp:26:15:26:23 | **badSource | provenance | |
4+
| tests.cpp:38:25:38:36 | strncat output argument | tests.cpp:42:12:42:15 | *data | provenance | |
55
| tests.cpp:38:39:38:49 | *environment | tests.cpp:38:25:38:36 | strncat output argument | provenance | |
6+
| tests.cpp:42:12:42:15 | *data | tests.cpp:26:15:26:23 | **badSource | provenance | |
67
| tests.cpp:51:12:51:20 | *call to badSource | tests.cpp:53:16:53:19 | *data | provenance | |
78
nodes
89
| tests.cpp:26:15:26:23 | **badSource | semmle.label | **badSource |
910
| tests.cpp:33:34:33:39 | *call to getenv | semmle.label | *call to getenv |
1011
| tests.cpp:38:25:38:36 | strncat output argument | semmle.label | strncat output argument |
1112
| tests.cpp:38:39:38:49 | *environment | semmle.label | *environment |
13+
| tests.cpp:42:12:42:15 | *data | semmle.label | *data |
1214
| tests.cpp:51:12:51:20 | *call to badSource | semmle.label | *call to badSource |
1315
| tests.cpp:53:16:53:19 | *data | semmle.label | *data |
1416
subpaths

‎cpp/ql/test/query-tests/Security/CWE/CWE-078/semmle/ExecTainted/ExecTainted.expected

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
edges
2-
| test.cpp:15:27:15:30 | **argv | test.cpp:22:45:22:52 | *userName | provenance | |
2+
| test.cpp:15:27:15:30 | **argv | test.cpp:16:20:16:26 | *access to array | provenance | |
3+
| test.cpp:16:20:16:26 | *access to array | test.cpp:22:45:22:52 | *userName | provenance | |
34
| test.cpp:22:13:22:20 | sprintf output argument | test.cpp:23:12:23:19 | *command1 | provenance | |
45
| test.cpp:22:45:22:52 | *userName | test.cpp:22:13:22:20 | sprintf output argument | provenance | |
56
| test.cpp:47:21:47:26 | *call to getenv | test.cpp:50:35:50:43 | *envCflags | provenance | |
@@ -66,6 +67,7 @@ edges
6667
| test.cpp:220:19:220:26 | *filename | test.cpp:220:19:220:26 | *filename | provenance | |
6768
nodes
6869
| test.cpp:15:27:15:30 | **argv | semmle.label | **argv |
70+
| test.cpp:16:20:16:26 | *access to array | semmle.label | *access to array |
6971
| test.cpp:22:13:22:20 | sprintf output argument | semmle.label | sprintf output argument |
7072
| test.cpp:22:45:22:52 | *userName | semmle.label | *userName |
7173
| test.cpp:23:12:23:19 | *command1 | semmle.label | *command1 |

‎cpp/ql/test/query-tests/Security/CWE/CWE-089/SqlTainted/SqlTainted.expected

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,24 @@
11
edges
2-
| test.c:14:27:14:30 | **argv | test.c:21:18:21:23 | *query1 | provenance | TaintFunction |
3-
| test.c:14:27:14:30 | **argv | test.c:35:16:35:23 | *userName | provenance | |
2+
| test.c:14:27:14:30 | **argv | test.c:15:20:15:26 | *access to array | provenance | |
3+
| test.c:15:20:15:26 | *access to array | test.c:21:18:21:23 | *query1 | provenance | TaintFunction |
4+
| test.c:15:20:15:26 | *access to array | test.c:35:16:35:23 | *userName | provenance | |
45
| test.c:35:16:35:23 | *userName | test.c:40:25:40:32 | *username | provenance | |
5-
| test.c:38:7:38:20 | **globalUsername | test.c:51:18:51:23 | *query1 | provenance | TaintFunction |
6-
| test.c:40:25:40:32 | *username | test.c:38:7:38:20 | **globalUsername | provenance | |
6+
| test.c:38:7:38:20 | **globalUsername | test.c:48:20:48:33 | *globalUsername | provenance | |
7+
| test.c:40:25:40:32 | *username | test.c:41:20:41:27 | *username | provenance | |
8+
| test.c:41:20:41:27 | *username | test.c:38:7:38:20 | **globalUsername | provenance | |
9+
| test.c:48:20:48:33 | *globalUsername | test.c:51:18:51:23 | *query1 | provenance | TaintFunction |
710
| test.c:75:8:75:16 | gets output argument | test.c:76:17:76:25 | *userInput | provenance | |
811
| test.c:75:8:75:16 | gets output argument | test.c:77:20:77:28 | *userInput | provenance | |
912
| test.cpp:39:27:39:30 | **argv | test.cpp:43:27:43:33 | *access to array | provenance | |
1013
nodes
1114
| test.c:14:27:14:30 | **argv | semmle.label | **argv |
15+
| test.c:15:20:15:26 | *access to array | semmle.label | *access to array |
1216
| test.c:21:18:21:23 | *query1 | semmle.label | *query1 |
1317
| test.c:35:16:35:23 | *userName | semmle.label | *userName |
1418
| test.c:38:7:38:20 | **globalUsername | semmle.label | **globalUsername |
1519
| test.c:40:25:40:32 | *username | semmle.label | *username |
20+
| test.c:41:20:41:27 | *username | semmle.label | *username |
21+
| test.c:48:20:48:33 | *globalUsername | semmle.label | *globalUsername |
1622
| test.c:51:18:51:23 | *query1 | semmle.label | *query1 |
1723
| test.c:75:8:75:16 | gets output argument | semmle.label | gets output argument |
1824
| test.c:76:17:76:25 | *userInput | semmle.label | *userInput |

‎cpp/ql/test/query-tests/Security/CWE/CWE-114/semmle/UncontrolledProcessOperation/UncontrolledProcessOperation.expected

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,13 @@ edges
33
| test.cpp:29:30:29:36 | *command | test.cpp:31:10:31:16 | *command | provenance | |
44
| test.cpp:42:18:42:34 | *call to getenv | test.cpp:24:30:24:36 | *command | provenance | |
55
| test.cpp:43:18:43:34 | *call to getenv | test.cpp:29:30:29:36 | *command | provenance | |
6-
| test.cpp:56:12:56:17 | fgets output argument | test.cpp:62:10:62:15 | *buffer | provenance | |
7-
| test.cpp:56:12:56:17 | fgets output argument | test.cpp:63:10:63:13 | *data | provenance | |
8-
| test.cpp:56:12:56:17 | fgets output argument | test.cpp:64:10:64:16 | *dataref | provenance | |
9-
| test.cpp:56:12:56:17 | fgets output argument | test.cpp:65:10:65:14 | *data2 | provenance | |
6+
| test.cpp:56:12:56:17 | fgets output argument | test.cpp:58:16:58:21 | *buffer | provenance | |
7+
| test.cpp:58:16:58:21 | *buffer | test.cpp:59:20:59:23 | **(reference to) | provenance | |
8+
| test.cpp:58:16:58:21 | *buffer | test.cpp:62:10:62:15 | *buffer | provenance | |
9+
| test.cpp:59:20:59:23 | **(reference to) | test.cpp:60:17:60:23 | *dataref | provenance | |
10+
| test.cpp:59:20:59:23 | **(reference to) | test.cpp:63:10:63:13 | *data | provenance | |
11+
| test.cpp:60:17:60:23 | *dataref | test.cpp:64:10:64:16 | *dataref | provenance | |
12+
| test.cpp:60:17:60:23 | *dataref | test.cpp:65:10:65:14 | *data2 | provenance | |
1013
| test.cpp:76:12:76:17 | fgets output argument | test.cpp:78:10:78:15 | *buffer | provenance | |
1114
| test.cpp:98:17:98:22 | recv output argument | test.cpp:99:15:99:20 | *buffer | provenance | |
1215
| test.cpp:106:17:106:22 | recv output argument | test.cpp:107:15:107:20 | *buffer | provenance | |
@@ -19,6 +22,9 @@ nodes
1922
| test.cpp:42:18:42:34 | *call to getenv | semmle.label | *call to getenv |
2023
| test.cpp:43:18:43:34 | *call to getenv | semmle.label | *call to getenv |
2124
| test.cpp:56:12:56:17 | fgets output argument | semmle.label | fgets output argument |
25+
| test.cpp:58:16:58:21 | *buffer | semmle.label | *buffer |
26+
| test.cpp:59:20:59:23 | **(reference to) | semmle.label | **(reference to) |
27+
| test.cpp:60:17:60:23 | *dataref | semmle.label | *dataref |
2228
| test.cpp:62:10:62:15 | *buffer | semmle.label | *buffer |
2329
| test.cpp:63:10:63:13 | *data | semmle.label | *data |
2430
| test.cpp:64:10:64:16 | *dataref | semmle.label | *dataref |

‎cpp/ql/test/query-tests/Security/CWE/CWE-119/SAMATE/OverrunWriteProductFlow.expected

Lines changed: 16 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,9 @@ edges
33
| test.cpp:18:5:18:7 | *str [post update] [string] | test.cpp:19:5:19:7 | *str [string] | provenance | |
44
| test.cpp:18:5:18:30 | ... = ... | test.cpp:18:5:18:7 | *str [post update] [string] | provenance | |
55
| test.cpp:18:19:18:24 | call to malloc | test.cpp:18:5:18:30 | ... = ... | provenance | |
6-
| test.cpp:19:5:19:7 | *str [string] | test.cpp:16:11:16:21 | **mk_string_t [string] | provenance | |
6+
| test.cpp:18:19:18:24 | call to malloc | test.cpp:18:19:18:24 | call to malloc | provenance | |
7+
| test.cpp:19:5:19:7 | *str [string] | test.cpp:20:12:20:14 | *str [string] | provenance | |
8+
| test.cpp:20:12:20:14 | *str [string] | test.cpp:16:11:16:21 | **mk_string_t [string] | provenance | |
79
| test.cpp:39:21:39:31 | *call to mk_string_t [string] | test.cpp:42:13:42:15 | *str [string] | provenance | |
810
| test.cpp:39:21:39:31 | *call to mk_string_t [string] | test.cpp:72:17:72:19 | *str [string] | provenance | |
911
| test.cpp:39:21:39:31 | *call to mk_string_t [string] | test.cpp:80:17:80:19 | *str [string] | provenance | |
@@ -14,7 +16,9 @@ edges
1416
| test.cpp:90:5:90:7 | *str [post update] [string] | test.cpp:91:5:91:7 | *str [string] | provenance | |
1517
| test.cpp:90:5:90:34 | ... = ... | test.cpp:90:5:90:7 | *str [post update] [string] | provenance | |
1618
| test.cpp:90:19:90:24 | call to malloc | test.cpp:90:5:90:34 | ... = ... | provenance | |
17-
| test.cpp:91:5:91:7 | *str [string] | test.cpp:88:11:88:30 | **mk_string_t_plus_one [string] | provenance | |
19+
| test.cpp:90:19:90:24 | call to malloc | test.cpp:90:19:90:24 | call to malloc | provenance | |
20+
| test.cpp:91:5:91:7 | *str [string] | test.cpp:92:12:92:14 | *str [string] | provenance | |
21+
| test.cpp:92:12:92:14 | *str [string] | test.cpp:88:11:88:30 | **mk_string_t_plus_one [string] | provenance | |
1822
| test.cpp:96:21:96:40 | *call to mk_string_t_plus_one [string] | test.cpp:99:13:99:15 | *str [string] | provenance | |
1923
| test.cpp:96:21:96:40 | *call to mk_string_t_plus_one [string] | test.cpp:129:17:129:19 | *str [string] | provenance | |
2024
| test.cpp:96:21:96:40 | *call to mk_string_t_plus_one [string] | test.cpp:137:17:137:19 | *str [string] | provenance | |
@@ -24,6 +28,7 @@ edges
2428
| test.cpp:147:5:147:7 | *str [post update] [string] | test.cpp:148:5:148:7 | *str [string] | provenance | |
2529
| test.cpp:147:5:147:34 | ... = ... | test.cpp:147:5:147:7 | *str [post update] [string] | provenance | |
2630
| test.cpp:147:19:147:24 | call to malloc | test.cpp:147:5:147:34 | ... = ... | provenance | |
31+
| test.cpp:147:19:147:24 | call to malloc | test.cpp:147:19:147:24 | call to malloc | provenance | |
2732
| test.cpp:148:5:148:7 | *str [string] | test.cpp:152:13:152:15 | *str [string] | provenance | |
2833
| test.cpp:148:5:148:7 | *str [string] | test.cpp:154:13:154:15 | *str [string] | provenance | |
2934
| test.cpp:148:5:148:7 | *str [string] | test.cpp:156:13:156:15 | *str [string] | provenance | |
@@ -46,15 +51,17 @@ edges
4651
| test.cpp:220:27:220:54 | call to malloc | test.cpp:222:15:222:20 | buffer | provenance | |
4752
| test.cpp:222:15:222:20 | buffer | test.cpp:214:24:214:24 | p | provenance | |
4853
| test.cpp:228:27:228:54 | call to malloc | test.cpp:232:10:232:15 | buffer | provenance | |
49-
| test.cpp:235:40:235:45 | buffer | test.cpp:236:5:236:26 | ... = ... | provenance | |
54+
| test.cpp:235:40:235:45 | buffer | test.cpp:236:21:236:26 | buffer | provenance | |
5055
| test.cpp:236:5:236:9 | *p_str [post update] [string] | test.cpp:235:27:235:31 | *p_str [string] | provenance | |
5156
| test.cpp:236:5:236:26 | ... = ... | test.cpp:236:5:236:9 | *p_str [post update] [string] | provenance | |
57+
| test.cpp:236:21:236:26 | buffer | test.cpp:236:5:236:26 | ... = ... | provenance | |
5258
| test.cpp:241:20:241:38 | call to malloc | test.cpp:242:22:242:27 | buffer | provenance | |
5359
| test.cpp:242:16:242:19 | set_string output argument [string] | test.cpp:243:12:243:14 | *str [string] | provenance | |
5460
| test.cpp:242:22:242:27 | buffer | test.cpp:235:40:235:45 | buffer | provenance | |
5561
| test.cpp:242:22:242:27 | buffer | test.cpp:242:16:242:19 | set_string output argument [string] | provenance | |
5662
| test.cpp:243:12:243:14 | *str [string] | test.cpp:243:12:243:21 | string | provenance | |
5763
| test.cpp:249:14:249:33 | call to my_alloc | test.cpp:250:12:250:12 | p | provenance | |
64+
| test.cpp:256:9:256:25 | call to malloc | test.cpp:256:9:256:25 | call to malloc | provenance | |
5865
| test.cpp:256:9:256:25 | call to malloc | test.cpp:257:12:257:12 | p | provenance | |
5966
| test.cpp:262:15:262:30 | call to malloc | test.cpp:266:12:266:12 | p | provenance | |
6067
| test.cpp:264:13:264:30 | call to malloc | test.cpp:266:12:266:12 | p | provenance | |
@@ -63,7 +70,9 @@ nodes
6370
| test.cpp:18:5:18:7 | *str [post update] [string] | semmle.label | *str [post update] [string] |
6471
| test.cpp:18:5:18:30 | ... = ... | semmle.label | ... = ... |
6572
| test.cpp:18:19:18:24 | call to malloc | semmle.label | call to malloc |
73+
| test.cpp:18:19:18:24 | call to malloc | semmle.label | call to malloc |
6674
| test.cpp:19:5:19:7 | *str [string] | semmle.label | *str [string] |
75+
| test.cpp:20:12:20:14 | *str [string] | semmle.label | *str [string] |
6776
| test.cpp:39:21:39:31 | *call to mk_string_t [string] | semmle.label | *call to mk_string_t [string] |
6877
| test.cpp:42:13:42:15 | *str [string] | semmle.label | *str [string] |
6978
| test.cpp:42:18:42:23 | string | semmle.label | string |
@@ -75,7 +84,9 @@ nodes
7584
| test.cpp:90:5:90:7 | *str [post update] [string] | semmle.label | *str [post update] [string] |
7685
| test.cpp:90:5:90:34 | ... = ... | semmle.label | ... = ... |
7786
| test.cpp:90:19:90:24 | call to malloc | semmle.label | call to malloc |
87+
| test.cpp:90:19:90:24 | call to malloc | semmle.label | call to malloc |
7888
| test.cpp:91:5:91:7 | *str [string] | semmle.label | *str [string] |
89+
| test.cpp:92:12:92:14 | *str [string] | semmle.label | *str [string] |
7990
| test.cpp:96:21:96:40 | *call to mk_string_t_plus_one [string] | semmle.label | *call to mk_string_t_plus_one [string] |
8091
| test.cpp:99:13:99:15 | *str [string] | semmle.label | *str [string] |
8192
| test.cpp:99:18:99:23 | string | semmle.label | string |
@@ -86,6 +97,7 @@ nodes
8697
| test.cpp:147:5:147:7 | *str [post update] [string] | semmle.label | *str [post update] [string] |
8798
| test.cpp:147:5:147:34 | ... = ... | semmle.label | ... = ... |
8899
| test.cpp:147:19:147:24 | call to malloc | semmle.label | call to malloc |
100+
| test.cpp:147:19:147:24 | call to malloc | semmle.label | call to malloc |
89101
| test.cpp:148:5:148:7 | *str [string] | semmle.label | *str [string] |
90102
| test.cpp:152:13:152:15 | *str [string] | semmle.label | *str [string] |
91103
| test.cpp:152:18:152:23 | string | semmle.label | string |
@@ -115,6 +127,7 @@ nodes
115127
| test.cpp:235:40:235:45 | buffer | semmle.label | buffer |
116128
| test.cpp:236:5:236:9 | *p_str [post update] [string] | semmle.label | *p_str [post update] [string] |
117129
| test.cpp:236:5:236:26 | ... = ... | semmle.label | ... = ... |
130+
| test.cpp:236:21:236:26 | buffer | semmle.label | buffer |
118131
| test.cpp:241:20:241:38 | call to malloc | semmle.label | call to malloc |
119132
| test.cpp:242:16:242:19 | set_string output argument [string] | semmle.label | set_string output argument [string] |
120133
| test.cpp:242:22:242:27 | buffer | semmle.label | buffer |

0 commit comments

Comments
 (0)