99| A.cpp:31:14:31:21 | call to B [c] | A.cpp:31:14:31:21 | new [c] |
1010| A.cpp:31:20:31:20 | c | A.cpp:23:10:23:10 | c |
1111| 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 | & ... |
1315| A.cpp:47:12:47:18 | new | A.cpp:48:20:48:20 | c |
1416| A.cpp:48:12:48:18 | call to make [c] | A.cpp:49:10:49:10 | b [c] |
1517| A.cpp:48:20:48:20 | c | A.cpp:29:23:29:23 | c |
@@ -207,11 +209,12 @@ edges
207209| E.cpp:28:21:28:23 | ref arg raw | E.cpp:31:10:31:12 | raw |
208210| E.cpp:29:21:29:21 | b [post update] [buffer] | E.cpp:32:10:32:10 | b [buffer] |
209211| 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] |
211213| E.cpp:30:23:30:26 | data [post update] [buffer] | E.cpp:30:21:30:21 | p [post update] [data, buffer] |
212214| E.cpp:30:28:30:33 | ref arg buffer | E.cpp:30:23:30:26 | data [post update] [buffer] |
213215| E.cpp:32:10:32:10 | b [buffer] | E.cpp:32:13:32:18 | buffer |
214216| 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] |
215218| aliasing.cpp:8:23:8:23 | s [m1] | aliasing.cpp:25:17:25:19 | ref arg & ... [m1] |
216219| aliasing.cpp:9:3:9:3 | s [post update] [m1] | aliasing.cpp:8:23:8:23 | s [m1] |
217220| aliasing.cpp:9:3:9:3 | s [post update] [m1] | aliasing.cpp:25:17:25:19 | ref arg & ... [m1] |
@@ -362,11 +365,12 @@ edges
362365| by_reference.cpp:62:25:62:34 | call to user_input | by_reference.cpp:62:3:62:3 | ref arg s [a] |
363366| by_reference.cpp:63:8:63:8 | s [a] | by_reference.cpp:43:9:43:27 | this [a] |
364367| 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] |
366369| by_reference.cpp:68:21:68:30 | call to user_input | by_reference.cpp:11:48:11:52 | value |
367370| by_reference.cpp:68:21:68:30 | call to user_input | by_reference.cpp:68:17:68:18 | ref arg & ... [a] |
368371| by_reference.cpp:69:22:69:23 | & ... [a] | by_reference.cpp:31:46:31:46 | s [a] |
369372| 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] |
370374| by_reference.cpp:83:31:83:35 | inner [a] | by_reference.cpp:102:21:102:39 | ref arg & ... [a] |
371375| by_reference.cpp:83:31:83:35 | inner [a] | by_reference.cpp:103:27:103:35 | ref arg inner_ptr [a] |
372376| by_reference.cpp:83:31:83:35 | inner [a] | by_reference.cpp:106:21:106:41 | ref arg & ... [a] |
@@ -701,25 +705,27 @@ edges
701705| struct_init.c:15:12:15:12 | a | struct_init.c:15:12:15:12 | ref arg a |
702706| struct_init.c:15:12:15:12 | ref arg a | struct_init.c:15:8:15:9 | ab [post update] [a] |
703707| 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] |
706710| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:20:17:20:36 | {...} [a] |
707711| struct_init.c:22:8:22:9 | ab [a] | struct_init.c:22:11:22:11 | a |
708712| 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] |
711715| struct_init.c:22:11:22:11 | a | realistic.cpp:41:17:41:17 | o |
712716| struct_init.c:22:11:22:11 | a | struct_init.c:22:11:22:11 | ref arg a |
713717| struct_init.c:22:11:22:11 | ref arg a | struct_init.c:22:8:22:9 | ab [post update] [a] |
714718| struct_init.c:24:10:24:12 | & ... [a] | struct_init.c:14:24:14:25 | ab [a] |
715719| 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] |
717722| struct_init.c:26:23:29:3 | {...} [nestedAB, a] | struct_init.c:31:8:31:12 | outer [nestedAB, a] |
718723| struct_init.c:26:23:29:3 | {...} [nestedAB, a] | struct_init.c:36:11:36:15 | outer [nestedAB, a] |
719724| struct_init.c:26:23:29:3 | {...} [pointerAB, a] | struct_init.c:33:8:33:12 | outer [pointerAB, a] |
720725| struct_init.c:27:5:27:23 | {...} [a] | struct_init.c:26:23:29:3 | {...} [nestedAB, a] |
721726| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:27:5:27:23 | {...} [a] |
722727| 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] |
723729| struct_init.c:31:8:31:12 | outer [nestedAB, a] | struct_init.c:31:14:31:21 | nestedAB [a] |
724730| struct_init.c:31:8:31:12 | outer [post update] [nestedAB, a] | struct_init.c:36:11:36:15 | outer [nestedAB, a] |
725731| struct_init.c:31:14:31:21 | nestedAB [a] | struct_init.c:31:23:31:23 | a |
@@ -733,10 +739,11 @@ edges
733739| struct_init.c:36:10:36:24 | & ... [a] | struct_init.c:14:24:14:25 | ab [a] |
734740| struct_init.c:36:11:36:15 | outer [nestedAB, a] | struct_init.c:36:17:36:24 | nestedAB [a] |
735741| 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] |
737743| struct_init.c:40:20:40:29 | call to user_input | struct_init.c:40:17:40:36 | {...} [a] |
738744| struct_init.c:41:23:44:3 | {...} [pointerAB, a] | struct_init.c:46:10:46:14 | outer [pointerAB, a] |
739745| 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] |
740747| struct_init.c:46:10:46:14 | outer [pointerAB, a] | struct_init.c:46:16:46:24 | pointerAB [a] |
741748| struct_init.c:46:16:46:24 | pointerAB [a] | struct_init.c:14:24:14:25 | ab [a] |
742749nodes
@@ -753,8 +760,10 @@ nodes
753760| A.cpp:31:14:31:21 | call to B [c] | semmle.label | call to B [c] |
754761| A.cpp:31:14:31:21 | new [c] | semmle.label | new [c] |
755762| 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 |
756764| A.cpp:41:15:41:21 | new | semmle.label | new |
757765| A.cpp:43:10:43:12 | & ... | semmle.label | & ... |
766+ | A.cpp:43:11:43:12 | ct | semmle.label | ct |
758767| A.cpp:47:12:47:18 | new | semmle.label | new |
759768| A.cpp:48:12:48:18 | call to make [c] | semmle.label | call to make [c] |
760769| A.cpp:48:20:48:20 | c | semmle.label | c |
@@ -963,6 +972,7 @@ nodes
963972| E.cpp:32:10:32:10 | b [buffer] | semmle.label | b [buffer] |
964973| E.cpp:32:13:32:18 | buffer | semmle.label | buffer |
965974| 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] |
966976| aliasing.cpp:8:23:8:23 | s [m1] | semmle.label | s [m1] |
967977| aliasing.cpp:9:3:9:3 | s [post update] [m1] | semmle.label | s [post update] [m1] |
968978| aliasing.cpp:9:3:9:22 | ... = ... | semmle.label | ... = ... |
@@ -1116,6 +1126,7 @@ nodes
11161126| by_reference.cpp:68:21:68:30 | call to user_input | semmle.label | call to user_input |
11171127| by_reference.cpp:69:8:69:20 | call to nonMemberGetA | semmle.label | call to nonMemberGetA |
11181128| 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] |
11191130| by_reference.cpp:83:31:83:35 | inner [a] | semmle.label | inner [a] |
11201131| by_reference.cpp:84:3:84:7 | inner [post update] [a] | semmle.label | inner [post update] [a] |
11211132| by_reference.cpp:84:3:84:25 | ... = ... | semmle.label | ... = ... |
@@ -1474,11 +1485,13 @@ nodes
14741485| struct_init.c:22:11:22:11 | ref arg a | semmle.label | ref arg a |
14751486| struct_init.c:24:10:24:12 | & ... [a] | semmle.label | & ... [a] |
14761487| 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] |
14771489| struct_init.c:26:23:29:3 | {...} [nestedAB, a] | semmle.label | {...} [nestedAB, a] |
14781490| struct_init.c:26:23:29:3 | {...} [pointerAB, a] | semmle.label | {...} [pointerAB, a] |
14791491| struct_init.c:27:5:27:23 | {...} [a] | semmle.label | {...} [a] |
14801492| struct_init.c:27:7:27:16 | call to user_input | semmle.label | call to user_input |
14811493| 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] |
14821495| struct_init.c:31:8:31:12 | outer [nestedAB, a] | semmle.label | outer [nestedAB, a] |
14831496| struct_init.c:31:8:31:12 | outer [post update] [nestedAB, a] | semmle.label | outer [post update] [nestedAB, a] |
14841497| struct_init.c:31:14:31:21 | nestedAB [a] | semmle.label | nestedAB [a] |
@@ -1496,6 +1509,7 @@ nodes
14961509| struct_init.c:40:20:40:29 | call to user_input | semmle.label | call to user_input |
14971510| struct_init.c:41:23:44:3 | {...} [pointerAB, a] | semmle.label | {...} [pointerAB, a] |
14981511| 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] |
14991513| struct_init.c:46:10:46:14 | outer [pointerAB, a] | semmle.label | outer [pointerAB, a] |
15001514| struct_init.c:46:16:46:24 | pointerAB [a] | semmle.label | pointerAB [a] |
15011515subpaths
0 commit comments