1 graph: { title: "ir graph of MEMORY_EXAMPLE_main"
2 display_edge_labels: yes
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
9 classname 3: "Entity type"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
10 graph: { title: "0x80a0930" label: "Block" status:clustered color:yellow
11 edge: {sourcename: "0x80a0930" targetname: "0x80a09a8" label: "0" color: red}
12 node: {title: "0x80a0910" label: "End " color: blue}
15 graph: { title: "0x80a09e4" label: "Block" status:clustered color:yellow
16 edge: {sourcename: "0x80a09e4" targetname: "0x80a0a5c" label: "0" color: red}
17 node: {title: "0x80a09a8" label: "Return " }
18 edge: {sourcename: "0x80a09a8" targetname: "0x80a1300" label: "0" color: blue}
19 edge: {sourcename: "0x80a09a8" targetname: "0x80a1284" label: "1" }
20 node: {title: "0x80a1284" label: "ProjI 2" color: yellow}
21 edge: {sourcename: "0x80a1284" targetname: "0x80a12c0" label: "0" }
22 node: {title: "0x80a12c0" label: "Load " }
23 edge: {sourcename: "0x80a12c0" targetname: "0x80a0e00" label: "0" color: blue}
24 edge: {sourcename: "0x80a12c0" targetname: "0x80a0c88" label: "1" }
25 node: {title: "0x80a1300" label: "ProjM 0" color: yellow}
26 edge: {sourcename: "0x80a1300" targetname: "0x80a12c0" label: "0" color: blue}
29 graph: { title: "0x80a0a98" label: "Block" status:clustered color:yellow
30 edge: {sourcename: "0x80a0a98" targetname: "0x80a1250" label: "0" color: red}
31 edge: {sourcename: "0x80a0a98" targetname: "0x80a0b18" label: "1" color: red}
32 node: {title: "0x80a0a5c" label: "ProjX 1" color: yellow}
33 edge: {sourcename: "0x80a0a5c" targetname: "0x80a0b54" label: "0" color: red}
34 node: {title: "0x80a0b18" label: "ProjX 0" color: yellow}
35 edge: {sourcename: "0x80a0b18" targetname: "0x80a0b54" label: "0" color: red}
36 node: {title: "0x80a0b54" label: "Cond " }
37 edge: {sourcename: "0x80a0b54" targetname: "0x80a0b94" label: "0" }
38 node: {title: "0x80a0b94" label: "Projb Gt" color: yellow}
39 edge: {sourcename: "0x80a0b94" targetname: "0x80a0bd0" label: "0" }
40 node: {title: "0x80a0bd0" label: "CmpT " }
41 edge: {sourcename: "0x80a0bd0" targetname: "0x80a11dc" label: "0" }
42 edge: {sourcename: "0x80a0bd0" targetname: "0x80a0c0c" label: "1" }
43 node: {title: "0x80a0c0c" label: "ProjI 2" color: yellow}
44 edge: {sourcename: "0x80a0c0c" targetname: "0x80a0c48" label: "0" }
45 node: {title: "0x80a0c48" label: "Load " }
46 edge: {sourcename: "0x80a0c48" targetname: "0x80a0da8" label: "0" color: blue}
47 edge: {sourcename: "0x80a0c48" targetname: "0x80a0c88" label: "1" }
48 node: {title: "0x80a0da8" label: "PhiM " color: green}
49 edge: {sourcename: "0x80a0da8" targetname: "0x80a102c" label: "0" color: blue}
50 edge: {sourcename: "0x80a0da8" targetname: "0x80a0e00" label: "1" color: blue}
51 node: {title: "0x80a0e00" label: "ProjM 0" color: yellow}
52 edge: {sourcename: "0x80a0e00" targetname: "0x80a0e3c" label: "0" color: blue}
53 node: {title: "0x80a0e3c" label: "Store " }
54 edge: {sourcename: "0x80a0e3c" targetname: "0x80a0eb8" label: "0" color: blue}
55 edge: {sourcename: "0x80a0e3c" targetname: "0x80a0e80" label: "1" }
56 edge: {sourcename: "0x80a0e3c" targetname: "0x80a0c0c" label: "2" }
57 node: {title: "0x80a0eb8" label: "ProjM 0" color: yellow}
58 edge: {sourcename: "0x80a0eb8" targetname: "0x80a0ef4" label: "0" color: blue}
59 node: {title: "0x80a0ef4" label: "Store " }
60 edge: {sourcename: "0x80a0ef4" targetname: "0x80a0ff0" label: "0" color: blue}
61 edge: {sourcename: "0x80a0ef4" targetname: "0x80a0c88" label: "1" }
62 edge: {sourcename: "0x80a0ef4" targetname: "0x80a0f38" label: "2" }
63 node: {title: "0x80a0f38" label: "ProjI 2" color: yellow}
64 edge: {sourcename: "0x80a0f38" targetname: "0x80a0f74" label: "0" }
65 node: {title: "0x80a0f74" label: "Load " }
66 edge: {sourcename: "0x80a0f74" targetname: "0x80a0fb4" label: "0" color: blue}
67 edge: {sourcename: "0x80a0f74" targetname: "0x80a0e80" label: "1" }
68 node: {title: "0x80a0fb4" label: "ProjM 0" color: yellow}
69 edge: {sourcename: "0x80a0fb4" targetname: "0x80a0c48" label: "0" color: blue}
70 node: {title: "0x80a0ff0" label: "ProjM 0" color: yellow}
71 edge: {sourcename: "0x80a0ff0" targetname: "0x80a0f74" label: "0" color: blue}
74 graph: { title: "0x80a1068" label: "Block" status:clustered color:yellow
75 edge: {sourcename: "0x80a1068" targetname: "0x80a0d38" label: "0" color: red}
76 node: {title: "0x80a102c" label: "ProjM 0" color: yellow}
77 edge: {sourcename: "0x80a102c" targetname: "0x80a10e0" label: "0" color: blue}
78 node: {title: "0x80a10e0" label: "Store " }
79 edge: {sourcename: "0x80a10e0" targetname: "0x80a115c" label: "0" color: blue}
80 edge: {sourcename: "0x80a10e0" targetname: "0x80a0e80" label: "1" }
81 edge: {sourcename: "0x80a10e0" targetname: "0x80a1124" label: "2" }
82 node: {title: "0x80a115c" label: "ProjM 0" color: yellow}
83 edge: {sourcename: "0x80a115c" targetname: "0x80a1198" label: "0" color: blue}
84 node: {title: "0x80a1198" label: "Store " }
85 edge: {sourcename: "0x80a1198" targetname: "0x80a1214" label: "0" color: blue}
86 edge: {sourcename: "0x80a1198" targetname: "0x80a0c88" label: "1" }
87 edge: {sourcename: "0x80a1198" targetname: "0x80a11dc" label: "2" }
88 node: {title: "0x80a1250" label: "Jmp " }
91 graph: { title: "0x80a0cc0" label: "Block" status:clustered color:yellow
92 edge: {sourcename: "0x80a0cc0" targetname: "0x80a0d38" label: "0" color: red}
93 node: {title: "0x80a0c88" label: "VAR_AP " color: yellow}
94 node: {title: "0x80a0d38" label: "ProjX 0" color: yellow}
95 edge: {sourcename: "0x80a0d38" targetname: "0x80a0d74" label: "0" color: red}
96 node: {title: "0x80a0d74" label: "Start " color: blue}
97 node: {title: "0x80a0e80" label: "VAR_BP " color: yellow}
98 node: {title: "0x80a1124" label: "1I " color: yellow}
99 node: {title: "0x80a11dc" label: "0I " color: yellow}
100 node: {title: "0x80a1214" label: "ProjM 1" color: yellow}
101 edge: {sourcename: "0x80a1214" targetname: "0x80a0d74" label: "0" color: blue}
104 node: {title: "0x80a13f0" label: "Bad " }