Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n22" label: "0x0Iu 22" info1: "0x0 22
mode: Iu
visited: 1
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
visibility: visibility_external_allocated,
state: layout_fixed,
-1: Block 24
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n36" label: "Block 36" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
node: {title: "n48" label: "ProjIs res 48" info1: "Proj 48
mode: Is
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
node: {title: "n45" label: "Load[Is] 45" info1: "Load[Is] 45
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n41" targetname: "n39" label: "0" class:17 priority:10 color:blue}
node: {title: "n42" label: "ProjP res 42" info1: "Proj 42
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n42" targetname: "n39" label: "0" class:1 priority:50}
node: {title: "n39" label: "Alloc 39" info1: "Alloc 39
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n33" targetname: "n27" label: "0" class:17 priority:10 color:blue}
node: {title: "n37" label: "0x28Iu 37" info1: "0x28 37
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n43" label: "0x3Iu 43" info1: "0x3 43
mode: Iu
visited: 11
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n30" label: "ProjX X_initial_exec 30" info1: "Proj 30
mode: X
visited: 11
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n30" targetname: "n27" label: "0" class:13 priority:60 color:red}
node: {title: "n27" label: "Start 27" info1: "Start 27
mode: T
Private Attributes:
start of method of type ARRAY-HEAP_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n23" label: "0x0Iu 23" info1: "0x0 23
mode: Iu
visited: 1
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
visibility: visibility_external_allocated,
state: layout_fixed,
-1: Block 25
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n37" label: "Block 37" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n45" targetname: "n43" label: "0" class:17 priority:10 color:blue}
node: {title: "n46" label: "ProjIs res 46" info1: "Proj 46
mode: Is
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n46" targetname: "n43" label: "0" class:1 priority:50}
node: {title: "n43" label: "Load[Is] 43" info1: "Load[Is] 43
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n28" label: "0" class:17 priority:10 color:blue}
node: {title: "n32" label: "ProjP P_frame_base 32" info1: "Proj 32
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n32" targetname: "n28" label: "0" class:1 priority:50}
node: {title: "n41" label: "0x3Iu 41" info1: "0x3 41
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n31" label: "ProjX X_initial_exec 31" info1: "Proj 31
mode: X
visited: 13
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n31" targetname: "n28" label: "0" class:13 priority:60 color:red}
node: {title: "n28" label: "Start 28" info1: "Start 28
mode: T
Private Attributes:
start of method of type main_tp
"
-color: blue}
+color:blue}
}
}
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n23" label: "0x0Iu 23" info1: "0x0 23
mode: Iu
visited: 2
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
visibility: visibility_external_allocated,
state: layout_fixed,
-1: Block 25
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n37" label: "Block 37" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n45" targetname: "n43" label: "0" class:17 priority:10 color:blue}
node: {title: "n46" label: "ProjIs res 46" info1: "Proj 46
mode: Is
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n46" targetname: "n43" label: "0" class:1 priority:50}
node: {title: "n43" label: "Load[Is] 43" info1: "Load[Is] 43
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n28" label: "0" class:17 priority:10 color:blue}
node: {title: "n32" label: "ProjP P_frame_base 32" info1: "Proj 32
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n32" targetname: "n28" label: "0" class:1 priority:50}
node: {title: "n41" label: "0x3Iu 41" info1: "0x3 41
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n31" label: "ProjX X_initial_exec 31" info1: "Proj 31
mode: X
visited: 11
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n31" targetname: "n28" label: "0" class:13 priority:60 color:red}
node: {title: "n28" label: "Start 28" info1: "Start 28
mode: T
Private Attributes:
start of method of type main_tp
"
-color: blue}
+color:blue}
}
}
1: Block 197
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n40" label: "Block 40" status:clustered color:yellow
0: Proj 104
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
node: {title: "n203" label: "FilterIs 0 203" info1: "Filter 203
mode: Is
0: Add 106
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
}
0: Proj 81
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
node: {title: "n201" label: "ProjX 0 201" info1: "Proj 201
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
node: {title: "n199" label: "CallBegin c 199" info1: "CallBegin c 199
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
node: {title: "n193" label: "CallBegin set_a 193" info1: "CallBegin set_a 193
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31" info1: "Start OO_PROGRAM_EXAMPLE_main 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
node: {title: "n189" label: "EndReg PRIMA_set_a 189" info1: "EndReg PRIMA_set_a 189
mode: T
-1: Block 188
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n74" label: "Block 74" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
node: {title: "n79" label: "Store 79" info1: "Store 79
mode: T
0: Proj 47
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
node: {title: "n185" label: "FilterP 0 185" info1: "Filter 185
mode: P
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
node: {title: "n186" label: "FilterIs 1 186" info1: "Filter 186
mode: Is
0: 0x2 41
backedges:
"
-color: yellow}
+color:yellow}
node: {title: "n186n41" label: "0x2Is 41" info1: "0x2 41
mode: Is
visited: 52
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start PRIMA_set_a 65" info1: "Start PRIMA_set_a 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
node: {title: "n181" label: "EndReg PRIMA_c 181" info1: "EndReg PRIMA_c 181
mode: T
-1: Block 180
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n97" label: "Block 97" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
mode: Is
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
node: {title: "n102" label: "Load[Is] 102" info1: "Load[Is] 102
mode: T
0: Filter 196
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
node: {title: "n177" label: "FilterP 0 177" info1: "Filter 177
mode: P
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
node: {title: "n178" label: "FilterIs 1 178" info1: "Filter 178
mode: Is
0: 0x5 42
backedges:
"
-color: yellow}
+color:yellow}
node: {title: "n178n42" label: "0x5Is 42" info1: "0x5 42
mode: Is
visited: 52
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start PRIMA_c 88" info1: "Start PRIMA_c 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
-1: Block 38
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n50" label: "Block 50" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
node: {title: "n54" label: "Call 54" info1: "Call 54
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n41" label: "0" class:17 priority:10 color:blue}
node: {title: "n52" label: "SymC f 52" info1: "SymC f 52
mode: P
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n44" targetname: "n41" label: "0" class:13 priority:60 color:red}
node: {title: "n41" label: "Start 41" info1: "Start 41
mode: T
Private Attributes:
start of method of type CALL_STR_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
-1: Block 20
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n54" label: "Block 54" status:clustered color:yellow
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n63" targetname: "n52" label: "0" class:16 priority:10}
edge: {sourcename: "n63" targetname: "n33" label: "1" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n50" targetname: "n48" label: "0" class:13 priority:60 color:red}
node: {title: "n49" label: "ProjX false 49" info1: "Proj 49
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n49" targetname: "n48" label: "0" class:13 priority:60 color:red}
node: {title: "n48" label: "Cond 48" info1: "Cond 48
mode: T
Private Attributes:
proj nr: 6
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n46" label: "0" class:1 priority:50}
node: {title: "n46" label: "Cmp 46" info1: "Cmp 46
mode: T
Private Attributes:
proj nr: 3
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n40" targetname: "n42" label: "0" class:1 priority:50}
node: {title: "n42" label: "Cmp 42" info1: "Cmp 42
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n36" targetname: "n35" label: "0" class:1 priority:50}
node: {title: "n35" label: "Cmp 35" info1: "Cmp 35
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n33" targetname: "n30" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
node: {title: "n52" label: "0x1Is 52" info1: "0x1 52
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n41" label: "0x9Is 41" info1: "0x9 41
mode: Is
visited: 12
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n30" label: "ProjT T_args 30" info1: "Proj 30
mode: T
visited: 12
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n30" targetname: "n23" label: "0" class:1 priority:50}
node: {title: "n34" label: "0x2Is 34" info1: "0x2 34
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n45" label: "0x0Is 45" info1: "0x0 45
mode: Is
visited: 12
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
visited: 12
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
start of method of type main
param 0 type: int
"
-color: blue}
+color:blue}
}
}
-1: Block 20
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n32" label: "Block 32" status:clustered color:yellow
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
node: {title: "n39" label: "0xCIs 39" info1: "0xC 39
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
visited: 7
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
Private Attributes:
start of method of type main
"
-color: blue}
+color:blue}
}
}
-1: Block 20
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n32" label: "Block 32" status:clustered color:yellow
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
node: {title: "n34" label: "0x2Is 34" info1: "0x2 34
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
visited: 12
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
Private Attributes:
start of method of type main
"
-color: blue}
+color:blue}
}
}
-1: Block 18
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n30" label: "Block 30" status:clustered color:yellow
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n27" targetname: "n21" label: "0" class:17 priority:10 color:blue}
node: {title: "n24" label: "ProjX X_initial_exec 24" info1: "Proj 24
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n24" targetname: "n21" label: "0" class:13 priority:60 color:red}
node: {title: "n21" label: "Start 21" info1: "Start 21
mode: T
Private Attributes:
start of method of type EMPTY_main
"
-color: blue}
+color:blue}
}
}
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n66" targetname: "n29" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n66" targetname: "n55" label: "1" class:17 priority:10 color:blue}
node: {title: "n55" label: "ProjM M 55" info1: "Proj 55
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n55" targetname: "n53" label: "0" class:17 priority:10 color:blue}
node: {title: "n53" label: "Store 53" info1: "Store 53
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n62" targetname: "n33" label: "0" class:16 priority:10}
edge: {sourcename: "n62" targetname: "n63" label: "1" class:1 priority:50}
node: {title: "n63" label: "PhiIs 63" info1: "Phi 63
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n63" targetname: "n34" label: "0" class:16 priority:10}
edge: {sourcename: "n63" targetname: "n62" label: "1" class:1 priority:50}
node: {title: "n47" label: "Jmp 47" info1: "Jmp 47
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n33" targetname: "n30" label: "0" class:16 priority:10}
node: {title: "n35" label: "Jmp 35" info1: "Jmp 35
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
node: {title: "n28" label: "ProjP P_globals 28" info1: "Proj 28
mode: P
Private Attributes:
proj nr: 3
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n23" label: "0" class:1 priority:50}
node: {title: "n30" label: "ProjT T_args 30" info1: "Proj 30
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n30" targetname: "n23" label: "0" class:1 priority:50}
node: {title: "n34" label: "0x1Is 34" info1: "0x1 34
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
visited: 22
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
start of method of type main_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
graph: { title: "n20" label: "Block 20" status:clustered color:yellow
1: Phi 66
Private Attributes:
"
-color: blue}
+color:blue}
edge: {sourcename: "n76" targetname: "n36" label: "0" class:13 priority:60 color:red}
edge: {sourcename: "n76" targetname: "n66" label: "1" }
}
-1: Block 19
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n31" label: "Block 31" status:clustered color:yellow
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
node: {title: "n32" label: "1.234567890123456716800000000000E+19D 32" info1: "1.234567890123456716800000000000E+19 32
mode: D
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n25" label: "ProjX X_initial_exec 25" info1: "Proj 25
mode: X
visited: 4
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
node: {title: "n22" label: "Start 22" info1: "Start 22
mode: T
Private Attributes:
start of method of type FLOAT_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
-1: Block 19
Private Attributes:
"
-color: blue}
+color:blue}
}
node: {title: "n28" label: "ProjM 1 28" info1: "Proj 28
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
node: {title: "n50" label: "AddIs 50" info1: "Add 50
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n42" label: "SubIs 42" info1: "Sub 42
mode: Is
visited: 11
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
graph: { title: "n53" label: "Block 53" status:clustered color:yellow
info1: "Block 53
mode: BB
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n55" targetname: "n50" label: "0" class:16 priority:10}
edge: {sourcename: "n55" targetname: "n42" label: "1" class:16 priority:10}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n36" label: "0" class:13 priority:60 color:red}
graph: { title: "n39" label: "Block 39" status:clustered color:yellow
info1: "Block 39
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n38" targetname: "n36" label: "0" class:13 priority:60 color:red}
node: {title: "n35" label: "Projb Eq 35" info1: "Proj 35
mode: b
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n35" targetname: "n34" label: "0" class:1 priority:50}
node: {title: "n34" label: "Cmp 34" info1: "Cmp 34
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n32" targetname: "n29" label: "0" class:16 priority:10}
node: {title: "n29" label: "ProjT T_args 29" info1: "Proj 29
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n22" label: "0" class:1 priority:50}
node: {title: "n33" label: "0x2Is 33" info1: "0x2 33
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
graph: { title: "n31" label: "Block 31" status:clustered color:yellow
info1: "Block 31
mode: BB
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
graph: { title: "n21" label: "Block 21" status:clustered color:yellow
info1: "Block 21
start of method of type GLOBAL_CSE_EXAMPLE_main
param 0 type: int
"
-color: blue}
+color:blue}
}
}
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
Private Attributes:
start of method of type GLOBAL_VAR_main
"
-color: blue}
+color:blue}
edge: { sourcename: "n23" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n26" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n32" label: "Block 32" info1: "Block 32
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
node: {title: "n35" label: "0x2Is 35" info1: "0x2 35
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: { sourcename: "n35" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n28" label: "ProjP P_globals 28" info1: "Proj 28
mode: P
Private Attributes:
proj nr: 3
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n23" label: "0" class:1 priority:50}
edge: { sourcename: "n28" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n29" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n34" label: "Sel i 34" info1: "Sel 34
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n38" targetname: "n36" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n38" targetname: "n32" class:2 priority:50 linestyle:dotted}
node: {title: "n39" label: "Return 39" info1: "Return 39
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n20" targetname: "n39" label: "0" class:13 priority:60 color:red}
node: {title: "n41" label: "End 41" info1: "End 41
mode: X
-1: Block 20
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n41" targetname: "n20" class:2 priority:50 linestyle:dotted}
node: {title: "e18" label: "ent i" color: yellow
info1: "entity i (18)
-1: Block 20
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n32" label: "Block 32" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n38" targetname: "n36" label: "0" class:17 priority:10 color:blue}
node: {title: "n36" label: "Store 36" info1: "Store 36
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
node: {title: "n28" label: "ProjP P_globals 28" info1: "Proj 28
mode: P
Private Attributes:
proj nr: 3
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n23" label: "0" class:1 priority:50}
node: {title: "n35" label: "0x2Is 35" info1: "0x2 35
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
visited: 10
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
Private Attributes:
start of method of type GLOBAL_VAR_main
"
-color: blue}
+color:blue}
}
}
-1: Block 19
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n31" label: "Block 31" status:clustered color:yellow
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
node: {title: "n32" label: "0x0Is 32" info1: "0x0 32
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n34" label: "0x2Is 34" info1: "0x2 34
mode: Is
visited: 16
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n25" label: "ProjX X_initial_exec 25" info1: "Proj 25
mode: X
visited: 16
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
node: {title: "n22" label: "Start 22" info1: "Start 22
mode: T
Private Attributes:
start of method of type IF_ELSE_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
-1: Block 19
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n45" label: "Block 45" status:clustered color:yellow
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n47" targetname: "n32" label: "0" class:16 priority:10}
edge: {sourcename: "n47" targetname: "n42" label: "1" class:16 priority:10}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n36" label: "0" class:13 priority:60 color:red}
node: {title: "n38" label: "ProjX true 38" info1: "Proj 38
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n38" targetname: "n36" label: "0" class:13 priority:60 color:red}
node: {title: "n36" label: "Cond 36" info1: "Cond 36
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n35" targetname: "n34" label: "0" class:1 priority:50}
node: {title: "n34" label: "Cmp 34" info1: "Cmp 34
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n32" targetname: "n29" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
node: {title: "n40" label: "0x3Is 40" info1: "0x3 40
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n29" label: "ProjT T_args 29" info1: "Proj 29
mode: T
visited: 8
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n22" label: "0" class:1 priority:50}
node: {title: "n33" label: "0x2Is 33" info1: "0x2 33
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n25" label: "ProjX X_initial_exec 25" info1: "Proj 25
mode: X
visited: 8
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
node: {title: "n22" label: "Start 22" info1: "Start 22
mode: T
start of method of type IF_EXAMPLE_main
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
start of method of type main
"
-color: blue}
+color:blue}
edge: { sourcename: "n23" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n26" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n22" label: "Block 22" info1: "Block 22
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
node: {title: "n39" label: "0x0Iu 39" info1: "0x0 39
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: { sourcename: "n39" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n41" label: "Cmp 41" info1: "Cmp 41
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n42" targetname: "n41" label: "0" class:1 priority:50}
edge: { sourcename: "n42" targetname: "n38" class:2 priority:50 linestyle:dotted}
node: {title: "n43" label: "Cond 43" info1: "Cond 43
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n45" targetname: "n43" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n45" targetname: "n38" class:2 priority:50 linestyle:dotted}
node: {title: "n46" label: "Block 46" info1: "Block 46
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n46" targetname: "n45" label: "0" class:13 priority:60 color:red}
node: {title: "n47" label: "Jmp 47" info1: "Jmp 47
mode: X
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
node: {title: "n35" label: "Jmp 35" info1: "Jmp 35
mode: X
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n38" targetname: "n35" label: "0" class:13 priority:60 color:red}
edge: {sourcename: "n38" targetname: "n47" label: "1" class:13 priority:60 color:red}
node: {title: "n44" label: "ProjX false 44" info1: "Proj 44
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n44" targetname: "n43" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n44" targetname: "n38" class:2 priority:50 linestyle:dotted}
node: {title: "n60" label: "Block 60" info1: "Block 60
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n60" targetname: "n44" label: "0" class:13 priority:60 color:red}
node: {title: "n33" label: "0x0Iu 33" info1: "0x0 33
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: { sourcename: "n33" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n58" label: "PhiIu 58" info1: "Phi 58
mode: Iu
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n58" targetname: "n33" label: "0" class:16 priority:10}
edge: {sourcename: "n58" targetname: "n53" label: "1" class:1 priority:50}
edge: { sourcename: "n58" targetname: "n38" class:2 priority:50 linestyle:dotted}
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: { sourcename: "n34" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n53" label: "PhiIu 53" info1: "Phi 53
mode: Iu
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n53" targetname: "n34" label: "0" class:16 priority:10}
edge: {sourcename: "n53" targetname: "n58" label: "1" class:1 priority:50}
edge: { sourcename: "n53" targetname: "n38" class:2 priority:50 linestyle:dotted}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n29" targetname: "n22" class:2 priority:50 linestyle:dotted}
node: {title: "n76" label: "Return 76" info1: "Return 76
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n20" targetname: "n76" label: "0" class:13 priority:60 color:red}
node: {title: "n77" label: "End 77" info1: "End 77
mode: X
-1: Block 20
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n77" targetname: "n20" class:2 priority:50 linestyle:dotted}
edge: {sourcename: "n23" targetname: "n26" color: red linestyle: dashed}
edge: {sourcename: "n23" targetname: "n29" color: red linestyle: dashed}
-1: Block 19
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n52" label: "Block 52" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n46" targetname: "n45" label: "0" class:13 priority:60 color:red}
node: {title: "n47" label: "ProjX true 47" info1: "Proj 47
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:13 priority:60 color:red}
node: {title: "n45" label: "Cond 45" info1: "Cond 45
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n44" targetname: "n43" label: "0" class:1 priority:50}
node: {title: "n43" label: "Cmp 43" info1: "Cmp 43
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n38" targetname: "n37" label: "0" class:13 priority:60 color:red}
node: {title: "n39" label: "ProjX true 39" info1: "Proj 39
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n39" targetname: "n37" label: "0" class:13 priority:60 color:red}
node: {title: "n37" label: "Cond 37" info1: "Cond 37
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n36" targetname: "n35" label: "0" class:1 priority:50}
node: {title: "n35" label: "Cmp 35" info1: "Cmp 35
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
node: {title: "n34" label: "0x2Is 34" info1: "0x2 34
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n32" label: "0x0Is 32" info1: "0x0 32
mode: Is
visited: 8
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n33" label: "0x1Is 33" info1: "0x1 33
mode: Is
visited: 8
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n25" label: "ProjX X_initial_exec 25" info1: "Proj 25
mode: X
visited: 8
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
node: {title: "n22" label: "Start 22" info1: "Start 22
mode: T
Private Attributes:
start of method of type main
"
-color: blue}
+color:blue}
}
}
2: Phi 62
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n53" label: "Block 53" status:clustered color:yellow
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n62" targetname: "n61" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n62" targetname: "n60" label: "1" class:17 priority:10 color:blue}
}
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n60" targetname: "n28" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n60" targetname: "n61" label: "1" class:17 priority:10 color:blue}
node: {title: "n45" label: "ProjX false 45" info1: "Proj 45
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n45" targetname: "n44" label: "0" class:13 priority:60 color:red}
node: {title: "n46" label: "ProjX true 46" info1: "Proj 46
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n46" targetname: "n44" label: "0" class:13 priority:60 color:red}
node: {title: "n44" label: "Cond 44" info1: "Cond 44
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n43" targetname: "n42" label: "0" class:1 priority:50}
node: {title: "n42" label: "Cmp 42" info1: "Cmp 42
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n61" targetname: "n28" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n61" targetname: "n60" label: "1" class:17 priority:10 color:blue}
node: {title: "n51" label: "ProjX false 51" info1: "Proj 51
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n51" targetname: "n50" label: "0" class:13 priority:60 color:red}
node: {title: "n52" label: "ProjX true 52" info1: "Proj 52
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n52" targetname: "n50" label: "0" class:13 priority:60 color:red}
node: {title: "n50" label: "Cond 50" info1: "Cond 50
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n49" targetname: "n48" label: "0" class:1 priority:50}
node: {title: "n48" label: "Cmp 48" info1: "Cmp 48
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n40" targetname: "n38" label: "0" class:13 priority:60 color:red}
node: {title: "n39" label: "ProjX false 39" info1: "Proj 39
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n39" targetname: "n38" label: "0" class:13 priority:60 color:red}
node: {title: "n38" label: "Cond 38" info1: "Cond 38
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n36" label: "0" class:1 priority:50}
node: {title: "n36" label: "Cmp 36" info1: "Cmp 36
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
node: {title: "n33" label: "0x1Is 33" info1: "0x1 33
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n32" label: "0x0Is 32" info1: "0x0 32
mode: Is
visited: 6
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n34" label: "0x2Is 34" info1: "0x2 34
mode: Is
visited: 6
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n25" label: "ProjX X_initial_exec 25" info1: "Proj 25
mode: X
visited: 6
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
node: {title: "n22" label: "Start 22" info1: "Start 22
mode: T
Private Attributes:
start of method of type METH_TP_NOARG_NORES
"
-color: blue}
+color:blue}
}
}
3: Phi 127
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n114" label: "Block 114" status:clustered color:yellow
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n127" targetname: "n126" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n127" targetname: "n124" label: "1" class:17 priority:10 color:blue}
}
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n124" targetname: "n75" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n124" targetname: "n125" label: "1" class:17 priority:10 color:blue}
node: {title: "n112" label: "ProjX false 112" info1: "Proj 112
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n112" targetname: "n111" label: "0" class:13 priority:60 color:red}
node: {title: "n113" label: "ProjX true 113" info1: "Proj 113
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n113" targetname: "n111" label: "0" class:13 priority:60 color:red}
node: {title: "n111" label: "Cond 111" info1: "Cond 111
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n110" targetname: "n109" label: "0" class:1 priority:50}
node: {title: "n109" label: "Cmp 109" info1: "Cmp 109
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n125" targetname: "n75" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n125" targetname: "n126" label: "1" class:17 priority:10 color:blue}
edge: {sourcename: "n125" targetname: "n124" label: "2" class:17 priority:10 color:blue}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n106" targetname: "n105" label: "0" class:13 priority:60 color:red}
node: {title: "n107" label: "ProjX true 107" info1: "Proj 107
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n107" targetname: "n105" label: "0" class:13 priority:60 color:red}
node: {title: "n105" label: "Cond 105" info1: "Cond 105
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n103" label: "0" class:1 priority:50}
node: {title: "n103" label: "Cmp 103" info1: "Cmp 103
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n126" targetname: "n75" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n126" targetname: "n125" label: "1" class:17 priority:10 color:blue}
node: {title: "n100" label: "ProjX false 100" info1: "Proj 100
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n100" targetname: "n99" label: "0" class:13 priority:60 color:red}
node: {title: "n101" label: "ProjX true 101" info1: "Proj 101
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n101" targetname: "n99" label: "0" class:13 priority:60 color:red}
node: {title: "n99" label: "Cond 99" info1: "Cond 99
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n98" targetname: "n97" label: "0" class:1 priority:50}
node: {title: "n97" label: "Cmp 97" info1: "Cmp 97
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n94" targetname: "n93" label: "0" class:13 priority:60 color:red}
node: {title: "n95" label: "ProjX true 95" info1: "Proj 95
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n95" targetname: "n93" label: "0" class:13 priority:60 color:red}
node: {title: "n93" label: "Cond 93" info1: "Cond 93
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n92" targetname: "n91" label: "0" class:1 priority:50}
node: {title: "n91" label: "Cmp 91" info1: "Cmp 91
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n88" targetname: "n87" label: "0" class:13 priority:60 color:red}
node: {title: "n89" label: "ProjX true 89" info1: "Proj 89
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n89" targetname: "n87" label: "0" class:13 priority:60 color:red}
node: {title: "n87" label: "Cond 87" info1: "Cond 87
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n86" targetname: "n85" label: "0" class:1 priority:50}
node: {title: "n85" label: "Cmp 85" info1: "Cmp 85
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n75" targetname: "n69" label: "0" class:17 priority:10 color:blue}
node: {title: "n81" label: "0x2Is 81" info1: "0x2 81
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n84" label: "0x5Is 84" info1: "0x5 84
mode: Is
visited: 6
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n80" label: "0x1Is 80" info1: "0x1 80
mode: Is
visited: 6
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n82" label: "0x3Is 82" info1: "0x3 82
mode: Is
visited: 6
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n79" label: "0x0Is 79" info1: "0x0 79
mode: Is
visited: 6
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n83" label: "0x4Is 83" info1: "0x4 83
mode: Is
visited: 6
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n72" label: "ProjX X_initial_exec 72" info1: "Proj 72
mode: X
visited: 6
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n69" label: "0" class:13 priority:60 color:red}
node: {title: "n69" label: "Start 69" info1: "Start 69
mode: T
Private Attributes:
start of method of type METH_TP_NOARG_NORES
"
-color: blue}
+color:blue}
}
}
0: Phi 71
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n72" label: "Block 72" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n77" targetname: "n74" label: "0" class:17 priority:10 color:blue}
node: {title: "n76" label: "ProjIu res 76" info1: "Proj 76
mode: Iu
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n74" label: "0" class:1 priority:50}
node: {title: "n74" label: "Load[Iu] 74" info1: "Load[Iu] 74
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n70" targetname: "n68" label: "0" class:13 priority:60 color:red}
node: {title: "n69" label: "ProjX false 69" info1: "Proj 69
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n69" targetname: "n68" label: "0" class:13 priority:60 color:red}
node: {title: "n68" label: "Cond 68" info1: "Cond 68
mode: T
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n66" targetname: "n67" label: "0" class:1 priority:50}
node: {title: "n67" label: "Cmp 67" info1: "Cmp 67
mode: T
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n53" targetname: "n50" label: "0" class:1 priority:50}
node: {title: "n50" label: "Load[Iu] 50" info1: "Load[Iu] 50
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n71" targetname: "n45" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n71" targetname: "n63" label: "1" class:17 priority:10 color:blue}
node: {title: "n63" label: "ProjM M 63" info1: "Proj 63
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n63" targetname: "n61" label: "0" class:17 priority:10 color:blue}
node: {title: "n61" label: "Store 61" info1: "Store 61
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n60" targetname: "n58" label: "0" class:17 priority:10 color:blue}
node: {title: "n58" label: "Store 58" info1: "Store 58
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
node: {title: "n57" label: "ProjIu res 57" info1: "Proj 57
mode: Iu
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50}
node: {title: "n54" label: "Load[Iu] 54" info1: "Load[Iu] 54
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n45" targetname: "n43" label: "0" class:17 priority:10 color:blue}
node: {title: "n43" label: "Store 43" info1: "Store 43
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n41" targetname: "n39" label: "0" class:17 priority:10 color:blue}
node: {title: "n39" label: "Store 39" info1: "Store 39
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29
mode: M
visited: 18
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
node: {title: "n28" label: "ProjP P_globals 28" info1: "Proj 28
mode: P
Private Attributes:
proj nr: 3
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n23" label: "0" class:1 priority:50}
node: {title: "n38" label: "0x0Iu 38" info1: "0x0 38
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
visited: 18
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
Private Attributes:
start of method of type main
"
-color: blue}
+color:blue}
}
}
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n180" targetname: "n152" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n180" targetname: "n186" label: "1" class:17 priority:10 color:blue}
node: {title: "n186" label: "ProjM M 186" info1: "Proj 186
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n186" targetname: "n187" label: "0" class:17 priority:10 color:blue}
node: {title: "n187" label: "Store 187" info1: "Store 187
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n188" targetname: "n42" label: "0" class:16 priority:10}
edge: {sourcename: "n188" targetname: "n189" label: "1" class:1 priority:50}
node: {title: "n189" label: "PhiIs 189" info1: "Phi 189
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n189" targetname: "n190" label: "0" class:16 priority:10}
edge: {sourcename: "n189" targetname: "n188" label: "1" class:1 priority:50}
node: {title: "n182" label: "Jmp 182" info1: "Jmp 182
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n152" targetname: "n153" label: "0" class:17 priority:10 color:blue}
node: {title: "n153" label: "Store 153" info1: "Store 153
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n142" label: "Jmp 142" info1: "Jmp 142
mode: X
visited: 26
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37
mode: M
visited: 26
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
node: {title: "n43" label: "SymC PRIMA_INLINE size 43" info1: "SymC PRIMA_INLINE size 43
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
visited: 26
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start 31" info1: "Start 31
mode: T
Private Attributes:
start of method of type OO_INLINE_EXAMPLE_main
"
-color: blue}
+color:blue}
}
graph: { title: "n28" label: "Block 28" status:clustered color:yellow
1: Phi 180
Private Attributes:
"
-color: blue}
+color:blue}
}
}
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 1
+ visited: 3
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 1
+ visited: 3
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
node: {title: "n25" label: "SymC &OO_INLINE_EXAMPLE_main 25" info1: "SymC &OO_INLINE_EXAMPLE_main 25
mode: P
- visited: 1
+ visited: 3
arity: 0
pred nodes:
-1: Block 3
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n180" targetname: "n152" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n180" targetname: "n186" label: "1" class:17 priority:10 color:blue}
node: {title: "n186" label: "ProjM M 186" info1: "Proj 186
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n186" targetname: "n187" label: "0" class:17 priority:10 color:blue}
node: {title: "n187" label: "Store 187" info1: "Store 187
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n188" targetname: "n42" label: "0" class:16 priority:10}
edge: {sourcename: "n188" targetname: "n189" label: "1" class:1 priority:50}
node: {title: "n189" label: "PhiIs 189" info1: "Phi 189
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n189" targetname: "n190" label: "0" class:16 priority:10}
edge: {sourcename: "n189" targetname: "n188" label: "1" class:1 priority:50}
node: {title: "n182" label: "Jmp 182" info1: "Jmp 182
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n152" targetname: "n153" label: "0" class:17 priority:10 color:blue}
node: {title: "n153" label: "Store 153" info1: "Store 153
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n142" label: "Jmp 142" info1: "Jmp 142
mode: X
visited: 25
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37
mode: M
visited: 25
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
node: {title: "n43" label: "SymC PRIMA_INLINE size 43" info1: "SymC PRIMA_INLINE size 43
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
visited: 25
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start 31" info1: "Start 31
mode: T
Private Attributes:
start of method of type OO_INLINE_EXAMPLE_main
"
-color: blue}
+color:blue}
}
graph: { title: "n28" label: "Block 28" status:clustered color:yellow
1: Phi 180
Private Attributes:
"
-color: blue}
+color:blue}
}
}
1: Block 197
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n40" label: "Block 40" status:clustered color:yellow
0: Proj 104
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
node: {title: "n203" label: "FilterIs 0 203" info1: "Filter 203
mode: Is
0: Add 106
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
}
0: Proj 81
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
node: {title: "n201" label: "ProjX 0 201" info1: "Proj 201
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
node: {title: "n199" label: "CallBegin c 199" info1: "CallBegin c 199
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
node: {title: "n193" label: "CallBegin set_a 193" info1: "CallBegin set_a 193
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31" info1: "Start OO_PROGRAM_EXAMPLE_main 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
node: {title: "n189" label: "EndReg PRIMA_set_a 189" info1: "EndReg PRIMA_set_a 189
mode: T
-1: Block 188
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n74" label: "Block 74" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
node: {title: "n79" label: "Store 79" info1: "Store 79
mode: T
0: Proj 47
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
node: {title: "n185" label: "FilterP 0 185" info1: "Filter 185
mode: P
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
node: {title: "n186" label: "FilterIs 1 186" info1: "Filter 186
mode: Is
0: 0x2 41
backedges:
"
-color: yellow}
+color:yellow}
node: {title: "n186n41" label: "0x2Is 41" info1: "0x2 41
mode: Is
visited: 35
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start PRIMA_set_a 65" info1: "Start PRIMA_set_a 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
node: {title: "n181" label: "EndReg PRIMA_c 181" info1: "EndReg PRIMA_c 181
mode: T
-1: Block 180
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n97" label: "Block 97" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
mode: Is
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
node: {title: "n102" label: "Load[Is] 102" info1: "Load[Is] 102
mode: T
0: Filter 196
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
node: {title: "n177" label: "FilterP 0 177" info1: "Filter 177
mode: P
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
node: {title: "n178" label: "FilterIs 1 178" info1: "Filter 178
mode: Is
0: 0x5 42
backedges:
"
-color: yellow}
+color:yellow}
node: {title: "n178n42" label: "0x5Is 42" info1: "0x5 42
mode: Is
visited: 35
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start PRIMA_c 88" info1: "Start PRIMA_c 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31" info1: "Start OO_PROGRAM_EXAMPLE_main 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
edge: { sourcename: "n31" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n34" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n191" label: "Block 191" info1: "Block 191
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
node: {title: "n193" label: "CallBegin set_a 193" info1: "CallBegin set_a 193
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n195" targetname: "n191" class:2 priority:50 linestyle:dotted}
node: {title: "n64" label: "Block 64" info1: "Block 64
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start PRIMA_set_a 65" info1: "Start PRIMA_set_a 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
edge: { sourcename: "n65" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n68" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n74" label: "Block 74" info1: "Block 74
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
node: {title: "n187" label: "Jmp 187" info1: "Jmp 187
mode: X
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
node: {title: "n189" label: "EndReg PRIMA_set_a 189" info1: "EndReg PRIMA_set_a 189
mode: T
-1: Block 188
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n189" targetname: "n188" class:2 priority:50 linestyle:dotted}
node: {title: "n194" label: "ProjX 0 194" info1: "Proj 194
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n194" targetname: "n188" class:2 priority:50 linestyle:dotted}
node: {title: "n197" label: "Block 197" info1: "Block 197
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
node: {title: "n199" label: "CallBegin c 199" info1: "CallBegin c 199
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n201" targetname: "n197" class:2 priority:50 linestyle:dotted}
node: {title: "n87" label: "Block 87" info1: "Block 87
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start PRIMA_c 88" info1: "Start PRIMA_c 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
edge: { sourcename: "n88" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n91" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n97" label: "Block 97" info1: "Block 97
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
node: {title: "n179" label: "Jmp 179" info1: "Jmp 179
mode: X
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
node: {title: "n181" label: "EndReg PRIMA_c 181" info1: "EndReg PRIMA_c 181
mode: T
-1: Block 180
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n181" targetname: "n180" class:2 priority:50 linestyle:dotted}
node: {title: "n200" label: "ProjX 0 200" info1: "Proj 200
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n200" targetname: "n180" class:2 priority:50 linestyle:dotted}
node: {title: "n40" label: "Block 40" info1: "Block 40
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
node: {title: "n178" label: "FilterIs 1 178" info1: "Filter 178
mode: Is
0: 0x5 42
backedges:
"
-color: yellow}
+color:yellow}
node: {title: "n178n42" label: "0x5Is 42" info1: "0x5 42
mode: Is
visited: 33
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
edge: { sourcename: "n178" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n37" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
edge: { sourcename: "n48" targetname: "n191" class:2 priority:50 linestyle:dotted}
node: {title: "n177" label: "FilterP 0 177" info1: "Filter 177
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
edge: { sourcename: "n177" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n186" label: "FilterIs 1 186" info1: "Filter 186
0: 0x2 41
backedges:
"
-color: yellow}
+color:yellow}
node: {title: "n186n41" label: "0x2Is 41" info1: "0x2 41
mode: Is
visited: 33
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
edge: { sourcename: "n186" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n185" label: "FilterP 0 185" info1: "Filter 185
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
edge: { sourcename: "n185" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n47" label: "ProjM M 47" info1: "Proj 47
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n47" targetname: "n191" class:2 priority:50 linestyle:dotted}
node: {title: "n184" label: "FilterM 1 184" info1: "Filter 184
0: Proj 47
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n184" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n78" label: "Sel a 78" info1: "Sel 78
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n81" targetname: "n74" class:2 priority:50 linestyle:dotted}
node: {title: "n196" label: "FilterM 0 196" info1: "Filter 196
0: Proj 81
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n196" targetname: "n197" class:2 priority:50 linestyle:dotted}
node: {title: "n176" label: "FilterM 1 176" info1: "Filter 176
0: Filter 196
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n176" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n101" label: "Sel a 101" info1: "Sel 101
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
edge: { sourcename: "n105" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
0: Add 106
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
edge: { sourcename: "n203" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n104" label: "ProjM M 104" info1: "Proj 104
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n104" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n202" label: "FilterM 0 202" info1: "Filter 202
0: Proj 104
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n202" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n59" label: "Return 59" info1: "Return 59
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109" info1: "End OO_PROGRAM_EXAMPLE_main 109
mode: X
1: Block 197
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n109" targetname: "n28" class:2 priority:50 linestyle:dotted}
}
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31" info1: "Start OO_PROGRAM_EXAMPLE_main 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
edge: { sourcename: "n31" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n34" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n191" label: "Block 191" info1: "Block 191
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
node: {title: "n175" label: "SymC &set_a 175" info1: "SymC &set_a 175
mode: P
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n195" targetname: "n191" class:2 priority:50 linestyle:dotted}
node: {title: "n64" label: "Block 64" info1: "Block 64
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start PRIMA_set_a 65" info1: "Start PRIMA_set_a 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
edge: { sourcename: "n65" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n68" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n74" label: "Block 74" info1: "Block 74
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
node: {title: "n187" label: "Jmp 187" info1: "Jmp 187
mode: X
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
node: {title: "n189" label: "EndReg PRIMA_set_a 189" info1: "EndReg PRIMA_set_a 189
mode: T
-1: Block 188
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n189" targetname: "n188" class:2 priority:50 linestyle:dotted}
node: {title: "n194" label: "ProjX 0 194" info1: "Proj 194
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n194" targetname: "n188" class:2 priority:50 linestyle:dotted}
node: {title: "n197" label: "Block 197" info1: "Block 197
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
node: {title: "n174" label: "SymC &c 174" info1: "SymC &c 174
mode: P
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n201" targetname: "n197" class:2 priority:50 linestyle:dotted}
node: {title: "n87" label: "Block 87" info1: "Block 87
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start PRIMA_c 88" info1: "Start PRIMA_c 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
edge: { sourcename: "n88" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n91" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n97" label: "Block 97" info1: "Block 97
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
node: {title: "n179" label: "Jmp 179" info1: "Jmp 179
mode: X
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
node: {title: "n181" label: "EndReg PRIMA_c 181" info1: "EndReg PRIMA_c 181
mode: T
-1: Block 180
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n181" targetname: "n180" class:2 priority:50 linestyle:dotted}
node: {title: "n200" label: "ProjX 0 200" info1: "Proj 200
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n200" targetname: "n180" class:2 priority:50 linestyle:dotted}
node: {title: "n40" label: "Block 40" info1: "Block 40
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
node: {title: "n42" label: "0x5Is 42" info1: "0x5 42
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: { sourcename: "n42" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n178" label: "FilterIs 1 178" info1: "Filter 178
mode: Is
0: 0x5 42
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n178" targetname: "n42" label: "0" class:16 priority:10}
edge: { sourcename: "n178" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n37" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
edge: { sourcename: "n48" targetname: "n191" class:2 priority:50 linestyle:dotted}
node: {title: "n177" label: "FilterP 0 177" info1: "Filter 177
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
edge: { sourcename: "n177" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n41" label: "0x2Is 41" info1: "0x2 41
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: { sourcename: "n41" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n186" label: "FilterIs 1 186" info1: "Filter 186
mode: Is
0: 0x2 41
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n186" targetname: "n41" label: "0" class:16 priority:10}
edge: { sourcename: "n186" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n185" label: "FilterP 0 185" info1: "Filter 185
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
edge: { sourcename: "n185" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n47" label: "ProjM M 47" info1: "Proj 47
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n47" targetname: "n191" class:2 priority:50 linestyle:dotted}
node: {title: "n184" label: "FilterM 1 184" info1: "Filter 184
0: Proj 47
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n184" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n78" label: "Sel a 78" info1: "Sel 78
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n81" targetname: "n74" class:2 priority:50 linestyle:dotted}
node: {title: "n196" label: "FilterM 0 196" info1: "Filter 196
0: Proj 81
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n196" targetname: "n197" class:2 priority:50 linestyle:dotted}
node: {title: "n176" label: "FilterM 1 176" info1: "Filter 176
0: Filter 196
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n176" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n101" label: "Sel a 101" info1: "Sel 101
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
edge: { sourcename: "n105" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
0: Add 106
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
edge: { sourcename: "n203" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n104" label: "ProjM M 104" info1: "Proj 104
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n104" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n202" label: "FilterM 0 202" info1: "Filter 202
0: Proj 104
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n202" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n59" label: "Return 59" info1: "Return 59
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109" info1: "End OO_PROGRAM_EXAMPLE_main 109
mode: X
1: Block 197
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n109" targetname: "n28" class:2 priority:50 linestyle:dotted}
node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
info1: "entity set_a (20)
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start 31" info1: "Start 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
edge: { sourcename: "n31" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n34" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n40" label: "Block 40" info1: "Block 40
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
node: {title: "n42" label: "0x5Is 42" info1: "0x5 42
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: { sourcename: "n42" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
mode: Iu
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n37" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
edge: { sourcename: "n48" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n41" label: "0x2Is 41" info1: "0x2 41
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: { sourcename: "n41" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n47" label: "ProjM M 47" info1: "Proj 47
mode: M
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n47" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n49" label: "Sel PRIMA_set_a 49" info1: "Sel 49
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n52" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n53" label: "Sel PRIMA_c 53" info1: "Sel 53
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50}
edge: { sourcename: "n57" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n58" label: "ProjIs 0 58" info1: "Proj 58
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n58" targetname: "n57" label: "0" class:1 priority:50}
edge: { sourcename: "n58" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n56" label: "ProjM M_regular 56" info1: "Proj 56
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n56" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n59" label: "Return 59" info1: "Return 59
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
node: {title: "n109" label: "End 109" info1: "End 109
mode: X
-1: Block 28
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n109" targetname: "n28" class:2 priority:50 linestyle:dotted}
node: {title: "t21" label: "method c" info1: "method type c (21)
variadicity: variadicity_non_variadic
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 1
+ visited: 3
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 1
+ visited: 3
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
mode: P
- visited: 1
+ visited: 3
arity: 0
pred nodes:
-1: Block 3
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start 31" info1: "Start 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
edge: { sourcename: "n31" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n34" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n40" label: "Block 40" info1: "Block 40
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37
mode: M
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n37" targetname: "n30" class:2 priority:50 linestyle:dotted}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
edge: { sourcename: "n48" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n47" label: "ProjM M 47" info1: "Proj 47
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n47" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n49" label: "Sel PRIMA_set_a 49" info1: "Sel 49
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n50" targetname: "n47" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n50" targetname: "n49" label: "1" class:1 priority:50}
edge: {sourcename: "n50" targetname: "n48" label: "2" class:1 priority:50}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n52" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n53" label: "Sel PRIMA_c 53" info1: "Sel 53
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n54" targetname: "n53" label: "1" class:1 priority:50}
edge: {sourcename: "n54" targetname: "n48" label: "2" class:1 priority:50}
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50}
edge: { sourcename: "n57" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n58" label: "ProjIs 0 58" info1: "Proj 58
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n58" targetname: "n57" label: "0" class:1 priority:50}
edge: { sourcename: "n58" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n56" label: "ProjM M_regular 56" info1: "Proj 56
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n56" targetname: "n40" class:2 priority:50 linestyle:dotted}
node: {title: "n59" label: "Return 59" info1: "Return 59
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
node: {title: "n109" label: "End 109" info1: "End 109
mode: X
-1: Block 28
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n109" targetname: "n28" class:2 priority:50 linestyle:dotted}
}
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 7
+ visited: 9
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 7
+ visited: 9
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
mode: P
- visited: 7
+ visited: 9
arity: 0
pred nodes:
-1: Block 3
1: Block 197
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n40" label: "Block 40" status:clustered color:yellow
0: Proj 104
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
node: {title: "n203" label: "FilterIs 0 203" info1: "Filter 203
mode: Is
0: Add 106
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
}
0: Proj 81
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
node: {title: "n201" label: "ProjX 0 201" info1: "Proj 201
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
node: {title: "n199" label: "CallBegin c 199" info1: "CallBegin c 199
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
node: {title: "n193" label: "CallBegin set_a 193" info1: "CallBegin set_a 193
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37
mode: M
visited: 45
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
node: {title: "n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n174" label: "SymC &c 174" info1: "SymC &c 174
mode: P
visited: 45
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31" info1: "Start OO_PROGRAM_EXAMPLE_main 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
node: {title: "n189" label: "EndReg PRIMA_set_a 189" info1: "EndReg PRIMA_set_a 189
mode: T
-1: Block 188
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n74" label: "Block 74" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
node: {title: "n79" label: "Store 79" info1: "Store 79
mode: T
0: Proj 47
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
node: {title: "n185" label: "FilterP 0 185" info1: "Filter 185
mode: P
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
node: {title: "n186" label: "FilterIs 1 186" info1: "Filter 186
mode: Is
0: 0x2 41
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n186" targetname: "n41" label: "0" class:16 priority:10}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start PRIMA_set_a 65" info1: "Start PRIMA_set_a 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
node: {title: "n181" label: "EndReg PRIMA_c 181" info1: "EndReg PRIMA_c 181
mode: T
-1: Block 180
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n97" label: "Block 97" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
mode: Is
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
node: {title: "n102" label: "Load[Is] 102" info1: "Load[Is] 102
mode: T
0: Filter 196
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
node: {title: "n177" label: "FilterP 0 177" info1: "Filter 177
mode: P
0: Proj 48
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
node: {title: "n178" label: "FilterIs 1 178" info1: "Filter 178
mode: Is
0: 0x5 42
backedges:
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n178" targetname: "n42" label: "0" class:16 priority:10}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start PRIMA_c 88" info1: "Start PRIMA_c 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
-1: Block 28
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n40" label: "Block 40" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
node: {title: "n58" label: "ProjIs 0 58" info1: "Proj 58
mode: Is
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n58" targetname: "n57" label: "0" class:1 priority:50}
node: {title: "n57" label: "ProjT T_result 57" info1: "Proj 57
mode: T
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50}
node: {title: "n54" label: "Call 54" info1: "Call 54
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
node: {title: "n50" label: "Call 50" info1: "Call 50
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37
mode: M
visited: 23
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
node: {title: "n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
mode: Iu
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
visited: 23
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start 31" info1: "Start 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 4
+ visited: 6
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 4
+ visited: 6
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
mode: P
- visited: 4
+ visited: 6
arity: 0
pred nodes:
-1: Block 3
-1: Block 28
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n40" label: "Block 40" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
node: {title: "n58" label: "ProjIs 0 58" info1: "Proj 58
mode: Is
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n58" targetname: "n57" label: "0" class:1 priority:50}
node: {title: "n57" label: "ProjT T_result 57" info1: "Proj 57
mode: T
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50}
node: {title: "n54" label: "Call 54" info1: "Call 54
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n54" targetname: "n53" label: "1" class:1 priority:50}
edge: {sourcename: "n54" targetname: "n48" label: "2" class:1 priority:50}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
node: {title: "n50" label: "Call 50" info1: "Call 50
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n50" targetname: "n47" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n50" targetname: "n49" label: "1" class:1 priority:50}
edge: {sourcename: "n50" targetname: "n48" label: "2" class:1 priority:50}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
mode: P
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
node: {title: "n31" label: "Start 31" info1: "Start 31
mode: T
Private Attributes:
start of method of type OO_PROGRAM_EXAMPLE_main
"
-color: blue}
+color:blue}
}
}
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n131" targetname: "n94" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n131" targetname: "n119" label: "1" class:17 priority:10 color:blue}
node: {title: "n119" label: "ProjM M 119" info1: "Proj 119
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n119" targetname: "n117" label: "0" class:17 priority:10 color:blue}
node: {title: "n117" label: "Store 117" info1: "Store 117
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n127" targetname: "n99" label: "0" class:16 priority:10}
edge: {sourcename: "n127" targetname: "n128" label: "1" class:1 priority:50}
node: {title: "n128" label: "PhiIs 128" info1: "Phi 128
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n128" targetname: "n100" label: "0" class:16 priority:10}
edge: {sourcename: "n128" targetname: "n127" label: "1" class:1 priority:50}
node: {title: "n109" label: "Jmp 109" info1: "Jmp 109
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n98" targetname: "n95" label: "0" class:16 priority:10}
node: {title: "n99" label: "ProjIs Arg 1 99" info1: "Proj 99
mode: Is
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10}
node: {title: "n101" label: "Jmp 101" info1: "Jmp 101
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n94" targetname: "n88" label: "0" class:17 priority:10 color:blue}
node: {title: "n95" label: "ProjT T_args 95" info1: "Proj 95
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n95" targetname: "n88" label: "0" class:1 priority:50}
node: {title: "n100" label: "0x0Is 100" info1: "0x0 100
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
visited: 26
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start 88" info1: "Start 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
graph: { title: "n85" label: "Block 85" status:clustered color:yellow
1: Phi 131
Private Attributes:
"
-color: blue}
+color:blue}
}
}
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 3
+ visited: 1
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 3
+ visited: 1
arity: 0
pred nodes:
-1: Block 3
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n131" targetname: "n94" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n131" targetname: "n119" label: "1" class:17 priority:10 color:blue}
node: {title: "n119" label: "ProjM M 119" info1: "Proj 119
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n119" targetname: "n117" label: "0" class:17 priority:10 color:blue}
node: {title: "n117" label: "Store 117" info1: "Store 117
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n127" targetname: "n99" label: "0" class:16 priority:10}
edge: {sourcename: "n127" targetname: "n128" label: "1" class:1 priority:50}
node: {title: "n128" label: "PhiIs 128" info1: "Phi 128
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n128" targetname: "n100" label: "0" class:16 priority:10}
edge: {sourcename: "n128" targetname: "n127" label: "1" class:1 priority:50}
node: {title: "n109" label: "Jmp 109" info1: "Jmp 109
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n98" targetname: "n95" label: "0" class:16 priority:10}
node: {title: "n99" label: "ProjIs Arg 1 99" info1: "Proj 99
mode: Is
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10}
node: {title: "n101" label: "Jmp 101" info1: "Jmp 101
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n94" targetname: "n88" label: "0" class:17 priority:10 color:blue}
node: {title: "n95" label: "ProjT T_args 95" info1: "Proj 95
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n95" targetname: "n88" label: "0" class:1 priority:50}
node: {title: "n100" label: "0x0Is 100" info1: "0x0 100
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
visited: 25
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start 88" info1: "Start 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
graph: { title: "n85" label: "Block 85" status:clustered color:yellow
1: Phi 131
Private Attributes:
"
-color: blue}
+color:blue}
}
}
-1: Block 62
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n74" label: "Block 74" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
node: {title: "n79" label: "Store 79" info1: "Store 79
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n75" targetname: "n72" label: "0" class:16 priority:10}
node: {title: "n76" label: "ProjIs Arg 1 76" info1: "Proj 76
mode: Is
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n71" targetname: "n65" label: "0" class:17 priority:10 color:blue}
node: {title: "n72" label: "ProjT T_args 72" info1: "Proj 72
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n65" label: "0" class:1 priority:50}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start 65" info1: "Start 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
-1: Block 62
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n74" label: "Block 74" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
node: {title: "n79" label: "Store 79" info1: "Store 79
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n75" targetname: "n72" label: "0" class:16 priority:10}
node: {title: "n76" label: "ProjIs Arg 1 76" info1: "Proj 76
mode: Is
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n71" targetname: "n65" label: "0" class:17 priority:10 color:blue}
node: {title: "n72" label: "ProjT T_args 72" info1: "Proj 72
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n65" label: "0" class:1 priority:50}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start 65" info1: "Start 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start 88" info1: "Start 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
edge: { sourcename: "n88" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n91" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n97" label: "Block 97" info1: "Block 97
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
node: {title: "n95" label: "ProjT T_args 95" info1: "Proj 95
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n95" targetname: "n88" label: "0" class:1 priority:50}
edge: { sourcename: "n95" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n99" label: "ProjIs Arg 1 99" info1: "Proj 99
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10}
edge: { sourcename: "n99" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n98" label: "ProjP Arg 0 98" info1: "Proj 98
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n98" targetname: "n95" label: "0" class:16 priority:10}
edge: { sourcename: "n98" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n94" label: "ProjM 1 94" info1: "Proj 94
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n94" targetname: "n88" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n94" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n101" label: "Sel a 101" info1: "Sel 101
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
edge: { sourcename: "n105" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n104" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n107" label: "Return 107" info1: "Return 107
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n85" targetname: "n107" label: "0" class:13 priority:60 color:red}
node: {title: "n154" label: "End 154" info1: "End 154
mode: X
-1: Block 85
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n154" targetname: "n85" class:2 priority:50 linestyle:dotted}
node: {title: "e17" label: "ent a" color: yellow
info1: "entity a (17)
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 3
+ visited: 1
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 3
+ visited: 1
arity: 0
pred nodes:
-1: Block 3
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start 88" info1: "Start 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
edge: { sourcename: "n88" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n91" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n97" label: "Block 97" info1: "Block 97
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
node: {title: "n95" label: "ProjT T_args 95" info1: "Proj 95
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n95" targetname: "n88" label: "0" class:1 priority:50}
edge: { sourcename: "n95" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n99" label: "ProjIs Arg 1 99" info1: "Proj 99
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10}
edge: { sourcename: "n99" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n98" label: "ProjP Arg 0 98" info1: "Proj 98
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n98" targetname: "n95" label: "0" class:16 priority:10}
edge: { sourcename: "n98" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n94" label: "ProjM 1 94" info1: "Proj 94
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n94" targetname: "n88" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n94" targetname: "n87" class:2 priority:50 linestyle:dotted}
node: {title: "n101" label: "Sel a 101" info1: "Sel 101
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
edge: { sourcename: "n105" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n104" targetname: "n97" class:2 priority:50 linestyle:dotted}
node: {title: "n107" label: "Return 107" info1: "Return 107
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n85" targetname: "n107" label: "0" class:13 priority:60 color:red}
node: {title: "n154" label: "End 154" info1: "End 154
mode: X
-1: Block 85
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n154" targetname: "n85" class:2 priority:50 linestyle:dotted}
}
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 9
+ visited: 7
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 9
+ visited: 7
arity: 0
pred nodes:
-1: Block 3
-1: Block 85
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n97" label: "Block 97" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
mode: Is
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
node: {title: "n102" label: "Load[Is] 102" info1: "Load[Is] 102
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n98" targetname: "n95" label: "0" class:16 priority:10}
node: {title: "n99" label: "ProjIs Arg 1 99" info1: "Proj 99
mode: Is
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n94" targetname: "n88" label: "0" class:17 priority:10 color:blue}
node: {title: "n95" label: "ProjT T_args 95" info1: "Proj 95
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n95" targetname: "n88" label: "0" class:1 priority:50}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start 88" info1: "Start 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 6
+ visited: 4
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 6
+ visited: 4
arity: 0
pred nodes:
-1: Block 3
-1: Block 85
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n97" label: "Block 97" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
node: {title: "n106" label: "AddIs 106" info1: "Add 106
mode: Is
Private Attributes:
proj nr: 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
node: {title: "n102" label: "Load[Is] 102" info1: "Load[Is] 102
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n98" targetname: "n95" label: "0" class:16 priority:10}
node: {title: "n99" label: "ProjIs Arg 1 99" info1: "Proj 99
mode: Is
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n94" targetname: "n88" label: "0" class:17 priority:10 color:blue}
node: {title: "n95" label: "ProjT T_args 95" info1: "Proj 95
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n95" targetname: "n88" label: "0" class:1 priority:50}
node: {title: "n91" label: "ProjX X_initial_exec 91" info1: "Proj 91
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
node: {title: "n88" label: "Start 88" info1: "Start 88
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n64" targetname: "n68" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start 65" info1: "Start 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
edge: { sourcename: "n65" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n68" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n74" label: "Block 74" info1: "Block 74
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
node: {title: "n72" label: "ProjT T_args 72" info1: "Proj 72
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n65" label: "0" class:1 priority:50}
edge: { sourcename: "n72" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n76" label: "ProjIs Arg 1 76" info1: "Proj 76
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10}
edge: { sourcename: "n76" targetname: "n74" class:2 priority:50 linestyle:dotted}
node: {title: "n75" label: "ProjP Arg 0 75" info1: "Proj 75
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n75" targetname: "n72" label: "0" class:16 priority:10}
edge: { sourcename: "n75" targetname: "n74" class:2 priority:50 linestyle:dotted}
node: {title: "n71" label: "ProjM 1 71" info1: "Proj 71
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n71" targetname: "n65" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n71" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n78" label: "Sel a 78" info1: "Sel 78
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n81" targetname: "n74" class:2 priority:50 linestyle:dotted}
node: {title: "n82" label: "Return 82" info1: "Return 82
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n62" targetname: "n82" label: "0" class:13 priority:60 color:red}
node: {title: "n136" label: "End 136" info1: "End 136
mode: X
-1: Block 62
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n136" targetname: "n62" class:2 priority:50 linestyle:dotted}
node: {title: "e17" label: "ent a" color: yellow
info1: "entity a (17)
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n64" targetname: "n68" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start 65" info1: "Start 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
edge: { sourcename: "n65" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
edge: { sourcename: "n68" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n74" label: "Block 74" info1: "Block 74
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
node: {title: "n72" label: "ProjT T_args 72" info1: "Proj 72
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n65" label: "0" class:1 priority:50}
edge: { sourcename: "n72" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n76" label: "ProjIs Arg 1 76" info1: "Proj 76
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10}
edge: { sourcename: "n76" targetname: "n74" class:2 priority:50 linestyle:dotted}
node: {title: "n75" label: "ProjP Arg 0 75" info1: "Proj 75
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n75" targetname: "n72" label: "0" class:16 priority:10}
edge: { sourcename: "n75" targetname: "n74" class:2 priority:50 linestyle:dotted}
node: {title: "n71" label: "ProjM 1 71" info1: "Proj 71
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n71" targetname: "n65" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n71" targetname: "n64" class:2 priority:50 linestyle:dotted}
node: {title: "n78" label: "Sel a 78" info1: "Sel 78
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
edge: { sourcename: "n81" targetname: "n74" class:2 priority:50 linestyle:dotted}
node: {title: "n82" label: "Return 82" info1: "Return 82
block visited: 0
Execution freqency statistics:
"
-color: lightyellow}
+color:lightyellow}
edge: {sourcename: "n62" targetname: "n82" label: "0" class:13 priority:60 color:red}
node: {title: "n136" label: "End 136" info1: "End 136
mode: X
-1: Block 62
Private Attributes:
"
-color: blue}
+color:blue}
edge: { sourcename: "n136" targetname: "n62" class:2 priority:50 linestyle:dotted}
}
-1: Block 62
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n74" label: "Block 74" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
node: {title: "n79" label: "Store 79" info1: "Store 79
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n75" targetname: "n72" label: "0" class:16 priority:10}
node: {title: "n76" label: "ProjIs Arg 1 76" info1: "Proj 76
mode: Is
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n71" targetname: "n65" label: "0" class:17 priority:10 color:blue}
node: {title: "n72" label: "ProjT T_args 72" info1: "Proj 72
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n65" label: "0" class:1 priority:50}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start 65" info1: "Start 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
-1: Block 62
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n74" label: "Block 74" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
node: {title: "n79" label: "Store 79" info1: "Store 79
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n75" targetname: "n72" label: "0" class:16 priority:10}
node: {title: "n76" label: "ProjIs Arg 1 76" info1: "Proj 76
mode: Is
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n71" targetname: "n65" label: "0" class:17 priority:10 color:blue}
node: {title: "n72" label: "ProjT T_args 72" info1: "Proj 72
mode: T
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n65" label: "0" class:1 priority:50}
node: {title: "n68" label: "ProjX X_initial_exec 68" info1: "Proj 68
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
node: {title: "n65" label: "Start 65" info1: "Start 65
mode: T
param 0 type: class_prima_ptr
param 1 type: int
"
-color: blue}
+color:blue}
}
}
backedges:
in loop 532 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n120" targetname: "n91" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n120" targetname: "n112" label: "1" class:17 priority:10 color:blue}
node: {title: "n560" label: "PhiP 560" info1: "Phi 560
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n560" targetname: "n562" label: "0" class:16 priority:10}
edge: {sourcename: "n560" targetname: "n561" label: "1" class:16 priority:10}
node: {title: "n100" label: "Jmp 100" info1: "Jmp 100
backedges:
in loop 529 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n91" targetname: "n41" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n91" targetname: "n83" label: "1" class:17 priority:10 color:blue}
node: {title: "n553" label: "PhiP 553" info1: "Phi 553
Private Attributes:
backedges:
"
-color: green}
+color:green}
node: {title: "n553n62" label: "SymC &a2 62" info1: "SymC &a2 62
mode: P
visited: 36
Private Attributes:
backedges:
"
-color: green}
+color:green}
node: {title: "n545n61" label: "SymC &a 61" info1: "SymC &a 61
mode: P
visited: 36
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n558" targetname: "n558n59" label: "0" class:16 priority:10}
edge: {sourcename: "n558" targetname: "n92" label: "1" class:1 priority:50}
node: {title: "n55" label: "ProjX false 55" info1: "Proj 55
proj nr: 0
in loop 526 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n55" targetname: "n54" label: "0" class:13 priority:60 color:red}
node: {title: "n56" label: "ProjX true 56" info1: "Proj 56
mode: X
proj nr: 1
in loop 528 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:13 priority:60 color:red}
node: {title: "n54" label: "Cond 54" info1: "Cond 54
mode: T
proj nr: 3
in loop 528 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n51" targetname: "n53" label: "0" class:1 priority:50}
node: {title: "n53" label: "Cmp 53" info1: "Cmp 53
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n53" targetname: "n92" label: "0" class:1 priority:50}
edge: {sourcename: "n53" targetname: "n53n52" label: "1" class:16 priority:10}
node: {title: "n92" label: "PhiIs 92" info1: "Phi 92
backedges:
in loop 527 with depth 1
"
-color: green}
+color:green}
node: {title: "n92n45" label: "0x0Is 45" info1: "0x0 45
mode: Is
visited: 36
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n92" targetname: "n92n45" label: "0" class:16 priority:10}
edge: {sourcename: "n92" targetname: "n84" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 529 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n83" targetname: "n81" label: "0" class:17 priority:10 color:blue}
node: {title: "n81" label: "Store 81" info1: "Store 81
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n76" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n81" targetname: "n545" label: "1" class:16 priority:10}
edge: {sourcename: "n81" targetname: "n81n80" label: "2" class:16 priority:10}
proj nr: 0
in loop 529 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n74" label: "0" class:17 priority:10 color:blue}
node: {title: "n74" label: "Store 74" info1: "Store 74
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n74" targetname: "n72" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n74" targetname: "n553" label: "1" class:16 priority:10}
edge: {sourcename: "n74" targetname: "n74n73" label: "2" class:16 priority:10}
proj nr: 0
in loop 529 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n70" label: "0" class:17 priority:10 color:blue}
node: {title: "n70" label: "Store 70" info1: "Store 70
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n70" targetname: "n91" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n70" targetname: "n545" label: "1" class:16 priority:10}
edge: {sourcename: "n70" targetname: "n70n68" label: "2" class:16 priority:10}
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n554" targetname: "n554n60" label: "0" class:16 priority:10}
edge: {sourcename: "n554" targetname: "n553" label: "1" class:16 priority:10}
node: {title: "n546" label: "AddP 546" info1: "Add 546
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n546" targetname: "n546n59" label: "0" class:16 priority:10}
edge: {sourcename: "n546" targetname: "n545" label: "1" class:16 priority:10}
node: {title: "n85" label: "Jmp 85" info1: "Jmp 85
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n84" targetname: "n84n58" label: "0" class:16 priority:10}
edge: {sourcename: "n84" targetname: "n92" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 532 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n112" targetname: "n110" label: "0" class:17 priority:10 color:blue}
node: {title: "n110" label: "Store 110" info1: "Store 110
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n110" targetname: "n120" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n110" targetname: "n560" label: "1" class:16 priority:10}
edge: {sourcename: "n110" targetname: "n110n68" label: "2" class:16 priority:10}
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n561" targetname: "n561n557" label: "0" class:16 priority:10}
edge: {sourcename: "n561" targetname: "n560" label: "1" class:16 priority:10}
node: {title: "n114" label: "Jmp 114" info1: "Jmp 114
Private Attributes:
in loop 526 with depth 0
"
-color: blue}
+color:blue}
}
node: {title: "n32n36" label: "Bad 36" info1: "Bad 36
mode: T
proj nr: 1
in loop 526 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n41" targetname: "n35" label: "0" class:17 priority:10 color:blue}
node: {title: "n38" label: "ProjX X_initial_exec 38" info1: "Proj 38
mode: X
proj nr: 0
in loop 526 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n38" targetname: "n35" label: "0" class:13 priority:60 color:red}
node: {title: "n35" label: "Start 35" info1: "Start 35
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
backedges: 1
in loop 532 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n120" targetname: "n91" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n120" targetname: "n112" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n119" label: "PhiIs 119" info1: "Phi 119
backedges: 1
in loop 531 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n119" targetname: "n92" label: "0" class:16 priority:10}
backedge: {sourcename: "n119" targetname: "n113" label: "1" linestyle:dashed class:16 priority:10}
node: {title: "n100" label: "Jmp 100" info1: "Jmp 100
backedges: 1
in loop 529 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n91" targetname: "n41" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n91" targetname: "n83" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n55" label: "ProjX false 55" info1: "Proj 55
proj nr: 0
in loop 526 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n55" targetname: "n54" label: "0" class:13 priority:60 color:red}
node: {title: "n56" label: "ProjX true 56" info1: "Proj 56
mode: X
proj nr: 1
in loop 528 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n56" targetname: "n54" label: "0" class:13 priority:60 color:red}
node: {title: "n54" label: "Cond 54" info1: "Cond 54
mode: T
proj nr: 3
in loop 528 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n51" targetname: "n53" label: "0" class:1 priority:50}
node: {title: "n53" label: "Cmp 53" info1: "Cmp 53
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n53" targetname: "n92" label: "0" class:1 priority:50}
edge: {sourcename: "n53" targetname: "n53n52" label: "1" class:16 priority:10}
node: {title: "n92" label: "PhiIs 92" info1: "Phi 92
backedges: 1
in loop 527 with depth 1
"
-color: green}
+color:green}
node: {title: "n92n45" label: "0x0Is 45" info1: "0x0 45
mode: Is
visited: 26
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n92" targetname: "n92n45" label: "0" class:16 priority:10}
backedge: {sourcename: "n92" targetname: "n84" label: "1" linestyle:dashed class:16 priority:10}
}
proj nr: 0
in loop 529 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n83" targetname: "n81" label: "0" class:17 priority:10 color:blue}
node: {title: "n81" label: "Store 81" info1: "Store 81
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n81" targetname: "n76" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n81" targetname: "n65" label: "1" class:1 priority:50}
edge: {sourcename: "n81" targetname: "n81n80" label: "2" class:16 priority:10}
proj nr: 0
in loop 529 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n76" targetname: "n74" label: "0" class:17 priority:10 color:blue}
node: {title: "n74" label: "Store 74" info1: "Store 74
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n74" targetname: "n72" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n74" targetname: "n67" label: "1" class:1 priority:50}
edge: {sourcename: "n74" targetname: "n74n73" label: "2" class:16 priority:10}
proj nr: 0
in loop 529 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n72" targetname: "n70" label: "0" class:17 priority:10 color:blue}
node: {title: "n70" label: "Store 70" info1: "Store 70
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n70" targetname: "n91" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n70" targetname: "n65" label: "1" class:1 priority:50}
edge: {sourcename: "n70" targetname: "n70n68" label: "2" class:16 priority:10}
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n66" targetname: "n66n60" label: "0" class:16 priority:10}
edge: {sourcename: "n66" targetname: "n92" label: "1" class:16 priority:10}
node: {title: "n65" label: "AddP 65" info1: "Add 65
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n64" targetname: "n64n59" label: "0" class:16 priority:10}
edge: {sourcename: "n64" targetname: "n92" label: "1" class:16 priority:10}
node: {title: "n85" label: "Jmp 85" info1: "Jmp 85
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n84" targetname: "n84n58" label: "0" class:16 priority:10}
edge: {sourcename: "n84" targetname: "n92" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 532 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n112" targetname: "n110" label: "0" class:17 priority:10 color:blue}
node: {title: "n110" label: "Store 110" info1: "Store 110
mode: T
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n110" targetname: "n120" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n110" targetname: "n107" label: "1" class:1 priority:50}
edge: {sourcename: "n110" targetname: "n110n68" label: "2" class:16 priority:10}
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n106" targetname: "n106n59" label: "0" class:16 priority:10}
edge: {sourcename: "n106" targetname: "n119" label: "1" class:16 priority:10}
node: {title: "n113" label: "SubIs 113" info1: "Sub 113
in loop 526 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n113" targetname: "n119" label: "0" class:16 priority:10}
edge: {sourcename: "n113" targetname: "n113n58" label: "1" class:16 priority:10}
node: {title: "n114" label: "Jmp 114" info1: "Jmp 114
Private Attributes:
in loop 526 with depth 0
"
-color: blue}
+color:blue}
}
node: {title: "n32n36" label: "Bad 36" info1: "Bad 36
mode: T
proj nr: 1
in loop 526 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n41" targetname: "n35" label: "0" class:17 priority:10 color:blue}
node: {title: "n38" label: "ProjX X_initial_exec 38" info1: "Proj 38
mode: X
proj nr: 0
in loop 526 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n38" targetname: "n35" label: "0" class:13 priority:60 color:red}
node: {title: "n35" label: "Start 35" info1: "Start 35
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 563 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n184" label: "Block 184" status:clustered color:yellow
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n187" targetname: "n191" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n187" targetname: "n187n166" label: "1" class:16 priority:10}
}
backedges:
in loop 566 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n191" targetname: "n145" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n191" targetname: "n176" label: "1" class:17 priority:10 color:blue}
node: {title: "n576" label: "PhiIs 576" info1: "Phi 576
Private Attributes:
backedges:
"
-color: green}
+color:green}
node: {title: "n576n149" label: "0x0Is 149" info1: "0x0 149
mode: Is
visited: 27
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n576" targetname: "n576n149" label: "0" class:16 priority:10}
edge: {sourcename: "n576" targetname: "n577" label: "1" class:16 priority:10}
node: {title: "n583" label: "PhiIs 583" info1: "Phi 583
Private Attributes:
backedges:
"
-color: green}
+color:green}
node: {title: "n583n149" label: "0x0Is 149" info1: "0x0 149
mode: Is
visited: 27
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n583" targetname: "n583n149" label: "0" class:16 priority:10}
edge: {sourcename: "n583" targetname: "n584" label: "1" class:16 priority:10}
node: {title: "n160" label: "ProjX false 160" info1: "Proj 160
proj nr: 0
in loop 563 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n160" targetname: "n159" label: "0" class:13 priority:60 color:red}
node: {title: "n161" label: "ProjX true 161" info1: "Proj 161
mode: X
proj nr: 1
in loop 565 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n161" targetname: "n159" label: "0" class:13 priority:60 color:red}
node: {title: "n159" label: "Cond 159" info1: "Cond 159
mode: T
proj nr: 3
in loop 565 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n156" targetname: "n158" label: "0" class:1 priority:50}
node: {title: "n158" label: "Cmp 158" info1: "Cmp 158
mode: T
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n158" targetname: "n192" label: "0" class:1 priority:50}
edge: {sourcename: "n158" targetname: "n158n157" label: "1" class:16 priority:10}
node: {title: "n192" label: "PhiIs 192" info1: "Phi 192
backedges:
in loop 564 with depth 1
"
-color: green}
+color:green}
node: {title: "n192n149" label: "0x0Is 149" info1: "0x0 149
mode: Is
visited: 27
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n192" targetname: "n192n149" label: "0" class:16 priority:10}
edge: {sourcename: "n192" targetname: "n177" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 566 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n176" targetname: "n174" label: "0" class:17 priority:10 color:blue}
node: {title: "n174" label: "Store 174" info1: "Store 174
mode: T
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n577" targetname: "n577n166" label: "0" class:16 priority:10}
edge: {sourcename: "n577" targetname: "n576" label: "1" class:16 priority:10}
node: {title: "n567" label: "AddP 567" info1: "Add 567
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n567" targetname: "n567n150" label: "0" class:16 priority:10}
edge: {sourcename: "n567" targetname: "n567n164" label: "1" class:16 priority:10}
node: {title: "n584" label: "AddIs 584" info1: "Add 584
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n584" targetname: "n584n163" label: "0" class:16 priority:10}
edge: {sourcename: "n584" targetname: "n583" label: "1" class:16 priority:10}
node: {title: "n178" label: "Jmp 178" info1: "Jmp 178
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n177" targetname: "n177n165" label: "0" class:16 priority:10}
edge: {sourcename: "n177" targetname: "n192" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 563 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n145" targetname: "n139" label: "0" class:17 priority:10 color:blue}
node: {title: "n142" label: "ProjX X_initial_exec 142" info1: "Proj 142
mode: X
proj nr: 0
in loop 563 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n142" targetname: "n139" label: "0" class:13 priority:60 color:red}
node: {title: "n139" label: "Start 139" info1: "Start 139
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 563 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n184" label: "Block 184" status:clustered color:yellow
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n187" targetname: "n191" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n187" targetname: "n187n166" label: "1" class:16 priority:10}
}
backedges: 1
in loop 566 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n191" targetname: "n145" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n191" targetname: "n176" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n160" label: "ProjX false 160" info1: "Proj 160
proj nr: 0
in loop 563 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n160" targetname: "n159" label: "0" class:13 priority:60 color:red}
node: {title: "n161" label: "ProjX true 161" info1: "Proj 161
mode: X
proj nr: 1
in loop 565 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n161" targetname: "n159" label: "0" class:13 priority:60 color:red}
node: {title: "n159" label: "Cond 159" info1: "Cond 159
mode: T
proj nr: 3
in loop 565 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n156" targetname: "n158" label: "0" class:1 priority:50}
node: {title: "n158" label: "Cmp 158" info1: "Cmp 158
mode: T
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n158" targetname: "n192" label: "0" class:1 priority:50}
edge: {sourcename: "n158" targetname: "n158n157" label: "1" class:16 priority:10}
node: {title: "n192" label: "PhiIs 192" info1: "Phi 192
backedges: 1
in loop 564 with depth 1
"
-color: green}
+color:green}
node: {title: "n192n149" label: "0x0Is 149" info1: "0x0 149
mode: Is
visited: 17
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n192" targetname: "n192n149" label: "0" class:16 priority:10}
backedge: {sourcename: "n192" targetname: "n177" label: "1" linestyle:dashed class:16 priority:10}
}
proj nr: 0
in loop 566 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n176" targetname: "n174" label: "0" class:17 priority:10 color:blue}
node: {title: "n174" label: "Store 174" info1: "Store 174
mode: T
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n172" targetname: "n172n164" label: "0" class:16 priority:10}
edge: {sourcename: "n172" targetname: "n171" label: "1" class:1 priority:50}
node: {title: "n171" label: "AddP 171" info1: "Add 171
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n169" targetname: "n169n166" label: "0" class:16 priority:10}
edge: {sourcename: "n169" targetname: "n192" label: "1" class:16 priority:10}
node: {title: "n168" label: "MulIs 168" info1: "Mul 168
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n168" targetname: "n168n163" label: "0" class:16 priority:10}
edge: {sourcename: "n168" targetname: "n192" label: "1" class:16 priority:10}
node: {title: "n178" label: "Jmp 178" info1: "Jmp 178
in loop 563 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n177" targetname: "n177n165" label: "0" class:16 priority:10}
edge: {sourcename: "n177" targetname: "n192" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 563 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n145" targetname: "n139" label: "0" class:17 priority:10 color:blue}
node: {title: "n142" label: "ProjX X_initial_exec 142" info1: "Proj 142
mode: X
proj nr: 0
in loop 563 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n142" targetname: "n139" label: "0" class:13 priority:60 color:red}
node: {title: "n139" label: "Start 139" info1: "Start 139
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 585 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n250" label: "Block 250" status:clustered color:yellow
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n253" targetname: "n257" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n253" targetname: "n253n229" label: "1" class:16 priority:10}
}
backedges:
in loop 588 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n257" targetname: "n211" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n257" targetname: "n242" label: "1" class:17 priority:10 color:blue}
node: {title: "n605" label: "PhiIs 605" info1: "Phi 605
Private Attributes:
backedges:
"
-color: green}
+color:green}
node: {title: "n605n603" label: "0x28Is 603" info1: "0x28 603
mode: Is
visited: 27
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n605" targetname: "n605n603" label: "0" class:16 priority:10}
edge: {sourcename: "n605" targetname: "n606" label: "1" class:16 priority:10}
node: {title: "n225" label: "ProjX false 225" info1: "Proj 225
proj nr: 0
in loop 585 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n225" targetname: "n224" label: "0" class:13 priority:60 color:red}
node: {title: "n226" label: "ProjX true 226" info1: "Proj 226
mode: X
proj nr: 1
in loop 587 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n226" targetname: "n224" label: "0" class:13 priority:60 color:red}
node: {title: "n224" label: "Cond 224" info1: "Cond 224
mode: T
proj nr: 4
in loop 587 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n222" targetname: "n223" label: "0" class:1 priority:50}
node: {title: "n223" label: "Cmp 223" info1: "Cmp 223
mode: T
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n223" targetname: "n258" label: "0" class:1 priority:50}
edge: {sourcename: "n223" targetname: "n223n220" label: "1" class:16 priority:10}
node: {title: "n258" label: "PhiIs 258" info1: "Phi 258
backedges:
in loop 586 with depth 1
"
-color: green}
+color:green}
node: {title: "n258n215" label: "0xAIs 215" info1: "0xA 215
mode: Is
visited: 27
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n258" targetname: "n258n215" label: "0" class:16 priority:10}
edge: {sourcename: "n258" targetname: "n592" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 588 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n242" targetname: "n240" label: "0" class:17 priority:10 color:blue}
node: {title: "n240" label: "Store 240" info1: "Store 240
mode: T
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n236" targetname: "n236n230" label: "0" class:16 priority:10}
edge: {sourcename: "n236" targetname: "n594" label: "1" class:1 priority:50}
node: {title: "n597" label: "AddP 597" info1: "Add 597
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n597" targetname: "n594" label: "0" class:1 priority:50}
edge: {sourcename: "n597" targetname: "n597n596" label: "1" class:16 priority:10}
node: {title: "n594" label: "AddP 594" info1: "Add 594
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n606" targetname: "n606n601" label: "0" class:16 priority:10}
edge: {sourcename: "n606" targetname: "n605" label: "1" class:16 priority:10}
node: {title: "n593" label: "AddP 593" info1: "Add 593
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n593" targetname: "n593n216" label: "0" class:16 priority:10}
edge: {sourcename: "n593" targetname: "n593n229" label: "1" class:16 priority:10}
node: {title: "n244" label: "Jmp 244" info1: "Jmp 244
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n592" targetname: "n258" label: "0" class:16 priority:10}
edge: {sourcename: "n592" targetname: "n592n591" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 585 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
node: {title: "n208" label: "ProjX X_initial_exec 208" info1: "Proj 208
mode: X
proj nr: 0
in loop 585 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n208" targetname: "n205" label: "0" class:13 priority:60 color:red}
node: {title: "n205" label: "Start 205" info1: "Start 205
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 585 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n250" label: "Block 250" status:clustered color:yellow
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n253" targetname: "n257" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n253" targetname: "n253n229" label: "1" class:16 priority:10}
}
backedges: 1
in loop 588 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n257" targetname: "n211" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n257" targetname: "n242" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n225" label: "ProjX false 225" info1: "Proj 225
proj nr: 0
in loop 585 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n225" targetname: "n224" label: "0" class:13 priority:60 color:red}
node: {title: "n226" label: "ProjX true 226" info1: "Proj 226
mode: X
proj nr: 1
in loop 587 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n226" targetname: "n224" label: "0" class:13 priority:60 color:red}
node: {title: "n224" label: "Cond 224" info1: "Cond 224
mode: T
proj nr: 4
in loop 587 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n222" targetname: "n223" label: "0" class:1 priority:50}
node: {title: "n223" label: "Cmp 223" info1: "Cmp 223
mode: T
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n223" targetname: "n258" label: "0" class:1 priority:50}
edge: {sourcename: "n223" targetname: "n223n220" label: "1" class:16 priority:10}
node: {title: "n258" label: "PhiIs 258" info1: "Phi 258
backedges: 1
in loop 586 with depth 1
"
-color: green}
+color:green}
node: {title: "n258n215" label: "0xAIs 215" info1: "0xA 215
mode: Is
visited: 17
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n258" targetname: "n258n215" label: "0" class:16 priority:10}
backedge: {sourcename: "n258" targetname: "n243" label: "1" linestyle:dashed class:16 priority:10}
}
proj nr: 0
in loop 588 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n242" targetname: "n240" label: "0" class:17 priority:10 color:blue}
node: {title: "n240" label: "Store 240" info1: "Store 240
mode: T
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n237" targetname: "n237n230" label: "0" class:16 priority:10}
edge: {sourcename: "n237" targetname: "n236" label: "1" class:1 priority:50}
node: {title: "n236" label: "AddP 236" info1: "Add 236
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n236" targetname: "n236n230" label: "0" class:16 priority:10}
edge: {sourcename: "n236" targetname: "n235" label: "1" class:1 priority:50}
node: {title: "n235" label: "AddP 235" info1: "Add 235
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n235" targetname: "n235n229" label: "0" class:16 priority:10}
edge: {sourcename: "n235" targetname: "n234" label: "1" class:1 priority:50}
node: {title: "n234" label: "AddP 234" info1: "Add 234
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n232" targetname: "n232n229" label: "0" class:16 priority:10}
edge: {sourcename: "n232" targetname: "n258" label: "1" class:16 priority:10}
node: {title: "n244" label: "Jmp 244" info1: "Jmp 244
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n243" targetname: "n258" label: "0" class:16 priority:10}
edge: {sourcename: "n243" targetname: "n243n228" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 585 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
node: {title: "n208" label: "ProjX X_initial_exec 208" info1: "Proj 208
mode: X
proj nr: 0
in loop 585 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n208" targetname: "n205" label: "0" class:13 priority:60 color:red}
node: {title: "n205" label: "Start 205" info1: "Start 205
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 607 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n318" label: "Block 318" status:clustered color:yellow
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n321" targetname: "n325" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n321" targetname: "n321n296" label: "1" class:16 priority:10}
}
backedges:
in loop 610 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n325" targetname: "n277" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n325" targetname: "n311" label: "1" class:17 priority:10 color:blue}
node: {title: "n630" label: "PhiIs 630" info1: "Phi 630
Private Attributes:
backedges:
"
-color: green}
+color:green}
node: {title: "n630n281" label: "0x0Is 281" info1: "0x0 281
mode: Is
visited: 31
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n630" targetname: "n630n281" label: "0" class:16 priority:10}
edge: {sourcename: "n630" targetname: "n631" label: "1" class:16 priority:10}
node: {title: "n637" label: "PhiIs 637" info1: "Phi 637
Private Attributes:
backedges:
"
-color: green}
+color:green}
node: {title: "n637n281" label: "0x0Is 281" info1: "0x0 281
mode: Is
visited: 31
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n637" targetname: "n637n281" label: "0" class:16 priority:10}
edge: {sourcename: "n637" targetname: "n638" label: "1" class:16 priority:10}
node: {title: "n292" label: "ProjX false 292" info1: "Proj 292
proj nr: 0
in loop 607 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
node: {title: "n293" label: "ProjX true 293" info1: "Proj 293
mode: X
proj nr: 1
in loop 609 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n293" targetname: "n291" label: "0" class:13 priority:60 color:red}
node: {title: "n291" label: "Cond 291" info1: "Cond 291
mode: T
proj nr: 3
in loop 609 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n288" targetname: "n290" label: "0" class:1 priority:50}
node: {title: "n290" label: "Cmp 290" info1: "Cmp 290
mode: T
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n290" targetname: "n326" label: "0" class:1 priority:50}
edge: {sourcename: "n290" targetname: "n290n289" label: "1" class:16 priority:10}
node: {title: "n326" label: "PhiIs 326" info1: "Phi 326
backedges:
in loop 608 with depth 1
"
-color: green}
+color:green}
node: {title: "n326n281" label: "0x0Is 281" info1: "0x0 281
mode: Is
visited: 31
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n326" targetname: "n326n281" label: "0" class:16 priority:10}
edge: {sourcename: "n326" targetname: "n299" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 610 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n311" targetname: "n309" label: "0" class:17 priority:10 color:blue}
node: {title: "n309" label: "Store 309" info1: "Store 309
mode: T
proj nr: 0
in loop 610 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n306" targetname: "n304" label: "0" class:17 priority:10 color:blue}
node: {title: "n304" label: "Store 304" info1: "Store 304
mode: T
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n631" targetname: "n631n297" label: "0" class:16 priority:10}
edge: {sourcename: "n631" targetname: "n630" label: "1" class:16 priority:10}
node: {title: "n621" label: "AddP 621" info1: "Add 621
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n621" targetname: "n621n282" label: "0" class:16 priority:10}
edge: {sourcename: "n621" targetname: "n621n297" label: "1" class:16 priority:10}
node: {title: "n616" label: "AddP 616" info1: "Add 616
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n638" targetname: "n638n296" label: "0" class:16 priority:10}
edge: {sourcename: "n638" targetname: "n637" label: "1" class:16 priority:10}
node: {title: "n615" label: "AddP 615" info1: "Add 615
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n615" targetname: "n615n282" label: "0" class:16 priority:10}
edge: {sourcename: "n615" targetname: "n615n296" label: "1" class:16 priority:10}
node: {title: "n312" label: "Jmp 312" info1: "Jmp 312
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n299" targetname: "n299n295" label: "0" class:16 priority:10}
edge: {sourcename: "n299" targetname: "n326" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 607 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
node: {title: "n274" label: "ProjX X_initial_exec 274" info1: "Proj 274
mode: X
proj nr: 0
in loop 607 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
node: {title: "n271" label: "Start 271" info1: "Start 271
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 607 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n318" label: "Block 318" status:clustered color:yellow
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n321" targetname: "n325" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n321" targetname: "n321n296" label: "1" class:16 priority:10}
}
backedges: 1
in loop 610 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n325" targetname: "n277" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n325" targetname: "n311" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n292" label: "ProjX false 292" info1: "Proj 292
proj nr: 0
in loop 607 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
node: {title: "n293" label: "ProjX true 293" info1: "Proj 293
mode: X
proj nr: 1
in loop 609 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n293" targetname: "n291" label: "0" class:13 priority:60 color:red}
node: {title: "n291" label: "Cond 291" info1: "Cond 291
mode: T
proj nr: 3
in loop 609 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n288" targetname: "n290" label: "0" class:1 priority:50}
node: {title: "n290" label: "Cmp 290" info1: "Cmp 290
mode: T
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n290" targetname: "n326" label: "0" class:1 priority:50}
edge: {sourcename: "n290" targetname: "n290n289" label: "1" class:16 priority:10}
node: {title: "n326" label: "PhiIs 326" info1: "Phi 326
backedges: 1
in loop 608 with depth 1
"
-color: green}
+color:green}
node: {title: "n326n281" label: "0x0Is 281" info1: "0x0 281
mode: Is
visited: 21
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n326" targetname: "n326n281" label: "0" class:16 priority:10}
backedge: {sourcename: "n326" targetname: "n299" label: "1" linestyle:dashed class:16 priority:10}
}
proj nr: 0
in loop 610 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n311" targetname: "n309" label: "0" class:17 priority:10 color:blue}
node: {title: "n309" label: "Store 309" info1: "Store 309
mode: T
proj nr: 0
in loop 610 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n306" targetname: "n304" label: "0" class:17 priority:10 color:blue}
node: {title: "n304" label: "Store 304" info1: "Store 304
mode: T
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n300" targetname: "n300n297" label: "0" class:16 priority:10}
edge: {sourcename: "n300" targetname: "n299" label: "1" class:1 priority:50}
node: {title: "n308" label: "AddP 308" info1: "Add 308
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n307" targetname: "n307n296" label: "0" class:16 priority:10}
edge: {sourcename: "n307" targetname: "n299" label: "1" class:1 priority:50}
node: {title: "n312" label: "Jmp 312" info1: "Jmp 312
in loop 607 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n299" targetname: "n299n295" label: "0" class:16 priority:10}
edge: {sourcename: "n299" targetname: "n326" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 607 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
node: {title: "n274" label: "ProjX X_initial_exec 274" info1: "Proj 274
mode: X
proj nr: 0
in loop 607 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
node: {title: "n271" label: "Start 271" info1: "Start 271
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 639 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n384" label: "Block 384" status:clustered color:yellow
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n387" targetname: "n391" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n387" targetname: "n387n363" label: "1" class:16 priority:10}
}
backedges:
in loop 642 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n391" targetname: "n345" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n391" targetname: "n377" label: "1" class:17 priority:10 color:blue}
node: {title: "n359" label: "ProjX false 359" info1: "Proj 359
proj nr: 0
in loop 639 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n359" targetname: "n358" label: "0" class:13 priority:60 color:red}
node: {title: "n360" label: "ProjX true 360" info1: "Proj 360
mode: X
proj nr: 1
in loop 641 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n360" targetname: "n358" label: "0" class:13 priority:60 color:red}
node: {title: "n358" label: "Cond 358" info1: "Cond 358
mode: T
proj nr: 4
in loop 641 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n356" targetname: "n357" label: "0" class:1 priority:50}
node: {title: "n357" label: "Cmp 357" info1: "Cmp 357
mode: T
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n357" targetname: "n392" label: "0" class:1 priority:50}
edge: {sourcename: "n357" targetname: "n357n354" label: "1" class:16 priority:10}
node: {title: "n392" label: "PhiIs 392" info1: "Phi 392
backedges:
in loop 640 with depth 1
"
-color: green}
+color:green}
node: {title: "n392n659" label: "0x28Is 659" info1: "0x28 659
mode: Is
visited: 26
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n392" targetname: "n392n659" label: "0" class:16 priority:10}
edge: {sourcename: "n392" targetname: "n646" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 642 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n377" targetname: "n375" label: "0" class:17 priority:10 color:blue}
node: {title: "n375" label: "Store 375" info1: "Store 375
mode: T
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n375" targetname: "n391" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n375" targetname: "n655" label: "1" class:1 priority:50}
edge: {sourcename: "n375" targetname: "n375n373" label: "2" class:16 priority:10}
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n655" targetname: "n652" label: "0" class:1 priority:50}
edge: {sourcename: "n655" targetname: "n655n654" label: "1" class:16 priority:10}
node: {title: "n652" label: "AddP 652" info1: "Add 652
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n651" targetname: "n651n350" label: "0" class:16 priority:10}
edge: {sourcename: "n651" targetname: "n651n649" label: "1" class:16 priority:10}
node: {title: "n378" label: "Jmp 378" info1: "Jmp 378
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n646" targetname: "n392" label: "0" class:16 priority:10}
edge: {sourcename: "n646" targetname: "n646n649" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 639 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n345" targetname: "n339" label: "0" class:17 priority:10 color:blue}
node: {title: "n342" label: "ProjX X_initial_exec 342" info1: "Proj 342
mode: X
proj nr: 0
in loop 639 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n342" targetname: "n339" label: "0" class:13 priority:60 color:red}
node: {title: "n339" label: "Start 339" info1: "Start 339
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 639 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n384" label: "Block 384" status:clustered color:yellow
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n387" targetname: "n391" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n387" targetname: "n387n363" label: "1" class:16 priority:10}
}
backedges: 1
in loop 642 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n391" targetname: "n345" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n391" targetname: "n377" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n359" label: "ProjX false 359" info1: "Proj 359
proj nr: 0
in loop 639 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n359" targetname: "n358" label: "0" class:13 priority:60 color:red}
node: {title: "n360" label: "ProjX true 360" info1: "Proj 360
mode: X
proj nr: 1
in loop 641 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n360" targetname: "n358" label: "0" class:13 priority:60 color:red}
node: {title: "n358" label: "Cond 358" info1: "Cond 358
mode: T
proj nr: 4
in loop 641 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n356" targetname: "n357" label: "0" class:1 priority:50}
node: {title: "n357" label: "Cmp 357" info1: "Cmp 357
mode: T
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n357" targetname: "n392" label: "0" class:1 priority:50}
edge: {sourcename: "n357" targetname: "n357n354" label: "1" class:16 priority:10}
node: {title: "n392" label: "PhiIs 392" info1: "Phi 392
backedges: 1
in loop 640 with depth 1
"
-color: green}
+color:green}
node: {title: "n392n349" label: "0xAIs 349" info1: "0xA 349
mode: Is
visited: 16
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n392" targetname: "n392n349" label: "0" class:16 priority:10}
backedge: {sourcename: "n392" targetname: "n365" label: "1" linestyle:dashed class:16 priority:10}
}
proj nr: 0
in loop 642 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n377" targetname: "n375" label: "0" class:17 priority:10 color:blue}
node: {title: "n375" label: "Store 375" info1: "Store 375
mode: T
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n375" targetname: "n391" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n375" targetname: "n372" label: "1" class:1 priority:50}
edge: {sourcename: "n375" targetname: "n375n373" label: "2" class:16 priority:10}
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n372" targetname: "n372n367" label: "0" class:16 priority:10}
edge: {sourcename: "n372" targetname: "n371" label: "1" class:1 priority:50}
node: {title: "n371" label: "AddP 371" info1: "Add 371
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n371" targetname: "n371n363" label: "0" class:16 priority:10}
edge: {sourcename: "n371" targetname: "n370" label: "1" class:1 priority:50}
node: {title: "n370" label: "AddP 370" info1: "Add 370
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n368" targetname: "n368n363" label: "0" class:16 priority:10}
edge: {sourcename: "n368" targetname: "n365" label: "1" class:1 priority:50}
node: {title: "n378" label: "Jmp 378" info1: "Jmp 378
in loop 639 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n365" targetname: "n392" label: "0" class:16 priority:10}
edge: {sourcename: "n365" targetname: "n365n362" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 639 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n345" targetname: "n339" label: "0" class:17 priority:10 color:blue}
node: {title: "n342" label: "ProjX X_initial_exec 342" info1: "Proj 342
mode: X
proj nr: 0
in loop 639 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n342" targetname: "n339" label: "0" class:13 priority:60 color:red}
node: {title: "n339" label: "Start 339" info1: "Start 339
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 664 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n451" label: "Block 451" status:clustered color:yellow
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n454" targetname: "n458" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n454" targetname: "n454n431" label: "1" class:16 priority:10}
}
backedges:
in loop 667 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n458" targetname: "n411" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n458" targetname: "n444" label: "1" class:17 priority:10 color:blue}
node: {title: "n426" label: "ProjX false 426" info1: "Proj 426
proj nr: 0
in loop 664 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n426" targetname: "n425" label: "0" class:13 priority:60 color:red}
node: {title: "n427" label: "ProjX true 427" info1: "Proj 427
mode: X
proj nr: 1
in loop 666 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n427" targetname: "n425" label: "0" class:13 priority:60 color:red}
node: {title: "n425" label: "Cond 425" info1: "Cond 425
mode: T
proj nr: 3
in loop 666 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n422" targetname: "n424" label: "0" class:1 priority:50}
node: {title: "n424" label: "Cmp 424" info1: "Cmp 424
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n424" targetname: "n459" label: "0" class:1 priority:50}
edge: {sourcename: "n424" targetname: "n424n686" label: "1" class:16 priority:10}
node: {title: "n459" label: "PhiIs 459" info1: "Phi 459
backedges:
in loop 665 with depth 1
"
-color: green}
+color:green}
node: {title: "n459n415" label: "0x0Is 415" info1: "0x0 415
mode: Is
visited: 26
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n459" targetname: "n459n415" label: "0" class:16 priority:10}
edge: {sourcename: "n459" targetname: "n671" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 667 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n444" targetname: "n442" label: "0" class:17 priority:10 color:blue}
node: {title: "n442" label: "Store 442" info1: "Store 442
mode: T
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n442" targetname: "n458" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n442" targetname: "n680" label: "1" class:1 priority:50}
edge: {sourcename: "n442" targetname: "n442n440" label: "2" class:16 priority:10}
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n680" targetname: "n437" label: "0" class:1 priority:50}
edge: {sourcename: "n680" targetname: "n680n679" label: "1" class:16 priority:10}
node: {title: "n437" label: "SubP 437" info1: "Sub 437
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n437" targetname: "n437n430" label: "0" class:16 priority:10}
edge: {sourcename: "n437" targetname: "n677" label: "1" class:1 priority:50}
node: {title: "n677" label: "AddP 677" info1: "Add 677
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n676" targetname: "n676n416" label: "0" class:16 priority:10}
edge: {sourcename: "n676" targetname: "n676n674" label: "1" class:16 priority:10}
node: {title: "n445" label: "Jmp 445" info1: "Jmp 445
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n671" targetname: "n459" label: "0" class:16 priority:10}
edge: {sourcename: "n671" targetname: "n671n674" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 664 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n411" targetname: "n405" label: "0" class:17 priority:10 color:blue}
node: {title: "n408" label: "ProjX X_initial_exec 408" info1: "Proj 408
mode: X
proj nr: 0
in loop 664 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n408" targetname: "n405" label: "0" class:13 priority:60 color:red}
node: {title: "n405" label: "Start 405" info1: "Start 405
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 664 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n451" label: "Block 451" status:clustered color:yellow
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n454" targetname: "n458" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n454" targetname: "n454n431" label: "1" class:16 priority:10}
}
backedges: 1
in loop 667 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n458" targetname: "n411" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n458" targetname: "n444" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n426" label: "ProjX false 426" info1: "Proj 426
proj nr: 0
in loop 664 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n426" targetname: "n425" label: "0" class:13 priority:60 color:red}
node: {title: "n427" label: "ProjX true 427" info1: "Proj 427
mode: X
proj nr: 1
in loop 666 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n427" targetname: "n425" label: "0" class:13 priority:60 color:red}
node: {title: "n425" label: "Cond 425" info1: "Cond 425
mode: T
proj nr: 3
in loop 666 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n422" targetname: "n424" label: "0" class:1 priority:50}
node: {title: "n424" label: "Cmp 424" info1: "Cmp 424
mode: T
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n424" targetname: "n459" label: "0" class:1 priority:50}
edge: {sourcename: "n424" targetname: "n424n423" label: "1" class:16 priority:10}
node: {title: "n459" label: "PhiIs 459" info1: "Phi 459
backedges: 1
in loop 665 with depth 1
"
-color: green}
+color:green}
node: {title: "n459n415" label: "0x0Is 415" info1: "0x0 415
mode: Is
visited: 16
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n459" targetname: "n459n415" label: "0" class:16 priority:10}
backedge: {sourcename: "n459" targetname: "n433" label: "1" linestyle:dashed class:16 priority:10}
}
proj nr: 0
in loop 667 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n444" targetname: "n442" label: "0" class:17 priority:10 color:blue}
node: {title: "n442" label: "Store 442" info1: "Store 442
mode: T
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n442" targetname: "n458" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n442" targetname: "n439" label: "1" class:1 priority:50}
edge: {sourcename: "n442" targetname: "n442n440" label: "2" class:16 priority:10}
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n439" targetname: "n439n431" label: "0" class:16 priority:10}
edge: {sourcename: "n439" targetname: "n438" label: "1" class:1 priority:50}
node: {title: "n438" label: "AddP 438" info1: "Add 438
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n438" targetname: "n438n431" label: "0" class:16 priority:10}
edge: {sourcename: "n438" targetname: "n437" label: "1" class:1 priority:50}
node: {title: "n437" label: "SubP 437" info1: "Sub 437
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n437" targetname: "n437n430" label: "0" class:16 priority:10}
edge: {sourcename: "n437" targetname: "n436" label: "1" class:1 priority:50}
node: {title: "n436" label: "AddP 436" info1: "Add 436
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n434" targetname: "n434n431" label: "0" class:16 priority:10}
edge: {sourcename: "n434" targetname: "n433" label: "1" class:1 priority:50}
node: {title: "n445" label: "Jmp 445" info1: "Jmp 445
in loop 664 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n433" targetname: "n459" label: "0" class:16 priority:10}
edge: {sourcename: "n433" targetname: "n433n429" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 664 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n411" targetname: "n405" label: "0" class:17 priority:10 color:blue}
node: {title: "n408" label: "ProjX X_initial_exec 408" info1: "Proj 408
mode: X
proj nr: 0
in loop 664 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n408" targetname: "n405" label: "0" class:13 priority:60 color:red}
node: {title: "n405" label: "Start 405" info1: "Start 405
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 689 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n517" label: "Block 517" status:clustered color:yellow
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n520" targetname: "n524" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n520" targetname: "n520n497" label: "1" class:16 priority:10}
}
backedges:
in loop 692 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n524" targetname: "n478" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n524" targetname: "n509" label: "1" class:17 priority:10 color:blue}
node: {title: "n713" label: "PhiIs 713" info1: "Phi 713
Private Attributes:
backedges:
"
-color: green}
+color:green}
node: {title: "n713n711" label: "0x28Is 711" info1: "0x28 711
mode: Is
visited: 27
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n713" targetname: "n713n711" label: "0" class:16 priority:10}
edge: {sourcename: "n713" targetname: "n714" label: "1" class:16 priority:10}
node: {title: "n493" label: "ProjX false 493" info1: "Proj 493
proj nr: 0
in loop 689 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n493" targetname: "n492" label: "0" class:13 priority:60 color:red}
node: {title: "n494" label: "ProjX true 494" info1: "Proj 494
mode: X
proj nr: 1
in loop 691 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n494" targetname: "n492" label: "0" class:13 priority:60 color:red}
node: {title: "n492" label: "Cond 492" info1: "Cond 492
mode: T
proj nr: 4
in loop 691 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n490" targetname: "n491" label: "0" class:1 priority:50}
node: {title: "n491" label: "Cmp 491" info1: "Cmp 491
mode: T
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n491" targetname: "n525" label: "0" class:1 priority:50}
edge: {sourcename: "n491" targetname: "n491n488" label: "1" class:16 priority:10}
node: {title: "n525" label: "PhiIs 525" info1: "Phi 525
backedges:
in loop 690 with depth 1
"
-color: green}
+color:green}
node: {title: "n525n483" label: "0xAIs 483" info1: "0xA 483
mode: Is
visited: 27
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n525" targetname: "n525n483" label: "0" class:16 priority:10}
edge: {sourcename: "n525" targetname: "n696" label: "1" class:16 priority:10}
}
proj nr: 0
in loop 692 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n509" targetname: "n507" label: "0" class:17 priority:10 color:blue}
node: {title: "n507" label: "Store 507" info1: "Store 507
mode: T
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n714" targetname: "n714n709" label: "0" class:16 priority:10}
edge: {sourcename: "n714" targetname: "n713" label: "1" class:16 priority:10}
node: {title: "n704" label: "AddP 704" info1: "Add 704
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n704" targetname: "n704n484" label: "0" class:16 priority:10}
edge: {sourcename: "n704" targetname: "n704n702" label: "1" class:16 priority:10}
node: {title: "n505" label: "AddIs 505" info1: "Add 505
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n505" targetname: "n505n498" label: "0" class:16 priority:10}
edge: {sourcename: "n505" targetname: "n525" label: "1" class:16 priority:10}
node: {title: "n511" label: "Jmp 511" info1: "Jmp 511
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n696" targetname: "n525" label: "0" class:16 priority:10}
edge: {sourcename: "n696" targetname: "n696n695" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 689 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n478" targetname: "n472" label: "0" class:17 priority:10 color:blue}
node: {title: "n475" label: "ProjX X_initial_exec 475" info1: "Proj 475
mode: X
proj nr: 0
in loop 689 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n475" targetname: "n472" label: "0" class:13 priority:60 color:red}
node: {title: "n472" label: "Start 472" info1: "Start 472
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
Private Attributes:
in loop 689 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n517" label: "Block 517" status:clustered color:yellow
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n520" targetname: "n524" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n520" targetname: "n520n497" label: "1" class:16 priority:10}
}
backedges: 1
in loop 692 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n524" targetname: "n478" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n524" targetname: "n509" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n493" label: "ProjX false 493" info1: "Proj 493
proj nr: 0
in loop 689 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n493" targetname: "n492" label: "0" class:13 priority:60 color:red}
node: {title: "n494" label: "ProjX true 494" info1: "Proj 494
mode: X
proj nr: 1
in loop 691 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n494" targetname: "n492" label: "0" class:13 priority:60 color:red}
node: {title: "n492" label: "Cond 492" info1: "Cond 492
mode: T
proj nr: 4
in loop 691 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n490" targetname: "n491" label: "0" class:1 priority:50}
node: {title: "n491" label: "Cmp 491" info1: "Cmp 491
mode: T
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n491" targetname: "n525" label: "0" class:1 priority:50}
edge: {sourcename: "n491" targetname: "n491n488" label: "1" class:16 priority:10}
node: {title: "n525" label: "PhiIs 525" info1: "Phi 525
backedges: 1
in loop 690 with depth 1
"
-color: green}
+color:green}
node: {title: "n525n483" label: "0xAIs 483" info1: "0xA 483
mode: Is
visited: 17
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n525" targetname: "n525n483" label: "0" class:16 priority:10}
backedge: {sourcename: "n525" targetname: "n510" label: "1" linestyle:dashed class:16 priority:10}
}
proj nr: 0
in loop 692 with depth 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n509" targetname: "n507" label: "0" class:17 priority:10 color:blue}
node: {title: "n507" label: "Store 507" info1: "Store 507
mode: T
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n502" targetname: "n502n497" label: "0" class:16 priority:10}
edge: {sourcename: "n502" targetname: "n501" label: "1" class:1 priority:50}
node: {title: "n501" label: "AddIs 501" info1: "Add 501
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n501" targetname: "n501n498" label: "0" class:16 priority:10}
edge: {sourcename: "n501" targetname: "n500" label: "1" class:1 priority:50}
node: {title: "n500" label: "AddIs 500" info1: "Add 500
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n500" targetname: "n500n497" label: "0" class:16 priority:10}
edge: {sourcename: "n500" targetname: "n525" label: "1" class:16 priority:10}
node: {title: "n505" label: "AddIs 505" info1: "Add 505
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n505" targetname: "n505n498" label: "0" class:16 priority:10}
edge: {sourcename: "n505" targetname: "n525" label: "1" class:16 priority:10}
node: {title: "n511" label: "Jmp 511" info1: "Jmp 511
in loop 689 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n510" targetname: "n525" label: "0" class:16 priority:10}
edge: {sourcename: "n510" targetname: "n510n496" label: "1" class:16 priority:10}
}
proj nr: 1
in loop 689 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n478" targetname: "n472" label: "0" class:17 priority:10 color:blue}
node: {title: "n475" label: "ProjX X_initial_exec 475" info1: "Proj 475
mode: X
proj nr: 0
in loop 689 with depth 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n475" targetname: "n472" label: "0" class:13 priority:60 color:red}
node: {title: "n472" label: "Start 472" info1: "Start 472
mode: T
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}
-1: Block 19
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n41" label: "Block 41" status:clustered color:yellow
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n79" targetname: "n43" label: "0" class:16 priority:10}
edge: {sourcename: "n79" targetname: "n38" label: "1" class:16 priority:10}
edge: {sourcename: "n79" targetname: "n38" label: "2" class:16 priority:10}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n53" targetname: "n52" label: "0" class:13 priority:60 color:red}
node: {title: "n54" label: "ProjX true 54" info1: "Proj 54
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n54" targetname: "n52" label: "0" class:13 priority:60 color:red}
node: {title: "n52" label: "Cond 52" info1: "Cond 52
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n50" targetname: "n51" label: "0" class:1 priority:50}
node: {title: "n51" label: "Cmp 51" info1: "Cmp 51
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n40" targetname: "n37" label: "0" class:13 priority:60 color:red}
node: {title: "n39" label: "ProjX false 39" info1: "Proj 39
mode: X
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n39" targetname: "n37" label: "0" class:13 priority:60 color:red}
node: {title: "n37" label: "Cond 37" info1: "Cond 37
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n35" targetname: "n36" label: "0" class:1 priority:50}
node: {title: "n36" label: "Cmp 36" info1: "Cmp 36
mode: T
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n33" targetname: "n29" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
node: {title: "n43" label: "0x5Is 43" info1: "0x5 43
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n38" label: "0x6Is 38" info1: "0x6 38
mode: Is
visited: 11
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n46" label: "0x3Is 46" info1: "0x3 46
mode: Is
visited: 11
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n29" label: "ProjT T_args 29" info1: "Proj 29
mode: T
visited: 11
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n22" label: "0" class:1 priority:50}
node: {title: "n32" label: "0x1Is 32" info1: "0x1 32
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n25" label: "ProjX X_initial_exec 25" info1: "Proj 25
mode: X
visited: 11
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
node: {title: "n22" label: "Start 22" info1: "Start 22
mode: T
start of method of type THREE_CFPRED_EXAMPLE_main
param 0 type: int
"
-color: blue}
+color:blue}
}
}
-1: Block 20
Private Attributes:
"
-color: blue}
+color:blue}
}
graph: { title: "n54" label: "Block 54" status:clustered color:yellow
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n43" targetname: "n42" label: "0" class:13 priority:60 color:red}
node: {title: "n44" label: "ProjX true 44" info1: "Proj 44
mode: X
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n44" targetname: "n42" label: "0" class:13 priority:60 color:red}
node: {title: "n42" label: "Cond 42" info1: "Cond 42
mode: T
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n40" targetname: "n41" label: "0" class:1 priority:50}
node: {title: "n41" label: "Cmp 41" info1: "Cmp 41
mode: T
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n53" targetname: "n34" label: "0" class:16 priority:10}
edge: {sourcename: "n53" targetname: "n52" label: "1" class:1 priority:50}
node: {title: "n52" label: "PhiIs 52" info1: "Phi 52
Private Attributes:
backedges:
"
-color: green}
+color:green}
edge: {sourcename: "n52" targetname: "n33" label: "0" class:16 priority:10}
edge: {sourcename: "n52" targetname: "n53" label: "1" class:1 priority:50}
}
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n33" targetname: "n30" label: "0" class:16 priority:10}
}
Private Attributes:
proj nr: 1
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
node: {title: "n34" label: "0x1Is 34" info1: "0x1 34
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n30" label: "ProjT T_args 30" info1: "Proj 30
mode: T
visited: 18
Private Attributes:
proj nr: 4
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n30" targetname: "n23" label: "0" class:1 priority:50}
node: {title: "n38" label: "0x0Is 38" info1: "0x0 38
mode: Is
Private Attributes:
Const of type type_unknown
"
-color: yellow}
+color:yellow}
node: {title: "n26" label: "ProjX X_initial_exec 26" info1: "Proj 26
mode: X
visited: 18
Private Attributes:
proj nr: 0
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
start of method of type main_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}