Analysis Run

019b477e-d2eb-7337-a20d-b2fdc85edb22
complete
Chain ID
1
Address
0x30a4aa1d14d44f0f5bfe887447ab6facc94a549f
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
28045	artifact.fetch	complete	1 / 3	3 months ago
28046	tool.cast_disasm	complete	1 / 3	3 months ago
103033	analysis.bundle	complete	1 / 3	1 week ago
103034	capability.graph	complete	1 / 3	1 week ago
103035	detector.run	complete	1 / 3	1 week ago
103036	validation.fork	complete	1 / 3	1 week ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes
Slither

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
2
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
3
Total opcodes
2124
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00e1
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8456cb59
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbad490dc
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbad490dc
0000002f: EQ
00000030: PUSH2 0x0216
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd7a78db8
0000003a: EQ
0000003b: PUSH2 0x022b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf851a440
00000045: EQ
00000046: PUSH2 0x024b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfd7e1bee
00000050: EQ
00000051: PUSH2 0x0260
00000054: JUMPI
00000055: PUSH2 0x00f0
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x8456cb59
00000060: EQ
00000061: PUSH2 0x01cc
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x8f283970
0000006b: EQ
0000006c: PUSH2 0x01e1
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9fd0506d
00000076: EQ
00000077: PUSH2 0x0201
0000007a: JUMPI
0000007b: PUSH2 0x00f0
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x3f4ba83a
00000086: GT
00000087: PUSH2 0x00bb
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x3f4ba83a
00000091: EQ
00000092: PUSH2 0x0162
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x4f1ef286
0000009c: EQ
0000009d: PUSH2 0x0177
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x5c60da1b
000000a7: EQ
000000a8: PUSH2 0x018a
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x5c975abb
000000b2: EQ
000000b3: PUSH2 0x01b7
000000b6: JUMPI
000000b7: PUSH2 0x00f0
000000ba: JUMP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x054f7d9c
000000c2: EQ
000000c3: PUSH2 0x00f8
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x2cd271e7
000000cd: EQ
000000ce: PUSH2 0x0122
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x3659cfe6
000000d8: EQ
000000d9: PUSH2 0x0142
000000dc: JUMPI
000000dd: PUSH2 0x00f0
000000e0: JUMP
000000e1: JUMPDEST
000000e2: CALLDATASIZE
000000e3: PUSH2 0x00f0
000000e6: JUMPI
000000e7: PUSH2 0x00ee
000000ea: PUSH2 0x0283
000000ed: JUMP
000000ee: JUMPDEST
000000ef: STOP
000000f0: JUMPDEST
000000f1: PUSH2 0x00ee
000000f4: PUSH2 0x0283
000000f7: JUMP
000000f8: JUMPDEST
000000f9: CALLVALUE
000000fa: DUP1
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: PUSH2 0x010d
00000109: PUSH2 0x029d
0000010c: JUMP
0000010d: JUMPDEST
0000010e: PUSH1 0x40
00000110: MLOAD
00000111: SWAP1
00000112: ISZERO
00000113: ISZERO
00000114: DUP2
00000115: MSTORE
00000116: PUSH1 0x20
00000118: ADD
00000119: JUMPDEST
0000011a: PUSH1 0x40
0000011c: MLOAD
0000011d: DUP1
0000011e: SWAP2
0000011f: SUB
00000120: SWAP1
00000121: RETURN
00000122: JUMPDEST
00000123: CALLVALUE
00000124: DUP1
00000125: ISZERO
00000126: PUSH2 0x012e
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: POP
00000130: PUSH2 0x00ee
00000133: PUSH2 0x013d
00000136: CALLDATASIZE
00000137: PUSH1 0x04
00000139: PUSH2 0x0d3f
0000013c: JUMP
0000013d: JUMPDEST
0000013e: PUSH2 0x02ce
00000141: JUMP
00000142: JUMPDEST
00000143: CALLVALUE
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: POP
00000150: PUSH2 0x00ee
00000153: PUSH2 0x015d
00000156: CALLDATASIZE
00000157: PUSH1 0x04
00000159: PUSH2 0x0d3f
0000015c: JUMP
0000015d: JUMPDEST
0000015e: PUSH2 0x034c
00000161: JUMP
00000162: JUMPDEST
00000163: CALLVALUE
00000164: DUP1
00000165: ISZERO
00000166: PUSH2 0x016e
00000169: JUMPI
0000016a: PUSH1 0x00
0000016c: DUP1
0000016d: REVERT
0000016e: JUMPDEST
0000016f: POP
00000170: PUSH2 0x00ee
00000173: PUSH2 0x0386
00000176: JUMP
00000177: JUMPDEST
00000178: PUSH2 0x00ee
0000017b: PUSH2 0x0185
0000017e: CALLDATASIZE
0000017f: PUSH1 0x04
00000181: PUSH2 0x0d5a
00000184: JUMP
00000185: JUMPDEST
00000186: PUSH2 0x03dc
00000189: JUMP
0000018a: JUMPDEST
0000018b: CALLVALUE
0000018c: DUP1
0000018d: ISZERO
0000018e: PUSH2 0x0196
00000191: JUMPI
00000192: PUSH1 0x00
00000194: DUP1
00000195: REVERT
00000196: JUMPDEST
00000197: POP
00000198: PUSH2 0x019f
0000019b: PUSH2 0x044b
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH1 0x40
000001a2: MLOAD
000001a3: PUSH1 0x01
000001a5: PUSH1 0x01
000001a7: PUSH1 0xa0
000001a9: SHL
000001aa: SUB
000001ab: SWAP1
000001ac: SWAP2
000001ad: AND
000001ae: DUP2
000001af: MSTORE
000001b0: PUSH1 0x20
000001b2: ADD
000001b3: PUSH2 0x0119
000001b6: JUMP
000001b7: JUMPDEST
000001b8: CALLVALUE
000001b9: DUP1
000001ba: ISZERO
000001bb: PUSH2 0x01c3
000001be: JUMPI
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: POP
000001c5: PUSH2 0x010d
000001c8: PUSH2 0x046c
000001cb: JUMP
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d8
000001d3: JUMPI
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: POP
000001da: PUSH2 0x00ee
000001dd: PUSH2 0x04d7
000001e0: JUMP
000001e1: JUMPDEST
000001e2: CALLVALUE
000001e3: DUP1
000001e4: ISZERO
000001e5: PUSH2 0x01ed
000001e8: JUMPI
000001e9: PUSH1 0x00
000001eb: DUP1
000001ec: REVERT
000001ed: JUMPDEST
000001ee: POP
000001ef: PUSH2 0x00ee
000001f2: PUSH2 0x01fc
000001f5: CALLDATASIZE
000001f6: PUSH1 0x04
000001f8: PUSH2 0x0d3f
000001fb: JUMP
000001fc: JUMPDEST
000001fd: PUSH2 0x0540
00000200: JUMP
00000201: JUMPDEST
00000202: CALLVALUE
00000203: DUP1
00000204: ISZERO
00000205: PUSH2 0x020d
00000208: JUMPI
00000209: PUSH1 0x00
0000020b: DUP1
0000020c: REVERT
0000020d: JUMPDEST
0000020e: POP
0000020f: PUSH2 0x019f
00000212: PUSH2 0x0568
00000215: JUMP
00000216: JUMPDEST
00000217: CALLVALUE
00000218: DUP1
00000219: ISZERO
0000021a: PUSH2 0x0222
0000021d: JUMPI
0000021e: PUSH1 0x00
00000220: DUP1
00000221: REVERT
00000222: JUMPDEST
00000223: POP
00000224: PUSH2 0x00ee
00000227: PUSH2 0x05b6
0000022a: JUMP
0000022b: JUMPDEST
0000022c: CALLVALUE
0000022d: DUP1
0000022e: ISZERO
0000022f: PUSH2 0x0237
00000232: JUMPI
00000233: PUSH1 0x00
00000235: DUP1
00000236: REVERT
00000237: JUMPDEST
00000238: POP
00000239: PUSH2 0x00ee
0000023c: PUSH2 0x0246
0000023f: CALLDATASIZE
00000240: PUSH1 0x04
00000242: PUSH2 0x0ddd
00000245: JUMP
00000246: JUMPDEST
00000247: PUSH2 0x05d5
0000024a: JUMP
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x019f
0000025c: PUSH2 0x05f5
0000025f: JUMP
00000260: JUMPDEST
00000261: CALLVALUE
00000262: DUP1
00000263: ISZERO
00000264: PUSH2 0x026c
00000267: JUMPI
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: POP
0000026e: PUSH2 0x0275
00000271: PUSH2 0x0616
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH1 0x40
00000278: MLOAD
00000279: SWAP1
0000027a: DUP2
0000027b: MSTORE
0000027c: PUSH1 0x20
0000027e: ADD
0000027f: PUSH2 0x0119
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH2 0x028b
00000287: PUSH2 0x0692
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH2 0x029b
0000028f: PUSH2 0x0296
00000292: PUSH2 0x06f0
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x06fa
0000029a: JUMP
0000029b: JUMPDEST
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH1 0x00
000002a0: PUSH2 0x02a7
000002a3: PUSH2 0x071e
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x01
000002aa: PUSH1 0x01
000002ac: PUSH1 0xa0
000002ae: SHL
000002af: SUB
000002b0: AND
000002b1: CALLER
000002b2: SUB
000002b3: PUSH2 0x02c3
000002b6: JUMPI
000002b7: PUSH2 0x02be
000002ba: PUSH2 0x0751
000002bd: JUMP
000002be: JUMPDEST
000002bf: SWAP1
000002c0: POP
000002c1: SWAP1
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH2 0x02cb
000002c7: PUSH2 0x0283
000002ca: JUMP
000002cb: JUMPDEST
000002cc: SWAP1
000002cd: JUMP
000002ce: JUMPDEST
000002cf: PUSH2 0x02d6
000002d2: PUSH2 0x071e
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x01
000002d9: PUSH1 0x01
000002db: PUSH1 0xa0
000002dd: SHL
000002de: SUB
000002df: AND
000002e0: CALLER
000002e1: SUB
000002e2: PUSH2 0x0344
000002e5: JUMPI
000002e6: PUSH2 0x02ed
000002e9: PUSH2 0x0794
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH32 0x95bb211a5a393c4d30c3edc9a745825fba4e6ad3e3bb949e6bf8ccdfe431a811
0000030f: PUSH2 0x0316
00000312: PUSH2 0x07ba
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: DUP1
0000031a: MLOAD
0000031b: PUSH1 0x01
0000031d: PUSH1 0x01
0000031f: PUSH1 0xa0
00000321: SHL
00000322: SUB
00000323: SWAP3
00000324: DUP4
00000325: AND
00000326: DUP2
00000327: MSTORE
00000328: SWAP2
00000329: DUP5
0000032a: AND
0000032b: PUSH1 0x20
0000032d: DUP4
0000032e: ADD
0000032f: MSTORE
00000330: ADD
00000331: PUSH1 0x40
00000333: MLOAD
00000334: DUP1
00000335: SWAP2
00000336: SUB
00000337: SWAP1
00000338: LOG1
00000339: PUSH2 0x0341
0000033c: DUP2
0000033d: PUSH2 0x07ea
00000340: JUMP
00000341: JUMPDEST
00000342: POP
00000343: JUMP
00000344: JUMPDEST
00000345: PUSH2 0x0341
00000348: PUSH2 0x0283
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH2 0x0354
00000350: PUSH2 0x071e
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH1 0x01
00000357: PUSH1 0x01
00000359: PUSH1 0xa0
0000035b: SHL
0000035c: SUB
0000035d: AND
0000035e: CALLER
0000035f: SUB
00000360: PUSH2 0x0344
00000363: JUMPI
00000364: PUSH2 0x036b
00000367: PUSH2 0x0794
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH2 0x0341
0000036f: DUP2
00000370: PUSH1 0x40
00000372: MLOAD
00000373: DUP1
00000374: PUSH1 0x20
00000376: ADD
00000377: PUSH1 0x40
00000379: MSTORE
0000037a: DUP1
0000037b: PUSH1 0x00
0000037d: DUP2
0000037e: MSTORE
0000037f: POP
00000380: PUSH1 0x00
00000382: PUSH2 0x083a
00000385: JUMP
00000386: JUMPDEST
00000387: PUSH2 0x038e
0000038a: PUSH2 0x071e
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x01
00000391: PUSH1 0x01
00000393: PUSH1 0xa0
00000395: SHL
00000396: SUB
00000397: AND
00000398: CALLER
00000399: SUB
0000039a: PUSH2 0x03d4
0000039d: JUMPI
0000039e: PUSH2 0x03a5
000003a1: PUSH2 0x0794
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH1 0x00
000003a8: PUSH2 0x03c3
000003ab: PUSH2 0x02cb
000003ae: PUSH1 0x01
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: MLOAD
000003b4: PUSH1 0x20
000003b6: PUSH2 0x0ea6
000003b9: DUP4
000003ba: CODECOPY
000003bb: DUP2
000003bc: MLOAD
000003bd: SWAP2
000003be: MSTORE
000003bf: PUSH2 0x0e0c
000003c2: JUMP
000003c3: JUMPDEST
000003c4: DUP1
000003c5: SLOAD
000003c6: PUSH1 0xff
000003c8: NOT
000003c9: AND
000003ca: SWAP2
000003cb: ISZERO
000003cc: ISZERO
000003cd: SWAP2
000003ce: SWAP1
000003cf: SWAP2
000003d0: OR
000003d1: SWAP1
000003d2: SSTORE
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH2 0x029b
000003d8: PUSH2 0x0283
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x03e4
000003e0: PUSH2 0x071e
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH1 0x01
000003e7: PUSH1 0x01
000003e9: PUSH1 0xa0
000003eb: SHL
000003ec: SUB
000003ed: AND
000003ee: CALLER
000003ef: SUB
000003f0: PUSH2 0x0443
000003f3: JUMPI
000003f4: PUSH2 0x03fb
000003f7: PUSH2 0x0794
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH2 0x043e
000003ff: DUP4
00000400: DUP4
00000401: DUP4
00000402: DUP1
00000403: DUP1
00000404: PUSH1 0x1f
00000406: ADD
00000407: PUSH1 0x20
00000409: DUP1
0000040a: SWAP2
0000040b: DIV
0000040c: MUL
0000040d: PUSH1 0x20
0000040f: ADD
00000410: PUSH1 0x40
00000412: MLOAD
00000413: SWAP1
00000414: DUP2
00000415: ADD
00000416: PUSH1 0x40
00000418: MSTORE
00000419: DUP1
0000041a: SWAP4
0000041b: SWAP3
0000041c: SWAP2
0000041d: SWAP1
0000041e: DUP2
0000041f: DUP2
00000420: MSTORE
00000421: PUSH1 0x20
00000423: ADD
00000424: DUP4
00000425: DUP4
00000426: DUP1
00000427: DUP3
00000428: DUP5
00000429: CALLDATACOPY
0000042a: PUSH1 0x00
0000042c: SWAP3
0000042d: ADD
0000042e: SWAP2
0000042f: SWAP1
00000430: SWAP2
00000431: MSTORE
00000432: POP
00000433: PUSH1 0x01
00000435: SWAP3
00000436: POP
00000437: PUSH2 0x083a
0000043a: SWAP2
0000043b: POP
0000043c: POP
0000043d: JUMP
0000043e: JUMPDEST
0000043f: POP
00000440: POP
00000441: POP
00000442: JUMP
00000443: JUMPDEST
00000444: PUSH2 0x043e
00000447: PUSH2 0x0283
0000044a: JUMP
0000044b: JUMPDEST
0000044c: PUSH1 0x00
0000044e: PUSH2 0x0455
00000451: PUSH2 0x071e
00000454: JUMP
00000455: JUMPDEST
00000456: PUSH1 0x01
00000458: PUSH1 0x01
0000045a: PUSH1 0xa0
0000045c: SHL
0000045d: SUB
0000045e: AND
0000045f: CALLER
00000460: SUB
00000461: PUSH2 0x02c3
00000464: JUMPI
00000465: PUSH2 0x02be
00000468: PUSH2 0x06f0
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH1 0x00
0000046f: PUSH2 0x0476
00000472: PUSH2 0x071e
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x01
00000479: PUSH1 0x01
0000047b: PUSH1 0xa0
0000047d: SHL
0000047e: SUB
0000047f: AND
00000480: CALLER
00000481: PUSH1 0x01
00000483: PUSH1 0x01
00000485: PUSH1 0xa0
00000487: SHL
00000488: SUB
00000489: AND
0000048a: EQ
0000048b: DUP1
0000048c: PUSH2 0x04ad
0000048f: JUMPI
00000490: POP
00000491: PUSH2 0x0498
00000494: PUSH2 0x07ba
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH1 0x01
0000049b: PUSH1 0x01
0000049d: PUSH1 0xa0
0000049f: SHL
000004a0: SUB
000004a1: AND
000004a2: CALLER
000004a3: PUSH1 0x01
000004a5: PUSH1 0x01
000004a7: PUSH1 0xa0
000004a9: SHL
000004aa: SUB
000004ab: AND
000004ac: EQ
000004ad: JUMPDEST
000004ae: ISZERO
000004af: PUSH2 0x02c3
000004b2: JUMPI
000004b3: PUSH2 0x04ce
000004b6: PUSH2 0x02cb
000004b9: PUSH1 0x01
000004bb: PUSH1 0x00
000004bd: DUP1
000004be: MLOAD
000004bf: PUSH1 0x20
000004c1: PUSH2 0x0ea6
000004c4: DUP4
000004c5: CODECOPY
000004c6: DUP2
000004c7: MLOAD
000004c8: SWAP2
000004c9: MSTORE
000004ca: PUSH2 0x0e0c
000004cd: JUMP
000004ce: JUMPDEST
000004cf: SLOAD
000004d0: PUSH1 0xff
000004d2: AND
000004d3: SWAP1
000004d4: POP
000004d5: SWAP1
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH2 0x04df
000004db: PUSH2 0x071e
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH1 0x01
000004e2: PUSH1 0x01
000004e4: PUSH1 0xa0
000004e6: SHL
000004e7: SUB
000004e8: AND
000004e9: CALLER
000004ea: PUSH1 0x01
000004ec: PUSH1 0x01
000004ee: PUSH1 0xa0
000004f0: SHL
000004f1: SUB
000004f2: AND
000004f3: EQ
000004f4: DUP1
000004f5: PUSH2 0x0516
000004f8: JUMPI
000004f9: POP
000004fa: PUSH2 0x0501
000004fd: PUSH2 0x07ba
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH1 0x01
00000504: PUSH1 0x01
00000506: PUSH1 0xa0
00000508: SHL
00000509: SUB
0000050a: AND
0000050b: CALLER
0000050c: PUSH1 0x01
0000050e: PUSH1 0x01
00000510: PUSH1 0xa0
00000512: SHL
00000513: SUB
00000514: AND
00000515: EQ
00000516: JUMPDEST
00000517: ISZERO
00000518: PUSH2 0x03d4
0000051b: JUMPI
0000051c: PUSH2 0x0523
0000051f: PUSH2 0x0794
00000522: JUMP
00000523: JUMPDEST
00000524: PUSH1 0x01
00000526: PUSH2 0x03c3
00000529: PUSH2 0x02cb
0000052c: DUP3
0000052d: PUSH1 0x00
0000052f: DUP1
00000530: MLOAD
00000531: PUSH1 0x20
00000533: PUSH2 0x0ea6
00000536: DUP4
00000537: CODECOPY
00000538: DUP2
00000539: MLOAD
0000053a: SWAP2
0000053b: MSTORE
0000053c: PUSH2 0x0e0c
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH2 0x0548
00000544: PUSH2 0x071e
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x01
0000054b: PUSH1 0x01
0000054d: PUSH1 0xa0
0000054f: SHL
00000550: SUB
00000551: AND
00000552: CALLER
00000553: SUB
00000554: PUSH2 0x0344
00000557: JUMPI
00000558: PUSH2 0x055f
0000055b: PUSH2 0x0794
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH2 0x0341
00000563: DUP2
00000564: PUSH2 0x0865
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH1 0x00
0000056b: PUSH2 0x0572
0000056e: PUSH2 0x071e
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH1 0x01
00000575: PUSH1 0x01
00000577: PUSH1 0xa0
00000579: SHL
0000057a: SUB
0000057b: AND
0000057c: CALLER
0000057d: PUSH1 0x01
0000057f: PUSH1 0x01
00000581: PUSH1 0xa0
00000583: SHL
00000584: SUB
00000585: AND
00000586: EQ
00000587: DUP1
00000588: PUSH2 0x05a9
0000058b: JUMPI
0000058c: POP
0000058d: PUSH2 0x0594
00000590: PUSH2 0x07ba
00000593: JUMP
00000594: JUMPDEST
00000595: PUSH1 0x01
00000597: PUSH1 0x01
00000599: PUSH1 0xa0
0000059b: SHL
0000059c: SUB
0000059d: AND
0000059e: CALLER
0000059f: PUSH1 0x01
000005a1: PUSH1 0x01
000005a3: PUSH1 0xa0
000005a5: SHL
000005a6: SUB
000005a7: AND
000005a8: EQ
000005a9: JUMPDEST
000005aa: ISZERO
000005ab: PUSH2 0x02c3
000005ae: JUMPI
000005af: PUSH2 0x02be
000005b2: PUSH2 0x07ba
000005b5: JUMP
000005b6: JUMPDEST
000005b7: PUSH2 0x05be
000005ba: PUSH2 0x071e
000005bd: JUMP
000005be: JUMPDEST
000005bf: PUSH1 0x01
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: SHL
000005c6: SUB
000005c7: AND
000005c8: CALLER
000005c9: SUB
000005ca: PUSH2 0x03d4
000005cd: JUMPI
000005ce: PUSH2 0x029b
000005d1: PUSH2 0x08b9
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH2 0x05dd
000005d9: PUSH2 0x071e
000005dc: JUMP
000005dd: JUMPDEST
000005de: PUSH1 0x01
000005e0: PUSH1 0x01
000005e2: PUSH1 0xa0
000005e4: SHL
000005e5: SUB
000005e6: AND
000005e7: CALLER
000005e8: SUB
000005e9: PUSH2 0x0344
000005ec: JUMPI
000005ed: PUSH2 0x0341
000005f0: DUP2
000005f1: PUSH2 0x08d3
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH1 0x00
000005f8: PUSH2 0x05ff
000005fb: PUSH2 0x071e
000005fe: JUMP
000005ff: JUMPDEST
00000600: PUSH1 0x01
00000602: PUSH1 0x01
00000604: PUSH1 0xa0
00000606: SHL
00000607: SUB
00000608: AND
00000609: CALLER
0000060a: SUB
0000060b: PUSH2 0x02c3
0000060e: JUMPI
0000060f: PUSH2 0x02be
00000612: PUSH2 0x071e
00000615: JUMP
00000616: JUMPDEST
00000617: PUSH1 0x00
00000619: PUSH2 0x0620
0000061c: PUSH2 0x071e
0000061f: JUMP
00000620: JUMPDEST
00000621: PUSH1 0x01
00000623: PUSH1 0x01
00000625: PUSH1 0xa0
00000627: SHL
00000628: SUB
00000629: AND
0000062a: CALLER
0000062b: SUB
0000062c: PUSH2 0x02c3
0000062f: JUMPI
00000630: POP
00000631: PUSH32 0x04b06dd5becaad633b58f99e01f1e05103eff5a573d10d18c9baf1bc4e6bfd3a
00000652: SLOAD
00000653: SWAP1
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH1 0x60
00000658: PUSH2 0x067a
0000065b: DUP4
0000065c: DUP4
0000065d: PUSH1 0x40
0000065f: MLOAD
00000660: DUP1
00000661: PUSH1 0x60
00000663: ADD
00000664: PUSH1 0x40
00000666: MSTORE
00000667: DUP1
00000668: PUSH1 0x27
0000066a: DUP2
0000066b: MSTORE
0000066c: PUSH1 0x20
0000066e: ADD
0000066f: PUSH2 0x0ec6
00000672: PUSH1 0x27
00000674: SWAP2
00000675: CODECOPY
00000676: PUSH2 0x0930
00000679: JUMP
0000067a: JUMPDEST
0000067b: SWAP1
0000067c: POP
0000067d: JUMPDEST
0000067e: SWAP3
0000067f: SWAP2
00000680: POP
00000681: POP
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH1 0x01
00000686: PUSH1 0x01
00000688: PUSH1 0xa0
0000068a: SHL
0000068b: SUB
0000068c: AND
0000068d: EXTCODESIZE
0000068e: ISZERO
0000068f: ISZERO
00000690: SWAP1
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH2 0x06ae
00000696: PUSH2 0x02cb
00000699: PUSH1 0x01
0000069b: PUSH1 0x00
0000069d: DUP1
0000069e: MLOAD
0000069f: PUSH1 0x20
000006a1: PUSH2 0x0ea6
000006a4: DUP4
000006a5: CODECOPY
000006a6: DUP2
000006a7: MLOAD
000006a8: SWAP2
000006a9: MSTORE
000006aa: PUSH2 0x0e0c
000006ad: JUMP
000006ae: JUMPDEST
000006af: SLOAD
000006b0: PUSH1 0xff
000006b2: AND
000006b3: ISZERO
000006b4: DUP1
000006b5: PUSH2 0x06c1
000006b8: JUMPI
000006b9: POP
000006ba: PUSH2 0x06c1
000006bd: PUSH2 0x0751
000006c0: JUMP
000006c1: JUMPDEST
000006c2: DUP1
000006c3: PUSH2 0x06ca
000006c6: JUMPI
000006c7: POP
000006c8: CALLER
000006c9: ISZERO
000006ca: JUMPDEST
000006cb: ISZERO
000006cc: PUSH2 0x06d7
000006cf: JUMPI
000006d0: PUSH2 0x029b
000006d3: PUSH2 0x09a8
000006d6: JUMP
000006d7: JUMPDEST
000006d8: PUSH1 0x40
000006da: MLOAD
000006db: PUSH4 0x09453df5
000006e0: PUSH1 0xe2
000006e2: SHL
000006e3: DUP2
000006e4: MSTORE
000006e5: PUSH1 0x04
000006e7: ADD
000006e8: PUSH1 0x40
000006ea: MLOAD
000006eb: DUP1
000006ec: SWAP2
000006ed: SUB
000006ee: SWAP1
000006ef: REVERT
000006f0: JUMPDEST
000006f1: PUSH1 0x00
000006f3: PUSH2 0x02be
000006f6: PUSH2 0x0a38
000006f9: JUMP
000006fa: JUMPDEST
000006fb: CALLDATASIZE
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: CALLDATACOPY
00000700: PUSH1 0x00
00000702: DUP1
00000703: CALLDATASIZE
00000704: PUSH1 0x00
00000706: DUP5
00000707: GAS
00000708: DELEGATECALL
00000709: RETURNDATASIZE
0000070a: PUSH1 0x00
0000070c: DUP1
0000070d: RETURNDATACOPY
0000070e: DUP1
0000070f: DUP1
00000710: ISZERO
00000711: PUSH2 0x0719
00000714: JUMPI
00000715: RETURNDATASIZE
00000716: PUSH1 0x00
00000718: RETURN
00000719: JUMPDEST
0000071a: RETURNDATASIZE
0000071b: PUSH1 0x00
0000071d: REVERT
0000071e: JUMPDEST
0000071f: PUSH1 0x00
00000721: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
00000742: JUMPDEST
00000743: SLOAD
00000744: PUSH1 0x01
00000746: PUSH1 0x01
00000748: PUSH1 0xa0
0000074a: SHL
0000074b: SUB
0000074c: AND
0000074d: SWAP2
0000074e: SWAP1
0000074f: POP
00000750: JUMP
00000751: JUMPDEST
00000752: PUSH1 0x00
00000754: DUP1
00000755: PUSH2 0x077c
00000758: PUSH32 0x04b06dd5becaad633b58f99e01f1e05103eff5a573d10d18c9baf1bc4e6bfd3a
00000779: SLOAD
0000077a: SWAP1
0000077b: JUMP
0000077c: JUMPDEST
0000077d: SWAP1
0000077e: POP
0000077f: PUSH1 0x00
00000781: DUP2
00000782: GT
00000783: DUP1
00000784: ISZERO
00000785: PUSH2 0x078e
00000788: JUMPI
00000789: POP
0000078a: DUP1
0000078b: TIMESTAMP
0000078c: LT
0000078d: ISZERO
0000078e: JUMPDEST
0000078f: SWAP2
00000790: POP
00000791: POP
00000792: SWAP1
00000793: JUMP
00000794: JUMPDEST
00000795: PUSH2 0x079c
00000798: PUSH2 0x0751
0000079b: JUMP
0000079c: JUMPDEST
0000079d: ISZERO
0000079e: PUSH2 0x029b
000007a1: JUMPI
000007a2: PUSH1 0x40
000007a4: MLOAD
000007a5: PUSH4 0xa8cab3d1
000007aa: PUSH1 0xe0
000007ac: SHL
000007ad: DUP2
000007ae: MSTORE
000007af: PUSH1 0x04
000007b1: ADD
000007b2: PUSH1 0x40
000007b4: MLOAD
000007b5: DUP1
000007b6: SWAP2
000007b7: SUB
000007b8: SWAP1
000007b9: REVERT
000007ba: JUMPDEST
000007bb: PUSH1 0x00
000007bd: PUSH2 0x0742
000007c0: PUSH2 0x02cb
000007c3: PUSH1 0x01
000007c5: PUSH32 0x41a07f15d150fca84be71d927adb8e4a8a0de6ebcadef3119141487ff482f0f2
000007e6: PUSH2 0x0e0c
000007e9: JUMP
000007ea: JUMPDEST
000007eb: DUP1
000007ec: PUSH2 0x0819
000007ef: PUSH2 0x02cb
000007f2: PUSH1 0x01
000007f4: PUSH32 0x41a07f15d150fca84be71d927adb8e4a8a0de6ebcadef3119141487ff482f0f2
00000815: PUSH2 0x0e0c
00000818: JUMP
00000819: JUMPDEST
0000081a: DUP1
0000081b: SLOAD
0000081c: PUSH1 0x01
0000081e: PUSH1 0x01
00000820: PUSH1 0xa0
00000822: SHL
00000823: SUB
00000824: NOT
00000825: AND
00000826: PUSH1 0x01
00000828: PUSH1 0x01
0000082a: PUSH1 0xa0
0000082c: SHL
0000082d: SUB
0000082e: SWAP3
0000082f: SWAP1
00000830: SWAP3
00000831: AND
00000832: SWAP2
00000833: SWAP1
00000834: SWAP2
00000835: OR
00000836: SWAP1
00000837: SSTORE
00000838: POP
00000839: JUMP
0000083a: JUMPDEST
0000083b: PUSH2 0x0843
0000083e: DUP4
0000083f: PUSH2 0x0a60
00000842: JUMP
00000843: JUMPDEST
00000844: PUSH1 0x00
00000846: DUP3
00000847: MLOAD
00000848: GT
00000849: DUP1
0000084a: PUSH2 0x0850
0000084d: JUMPI
0000084e: POP
0000084f: DUP1
00000850: JUMPDEST
00000851: ISZERO
00000852: PUSH2 0x043e
00000855: JUMPI
00000856: PUSH2 0x085f
00000859: DUP4
0000085a: DUP4
0000085b: PUSH2 0x0655
0000085e: JUMP
0000085f: JUMPDEST
00000860: POP
00000861: POP
00000862: POP
00000863: POP
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f
00000887: PUSH2 0x088e
0000088a: PUSH2 0x071e
0000088d: JUMP
0000088e: JUMPDEST
0000088f: PUSH1 0x40
00000891: DUP1
00000892: MLOAD
00000893: PUSH1 0x01
00000895: PUSH1 0x01
00000897: PUSH1 0xa0
00000899: SHL
0000089a: SUB
0000089b: SWAP3
0000089c: DUP4
0000089d: AND
0000089e: DUP2
0000089f: MSTORE
000008a0: SWAP2
000008a1: DUP5
000008a2: AND
000008a3: PUSH1 0x20
000008a5: DUP4
000008a6: ADD
000008a7: MSTORE
000008a8: ADD
000008a9: PUSH1 0x40
000008ab: MLOAD
000008ac: DUP1
000008ad: SWAP2
000008ae: SUB
000008af: SWAP1
000008b0: LOG1
000008b1: PUSH2 0x0341
000008b4: DUP2
000008b5: PUSH2 0x0aa0
000008b8: JUMP
000008b9: JUMPDEST
000008ba: PUSH2 0x08c1
000008bd: PUSH2 0x0794
000008c0: JUMP
000008c1: JUMPDEST
000008c2: PUSH2 0x08c9
000008c5: PUSH2 0x0b2c
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH2 0x029b
000008cd: PUSH1 0x00
000008cf: PUSH2 0x0b81
000008d2: JUMP
000008d3: JUMPDEST
000008d4: PUSH2 0x08db
000008d7: PUSH2 0x0794
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH2 0x08e3
000008df: PUSH2 0x0b2c
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH3 0x83d600
000008e8: DUP2
000008e9: LT
000008ea: ISZERO
000008eb: PUSH2 0x0918
000008ee: JUMPI
000008ef: PUSH1 0x40
000008f1: MLOAD
000008f2: PUSH4 0x6cb12165
000008f7: PUSH1 0xe1
000008f9: SHL
000008fa: DUP2
000008fb: MSTORE
000008fc: PUSH1 0x04
000008fe: DUP2
000008ff: ADD
00000900: DUP3
00000901: SWAP1
00000902: MSTORE
00000903: PUSH3 0x83d600
00000907: PUSH1 0x24
00000909: DUP3
0000090a: ADD
0000090b: MSTORE
0000090c: PUSH1 0x44
0000090e: ADD
0000090f: JUMPDEST
00000910: PUSH1 0x40
00000912: MLOAD
00000913: DUP1
00000914: SWAP2
00000915: SUB
00000916: SWAP1
00000917: REVERT
00000918: JUMPDEST
00000919: TIMESTAMP
0000091a: PUSH1 0x00
0000091c: PUSH2 0x0925
0000091f: DUP4
00000920: DUP4
00000921: PUSH2 0x0e1f
00000924: JUMP
00000925: JUMPDEST
00000926: SWAP1
00000927: POP
00000928: PUSH2 0x043e
0000092b: DUP2
0000092c: PUSH2 0x0b81
0000092f: JUMP
00000930: JUMPDEST
00000931: PUSH1 0x60
00000933: PUSH1 0x00
00000935: DUP1
00000936: DUP6
00000937: PUSH1 0x01
00000939: PUSH1 0x01
0000093b: PUSH1 0xa0
0000093d: SHL
0000093e: SUB
0000093f: AND
00000940: DUP6
00000941: PUSH1 0x40
00000943: MLOAD
00000944: PUSH2 0x094d
00000947: SWAP2
00000948: SWAP1
00000949: PUSH2 0x0e56
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH1 0x00
00000950: PUSH1 0x40
00000952: MLOAD
00000953: DUP1
00000954: DUP4
00000955: SUB
00000956: DUP2
00000957: DUP6
00000958: GAS
00000959: DELEGATECALL
0000095a: SWAP2
0000095b: POP
0000095c: POP
0000095d: RETURNDATASIZE
0000095e: DUP1
0000095f: PUSH1 0x00
00000961: DUP2
00000962: EQ
00000963: PUSH2 0x0988
00000966: JUMPI
00000967: PUSH1 0x40
00000969: MLOAD
0000096a: SWAP2
0000096b: POP
0000096c: PUSH1 0x1f
0000096e: NOT
0000096f: PUSH1 0x3f
00000971: RETURNDATASIZE
00000972: ADD
00000973: AND
00000974: DUP3
00000975: ADD
00000976: PUSH1 0x40
00000978: MSTORE
00000979: RETURNDATASIZE
0000097a: DUP3
0000097b: MSTORE
0000097c: RETURNDATASIZE
0000097d: PUSH1 0x00
0000097f: PUSH1 0x20
00000981: DUP5
00000982: ADD
00000983: RETURNDATACOPY
00000984: PUSH2 0x098d
00000987: JUMP
00000988: JUMPDEST
00000989: PUSH1 0x60
0000098b: SWAP2
0000098c: POP
0000098d: JUMPDEST
0000098e: POP
0000098f: SWAP2
00000990: POP
00000991: SWAP2
00000992: POP
00000993: PUSH2 0x099e
00000996: DUP7
00000997: DUP4
00000998: DUP4
00000999: DUP8
0000099a: PUSH2 0x0bda
0000099d: JUMP
0000099e: JUMPDEST
0000099f: SWAP7
000009a0: SWAP6
000009a1: POP
000009a2: POP
000009a3: POP
000009a4: POP
000009a5: POP
000009a6: POP
000009a7: JUMP
000009a8: JUMPDEST
000009a9: PUSH2 0x09b0
000009ac: PUSH2 0x071e
000009af: JUMP
000009b0: JUMPDEST
000009b1: PUSH1 0x01
000009b3: PUSH1 0x01
000009b5: PUSH1 0xa0
000009b7: SHL
000009b8: SUB
000009b9: AND
000009ba: CALLER
000009bb: SUB
000009bc: PUSH2 0x029b
000009bf: JUMPI
000009c0: PUSH1 0x40
000009c2: MLOAD
000009c3: PUSH3 0x461bcd
000009c7: PUSH1 0xe5
000009c9: SHL
000009ca: DUP2
000009cb: MSTORE
000009cc: PUSH1 0x20
000009ce: PUSH1 0x04
000009d0: DUP3
000009d1: ADD
000009d2: MSTORE
000009d3: PUSH1 0x42
000009d5: PUSH1 0x24
000009d7: DUP3
000009d8: ADD
000009d9: MSTORE
000009da: PUSH32 0x5472616e73706172656e745570677261646561626c6550726f78793a2061646d
000009fb: PUSH1 0x44
000009fd: DUP3
000009fe: ADD
000009ff: MSTORE
00000a00: PUSH32 0x696e2063616e6e6f742066616c6c6261636b20746f2070726f78792074617267
00000a21: PUSH1 0x64
00000a23: DUP3
00000a24: ADD
00000a25: MSTORE
00000a26: PUSH2 0x195d
00000a29: PUSH1 0xf2
00000a2b: SHL
00000a2c: PUSH1 0x84
00000a2e: DUP3
00000a2f: ADD
00000a30: MSTORE
00000a31: PUSH1 0xa4
00000a33: ADD
00000a34: PUSH2 0x090f
00000a37: JUMP
00000a38: JUMPDEST
00000a39: PUSH1 0x00
00000a3b: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000a5c: PUSH2 0x0742
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: PUSH2 0x0a69
00000a64: DUP2
00000a65: PUSH2 0x0c5b
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: PUSH1 0x40
00000a6c: MLOAD
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0x01
00000a71: PUSH1 0xa0
00000a73: SHL
00000a74: SUB
00000a75: DUP3
00000a76: AND
00000a77: SWAP1
00000a78: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00000a99: SWAP1
00000a9a: PUSH1 0x00
00000a9c: SWAP1
00000a9d: LOG2
00000a9e: POP
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0x01
00000aa5: PUSH1 0xa0
00000aa7: SHL
00000aa8: SUB
00000aa9: DUP2
00000aaa: AND
00000aab: PUSH2 0x0b05
00000aae: JUMPI
00000aaf: PUSH1 0x40
00000ab1: MLOAD
00000ab2: PUSH3 0x461bcd
00000ab6: PUSH1 0xe5
00000ab8: SHL
00000ab9: DUP2
00000aba: MSTORE
00000abb: PUSH1 0x20
00000abd: PUSH1 0x04
00000abf: DUP3
00000ac0: ADD
00000ac1: MSTORE
00000ac2: PUSH1 0x26
00000ac4: PUSH1 0x24
00000ac6: DUP3
00000ac7: ADD
00000ac8: MSTORE
00000ac9: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061
00000aea: PUSH1 0x44
00000aec: DUP3
00000aed: ADD
00000aee: MSTORE
00000aef: PUSH6 0x646472657373
00000af6: PUSH1 0xd0
00000af8: SHL
00000af9: PUSH1 0x64
00000afb: DUP3
00000afc: ADD
00000afd: MSTORE
00000afe: PUSH1 0x84
00000b00: ADD
00000b01: PUSH2 0x090f
00000b04: JUMP
00000b05: JUMPDEST
00000b06: DUP1
00000b07: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
00000b28: PUSH2 0x0819
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH2 0x0b34
00000b30: PUSH2 0x0cef
00000b33: JUMP
00000b34: JUMPDEST
00000b35: PUSH1 0x01
00000b37: PUSH1 0x01
00000b39: PUSH1 0xa0
00000b3b: SHL
00000b3c: SUB
00000b3d: AND
00000b3e: CALLER
00000b3f: PUSH1 0x01
00000b41: PUSH1 0x01
00000b43: PUSH1 0xa0
00000b45: SHL
00000b46: SUB
00000b47: AND
00000b48: EQ
00000b49: PUSH2 0x029b
00000b4c: JUMPI
00000b4d: CALLER
00000b4e: PUSH2 0x0b55
00000b51: PUSH2 0x0cef
00000b54: JUMP
00000b55: JUMPDEST
00000b56: PUSH1 0x40
00000b58: MLOAD
00000b59: PUSH4 0x295a81c1
00000b5e: PUSH1 0xe0
00000b60: SHL
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x01
00000b65: PUSH1 0x01
00000b67: PUSH1 0xa0
00000b69: SHL
00000b6a: SUB
00000b6b: SWAP3
00000b6c: DUP4
00000b6d: AND
00000b6e: PUSH1 0x04
00000b70: DUP3
00000b71: ADD
00000b72: MSTORE
00000b73: SWAP2
00000b74: AND
00000b75: PUSH1 0x24
00000b77: DUP3
00000b78: ADD
00000b79: MSTORE
00000b7a: PUSH1 0x44
00000b7c: ADD
00000b7d: PUSH2 0x090f
00000b80: JUMP
00000b81: JUMPDEST
00000b82: DUP1
00000b83: PUSH32 0x04b06dd5becaad633b58f99e01f1e05103eff5a573d10d18c9baf1bc4e6bfd3a
00000ba4: SSTORE
00000ba5: PUSH1 0x40
00000ba7: MLOAD
00000ba8: DUP2
00000ba9: DUP2
00000baa: MSTORE
00000bab: PUSH32 0x7413b2ccac0d914f9764525af0b89a12aaf913cb0de2b18adb85e22b80c86ca0
00000bcc: SWAP1
00000bcd: PUSH1 0x20
00000bcf: ADD
00000bd0: PUSH1 0x40
00000bd2: MLOAD
00000bd3: DUP1
00000bd4: SWAP2
00000bd5: SUB
00000bd6: SWAP1
00000bd7: LOG1
00000bd8: POP
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: PUSH1 0x60
00000bdd: DUP4
00000bde: ISZERO
00000bdf: PUSH2 0x0c49
00000be2: JUMPI
00000be3: DUP3
00000be4: MLOAD
00000be5: PUSH1 0x00
00000be7: SUB
00000be8: PUSH2 0x0c42
00000beb: JUMPI
00000bec: PUSH1 0x01
00000bee: PUSH1 0x01
00000bf0: PUSH1 0xa0
00000bf2: SHL
00000bf3: SUB
00000bf4: DUP6
00000bf5: AND
00000bf6: EXTCODESIZE
00000bf7: PUSH2 0x0c42
00000bfa: JUMPI
00000bfb: PUSH1 0x40
00000bfd: MLOAD
00000bfe: PUSH3 0x461bcd
00000c02: PUSH1 0xe5
00000c04: SHL
00000c05: DUP2
00000c06: MSTORE
00000c07: PUSH1 0x20
00000c09: PUSH1 0x04
00000c0b: DUP3
00000c0c: ADD
00000c0d: MSTORE
00000c0e: PUSH1 0x1d
00000c10: PUSH1 0x24
00000c12: DUP3
00000c13: ADD
00000c14: MSTORE
00000c15: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00000c36: PUSH1 0x44
00000c38: DUP3
00000c39: ADD
00000c3a: MSTORE
00000c3b: PUSH1 0x64
00000c3d: ADD
00000c3e: PUSH2 0x090f
00000c41: JUMP
00000c42: JUMPDEST
00000c43: POP
00000c44: DUP2
00000c45: PUSH2 0x0c53
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: PUSH2 0x0c53
00000c4d: DUP4
00000c4e: DUP4
00000c4f: PUSH2 0x0cf9
00000c52: JUMP
00000c53: JUMPDEST
00000c54: SWAP5
00000c55: SWAP4
00000c56: POP
00000c57: POP
00000c58: POP
00000c59: POP
00000c5a: JUMP
00000c5b: JUMPDEST
00000c5c: PUSH1 0x01
00000c5e: PUSH1 0x01
00000c60: PUSH1 0xa0
00000c62: SHL
00000c63: SUB
00000c64: DUP2
00000c65: AND
00000c66: EXTCODESIZE
00000c67: PUSH2 0x0cc8
00000c6a: JUMPI
00000c6b: PUSH1 0x40
00000c6d: MLOAD
00000c6e: PUSH3 0x461bcd
00000c72: PUSH1 0xe5
00000c74: SHL
00000c75: DUP2
00000c76: MSTORE
00000c77: PUSH1 0x20
00000c79: PUSH1 0x04
00000c7b: DUP3
00000c7c: ADD
00000c7d: MSTORE
00000c7e: PUSH1 0x2d
00000c80: PUSH1 0x24
00000c82: DUP3
00000c83: ADD
00000c84: MSTORE
00000c85: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e
00000ca6: PUSH1 0x44
00000ca8: DUP3
00000ca9: ADD
00000caa: MSTORE
00000cab: PUSH13 0x1bdd08184818dbdb9d1c9858dd
00000cb9: PUSH1 0x9a
00000cbb: SHL
00000cbc: PUSH1 0x64
00000cbe: DUP3
00000cbf: ADD
00000cc0: MSTORE
00000cc1: PUSH1 0x84
00000cc3: ADD
00000cc4: PUSH2 0x090f
00000cc7: JUMP
00000cc8: JUMPDEST
00000cc9: DUP1
00000cca: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000ceb: PUSH2 0x0819
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: PUSH1 0x00
00000cf2: PUSH2 0x02be
00000cf5: PUSH2 0x071e
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: DUP2
00000cfb: MLOAD
00000cfc: ISZERO
00000cfd: PUSH2 0x0d09
00000d00: JUMPI
00000d01: DUP2
00000d02: MLOAD
00000d03: DUP1
00000d04: DUP4
00000d05: PUSH1 0x20
00000d07: ADD
00000d08: REVERT
00000d09: JUMPDEST
00000d0a: DUP1
00000d0b: PUSH1 0x40
00000d0d: MLOAD
00000d0e: PUSH3 0x461bcd
00000d12: PUSH1 0xe5
00000d14: SHL
00000d15: DUP2
00000d16: MSTORE
00000d17: PUSH1 0x04
00000d19: ADD
00000d1a: PUSH2 0x090f
00000d1d: SWAP2
00000d1e: SWAP1
00000d1f: PUSH2 0x0e72
00000d22: JUMP
00000d23: JUMPDEST
00000d24: DUP1
00000d25: CALLDATALOAD
00000d26: PUSH1 0x01
00000d28: PUSH1 0x01
00000d2a: PUSH1 0xa0
00000d2c: SHL
00000d2d: SUB
00000d2e: DUP2
00000d2f: AND
00000d30: DUP2
00000d31: EQ
00000d32: PUSH2 0x0d3a
00000d35: JUMPI
00000d36: PUSH1 0x00
00000d38: DUP1
00000d39: REVERT
00000d3a: JUMPDEST
00000d3b: SWAP2
00000d3c: SWAP1
00000d3d: POP
00000d3e: JUMP
00000d3f: JUMPDEST
00000d40: PUSH1 0x00
00000d42: PUSH1 0x20
00000d44: DUP3
00000d45: DUP5
00000d46: SUB
00000d47: SLT
00000d48: ISZERO
00000d49: PUSH2 0x0d51
00000d4c: JUMPI
00000d4d: PUSH1 0x00
00000d4f: DUP1
00000d50: REVERT
00000d51: JUMPDEST
00000d52: PUSH2 0x067a
00000d55: DUP3
00000d56: PUSH2 0x0d23
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: PUSH1 0x00
00000d5d: DUP1
00000d5e: PUSH1 0x00
00000d60: PUSH1 0x40
00000d62: DUP5
00000d63: DUP7
00000d64: SUB
00000d65: SLT
00000d66: ISZERO
00000d67: PUSH2 0x0d6f
00000d6a: JUMPI
00000d6b: PUSH1 0x00
00000d6d: DUP1
00000d6e: REVERT
00000d6f: JUMPDEST
00000d70: PUSH2 0x0d78
00000d73: DUP5
00000d74: PUSH2 0x0d23
00000d77: JUMP
00000d78: JUMPDEST
00000d79: SWAP3
00000d7a: POP
00000d7b: PUSH1 0x20
00000d7d: DUP5
00000d7e: ADD
00000d7f: CALLDATALOAD
00000d80: PUSH8 0xffffffffffffffff
00000d89: DUP1
00000d8a: DUP3
00000d8b: GT
00000d8c: ISZERO
00000d8d: PUSH2 0x0d95
00000d90: JUMPI
00000d91: PUSH1 0x00
00000d93: DUP1
00000d94: REVERT
00000d95: JUMPDEST
00000d96: DUP2
00000d97: DUP7
00000d98: ADD
00000d99: SWAP2
00000d9a: POP
00000d9b: DUP7
00000d9c: PUSH1 0x1f
00000d9e: DUP4
00000d9f: ADD
00000da0: SLT
00000da1: PUSH2 0x0da9
00000da4: JUMPI
00000da5: PUSH1 0x00
00000da7: DUP1
00000da8: REVERT
00000da9: JUMPDEST
00000daa: DUP2
00000dab: CALLDATALOAD
00000dac: DUP2
00000dad: DUP2
00000dae: GT
00000daf: ISZERO
00000db0: PUSH2 0x0db8
00000db3: JUMPI
00000db4: PUSH1 0x00
00000db6: DUP1
00000db7: REVERT
00000db8: JUMPDEST
00000db9: DUP8
00000dba: PUSH1 0x20
00000dbc: DUP3
00000dbd: DUP6
00000dbe: ADD
00000dbf: ADD
00000dc0: GT
00000dc1: ISZERO
00000dc2: PUSH2 0x0dca
00000dc5: JUMPI
00000dc6: PUSH1 0x00
00000dc8: DUP1
00000dc9: REVERT
00000dca: JUMPDEST
00000dcb: PUSH1 0x20
00000dcd: DUP4
00000dce: ADD
00000dcf: SWAP5
00000dd0: POP
00000dd1: DUP1
00000dd2: SWAP4
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: POP
00000dd7: SWAP3
00000dd8: POP
00000dd9: SWAP3
00000dda: POP
00000ddb: SWAP3
00000ddc: JUMP
00000ddd: JUMPDEST
00000dde: PUSH1 0x00
00000de0: PUSH1 0x20
00000de2: DUP3
00000de3: DUP5
00000de4: SUB
00000de5: SLT
00000de6: ISZERO
00000de7: PUSH2 0x0def
00000dea: JUMPI
00000deb: PUSH1 0x00
00000ded: DUP1
00000dee: REVERT
00000def: JUMPDEST
00000df0: POP
00000df1: CALLDATALOAD
00000df2: SWAP2
00000df3: SWAP1
00000df4: POP
00000df5: JUMP
00000df6: JUMPDEST
00000df7: PUSH4 0x4e487b71
00000dfc: PUSH1 0xe0
00000dfe: SHL
00000dff: PUSH1 0x00
00000e01: MSTORE
00000e02: PUSH1 0x11
00000e04: PUSH1 0x04
00000e06: MSTORE
00000e07: PUSH1 0x24
00000e09: PUSH1 0x00
00000e0b: REVERT
00000e0c: JUMPDEST
00000e0d: DUP2
00000e0e: DUP2
00000e0f: SUB
00000e10: DUP2
00000e11: DUP2
00000e12: GT
00000e13: ISZERO
00000e14: PUSH2 0x067d
00000e17: JUMPI
00000e18: PUSH2 0x067d
00000e1b: PUSH2 0x0df6
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: DUP1
00000e21: DUP3
00000e22: ADD
00000e23: DUP1
00000e24: DUP3
00000e25: GT
00000e26: ISZERO
00000e27: PUSH2 0x067d
00000e2a: JUMPI
00000e2b: PUSH2 0x067d
00000e2e: PUSH2 0x0df6
00000e31: JUMP
00000e32: JUMPDEST
00000e33: PUSH1 0x00
00000e35: JUMPDEST
00000e36: DUP4
00000e37: DUP2
00000e38: LT
00000e39: ISZERO
00000e3a: PUSH2 0x0e4d
00000e3d: JUMPI
00000e3e: DUP2
00000e3f: DUP2
00000e40: ADD
00000e41: MLOAD
00000e42: DUP4
00000e43: DUP3
00000e44: ADD
00000e45: MSTORE
00000e46: PUSH1 0x20
00000e48: ADD
00000e49: PUSH2 0x0e35
00000e4c: JUMP
00000e4d: JUMPDEST
00000e4e: POP
00000e4f: POP
00000e50: PUSH1 0x00
00000e52: SWAP2
00000e53: ADD
00000e54: MSTORE
00000e55: JUMP
00000e56: JUMPDEST
00000e57: PUSH1 0x00
00000e59: DUP3
00000e5a: MLOAD
00000e5b: PUSH2 0x0e68
00000e5e: DUP2
00000e5f: DUP5
00000e60: PUSH1 0x20
00000e62: DUP8
00000e63: ADD
00000e64: PUSH2 0x0e32
00000e67: JUMP
00000e68: JUMPDEST
00000e69: SWAP2
00000e6a: SWAP1
00000e6b: SWAP2
00000e6c: ADD
00000e6d: SWAP3
00000e6e: SWAP2
00000e6f: POP
00000e70: POP
00000e71: JUMP
00000e72: JUMPDEST
00000e73: PUSH1 0x20
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x00
00000e79: DUP3
00000e7a: MLOAD
00000e7b: DUP1
00000e7c: PUSH1 0x20
00000e7e: DUP5
00000e7f: ADD
00000e80: MSTORE
00000e81: PUSH2 0x0e91
00000e84: DUP2
00000e85: PUSH1 0x40
00000e87: DUP6
00000e88: ADD
00000e89: PUSH1 0x20
00000e8b: DUP8
00000e8c: ADD
00000e8d: PUSH2 0x0e32
00000e90: JUMP
00000e91: JUMPDEST
00000e92: PUSH1 0x1f
00000e94: ADD
00000e95: PUSH1 0x1f
00000e97: NOT
00000e98: AND
00000e99: SWAP2
00000e9a: SWAP1
00000e9b: SWAP2
00000e9c: ADD
00000e9d: PUSH1 0x40
00000e9f: ADD
00000ea0: SWAP3
00000ea1: SWAP2
00000ea2: POP
00000ea3: POP
00000ea4: JUMP
00000ea5: INVALID
00000ea6: LOG1
00000ea7: UNKNOWN(0xC5)
00000ea8: CLZ
00000ea9: UNKNOWN(0x2D)
00000eaa: UNKNOWN(0xB0)
00000eab: REVERT
00000eac: POP
00000ead: SWAP13
00000eae: DUP9
00000eaf: UNKNOWN(0xC4)
00000eb0: UNKNOWN(0xD1)
00000eb1: UNKNOWN(0xD0)
00000eb2: PUSH5 0x260a12d10b
00000eb8: UNKNOWN(0x4B)
00000eb9: UNKNOWN(0x23)
00000eba: PUSH17 0xd6c629050bf501458f88c0416464726573
00000ecc: PUSH20 0x3a206c6f772d6c6576656c2064656c6567617465
00000ee1: KECCAK256
00000ee2: PUSH4 0x616c6c20
00000ee7: PUSH7 0x61696c6564a264
00000eef: PUSH10 0x706673582212204347ac
00000efa: UNKNOWN(0xB0)
00000efb: PUSH18 0xbfb47b477fd525b89ab6567e0f3bd5384aae
00000f0e: STATICCALL
00000f0f: BASEFEE
00000f10: GASPRICE
00000f11: PUSH4 0x7d94b82b
00000f16: DUP11
00000f17: PUSH5 0x736f6c6343
00000f1d: STOP
00000f1e: ADDMOD
00000f1f: GT
00000f20: STOP
00000f21: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x7449c1f1e233e9a6a68876ff8818907814d14af131cff567ef4fb05fafa480c0 call_targets: 0x0843359cae1187b432eeb26e1b40c3a2b2374d7e target_varies: no classification: constant_target validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7449c1f1e233e9a6a68876ff8818907814d14af131cff567ef4fb05fafa480c0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0843359cae1187b432eeb26e1b40c3a2b2374d7e" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xbad490dc", "selector": "0xbad490dc", "calldata_variants": [ "0xbad490dc", "0xbad490dc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd7a78db8", "selector": "0xd7a78db8", "calldata_variants": [ "0xd7a78db8", "0xd7a78db80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf851a440", "selector": "0xf851a440", "calldata_variants": [ "0xf851a440", "0xf851a4400000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd7e1bee", "selector": "0xfd7e1bee", "calldata_variants": [ "0xfd7e1bee", "0xfd7e1bee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8456cb59", "selector": "0x8456cb59", "calldata_variants": [ "0x8456cb59", "0x8456cb590000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f283970", "selector": "0x8f283970", "calldata_variants": [ "0x8f283970", "0x8f2839700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9fd0506d", "selector": "0x9fd0506d", "calldata_variants": [ "0x9fd0506d", "0x9fd0506d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1800, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 2393, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 2, "untrusted_delegatecall_count": 2 }
Severity