-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathintermediate-relations-unordered.txt
123 lines (123 loc) · 10.4 KB
/
intermediate-relations-unordered.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
UNORDERED
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 0
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 999)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 3896)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 3896)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 5430)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 5430)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 6990736, ValueFlowxValueFlow*MemoryAlias: 5430)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 6990736, ValueFlowxValueFlow*MemoryAlias: 5430)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 6990736, ValueFlowxValueFlow*MemoryAlias: 5430)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 1
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 255)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 255)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 983)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 983)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 732941, ValueFlowxValueFlow*MemoryAlias: 983)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 732941, ValueFlowxValueFlow*MemoryAlias: 983)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8392609, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 1077, ValueAliasxDereference*Dereference: 759)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 1077, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 2
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 46)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 2)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 2)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 5798, ValueFlowxValueFlow*MemoryAlias: 16)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 5798, ValueFlowxValueFlow*MemoryAlias: 16)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8404201, ValueFlowxValueFlow*MemoryAlias: 1474)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 71, ValueAliasxDereference*Dereference: 20)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 1148, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 3
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 2)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 51)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 4)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 194)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 194)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 135470, ValueFlowxValueFlow*MemoryAlias: 198)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 135470, ValueFlowxValueFlow*MemoryAlias: 198)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8673025, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 852, ValueAliasxDereference*Dereference: 490)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 2000, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 4
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 7)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 70)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 70)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 20664, ValueFlowxValueFlow*MemoryAlias: 70)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 20664, ValueFlowxValueFlow*MemoryAlias: 70)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8714304, ValueFlowxValueFlow*MemoryAlias: 778)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 33, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 2033, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 5
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8714304, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 471, ValueAliasxDereference*Dereference: 282)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 2504, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 6
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8714304, ValueFlowxValueFlow*MemoryAlias: 1478)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 2504, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 7
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8714304, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 816, ValueAliasxDereference*Dereference: 454)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 3320, ValueAliasxDereference*Dereference: 0)
DBs start of semi-naive iteration 8
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(MemoryAlias*Assign: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 0, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueFlow*ValueFlow: 8714304, ValueFlowxValueFlow*MemoryAlias: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 0, ValueAliasxDereference*Dereference: 0)
Join result, intermediate cardinalities: List(ValueAlias*Dereference: 3320, ValueAliasxDereference*Dereference: 0)