9
9
| A.cpp:31:14:31:21 | call to B [c] | A.cpp:31:14:31:21 | new [c] |
10
10
| A.cpp:31:20:31:20 | c | A.cpp:23:10:23:10 | c |
11
11
| A.cpp:31:20:31:20 | c | A.cpp:31:14:31:21 | call to B [c] |
12
- | A.cpp:41:15:41:21 | new | A.cpp:43:10:43:12 | & ... |
12
+ | A.cpp:41:5:41:6 | ref arg ct | A.cpp:43:11:43:12 | ct |
13
+ | A.cpp:41:15:41:21 | new | A.cpp:41:5:41:6 | ref arg ct |
14
+ | A.cpp:43:11:43:12 | ct | A.cpp:43:10:43:12 | & ... |
13
15
| A.cpp:47:12:47:18 | new | A.cpp:48:20:48:20 | c |
14
16
| A.cpp:48:12:48:18 | call to make [c] | A.cpp:49:10:49:10 | b [c] |
15
17
| A.cpp:48:20:48:20 | c | A.cpp:29:23:29:23 | c |
@@ -207,11 +209,12 @@ edges
207
209
| E.cpp:28:21:28:23 | ref arg raw | E.cpp:31:10:31:12 | raw |
208
210
| E.cpp:29:21:29:21 | b [post update] [buffer] | E.cpp:32:10:32:10 | b [buffer] |
209
211
| E.cpp:29:24:29:29 | ref arg buffer | E.cpp:29:21:29:21 | b [post update] [buffer] |
210
- | E.cpp:30:21:30:21 | p [post update] [data, buffer] | E.cpp:33:18 :33:19 | & ... [data, buffer] |
212
+ | E.cpp:30:21:30:21 | p [post update] [data, buffer] | E.cpp:33:19 :33:19 | p [data, buffer] |
211
213
| E.cpp:30:23:30:26 | data [post update] [buffer] | E.cpp:30:21:30:21 | p [post update] [data, buffer] |
212
214
| E.cpp:30:28:30:33 | ref arg buffer | E.cpp:30:23:30:26 | data [post update] [buffer] |
213
215
| E.cpp:32:10:32:10 | b [buffer] | E.cpp:32:13:32:18 | buffer |
214
216
| E.cpp:33:18:33:19 | & ... [data, buffer] | E.cpp:19:27:19:27 | p [data, buffer] |
217
+ | E.cpp:33:19:33:19 | p [data, buffer] | E.cpp:33:18:33:19 | & ... [data, buffer] |
215
218
| aliasing.cpp:8:23:8:23 | s [m1] | aliasing.cpp:25:17:25:19 | ref arg & ... [m1] |
216
219
| aliasing.cpp:9:3:9:3 | s [post update] [m1] | aliasing.cpp:8:23:8:23 | s [m1] |
217
220
| aliasing.cpp:9:3:9:3 | s [post update] [m1] | aliasing.cpp:25:17:25:19 | ref arg & ... [m1] |
@@ -362,11 +365,12 @@ edges
362
365
| by_reference.cpp:62:25:62:34 | call to user_input | by_reference.cpp:62:3:62:3 | ref arg s [a] |
363
366
| by_reference.cpp:63:8:63:8 | s [a] | by_reference.cpp:43:9:43:27 | this [a] |
364
367
| by_reference.cpp:63:8:63:8 | s [a] | by_reference.cpp:63:10:63:28 | call to getThroughNonMember |
365
- | by_reference.cpp:68:17:68:18 | ref arg & ... [a] | by_reference.cpp:69:22 :69:23 | & ... [a] |
368
+ | by_reference.cpp:68:17:68:18 | ref arg & ... [a] | by_reference.cpp:69:23 :69:23 | s [a] |
366
369
| by_reference.cpp:68:21:68:30 | call to user_input | by_reference.cpp:11:48:11:52 | value |
367
370
| by_reference.cpp:68:21:68:30 | call to user_input | by_reference.cpp:68:17:68:18 | ref arg & ... [a] |
368
371
| by_reference.cpp:69:22:69:23 | & ... [a] | by_reference.cpp:31:46:31:46 | s [a] |
369
372
| by_reference.cpp:69:22:69:23 | & ... [a] | by_reference.cpp:69:8:69:20 | call to nonMemberGetA |
373
+ | by_reference.cpp:69:23:69:23 | s [a] | by_reference.cpp:69:22:69:23 | & ... [a] |
370
374
| by_reference.cpp:83:31:83:35 | inner [a] | by_reference.cpp:102:21:102:39 | ref arg & ... [a] |
371
375
| by_reference.cpp:83:31:83:35 | inner [a] | by_reference.cpp:103:27:103:35 | ref arg inner_ptr [a] |
372
376
| by_reference.cpp:83:31:83:35 | inner [a] | by_reference.cpp:106:21:106:41 | ref arg & ... [a] |
@@ -701,25 +705,27 @@ edges
701
705
| struct_init.c:15:12:15:12 | a | struct_init.c:15:12:15:12 | ref arg a |
702
706
| struct_init.c:15:12:15:12 | ref arg a | struct_init.c:15:8:15:9 | ab [post update] [a] |
703
707
| struct_init.c:20:17:20:36 | {...} [a] | struct_init.c:22:8:22:9 | ab [a] |
704
- | struct_init.c:20:17:20:36 | {...} [a] | struct_init.c:24:10 :24:12 | & ... [a] |
705
- | struct_init.c:20:17:20:36 | {...} [a] | struct_init.c:28:5 :28:7 | & ... [a] |
708
+ | struct_init.c:20:17:20:36 | {...} [a] | struct_init.c:24:11 :24:12 | ab [a] |
709
+ | struct_init.c:20:17:20:36 | {...} [a] | struct_init.c:28:6 :28:7 | ab [a] |
706
710
| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:20:17:20:36 | {...} [a] |
707
711
| struct_init.c:22:8:22:9 | ab [a] | struct_init.c:22:11:22:11 | a |
708
712
| struct_init.c:22:8:22:9 | ab [a] | struct_init.c:22:11:22:11 | a |
709
- | struct_init.c:22:8:22:9 | ab [post update] [a] | struct_init.c:24:10 :24:12 | & ... [a] |
710
- | struct_init.c:22:8:22:9 | ab [post update] [a] | struct_init.c:28:5 :28:7 | & ... [a] |
713
+ | struct_init.c:22:8:22:9 | ab [post update] [a] | struct_init.c:24:11 :24:12 | ab [a] |
714
+ | struct_init.c:22:8:22:9 | ab [post update] [a] | struct_init.c:28:6 :28:7 | ab [a] |
711
715
| struct_init.c:22:11:22:11 | a | realistic.cpp:41:17:41:17 | o |
712
716
| struct_init.c:22:11:22:11 | a | struct_init.c:22:11:22:11 | ref arg a |
713
717
| struct_init.c:22:11:22:11 | ref arg a | struct_init.c:22:8:22:9 | ab [post update] [a] |
714
718
| struct_init.c:24:10:24:12 | & ... [a] | struct_init.c:14:24:14:25 | ab [a] |
715
719
| struct_init.c:24:10:24:12 | & ... [a] | struct_init.c:24:10:24:12 | ref arg & ... [a] |
716
- | struct_init.c:24:10:24:12 | ref arg & ... [a] | struct_init.c:28:5:28:7 | & ... [a] |
720
+ | struct_init.c:24:10:24:12 | ref arg & ... [a] | struct_init.c:28:6:28:7 | ab [a] |
721
+ | struct_init.c:24:11:24:12 | ab [a] | struct_init.c:24:10:24:12 | & ... [a] |
717
722
| struct_init.c:26:23:29:3 | {...} [nestedAB, a] | struct_init.c:31:8:31:12 | outer [nestedAB, a] |
718
723
| struct_init.c:26:23:29:3 | {...} [nestedAB, a] | struct_init.c:36:11:36:15 | outer [nestedAB, a] |
719
724
| struct_init.c:26:23:29:3 | {...} [pointerAB, a] | struct_init.c:33:8:33:12 | outer [pointerAB, a] |
720
725
| struct_init.c:27:5:27:23 | {...} [a] | struct_init.c:26:23:29:3 | {...} [nestedAB, a] |
721
726
| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:27:5:27:23 | {...} [a] |
722
727
| struct_init.c:28:5:28:7 | & ... [a] | struct_init.c:26:23:29:3 | {...} [pointerAB, a] |
728
+ | struct_init.c:28:6:28:7 | ab [a] | struct_init.c:28:5:28:7 | & ... [a] |
723
729
| struct_init.c:31:8:31:12 | outer [nestedAB, a] | struct_init.c:31:14:31:21 | nestedAB [a] |
724
730
| struct_init.c:31:8:31:12 | outer [post update] [nestedAB, a] | struct_init.c:36:11:36:15 | outer [nestedAB, a] |
725
731
| struct_init.c:31:14:31:21 | nestedAB [a] | struct_init.c:31:23:31:23 | a |
@@ -733,10 +739,11 @@ edges
733
739
| struct_init.c:36:10:36:24 | & ... [a] | struct_init.c:14:24:14:25 | ab [a] |
734
740
| struct_init.c:36:11:36:15 | outer [nestedAB, a] | struct_init.c:36:17:36:24 | nestedAB [a] |
735
741
| struct_init.c:36:17:36:24 | nestedAB [a] | struct_init.c:36:10:36:24 | & ... [a] |
736
- | struct_init.c:40:17:40:36 | {...} [a] | struct_init.c:43:5 :43:7 | & ... [a] |
742
+ | struct_init.c:40:17:40:36 | {...} [a] | struct_init.c:43:6 :43:7 | ab [a] |
737
743
| struct_init.c:40:20:40:29 | call to user_input | struct_init.c:40:17:40:36 | {...} [a] |
738
744
| struct_init.c:41:23:44:3 | {...} [pointerAB, a] | struct_init.c:46:10:46:14 | outer [pointerAB, a] |
739
745
| struct_init.c:43:5:43:7 | & ... [a] | struct_init.c:41:23:44:3 | {...} [pointerAB, a] |
746
+ | struct_init.c:43:6:43:7 | ab [a] | struct_init.c:43:5:43:7 | & ... [a] |
740
747
| struct_init.c:46:10:46:14 | outer [pointerAB, a] | struct_init.c:46:16:46:24 | pointerAB [a] |
741
748
| struct_init.c:46:16:46:24 | pointerAB [a] | struct_init.c:14:24:14:25 | ab [a] |
742
749
nodes
@@ -753,8 +760,10 @@ nodes
753
760
| A.cpp:31:14:31:21 | call to B [c] | semmle.label | call to B [c] |
754
761
| A.cpp:31:14:31:21 | new [c] | semmle.label | new [c] |
755
762
| A.cpp:31:20:31:20 | c | semmle.label | c |
763
+ | A.cpp:41:5:41:6 | ref arg ct | semmle.label | ref arg ct |
756
764
| A.cpp:41:15:41:21 | new | semmle.label | new |
757
765
| A.cpp:43:10:43:12 | & ... | semmle.label | & ... |
766
+ | A.cpp:43:11:43:12 | ct | semmle.label | ct |
758
767
| A.cpp:47:12:47:18 | new | semmle.label | new |
759
768
| A.cpp:48:12:48:18 | call to make [c] | semmle.label | call to make [c] |
760
769
| A.cpp:48:20:48:20 | c | semmle.label | c |
@@ -963,6 +972,7 @@ nodes
963
972
| E.cpp:32:10:32:10 | b [buffer] | semmle.label | b [buffer] |
964
973
| E.cpp:32:13:32:18 | buffer | semmle.label | buffer |
965
974
| E.cpp:33:18:33:19 | & ... [data, buffer] | semmle.label | & ... [data, buffer] |
975
+ | E.cpp:33:19:33:19 | p [data, buffer] | semmle.label | p [data, buffer] |
966
976
| aliasing.cpp:8:23:8:23 | s [m1] | semmle.label | s [m1] |
967
977
| aliasing.cpp:9:3:9:3 | s [post update] [m1] | semmle.label | s [post update] [m1] |
968
978
| aliasing.cpp:9:3:9:22 | ... = ... | semmle.label | ... = ... |
@@ -1116,6 +1126,7 @@ nodes
1116
1126
| by_reference.cpp:68:21:68:30 | call to user_input | semmle.label | call to user_input |
1117
1127
| by_reference.cpp:69:8:69:20 | call to nonMemberGetA | semmle.label | call to nonMemberGetA |
1118
1128
| by_reference.cpp:69:22:69:23 | & ... [a] | semmle.label | & ... [a] |
1129
+ | by_reference.cpp:69:23:69:23 | s [a] | semmle.label | s [a] |
1119
1130
| by_reference.cpp:83:31:83:35 | inner [a] | semmle.label | inner [a] |
1120
1131
| by_reference.cpp:84:3:84:7 | inner [post update] [a] | semmle.label | inner [post update] [a] |
1121
1132
| by_reference.cpp:84:3:84:25 | ... = ... | semmle.label | ... = ... |
@@ -1474,11 +1485,13 @@ nodes
1474
1485
| struct_init.c:22:11:22:11 | ref arg a | semmle.label | ref arg a |
1475
1486
| struct_init.c:24:10:24:12 | & ... [a] | semmle.label | & ... [a] |
1476
1487
| struct_init.c:24:10:24:12 | ref arg & ... [a] | semmle.label | ref arg & ... [a] |
1488
+ | struct_init.c:24:11:24:12 | ab [a] | semmle.label | ab [a] |
1477
1489
| struct_init.c:26:23:29:3 | {...} [nestedAB, a] | semmle.label | {...} [nestedAB, a] |
1478
1490
| struct_init.c:26:23:29:3 | {...} [pointerAB, a] | semmle.label | {...} [pointerAB, a] |
1479
1491
| struct_init.c:27:5:27:23 | {...} [a] | semmle.label | {...} [a] |
1480
1492
| struct_init.c:27:7:27:16 | call to user_input | semmle.label | call to user_input |
1481
1493
| struct_init.c:28:5:28:7 | & ... [a] | semmle.label | & ... [a] |
1494
+ | struct_init.c:28:6:28:7 | ab [a] | semmle.label | ab [a] |
1482
1495
| struct_init.c:31:8:31:12 | outer [nestedAB, a] | semmle.label | outer [nestedAB, a] |
1483
1496
| struct_init.c:31:8:31:12 | outer [post update] [nestedAB, a] | semmle.label | outer [post update] [nestedAB, a] |
1484
1497
| struct_init.c:31:14:31:21 | nestedAB [a] | semmle.label | nestedAB [a] |
@@ -1496,6 +1509,7 @@ nodes
1496
1509
| struct_init.c:40:20:40:29 | call to user_input | semmle.label | call to user_input |
1497
1510
| struct_init.c:41:23:44:3 | {...} [pointerAB, a] | semmle.label | {...} [pointerAB, a] |
1498
1511
| struct_init.c:43:5:43:7 | & ... [a] | semmle.label | & ... [a] |
1512
+ | struct_init.c:43:6:43:7 | ab [a] | semmle.label | ab [a] |
1499
1513
| struct_init.c:46:10:46:14 | outer [pointerAB, a] | semmle.label | outer [pointerAB, a] |
1500
1514
| struct_init.c:46:16:46:24 | pointerAB [a] | semmle.label | pointerAB [a] |
1501
1515
subpaths
0 commit comments