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: "e13" 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: "e13" targetname: "e29"label:"calls"}
41 node: {title: "e29" 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: "e29" targetname: "e45"label:"calls"}
55 edge: { sourcename: "e29" targetname: "e77"label:"calls"}
56 node: {title: "e45" 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: "e45" targetname: "e61"label:"calls"}
70 node: {title: "e61" 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: "e61" targetname: "e93"label:"calls"}
84 node: {title: "e77" 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: "e77" targetname: "e109"label:"calls"}
98 edge: { sourcename: "e77" targetname: "e93"label:"calls"}
99 node: {title: "e93" 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: "e93" targetname: "e125"label:"calls"}
113 node: {title: "e109" 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: "e109" targetname: "e125"label:"calls"}
127 backedge: { sourcename: "e109" targetname: "e109"label:"recursion" color:red}
128 node: {title: "e125" 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: "e205" 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: "e205" targetname: "e237"label:"calls"}
155 edge: { sourcename: "e205" targetname: "e221"label:"calls"}
156 node: {title: "e221" 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: "e237" 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: "e237" targetname: "e253"label:"recursion" color:red}
183 edge: { sourcename: "e237" targetname: "e221"label:"calls"}
184 backedge: { sourcename: "e237" targetname: "e205"label:"recursion" color:red}
185 node: {title: "e253" 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: "e253" targetname: "e253"label:"recursion" color:red}
199 edge: { sourcename: "e253" targetname: "e205"label:"calls"}
200 node: {title: "e313" 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: "e313" targetname: "e313"label:"recursion" color:red}
214 node: {title: "e336" 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: "e336" targetname: "e352"label:"calls"}
228 node: {title: "e352" 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: "e352" targetname: "e368"label:"calls"}
242 node: {title: "e368" 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: "e368" targetname: "e384"label:"recursion" color:red}
256 node: {title: "e384" 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: "e384" targetname: "e336"label:"calls"}