Skip to content

Instantly share code, notes, and snippets.

@leodido

leodido/README.md

Last active January 2, 2021 15:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save leodido/5eb59ffa31f1611305532f885d8e23dc to your computer and use it in GitHub Desktop.
Save leodido/5eb59ffa31f1611305532f885d8e23dc to your computer and use it in GitHub Desktop.
Download ZIP
ebpf-debugging
Raw
prog-patched-3.dot
digraph "DOT graph for eBPF program" {
subgraph "cluster_0" {
style="dashed";
color="black";
label="func_0 ()";
fn_0_bb_0 [shape=Mdiamond,style=filled,label="ENTRY"];
fn_0_bb_2 [shape=record,style=filled,label="{ 0: (bf) r6 = r1\l\
| 1: (b7) r1 = 0\l\
| 2: (63) *(u32 *)(r10 -8) = r1\l\
| 3: (bf) r2 = r10\l\
| 4: (07) r2 += -8\l\
| 5: (18) r1 = map[id:9]\l\
| 6: BUG_ld_00\l\
| 7: (85) call bpf_map_lookup_elem#71936\l\
| 8: (15) if r0 == 0x0 goto pc+563\l\
}"];
fn_0_bb_3 [shape=record,style=filled,label="{ 9: (85) call bpf_get_smp_processor_id#71984\l\
| 10: (bf) r9 = r0\l\
| 11: (63) *(u32 *)(r10 -8) = r9\l\
| 12: (bf) r2 = r10\l\
| 13: (07) r2 += -8\l\
| 14: (18) r1 = map[id:7]\l\
| 15: BUG_ld_00\l\
| 16: (85) call bpf_map_lookup_elem#71936\l\
| 17: (bf) r8 = r0\l\
| 18: (15) if r8 == 0x0 goto pc+553\l\
}"];
fn_0_bb_4 [shape=record,style=filled,label="{ 19: (63) *(u32 *)(r10 -8) = r9\l\
| 20: (bf) r2 = r10\l\
| 21: (07) r2 += -8\l\
| 22: (18) r1 = map[id:10]\l\
| 23: BUG_ld_00\l\
| 24: (85) call bpf_map_lookup_elem#71936\l\
| 25: (bf) r7 = r0\l\
| 26: (15) if r7 == 0x0 goto pc+545\l\
}"];
fn_0_bb_5 [shape=record,style=filled,label="{ 27: (63) *(u32 *)(r10 -8) = r9\l\
| 28: (bf) r2 = r10\l\
| 29: (07) r2 += -8\l\
| 30: (18) r1 = map[id:8]\l\
| 31: BUG_ld_00\l\
| 32: (85) call bpf_map_lookup_elem#71936\l\
| 33: (18) r4 = 0xfffffffd\l\
| 34: BUG_ld_00\l\
| 35: (15) if r0 == 0x0 goto pc+527\l\
}"];
fn_0_bb_6 [shape=record,style=filled,label="{ 36: (71) r1 = *(u8 *)(r7 +1)\l\
| 37: (67) r1 \<\<= 8\l\
| 38: (71) r2 = *(u8 *)(r7 +0)\l\
| 39: (4f) r1 \|= r2\l\
| 40: (71) r2 = *(u8 *)(r7 +2)\l\
| 41: (71) r3 = *(u8 *)(r7 +3)\l\
| 42: (67) r3 \<\<= 8\l\
| 43: (4f) r3 \|= r2\l\
| 44: (67) r3 \<\<= 16\l\
| 45: (4f) r3 \|= r1\l\
| 46: (63) *(u32 *)(r10 -8) = r3\l\
| 47: (bf) r2 = r10\l\
| 48: (07) r2 += -8\l\
| 49: (18) r1 = map[id:5]\l\
| 50: BUG_ld_00\l\
| 51: (85) call bpf_map_lookup_elem#71936\l\
| 52: (bf) r9 = r0\l\
| 53: (18) r4 = 0xfffffffd\l\
| 54: BUG_ld_00\l\
| 55: (15) if r9 == 0x0 goto pc+507\l\
}"];
fn_0_bb_7 [shape=record,style=filled,label="{ 56: (71) r1 = *(u8 *)(r7 +1)\l\
| 57: (67) r1 \<\<= 8\l\
| 58: (71) r2 = *(u8 *)(r7 +0)\l\
| 59: (4f) r1 \|= r2\l\
| 60: (71) r2 = *(u8 *)(r7 +2)\l\
| 61: (71) r3 = *(u8 *)(r7 +3)\l\
| 62: (67) r3 \<\<= 8\l\
| 63: (4f) r3 \|= r2\l\
| 64: (67) r3 \<\<= 16\l\
| 65: (4f) r3 \|= r1\l\
| 66: (63) *(u32 *)(r10 -8) = r3\l\
| 67: (bf) r2 = r10\l\
| 68: (07) r2 += -8\l\
| 69: (18) r1 = map[id:6]\l\
| 70: BUG_ld_00\l\
| 71: (85) call bpf_map_lookup_elem#71936\l\
| 72: (18) r4 = 0xfffffffd\l\
| 73: BUG_ld_00\l\
| 74: (15) if r0 == 0x0 goto pc+488\l\
}"];
fn_0_bb_8 [shape=record,style=filled,label="{ 75: (7b) *(u64 *)(r10 -16) = r8\l\
| 76: (71) r2 = *(u8 *)(r7 +29)\l\
| 77: (67) r2 \<\<= 8\l\
| 78: (71) r1 = *(u8 *)(r7 +28)\l\
| 79: (4f) r2 \|= r1\l\
| 80: (71) r1 = *(u8 *)(r7 +31)\l\
| 81: (67) r1 \<\<= 8\l\
| 82: (71) r3 = *(u8 *)(r7 +30)\l\
| 83: (4f) r1 \|= r3\l\
| 84: (67) r1 \<\<= 16\l\
| 85: (4f) r1 \|= r2\l\
| 86: (71) r2 = *(u8 *)(r7 +33)\l\
| 87: (67) r2 \<\<= 8\l\
| 88: (71) r3 = *(u8 *)(r7 +32)\l\
| 89: (4f) r2 \|= r3\l\
| 90: (71) r3 = *(u8 *)(r7 +34)\l\
| 91: (71) r4 = *(u8 *)(r7 +35)\l\
| 92: (67) r4 \<\<= 8\l\
| 93: (4f) r4 \|= r3\l\
| 94: (67) r4 \<\<= 16\l\
| 95: (4f) r4 \|= r2\l\
| 96: (67) r4 \<\<= 32\l\
| 97: (4f) r4 \|= r1\l\
| 98: (55) if r4 != 0x0 goto pc+89\l\
}"];
fn_0_bb_9 [shape=record,style=filled,label="{ 99: (71) r1 = *(u8 *)(r7 +4)\l\
| 100: (7b) *(u64 *)(r10 -32) = r1\l\
| 101: (71) r1 = *(u8 *)(r7 +5)\l\
| 102: (7b) *(u64 *)(r10 -40) = r1\l\
| 103: (71) r3 = *(u8 *)(r7 +6)\l\
| 104: (71) r4 = *(u8 *)(r7 +7)\l\
| 105: (71) r5 = *(u8 *)(r7 +8)\l\
| 106: (71) r0 = *(u8 *)(r7 +9)\l\
| 107: (bf) r2 = r9\l\
| 108: (71) r9 = *(u8 *)(r7 +10)\l\
| 109: (71) r1 = *(u8 *)(r7 +11)\l\
| 110: (7b) *(u64 *)(r10 -24) = r8\l\
| 111: (79) r8 = *(u64 *)(r10 -16)\l\
| 112: (73) *(u8 *)(r8 +7) = r1\l\
| 113: (73) *(u8 *)(r8 +6) = r9\l\
| 114: (bf) r9 = r2\l\
| 115: (73) *(u8 *)(r8 +5) = r0\l\
| 116: (73) *(u8 *)(r8 +4) = r5\l\
| 117: (73) *(u8 *)(r8 +3) = r4\l\
| 118: (73) *(u8 *)(r8 +2) = r3\l\
| 119: (79) r1 = *(u64 *)(r10 -40)\l\
| 120: (73) *(u8 *)(r8 +1) = r1\l\
| 121: (79) r1 = *(u64 *)(r10 -32)\l\
| 122: (73) *(u8 *)(r8 +0) = r1\l\
| 123: (85) call bpf_get_current_pid_tgid#72016\l\
| 124: (b7) r1 = 0\l\
| 125: (73) *(u8 *)(r8 +15) = r1\l\
| 126: (73) *(u8 *)(r8 +14) = r1\l\
| 127: (73) *(u8 *)(r8 +13) = r1\l\
| 128: (73) *(u8 *)(r8 +12) = r1\l\
| 129: (bf) r1 = r0\l\
| 130: (77) r1 \>\>= 24\l\
| 131: (73) *(u8 *)(r8 +11) = r1\l\
| 132: (bf) r1 = r0\l\
| 133: (77) r1 \>\>= 16\l\
| 134: (73) *(u8 *)(r8 +10) = r1\l\
| 135: (73) *(u8 *)(r8 +8) = r0\l\
| 136: (77) r0 \>\>= 8\l\
| 137: (73) *(u8 *)(r8 +9) = r0\l\
| 138: (71) r1 = *(u8 *)(r7 +0)\l\
| 139: (71) r2 = *(u8 *)(r7 +1)\l\
| 140: (73) *(u8 *)(r8 +21) = r2\l\
| 141: (73) *(u8 *)(r8 +20) = r1\l\
| 142: (71) r2 = *(u8 *)(r9 +40)\l\
| 143: (71) r3 = *(u8 *)(r9 +41)\l\
| 144: (71) r4 = *(u8 *)(r9 +42)\l\
| 145: (71) r1 = *(u8 *)(r9 +43)\l\
| 146: (73) *(u8 *)(r8 +25) = r1\l\
| 147: (73) *(u8 *)(r8 +24) = r4\l\
| 148: (73) *(u8 *)(r8 +23) = r3\l\
| 149: (73) *(u8 *)(r8 +22) = r2\l\
| 150: (79) r8 = *(u64 *)(r10 -24)\l\
| 151: (67) r3 \<\<= 8\l\
| 152: (4f) r3 \|= r2\l\
| 153: (67) r1 \<\<= 8\l\
| 154: (4f) r1 \|= r4\l\
| 155: (67) r1 \<\<= 16\l\
| 156: (4f) r1 \|= r3\l\
| 157: (67) r1 \<\<= 1\l\
| 158: (07) r1 += 26\l\
| 159: (bf) r2 = r1\l\
| 160: (77) r2 \>\>= 56\l\
| 161: (73) *(u8 *)(r7 +35) = r2\l\
| 162: (73) *(u8 *)(r7 +27) = r2\l\
| 163: (bf) r2 = r1\l\
| 164: (77) r2 \>\>= 40\l\
| 165: (73) *(u8 *)(r7 +33) = r2\l\
| 166: (73) *(u8 *)(r7 +25) = r2\l\
| 167: (bf) r2 = r1\l\
| 168: (77) r2 \>\>= 32\l\
| 169: (73) *(u8 *)(r7 +32) = r2\l\
| 170: (73) *(u8 *)(r7 +24) = r2\l\
| 171: (bf) r2 = r1\l\
| 172: (77) r2 \>\>= 48\l\
| 173: (73) *(u8 *)(r7 +34) = r2\l\
| 174: (73) *(u8 *)(r7 +26) = r2\l\
| 175: (bf) r2 = r1\l\
| 176: (77) r2 \>\>= 24\l\
| 177: (73) *(u8 *)(r7 +31) = r2\l\
| 178: (73) *(u8 *)(r7 +23) = r2\l\
| 179: (bf) r2 = r1\l\
| 180: (77) r2 \>\>= 8\l\
| 181: (73) *(u8 *)(r7 +29) = r2\l\
| 182: (73) *(u8 *)(r7 +21) = r2\l\
| 183: (73) *(u8 *)(r7 +28) = r1\l\
| 184: (73) *(u8 *)(r7 +20) = r1\l\
| 185: (77) r1 \>\>= 16\l\
| 186: (73) *(u8 *)(r7 +30) = r1\l\
| 187: (73) *(u8 *)(r7 +22) = r1\l\
}"];
fn_0_bb_10 [shape=record,style=filled,label="{ 188: (79) r3 = *(u64 *)(r6 +0)\l\
| 189: (b7) r1 = 0\l\
| 190: (7b) *(u64 *)(r10 -8) = r1\l\
| 191: (07) r3 += 112\l\
| 192: (bf) r1 = r10\l\
| 193: (07) r1 += -8\l\
| 194: (b7) r2 = 8\l\
| 195: (85) call bpf_probe_read#-45952\l\
| 196: (71) r1 = *(u8 *)(r7 +13)\l\
| 197: (67) r1 \<\<= 8\l\
| 198: (71) r2 = *(u8 *)(r7 +12)\l\
| 199: (4f) r1 \|= r2\l\
| 200: (71) r2 = *(u8 *)(r7 +15)\l\
| 201: (67) r2 \<\<= 8\l\
| 202: (71) r3 = *(u8 *)(r7 +14)\l\
| 203: (4f) r2 \|= r3\l\
| 204: (67) r2 \<\<= 16\l\
| 205: (4f) r2 \|= r1\l\
| 206: (71) r3 = *(u8 *)(r7 +17)\l\
| 207: (67) r3 \<\<= 8\l\
| 208: (71) r1 = *(u8 *)(r7 +16)\l\
| 209: (4f) r3 \|= r1\l\
| 210: (71) r4 = *(u8 *)(r7 +18)\l\
| 211: (71) r1 = *(u8 *)(r7 +19)\l\
| 212: (67) r1 \<\<= 8\l\
| 213: (4f) r1 \|= r4\l\
| 214: (67) r1 \<\<= 16\l\
| 215: (4f) r1 \|= r3\l\
| 216: (67) r1 \<\<= 32\l\
| 217: (4f) r1 \|= r2\l\
| 218: (18) r4 = 0xfffffffd\l\
| 219: BUG_ld_00\l\
| 220: (25) if r1 \> 0x1f goto pc+342\l\
}"];
fn_0_bb_11 [shape=record,style=filled,label="{ 221: (71) r2 = *(u8 *)(r7 +21)\l\
| 222: (67) r2 \<\<= 8\l\
| 223: (71) r3 = *(u8 *)(r7 +20)\l\
| 224: (4f) r2 \|= r3\l\
| 225: (71) r3 = *(u8 *)(r7 +23)\l\
| 226: (67) r3 \<\<= 8\l\
| 227: (71) r4 = *(u8 *)(r7 +22)\l\
| 228: (4f) r3 \|= r4\l\
| 229: (67) r3 \<\<= 16\l\
| 230: (4f) r3 \|= r2\l\
| 231: (71) r4 = *(u8 *)(r7 +25)\l\
| 232: (67) r4 \<\<= 8\l\
| 233: (71) r2 = *(u8 *)(r7 +24)\l\
| 234: (4f) r4 \|= r2\l\
| 235: (71) r5 = *(u8 *)(r7 +26)\l\
| 236: (71) r2 = *(u8 *)(r7 +27)\l\
| 237: (67) r2 \<\<= 8\l\
| 238: (4f) r2 \|= r5\l\
| 239: (67) r2 \<\<= 16\l\
| 240: (4f) r2 \|= r4\l\
| 241: (67) r2 \<\<= 32\l\
| 242: (4f) r2 \|= r3\l\
| 243: (18) r4 = 0xffffffff\l\
| 244: BUG_ld_00\l\
| 245: (25) if r2 \> 0x1ffff goto pc+317\l\
}"];
fn_0_bb_12 [shape=record,style=filled,label="{ 246: (79) r3 = *(u64 *)(r10 -8)\l\
| 247: (57) r1 \&= 31\l\
| 248: (27) r1 *= 49\l\
| 249: (bf) r4 = r9\l\
| 250: (0f) r4 += r1\l\
| 251: (71) r5 = *(u8 *)(r4 +77)\l\
| 252: (67) r5 \<\<= 8\l\
| 253: (71) r1 = *(u8 *)(r4 +76)\l\
| 254: (4f) r5 \|= r1\l\
| 255: (71) r0 = *(u8 *)(r4 +78)\l\
| 256: (71) r1 = *(u8 *)(r4 +79)\l\
| 257: (67) r1 \<\<= 8\l\
| 258: (4f) r1 \|= r0\l\
| 259: (67) r1 \<\<= 16\l\
| 260: (4f) r1 \|= r5\l\
| 261: (65) if r1 s\> 0x10 goto pc+8\l\
}"];
fn_0_bb_13 [shape=record,style=filled,label="{ 262: (65) if r1 s\> 0x7 goto pc+29\l\
}"];
fn_0_bb_14 [shape=record,style=filled,label="{ 263: (65) if r1 s\> 0x3 goto pc+36\l\
}"];
fn_0_bb_15 [shape=record,style=filled,label="{ 264: (15) if r1 == 0x1 goto pc+41\l\
}"];
fn_0_bb_16 [shape=record,style=filled,label="{ 265: (15) if r1 == 0x2 goto pc+324\l\
}"];
fn_0_bb_17 [shape=record,style=filled,label="{ 266: (18) r4 = 0xfffffffd\l\
| 267: BUG_ld_00\l\
| 268: (15) if r1 == 0x3 goto pc+315\l\
}"];
fn_0_bb_18 [shape=record,style=filled,label="{ 269: (05) goto pc+293\l\
}"];
fn_0_bb_19 [shape=record,style=filled,label="{ 270: (65) if r1 s\> 0x1b goto pc+7\l\
}"];
fn_0_bb_20 [shape=record,style=filled,label="{ 271: (65) if r1 s\> 0x13 goto pc+48\l\
}"];
fn_0_bb_21 [shape=record,style=filled,label="{ 272: (15) if r1 == 0x11 goto pc+59\l\
}"];
fn_0_bb_22 [shape=record,style=filled,label="{ 273: (15) if r1 == 0x12 goto pc+316\l\
}"];
fn_0_bb_23 [shape=record,style=filled,label="{ 274: (18) r4 = 0xfffffffd\l\
| 275: BUG_ld_00\l\
| 276: (15) if r1 == 0x13 goto pc+29\l\
}"];
fn_0_bb_24 [shape=record,style=filled,label="{ 277: (05) goto pc+285\l\
}"];
fn_0_bb_25 [shape=record,style=filled,label="{ 278: (18) r4 = 0xfffffffd\l\
| 279: BUG_ld_00\l\
| 280: (25) if r1 \> 0x2a goto pc+282\l\
}"];
fn_0_bb_26 [shape=record,style=filled,label="{ 281: (b7) r4 = 1\l\
| 282: (6f) r4 \<\<= r1\l\
| 283: (18) r5 = 0x405c0000000\l\
| 284: BUG_ld_00\l\
| 285: (5f) r4 \&= r5\l\
| 286: (55) if r4 != 0x0 goto pc+297\l\
}"];
fn_0_bb_27 [shape=record,style=filled,label="{ 287: (15) if r1 == 0x1c goto pc+18\l\
}"];
fn_0_bb_28 [shape=record,style=filled,label="{ 288: (18) r4 = 0xfffffffd\l\
| 289: BUG_ld_00\l\
| 290: (15) if r1 == 0x1d goto pc+299\l\
}"];
fn_0_bb_29 [shape=record,style=filled,label="{ 291: (05) goto pc+271\l\
}"];
fn_0_bb_30 [shape=record,style=filled,label="{ 292: (65) if r1 s\> 0xa goto pc+19\l\
}"];
fn_0_bb_31 [shape=record,style=filled,label="{ 293: (15) if r1 == 0x8 goto pc+32\l\
}"];
fn_0_bb_32 [shape=record,style=filled,label="{ 294: (15) if r1 == 0x9 goto pc+37\l\
}"];
fn_0_bb_33 [shape=record,style=filled,label="{ 295: (b7) r0 = 0\l\
| 296: (18) r4 = 0xfffffffd\l\
| 297: BUG_ld_00\l\
| 298: (15) if r1 == 0xa goto pc+50\l\
}"];
fn_0_bb_34 [shape=record,style=filled,label="{ 299: (05) goto pc+263\l\
}"];
fn_0_bb_35 [shape=record,style=filled,label="{ 300: (65) if r1 s\> 0x5 goto pc+278\l\
}"];
fn_0_bb_36 [shape=record,style=filled,label="{ 301: (15) if r1 == 0x4 goto pc+24\l\
}"];
fn_0_bb_37 [shape=record,style=filled,label="{ 302: (18) r4 = 0xfffffffd\l\
| 303: BUG_ld_00\l\
| 304: (15) if r1 == 0x5 goto pc+1\l\
}"];
fn_0_bb_38 [shape=record,style=filled,label="{ 305: (05) goto pc+257\l\
}"];
fn_0_bb_39 [shape=record,style=filled,label="{ 306: (57) r2 \&= 131071\l\
| 307: (bf) r1 = r8\l\
| 308: (0f) r1 += r2\l\
| 309: (73) *(u8 *)(r1 +0) = r3\l\
| 310: (b7) r0 = 1\l\
| 311: (05) goto pc+37\l\
}"];
fn_0_bb_40 [shape=record,style=filled,label="{ 312: (bf) r4 = r1\l\
| 313: (07) r4 += -14\l\
| 314: (b7) r5 = 2\l\
| 315: (2d) if r5 \> r4 goto pc+10\l\
}"];
fn_0_bb_41 [shape=record,style=filled,label="{ 316: (18) r4 = 0xfffffffd\l\
| 317: BUG_ld_00\l\
| 318: (15) if r1 == 0xb goto pc+7\l\
}"];
fn_0_bb_42 [shape=record,style=filled,label="{ 319: (05) goto pc+243\l\
}"];
fn_0_bb_43 [shape=record,style=filled,label="{ 320: (07) r1 += -20\l\
| 321: (b7) r5 = 2\l\
| 322: (18) r4 = 0xfffffffd\l\
| 323: BUG_ld_00\l\
| 324: (2d) if r5 \> r1 goto pc+1\l\
}"];
fn_0_bb_44 [shape=record,style=filled,label="{ 325: (05) goto pc+237\l\
}"];
fn_0_bb_45 [shape=record,style=filled,label="{ 326: (57) r2 \&= 131071\l\
| 327: (bf) r1 = r8\l\
| 328: (0f) r1 += r2\l\
| 329: (7b) *(u64 *)(r1 +0) = r3\l\
| 330: (b7) r0 = 8\l\
| 331: (05) goto pc+17\l\
}"];
fn_0_bb_46 [shape=record,style=filled,label="{ 332: (57) r2 \&= 131071\l\
| 333: (bf) r1 = r8\l\
| 334: (0f) r1 += r2\l\
| 335: (b7) r2 = 65000\l\
| 336: (85) call bpf_probe_read_str#-45808\l\
| 337: (18) r4 = 0xfffffffe\l\
| 338: BUG_ld_00\l\
| 339: (bf) r1 = r0\l\
| 340: (67) r1 \<\<= 32\l\
| 341: (bf) r2 = r1\l\
| 342: (c7) r2 s\>\>= 32\l\
| 343: (05) goto pc+1\l\
}"];
fn_0_bb_47 [shape=record,style=filled,label="{ 344: (05) goto pc-1\l\
}"];
fn_0_bb_48 [shape=record,style=filled,label="{ 345: (77) r1 \>\>= 32\l\
| 346: (18) r4 = 0xffffffff\l\
| 347: BUG_ld_00\l\
| 348: (25) if r1 \> 0xfde8 goto pc+214\l\
}"];
fn_0_bb_49 [shape=record,style=filled,label="{ 349: (7b) *(u64 *)(r10 -32) = r0\l\
| 350: (71) r1 = *(u8 *)(r7 +13)\l\
| 351: (67) r1 \<\<= 8\l\
| 352: (71) r2 = *(u8 *)(r7 +12)\l\
| 353: (4f) r1 \|= r2\l\
| 354: (71) r2 = *(u8 *)(r7 +15)\l\
| 355: (67) r2 \<\<= 8\l\
| 356: (71) r3 = *(u8 *)(r7 +14)\l\
| 357: (4f) r2 \|= r3\l\
| 358: (67) r2 \<\<= 16\l\
| 359: (4f) r2 \|= r1\l\
| 360: (71) r3 = *(u8 *)(r7 +17)\l\
| 361: (67) r3 \<\<= 8\l\
| 362: (71) r1 = *(u8 *)(r7 +16)\l\
| 363: (4f) r3 \|= r1\l\
| 364: (71) r1 = *(u8 *)(r7 +19)\l\
| 365: (67) r1 \<\<= 8\l\
| 366: (71) r4 = *(u8 *)(r7 +18)\l\
| 367: (4f) r1 \|= r4\l\
| 368: (63) *(u32 *)(r10 -8) = r2\l\
| 369: (61) r4 = *(u32 *)(r10 -8)\l\
| 370: (57) r4 \&= 31\l\
| 371: (67) r4 \<\<= 1\l\
| 372: (0f) r8 += r4\l\
| 373: (6b) *(u16 *)(r8 +26) = r0\l\
| 374: (67) r1 \<\<= 16\l\
| 375: (4f) r1 \|= r3\l\
| 376: (67) r1 \<\<= 32\l\
| 377: (4f) r1 \|= r2\l\
| 378: (71) r0 = *(u8 *)(r7 +21)\l\
| 379: (67) r0 \<\<= 8\l\
| 380: (71) r3 = *(u8 *)(r7 +20)\l\
| 381: (4f) r0 \|= r3\l\
| 382: (71) r3 = *(u8 *)(r7 +23)\l\
| 383: (67) r3 \<\<= 8\l\
| 384: (71) r4 = *(u8 *)(r7 +22)\l\
| 385: (4f) r3 \|= r4\l\
| 386: (71) r8 = *(u8 *)(r7 +33)\l\
| 387: (67) r8 \<\<= 8\l\
| 388: (71) r4 = *(u8 *)(r7 +32)\l\
| 389: (4f) r8 \|= r4\l\
| 390: (71) r5 = *(u8 *)(r7 +35)\l\
| 391: (67) r5 \<\<= 8\l\
| 392: (71) r4 = *(u8 *)(r7 +34)\l\
| 393: (4f) r5 \|= r4\l\
| 394: (7b) *(u64 *)(r10 -24) = r9\l\
| 395: (71) r9 = *(u8 *)(r7 +29)\l\
| 396: (67) r9 \<\<= 8\l\
| 397: (71) r4 = *(u8 *)(r7 +28)\l\
| 398: (4f) r9 \|= r4\l\
| 399: (71) r4 = *(u8 *)(r7 +31)\l\
| 400: (67) r4 \<\<= 8\l\
| 401: (71) r2 = *(u8 *)(r7 +30)\l\
| 402: (4f) r4 \|= r2\l\
| 403: (67) r4 \<\<= 16\l\
| 404: (4f) r4 \|= r9\l\
| 405: (67) r5 \<\<= 16\l\
| 406: (4f) r5 \|= r8\l\
| 407: (67) r3 \<\<= 16\l\
| 408: (4f) r3 \|= r0\l\
| 409: (71) r0 = *(u8 *)(r7 +25)\l\
| 410: (67) r0 \<\<= 8\l\
| 411: (71) r2 = *(u8 *)(r7 +24)\l\
| 412: (4f) r0 \|= r2\l\
| 413: (71) r2 = *(u8 *)(r7 +27)\l\
| 414: (67) r2 \<\<= 8\l\
| 415: (71) r8 = *(u8 *)(r7 +26)\l\
| 416: (4f) r2 \|= r8\l\
| 417: (67) r2 \<\<= 16\l\
| 418: (4f) r2 \|= r0\l\
| 419: (67) r2 \<\<= 32\l\
| 420: (4f) r2 \|= r3\l\
| 421: (67) r5 \<\<= 32\l\
| 422: (4f) r5 \|= r4\l\
| 423: (07) r1 += 1\l\
| 424: (bf) r3 = r1\l\
| 425: (77) r3 \>\>= 56\l\
| 426: (73) *(u8 *)(r7 +19) = r3\l\
| 427: (bf) r3 = r1\l\
| 428: (77) r3 \>\>= 48\l\
| 429: (73) *(u8 *)(r7 +18) = r3\l\
| 430: (bf) r3 = r1\l\
| 431: (77) r3 \>\>= 40\l\
| 432: (73) *(u8 *)(r7 +17) = r3\l\
| 433: (bf) r3 = r1\l\
| 434: (77) r3 \>\>= 32\l\
| 435: (73) *(u8 *)(r7 +16) = r3\l\
| 436: (bf) r3 = r1\l\
| 437: (77) r3 \>\>= 24\l\
| 438: (73) *(u8 *)(r7 +15) = r3\l\
| 439: (bf) r3 = r1\l\
| 440: (77) r3 \>\>= 16\l\
| 441: (73) *(u8 *)(r7 +14) = r3\l\
| 442: (bf) r3 = r1\l\
| 443: (77) r3 \>\>= 8\l\
| 444: (73) *(u8 *)(r7 +13) = r3\l\
| 445: (79) r3 = *(u64 *)(r10 -32)\l\
| 446: (67) r3 \<\<= 32\l\
| 447: (77) r3 \>\>= 32\l\
| 448: (0f) r5 += r3\l\
| 449: (0f) r2 += r3\l\
| 450: (bf) r3 = r5\l\
| 451: (77) r3 \>\>= 56\l\
| 452: (73) *(u8 *)(r7 +35) = r3\l\
| 453: (bf) r3 = r5\l\
| 454: (77) r3 \>\>= 48\l\
| 455: (73) *(u8 *)(r7 +34) = r3\l\
| 456: (bf) r3 = r5\l\
| 457: (77) r3 \>\>= 40\l\
| 458: (73) *(u8 *)(r7 +33) = r3\l\
| 459: (bf) r3 = r5\l\
| 460: (77) r3 \>\>= 32\l\
| 461: (73) *(u8 *)(r7 +32) = r3\l\
| 462: (bf) r3 = r5\l\
| 463: (77) r3 \>\>= 24\l\
| 464: (73) *(u8 *)(r7 +31) = r3\l\
| 465: (bf) r3 = r5\l\
| 466: (77) r3 \>\>= 16\l\
| 467: (73) *(u8 *)(r7 +30) = r3\l\
| 468: (bf) r3 = r5\l\
| 469: (77) r3 \>\>= 8\l\
| 470: (73) *(u8 *)(r7 +29) = r3\l\
| 471: (bf) r3 = r2\l\
| 472: (77) r3 \>\>= 56\l\
| 473: (73) *(u8 *)(r7 +27) = r3\l\
| 474: (bf) r3 = r2\l\
| 475: (77) r3 \>\>= 48\l\
| 476: (73) *(u8 *)(r7 +26) = r3\l\
| 477: (bf) r3 = r2\l\
| 478: (77) r3 \>\>= 40\l\
| 479: (73) *(u8 *)(r7 +25) = r3\l\
| 480: (bf) r3 = r2\l\
| 481: (77) r3 \>\>= 32\l\
| 482: (73) *(u8 *)(r7 +24) = r3\l\
| 483: (bf) r3 = r2\l\
| 484: (77) r3 \>\>= 24\l\
| 485: (73) *(u8 *)(r7 +23) = r3\l\
| 486: (bf) r3 = r2\l\
| 487: (77) r3 \>\>= 16\l\
| 488: (73) *(u8 *)(r7 +22) = r3\l\
| 489: (bf) r3 = r2\l\
| 490: (77) r3 \>\>= 8\l\
| 491: (73) *(u8 *)(r7 +21) = r3\l\
| 492: (73) *(u8 *)(r7 +12) = r1\l\
| 493: (73) *(u8 *)(r7 +28) = r5\l\
| 494: (73) *(u8 *)(r7 +20) = r2\l\
| 495: (79) r4 = *(u64 *)(r10 -24)\l\
| 496: (71) r2 = *(u8 *)(r4 +41)\l\
| 497: (67) r2 \<\<= 8\l\
| 498: (71) r3 = *(u8 *)(r4 +40)\l\
| 499: (4f) r2 \|= r3\l\
| 500: (71) r3 = *(u8 *)(r4 +42)\l\
| 501: (71) r0 = *(u8 *)(r4 +43)\l\
| 502: (67) r0 \<\<= 8\l\
| 503: (4f) r0 \|= r3\l\
| 504: (67) r0 \<\<= 16\l\
| 505: (4f) r0 \|= r2\l\
| 506: (18) r4 = 0xfffffffd\l\
| 507: BUG_ld_00\l\
| 508: (5d) if r1 != r0 goto pc+54\l\
}"];
fn_0_bb_50 [shape=record,style=filled,label="{ 509: (18) r4 = 0xffffffff\l\
| 510: BUG_ld_00\l\
| 511: (25) if r5 \> 0xfff3 goto pc+51\l\
}"];
fn_0_bb_51 [shape=record,style=filled,label="{ 512: (bf) r1 = r5\l\
| 513: (77) r1 \>\>= 24\l\
| 514: (79) r4 = *(u64 *)(r10 -16)\l\
| 515: (73) *(u8 *)(r4 +19) = r1\l\
| 516: (bf) r1 = r5\l\
| 517: (77) r1 \>\>= 16\l\
| 518: (73) *(u8 *)(r4 +18) = r1\l\
| 519: (bf) r1 = r5\l\
| 520: (77) r1 \>\>= 8\l\
| 521: (73) *(u8 *)(r4 +17) = r1\l\
| 522: (73) *(u8 *)(r4 +16) = r5\l\
| 523: (57) r5 \&= 262143\l\
| 524: (bf) r1 = r6\l\
| 525: (18) r2 = map[id:1]\l\
| 526: BUG_ld_00\l\
| 527: (18) r3 = 0xffffffff\l\
| 528: BUG_ld_00\l\
| 529: (85) call bpf_perf_event_output_raw_tp#-42896\l\
| 530: (67) r0 \<\<= 32\l\
| 531: (77) r0 \>\>= 32\l\
| 532: (15) if r0 == 0x0 goto pc+29\l\
}"];
fn_0_bb_52 [shape=record,style=filled,label="{ 533: (18) r1 = 0xfffffffe\l\
| 534: BUG_ld_00\l\
| 535: (1d) if r0 == r1 goto pc+5\l\
}"];
fn_0_bb_53 [shape=record,style=filled,label="{ 536: (18) r1 = 0xffffffa1\l\
| 537: BUG_ld_00\l\
| 538: (18) r4 = 0xfffffffd\l\
| 539: BUG_ld_00\l\
| 540: (5d) if r0 != r1 goto pc+22\l\
}"];
fn_0_bb_54 [shape=record,style=filled,label="{ 541: (b7) r1 = 0\l\
| 542: (63) *(u32 *)(r10 -8) = r1\l\
| 543: (bf) r2 = r10\l\
| 544: (07) r2 += -8\l\
| 545: (18) r1 = map[id:10]\l\
| 546: BUG_ld_00\l\
| 547: (85) call bpf_map_lookup_elem#71936\l\
| 548: (bf) r8 = r0\l\
| 549: (18) r4 = 0xfffffffd\l\
| 550: BUG_ld_00\l\
| 551: (15) if r8 == 0x0 goto pc+11\l\
}"];
fn_0_bb_55 [shape=record,style=filled,label="{ 552: (85) call bpf_get_smp_processor_id#71984\l\
| 553: (bf) r1 = r0\l\
| 554: (77) r1 \>\>= 24\l\
| 555: (73) *(u8 *)(r8 +75) = r1\l\
| 556: (bf) r1 = r0\l\
| 557: (77) r1 \>\>= 16\l\
| 558: (73) *(u8 *)(r8 +74) = r1\l\
| 559: (73) *(u8 *)(r8 +72) = r0\l\
| 560: (77) r0 \>\>= 8\l\
| 561: (73) *(u8 *)(r8 +73) = r0\l\
}"];
fn_0_bb_56 [shape=record,style=filled,label="{ 562: (b7) r4 = 0\l\
}"];
fn_0_bb_57 [shape=record,style=filled,label="{ 563: (bf) r1 = r4\l\
| 564: (77) r1 \>\>= 24\l\
| 565: (73) *(u8 *)(r7 +39) = r1\l\
| 566: (bf) r1 = r4\l\
| 567: (77) r1 \>\>= 16\l\
| 568: (73) *(u8 *)(r7 +38) = r1\l\
| 569: (73) *(u8 *)(r7 +36) = r4\l\
| 570: (77) r4 \>\>= 8\l\
| 571: (73) *(u8 *)(r7 +37) = r4\l\
}"];
fn_0_bb_58 [shape=record,style=filled,label="{ 572: (bf) r1 = r6\l\
| 573: (18) r2 = map[id:2]\l\
| 574: BUG_ld_00\l\
| 575: (b7) r3 = 86\l\
| 576: (85) call bpf_tail_call#12\l\
| 577: (b7) r0 = 0\l\
| 578: (95) exit\l\
}"];
fn_0_bb_59 [shape=record,style=filled,label="{ 579: (15) if r1 == 0x6 goto pc+10\l\
}"];
fn_0_bb_60 [shape=record,style=filled,label="{ 580: (18) r4 = 0xfffffffd\l\
| 581: BUG_ld_00\l\
| 582: (15) if r1 == 0x7 goto pc+1\l\
}"];
fn_0_bb_61 [shape=record,style=filled,label="{ 583: (05) goto pc-21\l\
}"];
fn_0_bb_62 [shape=record,style=filled,label="{ 584: (57) r2 \&= 131071\l\
| 585: (bf) r1 = r8\l\
| 586: (0f) r1 += r2\l\
| 587: (63) *(u32 *)(r1 +0) = r3\l\
| 588: (b7) r0 = 4\l\
| 589: (05) goto pc-241\l\
}"];
fn_0_bb_63 [shape=record,style=filled,label="{ 590: (57) r2 \&= 131071\l\
| 591: (bf) r1 = r8\l\
| 592: (0f) r1 += r2\l\
| 593: (6b) *(u16 *)(r1 +0) = r3\l\
| 594: (b7) r0 = 2\l\
| 595: (05) goto pc-247\l\
}"];
fn_0_bb_1 [shape=Mdiamond,style=filled,label="EXIT"];
fn_0_bb_0:s -> fn_0_bb_2:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_2:s -> fn_0_bb_3:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_2:s -> fn_0_bb_58:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_3:s -> fn_0_bb_4:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_3:s -> fn_0_bb_58:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_4:s -> fn_0_bb_5:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_4:s -> fn_0_bb_58:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_5:s -> fn_0_bb_6:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_5:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_6:s -> fn_0_bb_7:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_6:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_7:s -> fn_0_bb_8:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_7:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_8:s -> fn_0_bb_9:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_8:s -> fn_0_bb_10:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_9:s -> fn_0_bb_10:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_10:s -> fn_0_bb_11:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_10:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_11:s -> fn_0_bb_12:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_11:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_12:s -> fn_0_bb_13:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_12:s -> fn_0_bb_19:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_13:s -> fn_0_bb_14:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_13:s -> fn_0_bb_30:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_14:s -> fn_0_bb_15:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_14:s -> fn_0_bb_35:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_15:s -> fn_0_bb_16:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_15:s -> fn_0_bb_39:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_16:s -> fn_0_bb_17:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_16:s -> fn_0_bb_63:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_17:s -> fn_0_bb_18:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_17:s -> fn_0_bb_62:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_18:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_19:s -> fn_0_bb_20:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_19:s -> fn_0_bb_25:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_20:s -> fn_0_bb_21:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_20:s -> fn_0_bb_43:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_21:s -> fn_0_bb_22:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_21:s -> fn_0_bb_46:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_22:s -> fn_0_bb_23:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_22:s -> fn_0_bb_63:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_23:s -> fn_0_bb_24:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_23:s -> fn_0_bb_39:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_24:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_25:s -> fn_0_bb_26:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_25:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_26:s -> fn_0_bb_27:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_26:s -> fn_0_bb_62:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_27:s -> fn_0_bb_28:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_27:s -> fn_0_bb_39:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_28:s -> fn_0_bb_29:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_28:s -> fn_0_bb_63:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_29:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_30:s -> fn_0_bb_31:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_30:s -> fn_0_bb_40:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_31:s -> fn_0_bb_32:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_31:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_32:s -> fn_0_bb_33:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_32:s -> fn_0_bb_46:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_33:s -> fn_0_bb_34:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_33:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_34:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_35:s -> fn_0_bb_36:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_35:s -> fn_0_bb_59:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_36:s -> fn_0_bb_37:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_36:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_37:s -> fn_0_bb_38:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_37:s -> fn_0_bb_39:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_38:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_39:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_40:s -> fn_0_bb_41:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_40:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_41:s -> fn_0_bb_42:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_41:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_42:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_43:s -> fn_0_bb_44:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_43:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_44:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_45:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_46:s -> fn_0_bb_48:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_47:s -> fn_0_bb_47:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_48:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_48:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_49:s -> fn_0_bb_50:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_49:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_50:s -> fn_0_bb_51:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_50:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_51:s -> fn_0_bb_52:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_51:s -> fn_0_bb_56:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_52:s -> fn_0_bb_53:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_52:s -> fn_0_bb_54:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_53:s -> fn_0_bb_54:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_53:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_54:s -> fn_0_bb_55:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_54:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_55:s -> fn_0_bb_56:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_56:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_57:s -> fn_0_bb_58:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_58:s -> fn_0_bb_59:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_59:s -> fn_0_bb_60:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_59:s -> fn_0_bb_63:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_60:s -> fn_0_bb_61:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_60:s -> fn_0_bb_62:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_61:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_62:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_63:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_0:s -> fn_0_bb_1:n [style="invis", constraint=true];
}
}
Raw
prog3.dot
digraph "DOT graph for eBPF program" {
subgraph "cluster_0" {
style="dashed";
color="black";
label="func_0 ()";
fn_0_bb_0 [shape=Mdiamond,style=filled,label="ENTRY"];
fn_0_bb_2 [shape=record,style=filled,label="{ 0: (bf) r6 = r1\l\
| 1: (b7) r1 = 0\l\
| 2: (63) *(u32 *)(r10 -8) = r1\l\
| 3: (bf) r2 = r10\l\
| 4: (07) r2 += -8\l\
| 5: (18) r1 = map[id:9]\l\
| 6: BUG_ld_00\l\
| 7: (85) call bpf_map_lookup_elem#72032\l\
| 8: (15) if r0 == 0x0 goto pc+563\l\
}"];
fn_0_bb_3 [shape=record,style=filled,label="{ 9: (85) call bpf_get_smp_processor_id#72080\l\
| 10: (bf) r9 = r0\l\
| 11: (63) *(u32 *)(r10 -8) = r9\l\
| 12: (bf) r2 = r10\l\
| 13: (07) r2 += -8\l\
| 14: (18) r1 = map[id:7]\l\
| 15: BUG_ld_00\l\
| 16: (85) call bpf_map_lookup_elem#72032\l\
| 17: (bf) r8 = r0\l\
| 18: (15) if r8 == 0x0 goto pc+553\l\
}"];
fn_0_bb_4 [shape=record,style=filled,label="{ 19: (63) *(u32 *)(r10 -8) = r9\l\
| 20: (bf) r2 = r10\l\
| 21: (07) r2 += -8\l\
| 22: (18) r1 = map[id:10]\l\
| 23: BUG_ld_00\l\
| 24: (85) call bpf_map_lookup_elem#72032\l\
| 25: (bf) r7 = r0\l\
| 26: (15) if r7 == 0x0 goto pc+545\l\
}"];
fn_0_bb_5 [shape=record,style=filled,label="{ 27: (63) *(u32 *)(r10 -8) = r9\l\
| 28: (bf) r2 = r10\l\
| 29: (07) r2 += -8\l\
| 30: (18) r1 = map[id:8]\l\
| 31: BUG_ld_00\l\
| 32: (85) call bpf_map_lookup_elem#72032\l\
| 33: (18) r4 = 0xfffffffd\l\
| 34: BUG_ld_00\l\
| 35: (15) if r0 == 0x0 goto pc+527\l\
}"];
fn_0_bb_6 [shape=record,style=filled,label="{ 36: (71) r1 = *(u8 *)(r7 +1)\l\
| 37: (67) r1 \<\<= 8\l\
| 38: (71) r2 = *(u8 *)(r7 +0)\l\
| 39: (4f) r1 \|= r2\l\
| 40: (71) r2 = *(u8 *)(r7 +2)\l\
| 41: (71) r3 = *(u8 *)(r7 +3)\l\
| 42: (67) r3 \<\<= 8\l\
| 43: (4f) r3 \|= r2\l\
| 44: (67) r3 \<\<= 16\l\
| 45: (4f) r3 \|= r1\l\
| 46: (63) *(u32 *)(r10 -8) = r3\l\
| 47: (bf) r2 = r10\l\
| 48: (07) r2 += -8\l\
| 49: (18) r1 = map[id:5]\l\
| 50: BUG_ld_00\l\
| 51: (85) call bpf_map_lookup_elem#72032\l\
| 52: (bf) r9 = r0\l\
| 53: (18) r4 = 0xfffffffd\l\
| 54: BUG_ld_00\l\
| 55: (15) if r9 == 0x0 goto pc+507\l\
}"];
fn_0_bb_7 [shape=record,style=filled,label="{ 56: (71) r1 = *(u8 *)(r7 +1)\l\
| 57: (67) r1 \<\<= 8\l\
| 58: (71) r2 = *(u8 *)(r7 +0)\l\
| 59: (4f) r1 \|= r2\l\
| 60: (71) r2 = *(u8 *)(r7 +2)\l\
| 61: (71) r3 = *(u8 *)(r7 +3)\l\
| 62: (67) r3 \<\<= 8\l\
| 63: (4f) r3 \|= r2\l\
| 64: (67) r3 \<\<= 16\l\
| 65: (4f) r3 \|= r1\l\
| 66: (63) *(u32 *)(r10 -8) = r3\l\
| 67: (bf) r2 = r10\l\
| 68: (07) r2 += -8\l\
| 69: (18) r1 = map[id:6]\l\
| 70: BUG_ld_00\l\
| 71: (85) call bpf_map_lookup_elem#72032\l\
| 72: (18) r4 = 0xfffffffd\l\
| 73: BUG_ld_00\l\
| 74: (15) if r0 == 0x0 goto pc+488\l\
}"];
fn_0_bb_8 [shape=record,style=filled,label="{ 75: (7b) *(u64 *)(r10 -16) = r8\l\
| 76: (71) r2 = *(u8 *)(r7 +29)\l\
| 77: (67) r2 \<\<= 8\l\
| 78: (71) r1 = *(u8 *)(r7 +28)\l\
| 79: (4f) r2 \|= r1\l\
| 80: (71) r1 = *(u8 *)(r7 +31)\l\
| 81: (67) r1 \<\<= 8\l\
| 82: (71) r3 = *(u8 *)(r7 +30)\l\
| 83: (4f) r1 \|= r3\l\
| 84: (67) r1 \<\<= 16\l\
| 85: (4f) r1 \|= r2\l\
| 86: (71) r2 = *(u8 *)(r7 +33)\l\
| 87: (67) r2 \<\<= 8\l\
| 88: (71) r3 = *(u8 *)(r7 +32)\l\
| 89: (4f) r2 \|= r3\l\
| 90: (71) r3 = *(u8 *)(r7 +34)\l\
| 91: (71) r4 = *(u8 *)(r7 +35)\l\
| 92: (67) r4 \<\<= 8\l\
| 93: (4f) r4 \|= r3\l\
| 94: (67) r4 \<\<= 16\l\
| 95: (4f) r4 \|= r2\l\
| 96: (67) r4 \<\<= 32\l\
| 97: (4f) r4 \|= r1\l\
| 98: (55) if r4 != 0x0 goto pc+89\l\
}"];
fn_0_bb_9 [shape=record,style=filled,label="{ 99: (71) r1 = *(u8 *)(r7 +4)\l\
| 100: (7b) *(u64 *)(r10 -32) = r1\l\
| 101: (71) r1 = *(u8 *)(r7 +5)\l\
| 102: (7b) *(u64 *)(r10 -40) = r1\l\
| 103: (71) r3 = *(u8 *)(r7 +6)\l\
| 104: (71) r4 = *(u8 *)(r7 +7)\l\
| 105: (71) r5 = *(u8 *)(r7 +8)\l\
| 106: (71) r0 = *(u8 *)(r7 +9)\l\
| 107: (bf) r2 = r9\l\
| 108: (71) r9 = *(u8 *)(r7 +10)\l\
| 109: (71) r1 = *(u8 *)(r7 +11)\l\
| 110: (7b) *(u64 *)(r10 -24) = r8\l\
| 111: (79) r8 = *(u64 *)(r10 -16)\l\
| 112: (73) *(u8 *)(r8 +7) = r1\l\
| 113: (73) *(u8 *)(r8 +6) = r9\l\
| 114: (bf) r9 = r2\l\
| 115: (73) *(u8 *)(r8 +5) = r0\l\
| 116: (73) *(u8 *)(r8 +4) = r5\l\
| 117: (73) *(u8 *)(r8 +3) = r4\l\
| 118: (73) *(u8 *)(r8 +2) = r3\l\
| 119: (79) r1 = *(u64 *)(r10 -40)\l\
| 120: (73) *(u8 *)(r8 +1) = r1\l\
| 121: (79) r1 = *(u64 *)(r10 -32)\l\
| 122: (73) *(u8 *)(r8 +0) = r1\l\
| 123: (85) call bpf_get_current_pid_tgid#72112\l\
| 124: (b7) r1 = 0\l\
| 125: (73) *(u8 *)(r8 +15) = r1\l\
| 126: (73) *(u8 *)(r8 +14) = r1\l\
| 127: (73) *(u8 *)(r8 +13) = r1\l\
| 128: (73) *(u8 *)(r8 +12) = r1\l\
| 129: (bf) r1 = r0\l\
| 130: (77) r1 \>\>= 24\l\
| 131: (73) *(u8 *)(r8 +11) = r1\l\
| 132: (bf) r1 = r0\l\
| 133: (77) r1 \>\>= 16\l\
| 134: (73) *(u8 *)(r8 +10) = r1\l\
| 135: (73) *(u8 *)(r8 +8) = r0\l\
| 136: (77) r0 \>\>= 8\l\
| 137: (73) *(u8 *)(r8 +9) = r0\l\
| 138: (71) r1 = *(u8 *)(r7 +0)\l\
| 139: (71) r2 = *(u8 *)(r7 +1)\l\
| 140: (73) *(u8 *)(r8 +21) = r2\l\
| 141: (73) *(u8 *)(r8 +20) = r1\l\
| 142: (71) r2 = *(u8 *)(r9 +40)\l\
| 143: (71) r3 = *(u8 *)(r9 +41)\l\
| 144: (71) r4 = *(u8 *)(r9 +42)\l\
| 145: (71) r1 = *(u8 *)(r9 +43)\l\
| 146: (73) *(u8 *)(r8 +25) = r1\l\
| 147: (73) *(u8 *)(r8 +24) = r4\l\
| 148: (73) *(u8 *)(r8 +23) = r3\l\
| 149: (73) *(u8 *)(r8 +22) = r2\l\
| 150: (79) r8 = *(u64 *)(r10 -24)\l\
| 151: (67) r3 \<\<= 8\l\
| 152: (4f) r3 \|= r2\l\
| 153: (67) r1 \<\<= 8\l\
| 154: (4f) r1 \|= r4\l\
| 155: (67) r1 \<\<= 16\l\
| 156: (4f) r1 \|= r3\l\
| 157: (67) r1 \<\<= 1\l\
| 158: (07) r1 += 26\l\
| 159: (bf) r2 = r1\l\
| 160: (77) r2 \>\>= 56\l\
| 161: (73) *(u8 *)(r7 +35) = r2\l\
| 162: (73) *(u8 *)(r7 +27) = r2\l\
| 163: (bf) r2 = r1\l\
| 164: (77) r2 \>\>= 40\l\
| 165: (73) *(u8 *)(r7 +33) = r2\l\
| 166: (73) *(u8 *)(r7 +25) = r2\l\
| 167: (bf) r2 = r1\l\
| 168: (77) r2 \>\>= 32\l\
| 169: (73) *(u8 *)(r7 +32) = r2\l\
| 170: (73) *(u8 *)(r7 +24) = r2\l\
| 171: (bf) r2 = r1\l\
| 172: (77) r2 \>\>= 48\l\
| 173: (73) *(u8 *)(r7 +34) = r2\l\
| 174: (73) *(u8 *)(r7 +26) = r2\l\
| 175: (bf) r2 = r1\l\
| 176: (77) r2 \>\>= 24\l\
| 177: (73) *(u8 *)(r7 +31) = r2\l\
| 178: (73) *(u8 *)(r7 +23) = r2\l\
| 179: (bf) r2 = r1\l\
| 180: (77) r2 \>\>= 8\l\
| 181: (73) *(u8 *)(r7 +29) = r2\l\
| 182: (73) *(u8 *)(r7 +21) = r2\l\
| 183: (73) *(u8 *)(r7 +28) = r1\l\
| 184: (73) *(u8 *)(r7 +20) = r1\l\
| 185: (77) r1 \>\>= 16\l\
| 186: (73) *(u8 *)(r7 +30) = r1\l\
| 187: (73) *(u8 *)(r7 +22) = r1\l\
}"];
fn_0_bb_10 [shape=record,style=filled,label="{ 188: (79) r3 = *(u64 *)(r6 +0)\l\
| 189: (b7) r1 = 0\l\
| 190: (7b) *(u64 *)(r10 -8) = r1\l\
| 191: (07) r3 += 112\l\
| 192: (bf) r1 = r10\l\
| 193: (07) r1 += -8\l\
| 194: (b7) r2 = 8\l\
| 195: (85) call bpf_probe_read#-45952\l\
| 196: (71) r1 = *(u8 *)(r7 +13)\l\
| 197: (67) r1 \<\<= 8\l\
| 198: (71) r2 = *(u8 *)(r7 +12)\l\
| 199: (4f) r1 \|= r2\l\
| 200: (71) r2 = *(u8 *)(r7 +15)\l\
| 201: (67) r2 \<\<= 8\l\
| 202: (71) r3 = *(u8 *)(r7 +14)\l\
| 203: (4f) r2 \|= r3\l\
| 204: (67) r2 \<\<= 16\l\
| 205: (4f) r2 \|= r1\l\
| 206: (71) r3 = *(u8 *)(r7 +17)\l\
| 207: (67) r3 \<\<= 8\l\
| 208: (71) r1 = *(u8 *)(r7 +16)\l\
| 209: (4f) r3 \|= r1\l\
| 210: (71) r4 = *(u8 *)(r7 +18)\l\
| 211: (71) r1 = *(u8 *)(r7 +19)\l\
| 212: (67) r1 \<\<= 8\l\
| 213: (4f) r1 \|= r4\l\
| 214: (67) r1 \<\<= 16\l\
| 215: (4f) r1 \|= r3\l\
| 216: (67) r1 \<\<= 32\l\
| 217: (4f) r1 \|= r2\l\
| 218: (18) r4 = 0xfffffffd\l\
| 219: BUG_ld_00\l\
| 220: (25) if r1 \> 0x1f goto pc+342\l\
}"];
fn_0_bb_11 [shape=record,style=filled,label="{ 221: (71) r2 = *(u8 *)(r7 +21)\l\
| 222: (67) r2 \<\<= 8\l\
| 223: (71) r3 = *(u8 *)(r7 +20)\l\
| 224: (4f) r2 \|= r3\l\
| 225: (71) r3 = *(u8 *)(r7 +23)\l\
| 226: (67) r3 \<\<= 8\l\
| 227: (71) r4 = *(u8 *)(r7 +22)\l\
| 228: (4f) r3 \|= r4\l\
| 229: (67) r3 \<\<= 16\l\
| 230: (4f) r3 \|= r2\l\
| 231: (71) r4 = *(u8 *)(r7 +25)\l\
| 232: (67) r4 \<\<= 8\l\
| 233: (71) r2 = *(u8 *)(r7 +24)\l\
| 234: (4f) r4 \|= r2\l\
| 235: (71) r5 = *(u8 *)(r7 +26)\l\
| 236: (71) r2 = *(u8 *)(r7 +27)\l\
| 237: (67) r2 \<\<= 8\l\
| 238: (4f) r2 \|= r5\l\
| 239: (67) r2 \<\<= 16\l\
| 240: (4f) r2 \|= r4\l\
| 241: (67) r2 \<\<= 32\l\
| 242: (4f) r2 \|= r3\l\
| 243: (18) r4 = 0xffffffff\l\
| 244: BUG_ld_00\l\
| 245: (25) if r2 \> 0x1ffff goto pc+317\l\
}"];
fn_0_bb_12 [shape=record,style=filled,label="{ 246: (79) r3 = *(u64 *)(r10 -8)\l\
| 247: (57) r1 \&= 31\l\
| 248: (27) r1 *= 49\l\
| 249: (bf) r4 = r9\l\
| 250: (0f) r4 += r1\l\
| 251: (71) r5 = *(u8 *)(r4 +77)\l\
| 252: (67) r5 \<\<= 8\l\
| 253: (71) r1 = *(u8 *)(r4 +76)\l\
| 254: (4f) r5 \|= r1\l\
| 255: (71) r0 = *(u8 *)(r4 +78)\l\
| 256: (71) r1 = *(u8 *)(r4 +79)\l\
| 257: (67) r1 \<\<= 8\l\
| 258: (4f) r1 \|= r0\l\
| 259: (67) r1 \<\<= 16\l\
| 260: (4f) r1 \|= r5\l\
| 261: (65) if r1 s\> 0x10 goto pc+8\l\
}"];
fn_0_bb_13 [shape=record,style=filled,label="{ 262: (65) if r1 s\> 0x7 goto pc+29\l\
}"];
fn_0_bb_14 [shape=record,style=filled,label="{ 263: (65) if r1 s\> 0x3 goto pc+36\l\
}"];
fn_0_bb_15 [shape=record,style=filled,label="{ 264: (15) if r1 == 0x1 goto pc+41\l\
}"];
fn_0_bb_16 [shape=record,style=filled,label="{ 265: (15) if r1 == 0x2 goto pc+324\l\
}"];
fn_0_bb_17 [shape=record,style=filled,label="{ 266: (18) r4 = 0xfffffffd\l\
| 267: BUG_ld_00\l\
| 268: (15) if r1 == 0x3 goto pc+315\l\
}"];
fn_0_bb_18 [shape=record,style=filled,label="{ 269: (05) goto pc+293\l\
}"];
fn_0_bb_19 [shape=record,style=filled,label="{ 270: (65) if r1 s\> 0x1b goto pc+7\l\
}"];
fn_0_bb_20 [shape=record,style=filled,label="{ 271: (65) if r1 s\> 0x13 goto pc+48\l\
}"];
fn_0_bb_21 [shape=record,style=filled,label="{ 272: (15) if r1 == 0x11 goto pc+59\l\
}"];
fn_0_bb_22 [shape=record,style=filled,label="{ 273: (15) if r1 == 0x12 goto pc+316\l\
}"];
fn_0_bb_23 [shape=record,style=filled,label="{ 274: (18) r4 = 0xfffffffd\l\
| 275: BUG_ld_00\l\
| 276: (15) if r1 == 0x13 goto pc+29\l\
}"];
fn_0_bb_24 [shape=record,style=filled,label="{ 277: (05) goto pc+285\l\
}"];
fn_0_bb_25 [shape=record,style=filled,label="{ 278: (18) r4 = 0xfffffffd\l\
| 279: BUG_ld_00\l\
| 280: (25) if r1 \> 0x2a goto pc+282\l\
}"];
fn_0_bb_26 [shape=record,style=filled,label="{ 281: (b7) r4 = 1\l\
| 282: (6f) r4 \<\<= r1\l\
| 283: (18) r5 = 0x405c0000000\l\
| 284: BUG_ld_00\l\
| 285: (5f) r4 \&= r5\l\
| 286: (55) if r4 != 0x0 goto pc+297\l\
}"];
fn_0_bb_27 [shape=record,style=filled,label="{ 287: (15) if r1 == 0x1c goto pc+18\l\
}"];
fn_0_bb_28 [shape=record,style=filled,label="{ 288: (18) r4 = 0xfffffffd\l\
| 289: BUG_ld_00\l\
| 290: (15) if r1 == 0x1d goto pc+299\l\
}"];
fn_0_bb_29 [shape=record,style=filled,label="{ 291: (05) goto pc+271\l\
}"];
fn_0_bb_30 [shape=record,style=filled,label="{ 292: (65) if r1 s\> 0xa goto pc+19\l\
}"];
fn_0_bb_31 [shape=record,style=filled,label="{ 293: (15) if r1 == 0x8 goto pc+32\l\
}"];
fn_0_bb_32 [shape=record,style=filled,label="{ 294: (15) if r1 == 0x9 goto pc+37\l\
}"];
fn_0_bb_33 [shape=record,style=filled,label="{ 295: (b7) r0 = 0\l\
| 296: (18) r4 = 0xfffffffd\l\
| 297: BUG_ld_00\l\
| 298: (15) if r1 == 0xa goto pc+50\l\
}"];
fn_0_bb_34 [shape=record,style=filled,label="{ 299: (05) goto pc+263\l\
}"];
fn_0_bb_35 [shape=record,style=filled,label="{ 300: (65) if r1 s\> 0x5 goto pc+278\l\
}"];
fn_0_bb_36 [shape=record,style=filled,label="{ 301: (15) if r1 == 0x4 goto pc+24\l\
}"];
fn_0_bb_37 [shape=record,style=filled,label="{ 302: (18) r4 = 0xfffffffd\l\
| 303: BUG_ld_00\l\
| 304: (15) if r1 == 0x5 goto pc+1\l\
}"];
fn_0_bb_38 [shape=record,style=filled,label="{ 305: (05) goto pc+257\l\
}"];
fn_0_bb_39 [shape=record,style=filled,label="{ 306: (57) r2 \&= 131071\l\
| 307: (bf) r1 = r8\l\
| 308: (0f) r1 += r2\l\
| 309: (73) *(u8 *)(r1 +0) = r3\l\
| 310: (b7) r0 = 1\l\
| 311: (05) goto pc+37\l\
}"];
fn_0_bb_40 [shape=record,style=filled,label="{ 312: (bf) r4 = r1\l\
| 313: (07) r4 += -14\l\
| 314: (b7) r5 = 2\l\
| 315: (2d) if r5 \> r4 goto pc+10\l\
}"];
fn_0_bb_41 [shape=record,style=filled,label="{ 316: (18) r4 = 0xfffffffd\l\
| 317: BUG_ld_00\l\
| 318: (15) if r1 == 0xb goto pc+7\l\
}"];
fn_0_bb_42 [shape=record,style=filled,label="{ 319: (05) goto pc+243\l\
}"];
fn_0_bb_43 [shape=record,style=filled,label="{ 320: (07) r1 += -20\l\
| 321: (b7) r5 = 2\l\
| 322: (18) r4 = 0xfffffffd\l\
| 323: BUG_ld_00\l\
| 324: (2d) if r5 \> r1 goto pc+1\l\
}"];
fn_0_bb_44 [shape=record,style=filled,label="{ 325: (05) goto pc+237\l\
}"];
fn_0_bb_45 [shape=record,style=filled,label="{ 326: (57) r2 \&= 131071\l\
| 327: (bf) r1 = r8\l\
| 328: (0f) r1 += r2\l\
| 329: (7b) *(u64 *)(r1 +0) = r3\l\
| 330: (b7) r0 = 8\l\
| 331: (05) goto pc+17\l\
}"];
fn_0_bb_46 [shape=record,style=filled,label="{ 332: (57) r2 \&= 131071\l\
| 333: (bf) r1 = r8\l\
| 334: (0f) r1 += r2\l\
| 335: (b7) r2 = 65000\l\
| 336: (85) call bpf_probe_read_str#-45808\l\
| 337: (18) r4 = 0xfffffffe\l\
| 338: BUG_ld_00\l\
| 339: (bf) r1 = r0\l\
| 340: (67) r1 \<\<= 32\l\
| 341: (bf) r2 = r1\l\
| 342: (c7) r2 s\>\>= 32\l\
| 343: (65) if r2 s\> 0xffffffff goto pc+1\l\
}"];
fn_0_bb_47 [shape=record,style=filled,label="{ 344: (05) goto pc-1\l\
}"];
fn_0_bb_48 [shape=record,style=filled,label="{ 345: (77) r1 \>\>= 32\l\
| 346: (18) r4 = 0xffffffff\l\
| 347: BUG_ld_00\l\
| 348: (25) if r1 \> 0xfde8 goto pc+214\l\
}"];
fn_0_bb_49 [shape=record,style=filled,label="{ 349: (7b) *(u64 *)(r10 -32) = r0\l\
| 350: (71) r1 = *(u8 *)(r7 +13)\l\
| 351: (67) r1 \<\<= 8\l\
| 352: (71) r2 = *(u8 *)(r7 +12)\l\
| 353: (4f) r1 \|= r2\l\
| 354: (71) r2 = *(u8 *)(r7 +15)\l\
| 355: (67) r2 \<\<= 8\l\
| 356: (71) r3 = *(u8 *)(r7 +14)\l\
| 357: (4f) r2 \|= r3\l\
| 358: (67) r2 \<\<= 16\l\
| 359: (4f) r2 \|= r1\l\
| 360: (71) r3 = *(u8 *)(r7 +17)\l\
| 361: (67) r3 \<\<= 8\l\
| 362: (71) r1 = *(u8 *)(r7 +16)\l\
| 363: (4f) r3 \|= r1\l\
| 364: (71) r1 = *(u8 *)(r7 +19)\l\
| 365: (67) r1 \<\<= 8\l\
| 366: (71) r4 = *(u8 *)(r7 +18)\l\
| 367: (4f) r1 \|= r4\l\
| 368: (63) *(u32 *)(r10 -8) = r2\l\
| 369: (61) r4 = *(u32 *)(r10 -8)\l\
| 370: (57) r4 \&= 31\l\
| 371: (67) r4 \<\<= 1\l\
| 372: (0f) r8 += r4\l\
| 373: (6b) *(u16 *)(r8 +26) = r0\l\
| 374: (67) r1 \<\<= 16\l\
| 375: (4f) r1 \|= r3\l\
| 376: (67) r1 \<\<= 32\l\
| 377: (4f) r1 \|= r2\l\
| 378: (71) r0 = *(u8 *)(r7 +21)\l\
| 379: (67) r0 \<\<= 8\l\
| 380: (71) r3 = *(u8 *)(r7 +20)\l\
| 381: (4f) r0 \|= r3\l\
| 382: (71) r3 = *(u8 *)(r7 +23)\l\
| 383: (67) r3 \<\<= 8\l\
| 384: (71) r4 = *(u8 *)(r7 +22)\l\
| 385: (4f) r3 \|= r4\l\
| 386: (71) r8 = *(u8 *)(r7 +33)\l\
| 387: (67) r8 \<\<= 8\l\
| 388: (71) r4 = *(u8 *)(r7 +32)\l\
| 389: (4f) r8 \|= r4\l\
| 390: (71) r5 = *(u8 *)(r7 +35)\l\
| 391: (67) r5 \<\<= 8\l\
| 392: (71) r4 = *(u8 *)(r7 +34)\l\
| 393: (4f) r5 \|= r4\l\
| 394: (7b) *(u64 *)(r10 -24) = r9\l\
| 395: (71) r9 = *(u8 *)(r7 +29)\l\
| 396: (67) r9 \<\<= 8\l\
| 397: (71) r4 = *(u8 *)(r7 +28)\l\
| 398: (4f) r9 \|= r4\l\
| 399: (71) r4 = *(u8 *)(r7 +31)\l\
| 400: (67) r4 \<\<= 8\l\
| 401: (71) r2 = *(u8 *)(r7 +30)\l\
| 402: (4f) r4 \|= r2\l\
| 403: (67) r4 \<\<= 16\l\
| 404: (4f) r4 \|= r9\l\
| 405: (67) r5 \<\<= 16\l\
| 406: (4f) r5 \|= r8\l\
| 407: (67) r3 \<\<= 16\l\
| 408: (4f) r3 \|= r0\l\
| 409: (71) r0 = *(u8 *)(r7 +25)\l\
| 410: (67) r0 \<\<= 8\l\
| 411: (71) r2 = *(u8 *)(r7 +24)\l\
| 412: (4f) r0 \|= r2\l\
| 413: (71) r2 = *(u8 *)(r7 +27)\l\
| 414: (67) r2 \<\<= 8\l\
| 415: (71) r8 = *(u8 *)(r7 +26)\l\
| 416: (4f) r2 \|= r8\l\
| 417: (67) r2 \<\<= 16\l\
| 418: (4f) r2 \|= r0\l\
| 419: (67) r2 \<\<= 32\l\
| 420: (4f) r2 \|= r3\l\
| 421: (67) r5 \<\<= 32\l\
| 422: (4f) r5 \|= r4\l\
| 423: (07) r1 += 1\l\
| 424: (bf) r3 = r1\l\
| 425: (77) r3 \>\>= 56\l\
| 426: (73) *(u8 *)(r7 +19) = r3\l\
| 427: (bf) r3 = r1\l\
| 428: (77) r3 \>\>= 48\l\
| 429: (73) *(u8 *)(r7 +18) = r3\l\
| 430: (bf) r3 = r1\l\
| 431: (77) r3 \>\>= 40\l\
| 432: (73) *(u8 *)(r7 +17) = r3\l\
| 433: (bf) r3 = r1\l\
| 434: (77) r3 \>\>= 32\l\
| 435: (73) *(u8 *)(r7 +16) = r3\l\
| 436: (bf) r3 = r1\l\
| 437: (77) r3 \>\>= 24\l\
| 438: (73) *(u8 *)(r7 +15) = r3\l\
| 439: (bf) r3 = r1\l\
| 440: (77) r3 \>\>= 16\l\
| 441: (73) *(u8 *)(r7 +14) = r3\l\
| 442: (bf) r3 = r1\l\
| 443: (77) r3 \>\>= 8\l\
| 444: (73) *(u8 *)(r7 +13) = r3\l\
| 445: (79) r3 = *(u64 *)(r10 -32)\l\
| 446: (67) r3 \<\<= 32\l\
| 447: (77) r3 \>\>= 32\l\
| 448: (0f) r5 += r3\l\
| 449: (0f) r2 += r3\l\
| 450: (bf) r3 = r5\l\
| 451: (77) r3 \>\>= 56\l\
| 452: (73) *(u8 *)(r7 +35) = r3\l\
| 453: (bf) r3 = r5\l\
| 454: (77) r3 \>\>= 48\l\
| 455: (73) *(u8 *)(r7 +34) = r3\l\
| 456: (bf) r3 = r5\l\
| 457: (77) r3 \>\>= 40\l\
| 458: (73) *(u8 *)(r7 +33) = r3\l\
| 459: (bf) r3 = r5\l\
| 460: (77) r3 \>\>= 32\l\
| 461: (73) *(u8 *)(r7 +32) = r3\l\
| 462: (bf) r3 = r5\l\
| 463: (77) r3 \>\>= 24\l\
| 464: (73) *(u8 *)(r7 +31) = r3\l\
| 465: (bf) r3 = r5\l\
| 466: (77) r3 \>\>= 16\l\
| 467: (73) *(u8 *)(r7 +30) = r3\l\
| 468: (bf) r3 = r5\l\
| 469: (77) r3 \>\>= 8\l\
| 470: (73) *(u8 *)(r7 +29) = r3\l\
| 471: (bf) r3 = r2\l\
| 472: (77) r3 \>\>= 56\l\
| 473: (73) *(u8 *)(r7 +27) = r3\l\
| 474: (bf) r3 = r2\l\
| 475: (77) r3 \>\>= 48\l\
| 476: (73) *(u8 *)(r7 +26) = r3\l\
| 477: (bf) r3 = r2\l\
| 478: (77) r3 \>\>= 40\l\
| 479: (73) *(u8 *)(r7 +25) = r3\l\
| 480: (bf) r3 = r2\l\
| 481: (77) r3 \>\>= 32\l\
| 482: (73) *(u8 *)(r7 +24) = r3\l\
| 483: (bf) r3 = r2\l\
| 484: (77) r3 \>\>= 24\l\
| 485: (73) *(u8 *)(r7 +23) = r3\l\
| 486: (bf) r3 = r2\l\
| 487: (77) r3 \>\>= 16\l\
| 488: (73) *(u8 *)(r7 +22) = r3\l\
| 489: (bf) r3 = r2\l\
| 490: (77) r3 \>\>= 8\l\
| 491: (73) *(u8 *)(r7 +21) = r3\l\
| 492: (73) *(u8 *)(r7 +12) = r1\l\
| 493: (73) *(u8 *)(r7 +28) = r5\l\
| 494: (73) *(u8 *)(r7 +20) = r2\l\
| 495: (79) r4 = *(u64 *)(r10 -24)\l\
| 496: (71) r2 = *(u8 *)(r4 +41)\l\
| 497: (67) r2 \<\<= 8\l\
| 498: (71) r3 = *(u8 *)(r4 +40)\l\
| 499: (4f) r2 \|= r3\l\
| 500: (71) r3 = *(u8 *)(r4 +42)\l\
| 501: (71) r0 = *(u8 *)(r4 +43)\l\
| 502: (67) r0 \<\<= 8\l\
| 503: (4f) r0 \|= r3\l\
| 504: (67) r0 \<\<= 16\l\
| 505: (4f) r0 \|= r2\l\
| 506: (18) r4 = 0xfffffffd\l\
| 507: BUG_ld_00\l\
| 508: (5d) if r1 != r0 goto pc+54\l\
}"];
fn_0_bb_50 [shape=record,style=filled,label="{ 509: (18) r4 = 0xffffffff\l\
| 510: BUG_ld_00\l\
| 511: (25) if r5 \> 0xfff3 goto pc+51\l\
}"];
fn_0_bb_51 [shape=record,style=filled,label="{ 512: (bf) r1 = r5\l\
| 513: (77) r1 \>\>= 24\l\
| 514: (79) r4 = *(u64 *)(r10 -16)\l\
| 515: (73) *(u8 *)(r4 +19) = r1\l\
| 516: (bf) r1 = r5\l\
| 517: (77) r1 \>\>= 16\l\
| 518: (73) *(u8 *)(r4 +18) = r1\l\
| 519: (bf) r1 = r5\l\
| 520: (77) r1 \>\>= 8\l\
| 521: (73) *(u8 *)(r4 +17) = r1\l\
| 522: (73) *(u8 *)(r4 +16) = r5\l\
| 523: (57) r5 \&= 262143\l\
| 524: (bf) r1 = r6\l\
| 525: (18) r2 = map[id:1]\l\
| 526: BUG_ld_00\l\
| 527: (18) r3 = 0xffffffff\l\
| 528: BUG_ld_00\l\
| 529: (85) call bpf_perf_event_output_raw_tp#-42896\l\
| 530: (67) r0 \<\<= 32\l\
| 531: (77) r0 \>\>= 32\l\
| 532: (15) if r0 == 0x0 goto pc+29\l\
}"];
fn_0_bb_52 [shape=record,style=filled,label="{ 533: (18) r1 = 0xfffffffe\l\
| 534: BUG_ld_00\l\
| 535: (1d) if r0 == r1 goto pc+5\l\
}"];
fn_0_bb_53 [shape=record,style=filled,label="{ 536: (18) r1 = 0xffffffa1\l\
| 537: BUG_ld_00\l\
| 538: (18) r4 = 0xfffffffd\l\
| 539: BUG_ld_00\l\
| 540: (5d) if r0 != r1 goto pc+22\l\
}"];
fn_0_bb_54 [shape=record,style=filled,label="{ 541: (b7) r1 = 0\l\
| 542: (63) *(u32 *)(r10 -8) = r1\l\
| 543: (bf) r2 = r10\l\
| 544: (07) r2 += -8\l\
| 545: (18) r1 = map[id:10]\l\
| 546: BUG_ld_00\l\
| 547: (85) call bpf_map_lookup_elem#72032\l\
| 548: (bf) r8 = r0\l\
| 549: (18) r4 = 0xfffffffd\l\
| 550: BUG_ld_00\l\
| 551: (15) if r8 == 0x0 goto pc+11\l\
}"];
fn_0_bb_55 [shape=record,style=filled,label="{ 552: (85) call bpf_get_smp_processor_id#72080\l\
| 553: (bf) r1 = r0\l\
| 554: (77) r1 \>\>= 24\l\
| 555: (73) *(u8 *)(r8 +75) = r1\l\
| 556: (bf) r1 = r0\l\
| 557: (77) r1 \>\>= 16\l\
| 558: (73) *(u8 *)(r8 +74) = r1\l\
| 559: (73) *(u8 *)(r8 +72) = r0\l\
| 560: (77) r0 \>\>= 8\l\
| 561: (73) *(u8 *)(r8 +73) = r0\l\
}"];
fn_0_bb_56 [shape=record,style=filled,label="{ 562: (b7) r4 = 0\l\
}"];
fn_0_bb_57 [shape=record,style=filled,label="{ 563: (bf) r1 = r4\l\
| 564: (77) r1 \>\>= 24\l\
| 565: (73) *(u8 *)(r7 +39) = r1\l\
| 566: (bf) r1 = r4\l\
| 567: (77) r1 \>\>= 16\l\
| 568: (73) *(u8 *)(r7 +38) = r1\l\
| 569: (73) *(u8 *)(r7 +36) = r4\l\
| 570: (77) r4 \>\>= 8\l\
| 571: (73) *(u8 *)(r7 +37) = r4\l\
}"];
fn_0_bb_58 [shape=record,style=filled,label="{ 572: (bf) r1 = r6\l\
| 573: (18) r2 = map[id:2]\l\
| 574: BUG_ld_00\l\
| 575: (b7) r3 = 86\l\
| 576: (85) call bpf_tail_call#12\l\
| 577: (b7) r0 = 0\l\
| 578: (95) exit\l\
}"];
fn_0_bb_59 [shape=record,style=filled,label="{ 579: (15) if r1 == 0x6 goto pc+10\l\
}"];
fn_0_bb_60 [shape=record,style=filled,label="{ 580: (18) r4 = 0xfffffffd\l\
| 581: BUG_ld_00\l\
| 582: (15) if r1 == 0x7 goto pc+1\l\
}"];
fn_0_bb_61 [shape=record,style=filled,label="{ 583: (05) goto pc-21\l\
}"];
fn_0_bb_62 [shape=record,style=filled,label="{ 584: (57) r2 \&= 131071\l\
| 585: (bf) r1 = r8\l\
| 586: (0f) r1 += r2\l\
| 587: (63) *(u32 *)(r1 +0) = r3\l\
| 588: (b7) r0 = 4\l\
| 589: (05) goto pc-241\l\
}"];
fn_0_bb_63 [shape=record,style=filled,label="{ 590: (57) r2 \&= 131071\l\
| 591: (bf) r1 = r8\l\
| 592: (0f) r1 += r2\l\
| 593: (6b) *(u16 *)(r1 +0) = r3\l\
| 594: (b7) r0 = 2\l\
| 595: (05) goto pc-247\l\
}"];
fn_0_bb_1 [shape=Mdiamond,style=filled,label="EXIT"];
fn_0_bb_0:s -> fn_0_bb_2:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_2:s -> fn_0_bb_3:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_2:s -> fn_0_bb_58:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_3:s -> fn_0_bb_4:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_3:s -> fn_0_bb_58:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_4:s -> fn_0_bb_5:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_4:s -> fn_0_bb_58:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_5:s -> fn_0_bb_6:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_5:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_6:s -> fn_0_bb_7:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_6:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_7:s -> fn_0_bb_8:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_7:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_8:s -> fn_0_bb_9:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_8:s -> fn_0_bb_10:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_9:s -> fn_0_bb_10:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_10:s -> fn_0_bb_11:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_10:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_11:s -> fn_0_bb_12:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_11:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_12:s -> fn_0_bb_13:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_12:s -> fn_0_bb_19:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_13:s -> fn_0_bb_14:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_13:s -> fn_0_bb_30:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_14:s -> fn_0_bb_15:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_14:s -> fn_0_bb_35:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_15:s -> fn_0_bb_16:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_15:s -> fn_0_bb_39:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_16:s -> fn_0_bb_17:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_16:s -> fn_0_bb_63:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_17:s -> fn_0_bb_18:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_17:s -> fn_0_bb_62:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_18:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_19:s -> fn_0_bb_20:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_19:s -> fn_0_bb_25:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_20:s -> fn_0_bb_21:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_20:s -> fn_0_bb_43:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_21:s -> fn_0_bb_22:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_21:s -> fn_0_bb_46:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_22:s -> fn_0_bb_23:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_22:s -> fn_0_bb_63:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_23:s -> fn_0_bb_24:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_23:s -> fn_0_bb_39:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_24:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_25:s -> fn_0_bb_26:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_25:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_26:s -> fn_0_bb_27:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_26:s -> fn_0_bb_62:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_27:s -> fn_0_bb_28:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_27:s -> fn_0_bb_39:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_28:s -> fn_0_bb_29:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_28:s -> fn_0_bb_63:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_29:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_30:s -> fn_0_bb_31:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_30:s -> fn_0_bb_40:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_31:s -> fn_0_bb_32:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_31:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_32:s -> fn_0_bb_33:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_32:s -> fn_0_bb_46:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_33:s -> fn_0_bb_34:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_33:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_34:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_35:s -> fn_0_bb_36:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_35:s -> fn_0_bb_59:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_36:s -> fn_0_bb_37:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_36:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_37:s -> fn_0_bb_38:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_37:s -> fn_0_bb_39:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_38:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_39:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_40:s -> fn_0_bb_41:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_40:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_41:s -> fn_0_bb_42:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_41:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_42:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_43:s -> fn_0_bb_44:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_43:s -> fn_0_bb_45:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_44:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_45:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_46:s -> fn_0_bb_47:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_46:s -> fn_0_bb_48:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_47:s -> fn_0_bb_47:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_48:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_48:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_49:s -> fn_0_bb_50:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_49:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_50:s -> fn_0_bb_51:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_50:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_51:s -> fn_0_bb_52:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_51:s -> fn_0_bb_56:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_52:s -> fn_0_bb_53:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_52:s -> fn_0_bb_54:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_53:s -> fn_0_bb_54:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_53:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_54:s -> fn_0_bb_55:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_54:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_55:s -> fn_0_bb_56:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_56:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_57:s -> fn_0_bb_58:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_58:s -> fn_0_bb_59:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_59:s -> fn_0_bb_60:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_59:s -> fn_0_bb_63:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_60:s -> fn_0_bb_61:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_60:s -> fn_0_bb_62:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_61:s -> fn_0_bb_57:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_62:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_63:s -> fn_0_bb_49:n [style="solid,bold", color=black, weight=10, constraint=true];
fn_0_bb_0:s -> fn_0_bb_1:n [style="invis", constraint=true];
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment