Skip to content

Commit 428f82c

Browse files
hvitvedhvitved
committed
C#
1 parent 97e97ba commit 428f82c

File tree

42 files changed

+2960
-379
lines changed

Some content is hidden

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

42 files changed

+2960
-379
lines changed

‎cpp/ql/test/experimental/query-tests/Security/CWE/CWE-409/DecompressionBombs/DecompressionBombs.expected

Lines changed: 82 additions & 0 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -182,10 +182,15 @@ irFlow
182182
| dispatch.cpp:107:17:107:22 | call to source | dispatch.cpp:96:8:96:8 | x |
183183
| dispatch.cpp:140:8:140:13 | call to source | dispatch.cpp:96:8:96:8 | x |
184184
| dispatch.cpp:144:8:144:13 | call to source | dispatch.cpp:96:8:96:8 | x |
185+
| flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:19:9:19:9 | x |
185186
| flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:31:9:31:9 | x |
187+
| flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:46:8:46:11 | access to array |
186188
| flowOut.cpp:5:16:5:21 | call to source | flowOut.cpp:61:8:61:11 | access to array |
189+
| flowOut.cpp:8:16:8:23 | call to source | flowOut.cpp:73:8:73:9 | * ... |
190+
| flowOut.cpp:8:16:8:23 | call to source | flowOut.cpp:117:8:117:9 | * ... |
187191
| flowOut.cpp:84:18:84:23 | call to source | flowOut.cpp:85:8:85:9 | * ... |
188192
| flowOut.cpp:90:8:90:13 | call to source | flowOut.cpp:102:8:102:9 | * ... |
193+
| flowOut.cpp:131:15:131:20 | call to source | flowOut.cpp:146:8:146:10 | * ... |
189194
| flowOut.cpp:131:15:131:20 | call to source | flowOut.cpp:161:8:161:10 | * ... |
190195
| flowOut.cpp:131:15:131:20 | call to source | flowOut.cpp:202:8:202:10 | * ... |
191196
| flowOut.cpp:168:14:168:19 | call to source | flowOut.cpp:185:8:185:9 | * ... |

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/test.expected

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
| flowOut.cpp:19:9:19:9 | x | Unexpected result: ir |
2+
| flowOut.cpp:46:8:46:11 | access to array | Unexpected result: ir |
3+
| flowOut.cpp:73:8:73:9 | * ... | Unexpected result: ir |
4+
| flowOut.cpp:117:8:117:9 | * ... | Unexpected result: ir |
5+
| flowOut.cpp:146:8:146:10 | * ... | Unexpected result: ir |

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+

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

Lines changed: 92 additions & 8 deletions
Large diffs are not rendered by default.

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

Lines changed: 50 additions & 12 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/query-tests/Security/CWE/CWE-119/semmle/tests/OverflowDestination.expected

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,13 +5,15 @@ edges
55
| overflowdestination.cpp:27:2:27:15 | *... = ... | overflowdestination.cpp:30:17:30:20 | *arg1 | provenance | |
66
| overflowdestination.cpp:43:8:43:10 | fgets output argument | overflowdestination.cpp:46:15:46:17 | *src | provenance | |
77
| overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src | provenance | |
8+
| overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src [Reverse] | provenance | DataFlowFunction |
89
| overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:53:15:53:17 | *src | provenance | |
910
| overflowdestination.cpp:57:52:57:54 | *src | overflowdestination.cpp:60:15:60:17 | *src | provenance | |
1011
| overflowdestination.cpp:60:15:60:17 | *src | overflowdestination.cpp:64:16:64:19 | *src2 | provenance | |
1112
| overflowdestination.cpp:73:8:73:10 | fgets output argument | overflowdestination.cpp:75:30:75:32 | *src | provenance | |
1213
| overflowdestination.cpp:73:8:73:10 | fgets output argument | overflowdestination.cpp:76:30:76:32 | *src | provenance | |
1314
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:50:52:50:54 | *src | provenance | |
1415
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | provenance | |
16+
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | provenance | DataFlowFunction |
1517
| overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument | overflowdestination.cpp:76:30:76:32 | *src | provenance | |
1618
| overflowdestination.cpp:76:30:76:32 | *src | overflowdestination.cpp:57:52:57:54 | *src | provenance | |
1719
nodes
@@ -24,6 +26,7 @@ nodes
2426
| overflowdestination.cpp:46:15:46:17 | *src | semmle.label | *src |
2527
| overflowdestination.cpp:50:52:50:54 | *src | semmle.label | *src |
2628
| overflowdestination.cpp:50:52:50:54 | *src | semmle.label | *src |
29+
| overflowdestination.cpp:50:52:50:54 | *src [Reverse] | semmle.label | *src [Reverse] |
2730
| overflowdestination.cpp:53:15:53:17 | *src | semmle.label | *src |
2831
| overflowdestination.cpp:57:52:57:54 | *src | semmle.label | *src |
2932
| overflowdestination.cpp:60:15:60:17 | *src | semmle.label | *src |
@@ -34,6 +37,7 @@ nodes
3437
| overflowdestination.cpp:76:30:76:32 | *src | semmle.label | *src |
3538
subpaths
3639
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument |
40+
| overflowdestination.cpp:75:30:75:32 | *src | overflowdestination.cpp:50:52:50:54 | *src | overflowdestination.cpp:50:52:50:54 | *src [Reverse] | overflowdestination.cpp:75:30:75:32 | overflowdest_test2 output argument |
3741
#select
3842
| overflowdestination.cpp:30:2:30:8 | call to strncpy | main.cpp:6:27:6:30 | **argv | overflowdestination.cpp:30:17:30:20 | *arg1 | To avoid overflow, this operation should be bounded by destination-buffer size, not source-buffer size. |
3943
| overflowdestination.cpp:46:2:46:7 | call to memcpy | overflowdestination.cpp:43:8:43:10 | fgets output argument | overflowdestination.cpp:46:15:46:17 | *src | To avoid overflow, this operation should be bounded by destination-buffer size, not source-buffer size. |

‎csharp/ql/test/library-tests/dataflow/fields/FieldFlow.expected

Lines changed: 30 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -636,8 +636,12 @@ edges
636636
| G.cs:23:18:23:32 | call to method Source<Elem> : Elem | G.cs:23:14:23:14 | access to local variable e : Elem | provenance | |
637637
| G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | G.cs:26:18:26:18 | access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
638638
| G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | G.cs:26:18:26:18 | access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
639-
| G.cs:25:9:25:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
640-
| G.cs:25:9:25:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
639+
| G.cs:25:9:25:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | provenance | |
640+
| G.cs:25:9:25:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | provenance | |
641+
| G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
642+
| G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
643+
| G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | provenance | |
644+
| G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | provenance | |
641645
| G.cs:25:28:25:28 | access to local variable e : Elem | G.cs:25:9:25:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | provenance | |
642646
| G.cs:25:28:25:28 | access to local variable e : Elem | G.cs:25:9:25:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | provenance | |
643647
| G.cs:26:18:26:18 | access to local variable b : Box2 [field Box1, field Elem] : Elem | G.cs:37:38:37:39 | b2 : Box2 [field Box1, field Elem] : Elem | provenance | |
@@ -648,8 +652,12 @@ edges
648652
| G.cs:31:18:31:32 | call to method Source<Elem> : Elem | G.cs:31:14:31:14 | access to local variable e : Elem | provenance | |
649653
| G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | G.cs:34:18:34:18 | access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
650654
| G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | G.cs:34:18:34:18 | access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
651-
| G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
652-
| G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
655+
| G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | provenance | |
656+
| G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | provenance | |
657+
| G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
658+
| G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | provenance | |
659+
| G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | provenance | |
660+
| G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | provenance | |
653661
| G.cs:33:29:33:29 | access to local variable e : Elem | G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | provenance | |
654662
| G.cs:33:29:33:29 | access to local variable e : Elem | G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | provenance | |
655663
| G.cs:33:29:33:29 | access to local variable e : Elem | G.cs:64:34:64:34 | e : Elem | provenance | |
@@ -700,8 +708,12 @@ edges
700708
| G.cs:64:46:64:46 | access to parameter e : Elem | G.cs:64:39:64:42 | [post] this access : Box1 [field Elem] : Elem | provenance | |
701709
| G.cs:71:21:71:27 | this : Box2 [field Box1, field Elem] : Elem | G.cs:71:34:71:37 | this access : Box2 [field Box1, field Elem] : Elem | provenance | |
702710
| G.cs:71:21:71:27 | this : Box2 [field Box1, field Elem] : Elem | G.cs:71:34:71:37 | this access : Box2 [field Box1, field Elem] : Elem | provenance | |
711+
| G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | this access [Reverse] : Box2 [field Box1, field Elem] : Elem | provenance | |
712+
| G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | this access [Reverse] : Box2 [field Box1, field Elem] : Elem | provenance | |
703713
| G.cs:71:34:71:37 | this access : Box2 [field Box1, field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 : Box1 [field Elem] : Elem | provenance | |
704714
| G.cs:71:34:71:37 | this access : Box2 [field Box1, field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 : Box1 [field Elem] : Elem | provenance | |
715+
| G.cs:71:34:71:37 | this access [Reverse] : Box2 [field Box1, field Elem] : Elem | G.cs:71:21:71:27 | this [Reverse] : Box2 [field Box1, field Elem] : Elem | provenance | |
716+
| G.cs:71:34:71:37 | this access [Reverse] : Box2 [field Box1, field Elem] : Elem | G.cs:71:21:71:27 | this [Reverse] : Box2 [field Box1, field Elem] : Elem | provenance | |
705717
| H.cs:13:15:13:15 | a : A [field FieldA] : Object | H.cs:16:22:16:22 | access to parameter a : A [field FieldA] : Object | provenance | |
706718
| H.cs:13:15:13:15 | a : A [field FieldA] : Object | H.cs:16:22:16:22 | access to parameter a : A [field FieldA] : Object | provenance | |
707719
| H.cs:16:9:16:11 | [post] access to local variable ret : A [field FieldA] : Object | H.cs:17:16:17:18 | access to local variable ret : A [field FieldA] : Object | provenance | |
@@ -1893,6 +1905,8 @@ nodes
18931905
| G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | semmle.label | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem |
18941906
| G.cs:25:9:25:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | semmle.label | [post] call to method GetBox1 : Box1 [field Elem] : Elem |
18951907
| G.cs:25:9:25:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | semmle.label | [post] call to method GetBox1 : Box1 [field Elem] : Elem |
1908+
| G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | semmle.label | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem |
1909+
| G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | semmle.label | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem |
18961910
| G.cs:25:28:25:28 | access to local variable e : Elem | semmle.label | access to local variable e : Elem |
18971911
| G.cs:25:28:25:28 | access to local variable e : Elem | semmle.label | access to local variable e : Elem |
18981912
| G.cs:26:18:26:18 | access to local variable b : Box2 [field Box1, field Elem] : Elem | semmle.label | access to local variable b : Box2 [field Box1, field Elem] : Elem |
@@ -1905,6 +1919,8 @@ nodes
19051919
| G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem | semmle.label | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem |
19061920
| G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | semmle.label | [post] call to method GetBox1 : Box1 [field Elem] : Elem |
19071921
| G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem | semmle.label | [post] call to method GetBox1 : Box1 [field Elem] : Elem |
1922+
| G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | semmle.label | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem |
1923+
| G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | semmle.label | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem |
19081924
| G.cs:33:29:33:29 | access to local variable e : Elem | semmle.label | access to local variable e : Elem |
19091925
| G.cs:33:29:33:29 | access to local variable e : Elem | semmle.label | access to local variable e : Elem |
19101926
| G.cs:34:18:34:18 | access to local variable b : Box2 [field Box1, field Elem] : Elem | semmle.label | access to local variable b : Box2 [field Box1, field Elem] : Elem |
@@ -1957,10 +1973,16 @@ nodes
19571973
| G.cs:64:46:64:46 | access to parameter e : Elem | semmle.label | access to parameter e : Elem |
19581974
| G.cs:71:21:71:27 | this : Box2 [field Box1, field Elem] : Elem | semmle.label | this : Box2 [field Box1, field Elem] : Elem |
19591975
| G.cs:71:21:71:27 | this : Box2 [field Box1, field Elem] : Elem | semmle.label | this : Box2 [field Box1, field Elem] : Elem |
1976+
| G.cs:71:21:71:27 | this [Reverse] : Box2 [field Box1, field Elem] : Elem | semmle.label | this [Reverse] : Box2 [field Box1, field Elem] : Elem |
1977+
| G.cs:71:21:71:27 | this [Reverse] : Box2 [field Box1, field Elem] : Elem | semmle.label | this [Reverse] : Box2 [field Box1, field Elem] : Elem |
19601978
| G.cs:71:34:71:37 | access to field Box1 : Box1 [field Elem] : Elem | semmle.label | access to field Box1 : Box1 [field Elem] : Elem |
19611979
| G.cs:71:34:71:37 | access to field Box1 : Box1 [field Elem] : Elem | semmle.label | access to field Box1 : Box1 [field Elem] : Elem |
1980+
| G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | semmle.label | access to field Box1 [Reverse] : Box1 [field Elem] : Elem |
1981+
| G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | semmle.label | access to field Box1 [Reverse] : Box1 [field Elem] : Elem |
19621982
| G.cs:71:34:71:37 | this access : Box2 [field Box1, field Elem] : Elem | semmle.label | this access : Box2 [field Box1, field Elem] : Elem |
19631983
| G.cs:71:34:71:37 | this access : Box2 [field Box1, field Elem] : Elem | semmle.label | this access : Box2 [field Box1, field Elem] : Elem |
1984+
| G.cs:71:34:71:37 | this access [Reverse] : Box2 [field Box1, field Elem] : Elem | semmle.label | this access [Reverse] : Box2 [field Box1, field Elem] : Elem |
1985+
| G.cs:71:34:71:37 | this access [Reverse] : Box2 [field Box1, field Elem] : Elem | semmle.label | this access [Reverse] : Box2 [field Box1, field Elem] : Elem |
19641986
| H.cs:13:15:13:15 | a : A [field FieldA] : Object | semmle.label | a : A [field FieldA] : Object |
19651987
| H.cs:13:15:13:15 | a : A [field FieldA] : Object | semmle.label | a : A [field FieldA] : Object |
19661988
| H.cs:16:9:16:11 | [post] access to local variable ret : A [field FieldA] : Object | semmle.label | [post] access to local variable ret : A [field FieldA] : Object |
@@ -2592,6 +2614,10 @@ subpaths
25922614
| F.cs:15:26:15:42 | call to method Source<Object> : Object | F.cs:6:39:6:40 | o2 : Object | F.cs:6:46:6:81 | object creation of type F : F [field Field2] : Object | F.cs:15:13:15:43 | call to method Create : F [field Field2] : Object |
25932615
| G.cs:17:24:17:24 | access to local variable e : Elem | G.cs:64:34:64:34 | e : Elem | G.cs:64:21:64:27 | this [Reverse] : Box1 [field Elem] : Elem | G.cs:17:9:17:14 | [post] access to field Box1 : Box1 [field Elem] : Elem |
25942616
| G.cs:17:24:17:24 | access to local variable e : Elem | G.cs:64:34:64:34 | e : Elem | G.cs:64:21:64:27 | this [Reverse] : Box1 [field Elem] : Elem | G.cs:17:9:17:14 | [post] access to field Box1 : Box1 [field Elem] : Elem |
2617+
| G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:21:71:27 | this [Reverse] : Box2 [field Box1, field Elem] : Elem | G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem |
2618+
| G.cs:25:9:25:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:21:71:27 | this [Reverse] : Box2 [field Box1, field Elem] : Elem | G.cs:25:9:25:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem |
2619+
| G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:21:71:27 | this [Reverse] : Box2 [field Box1, field Elem] : Elem | G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem |
2620+
| G.cs:33:9:33:19 | call to method GetBox1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 [Reverse] : Box1 [field Elem] : Elem | G.cs:71:21:71:27 | this [Reverse] : Box2 [field Box1, field Elem] : Elem | G.cs:33:9:33:9 | [post] access to local variable b : Box2 [field Box1, field Elem] : Elem |
25952621
| G.cs:33:29:33:29 | access to local variable e : Elem | G.cs:64:34:64:34 | e : Elem | G.cs:64:21:64:27 | this [Reverse] : Box1 [field Elem] : Elem | G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem |
25962622
| G.cs:33:29:33:29 | access to local variable e : Elem | G.cs:64:34:64:34 | e : Elem | G.cs:64:21:64:27 | this [Reverse] : Box1 [field Elem] : Elem | G.cs:33:9:33:19 | [post] call to method GetBox1 : Box1 [field Elem] : Elem |
25972623
| G.cs:39:14:39:15 | access to parameter b2 : Box2 [field Box1, field Elem] : Elem | G.cs:71:21:71:27 | this : Box2 [field Box1, field Elem] : Elem | G.cs:71:34:71:37 | access to field Box1 : Box1 [field Elem] : Elem | G.cs:39:14:39:25 | call to method GetBox1 : Box1 [field Elem] : Elem |

0 commit comments

Comments
 (0)