1 graph: { title: "ir graph of Callgraph"
2 display_edge_labels: yes
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
7 classname 1: "intrablock Data"
8 classname 16: "interblock Data"
10 classname 13: "Control Flow"
11 classname 14: "intrablock Memory"
12 classname 17: "interblock Memory"
13 classname 15: "Dominators"
14 classname 3: "Entity type"
15 classname 4: "Entity owner"
16 classname 5: "Method Param"
17 classname 6: "Method Res"
20 classname 9: "Points-to"
21 classname 10: "Array Element Type"
22 classname 11: "Overwrites"
23 classname 12: "Member"
24 infoname 1: "Attribute"
25 infoname 2: "Verification errors"
27 node: {title: "e12" label: "ent main" color: yellow
30 allocation: allocation_static
31 visibility: visibility_local
32 variability: variability_constant
33 volatility: volatility_non_volatile
34 peculiarity: peculiarity_existent
40 edge: { sourcename: "e12" targetname: "e28"label:"calls"}
41 node: {title: "e28" label: "ent hs" color: yellow
44 allocation: allocation_static
45 visibility: visibility_local
46 variability: variability_constant
47 volatility: volatility_non_volatile
48 peculiarity: peculiarity_existent
54 edge: { sourcename: "e28" targetname: "e44"label:"calls"}
55 edge: { sourcename: "e28" targetname: "e76"label:"calls"}
56 node: {title: "e44" label: "ent ha" color: yellow
59 allocation: allocation_static
60 visibility: visibility_local
61 variability: variability_constant
62 volatility: volatility_non_volatile
63 peculiarity: peculiarity_existent
69 edge: { sourcename: "e44" targetname: "e60"label:"calls"}
70 node: {title: "e60" label: "ent insert" color: yellow
73 allocation: allocation_static
74 visibility: visibility_local
75 variability: variability_constant
76 volatility: volatility_non_volatile
77 peculiarity: peculiarity_existent
83 edge: { sourcename: "e60" targetname: "e92"label:"calls"}
84 node: {title: "e76" label: "ent remove" color: yellow
87 allocation: allocation_static
88 visibility: visibility_local
89 variability: variability_constant
90 volatility: volatility_non_volatile
91 peculiarity: peculiarity_existent
97 edge: { sourcename: "e76" targetname: "e108"label:"calls"}
98 edge: { sourcename: "e76" targetname: "e92"label:"calls"}
99 node: {title: "e92" label: "ent unheap" color: yellow
102 allocation: allocation_static
103 visibility: visibility_local
104 variability: variability_constant
105 volatility: volatility_non_volatile
106 peculiarity: peculiarity_existent
112 edge: { sourcename: "e92" targetname: "e124"label:"calls"}
113 node: {title: "e108" label: "ent downh" color: yellow
116 allocation: allocation_static
117 visibility: visibility_local
118 variability: variability_constant
119 volatility: volatility_non_volatile
120 peculiarity: peculiarity_existent
126 edge: { sourcename: "e108" targetname: "e124"label:"calls"}
127 backedge: { sourcename: "e108" targetname: "e108"label:"recursion" color:red}
128 node: {title: "e124" label: "ent exc" color: yellow
131 allocation: allocation_static
132 visibility: visibility_local
133 variability: variability_constant
134 volatility: volatility_non_volatile
135 peculiarity: peculiarity_existent
141 node: {title: "e204" label: "ent a" color: yellow
144 allocation: allocation_static
145 visibility: visibility_local
146 variability: variability_constant
147 volatility: volatility_non_volatile
148 peculiarity: peculiarity_existent
154 edge: { sourcename: "e204" targetname: "e236"label:"calls"}
155 edge: { sourcename: "e204" targetname: "e220"label:"calls"}
156 node: {title: "e220" label: "ent b" color: yellow
159 allocation: allocation_static
160 visibility: visibility_local
161 variability: variability_constant
162 volatility: volatility_non_volatile
163 peculiarity: peculiarity_existent
169 node: {title: "e236" label: "ent c" color: yellow
172 allocation: allocation_static
173 visibility: visibility_local
174 variability: variability_constant
175 volatility: volatility_non_volatile
176 peculiarity: peculiarity_existent
182 backedge: { sourcename: "e236" targetname: "e252"label:"recursion" color:red}
183 edge: { sourcename: "e236" targetname: "e220"label:"calls"}
184 backedge: { sourcename: "e236" targetname: "e204"label:"recursion" color:red}
185 node: {title: "e252" label: "ent d" color: yellow
188 allocation: allocation_static
189 visibility: visibility_local
190 variability: variability_constant
191 volatility: volatility_non_volatile
192 peculiarity: peculiarity_existent
198 backedge: { sourcename: "e252" targetname: "e252"label:"recursion" color:red}
199 edge: { sourcename: "e252" targetname: "e204"label:"calls"}
200 node: {title: "e312" label: "ent self" color: yellow
203 allocation: allocation_static
204 visibility: visibility_local
205 variability: variability_constant
206 volatility: volatility_non_volatile
207 peculiarity: peculiarity_existent
213 backedge: { sourcename: "e312" targetname: "e312"label:"recursion" color:red}
214 node: {title: "e335" label: "ent self1" color: yellow
217 allocation: allocation_static
218 visibility: visibility_local
219 variability: variability_constant
220 volatility: volatility_non_volatile
221 peculiarity: peculiarity_existent
227 edge: { sourcename: "e335" targetname: "e351"label:"calls"}
228 node: {title: "e351" label: "ent self2" color: yellow
231 allocation: allocation_static
232 visibility: visibility_local
233 variability: variability_constant
234 volatility: volatility_non_volatile
235 peculiarity: peculiarity_existent
241 edge: { sourcename: "e351" targetname: "e367"label:"calls"}
242 node: {title: "e367" label: "ent self3" color: yellow
245 allocation: allocation_static
246 visibility: visibility_local
247 variability: variability_constant
248 volatility: volatility_non_volatile
249 peculiarity: peculiarity_existent
255 backedge: { sourcename: "e367" targetname: "e383"label:"recursion" color:red}
256 node: {title: "e383" label: "ent self4" color: yellow
259 allocation: allocation_static
260 visibility: visibility_local
261 variability: variability_constant
262 volatility: volatility_non_volatile
263 peculiarity: peculiarity_existent
269 edge: { sourcename: "e383" targetname: "e335"label:"calls"}