-1: Block 202
0: Phi 256
Private Attributes:
+ in loop 582 with depth 0
"
color: blue}
}
0: Phi 256
1: 0x4 228
Private Attributes:
+ in loop 582 with depth 0
return in method of type STRENGTH_RED_EXAMPLE_meth_tp
res 0 type: int
"
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
1: be Proj 241
Private Attributes:
backedges: 1
+ in loop 585 with depth 1
"
color: green}
edge: {sourcename: "n256" targetname: "n211" label: "0" class:17 priority:10 color:blue}
-1: Block 218
0: Cond 223
Private Attributes:
+ in loop 582 with depth 0
"
color: yellow}
edge: {sourcename: "n224" targetname: "n223" label: "0" class:13 priority:60 color:red}
-1: Block 218
0: Cond 223
Private Attributes:
+ in loop 584 with depth 2
"
color: yellow}
edge: {sourcename: "n225" targetname: "n223" label: "0" class:13 priority:60 color:red}
-1: Block 218
0: Proj 222
Private Attributes:
+ in loop 584 with depth 2
condition kind: dense
default ProjNr: 0
"
-1: Block 218
0: Cmp 221
Private Attributes:
+ in loop 584 with depth 2
"
color: yellow}
edge: {sourcename: "n222" targetname: "n221" label: "0" class:1 priority:50}
0: 0x0 220
1: Phi 257
Private Attributes:
+ in loop 584 with depth 2
"
}
node: {title: "n221n220" label: "0x0Is 220" info1: "0x0 220
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
1: be Sub 242
Private Attributes:
backedges: 1
+ in loop 583 with depth 1
"
color: green}
node: {title: "n257n215" label: "0xAIs 215" info1: "0xA 215
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
pred nodes:
-1: Block 214
Private Attributes:
+ in loop 582 with depth 0
"
}
}
-1: Block 226
0: Store 239
Private Attributes:
+ in loop 585 with depth 1
"
color: yellow}
edge: {sourcename: "n241" targetname: "n239" label: "0" class:17 priority:10 color:blue}
2: Phi 257
Private Attributes:
pinned state: op_pin_state_pinned
+ in loop 585 with depth 1
volatility: volatility_non_volatile
"
}
0: Add 235
1: Add 236
Private Attributes:
+ in loop 582 with depth 0
"
}
edge: {sourcename: "n237" targetname: "n235" label: "0" class:1 priority:50}
0: 0x8 229
1: Add 235
Private Attributes:
+ in loop 582 with depth 0
"
}
node: {title: "n236n229" label: "0x8Is 229" info1: "0x8 229
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
0: 0x8 229
1: Add 234
Private Attributes:
+ in loop 582 with depth 0
"
}
node: {title: "n235n229" label: "0x8Is 229" info1: "0x8 229
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
0: 0x4 228
1: Add 233
Private Attributes:
+ in loop 582 with depth 0
"
}
node: {title: "n234n228" label: "0x4Is 228" info1: "0x4 228
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
0: Mul 231
1: SymC &a 216
Private Attributes:
+ in loop 582 with depth 0
"
}
node: {title: "n233n216" label: "SymC &a 216" info1: "SymC &a 216
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
kind: addr_ent
entity: entity GlobalType.a (200)
0: 0x4 228
1: Phi 257
Private Attributes:
+ in loop 582 with depth 0
"
}
node: {title: "n231n228" label: "0x4Is 228" info1: "0x4 228
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
pred nodes:
-1: Block 226
Private Attributes:
+ in loop 584 with depth 2
"
}
node: {title: "n242" label: "SubIs 242" info1: "Sub 242
0: Phi 257
1: 0x1 227
Private Attributes:
+ in loop 583 with depth 1
"
}
node: {title: "n242n227" label: "0x1Is 227" info1: "0x1 227
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
-1: Block 204
0: Start 205
Private Attributes:
+ in loop 582 with depth 0
"
color: yellow}
edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
-1: Block 204
0: Start 205
Private Attributes:
+ in loop 582 with depth 0
"
color: yellow}
edge: {sourcename: "n208" targetname: "n205" label: "0" class:13 priority:60 color:red}
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"