Analysis Run

019b477e-d575-733a-abbe-d9f7fcd167f4

complete

Chain ID

1

Address

0x5bab02440602302fb20906b04051e5d6c074d57f

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
28541	artifact.fetch	complete	1 / 3	3 months ago
28542	tool.cast_disasm	complete	1 / 3	3 months ago
72308	analysis.bundle	complete	1 / 3	1 week ago
72309	capability.graph	complete	1 / 3	1 week ago
72310	detector.run	complete	1 / 3	1 week ago
72311	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

1

Selfdestruct

0

CREATE2

1

CALL-family (heavy)

4

EXT*/BALANCE

4

Total opcodes

2119

Flags

delegatecall_present create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00ab
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8da5cb5b
00000024: EQ
00000025: PUSH2 0x0180
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa900ccec
0000002f: EQ
00000030: PUSH2 0x019e
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xaf3f6f4d
0000003a: EQ
0000003b: PUSH2 0x01be
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe30c3978
00000045: EQ
00000046: PUSH2 0x01f7
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xef5828d0
00000050: EQ
00000051: PUSH2 0x0215
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0235
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x01361090
0000006b: EQ
0000006c: PUSH2 0x00b7
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x2630be4e
00000076: EQ
00000077: PUSH2 0x00d9
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x673c949d
00000081: EQ
00000082: PUSH2 0x00f9
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x6a953e09
0000008c: EQ
0000008d: PUSH2 0x0136
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x715018a6
00000097: EQ
00000098: PUSH2 0x0156
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x79ba5097
000000a2: EQ
000000a3: PUSH2 0x016b
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: CALLDATASIZE
000000ad: PUSH2 0x00b2
000000b0: JUMPI
000000b1: STOP
000000b2: JUMPDEST
000000b3: PUSH1 0x00
000000b5: DUP1
000000b6: REVERT
000000b7: JUMPDEST
000000b8: CALLVALUE
000000b9: DUP1
000000ba: ISZERO
000000bb: PUSH2 0x00c3
000000be: JUMPI
000000bf: PUSH1 0x00
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: POP
000000c5: PUSH2 0x00d7
000000c8: PUSH2 0x00d2
000000cb: CALLDATASIZE
000000cc: PUSH1 0x04
000000ce: PUSH2 0x0816
000000d1: JUMP
000000d2: JUMPDEST
000000d3: PUSH2 0x0255
000000d6: JUMP
000000d7: JUMPDEST
000000d8: STOP
000000d9: JUMPDEST
000000da: CALLVALUE
000000db: DUP1
000000dc: ISZERO
000000dd: PUSH2 0x00e5
000000e0: JUMPI
000000e1: PUSH1 0x00
000000e3: DUP1
000000e4: REVERT
000000e5: JUMPDEST
000000e6: POP
000000e7: PUSH2 0x00d7
000000ea: PUSH2 0x00f4
000000ed: CALLDATASIZE
000000ee: PUSH1 0x04
000000f0: PUSH2 0x084b
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH2 0x02c0
000000f8: JUMP
000000f9: JUMPDEST
000000fa: CALLVALUE
000000fb: DUP1
000000fc: ISZERO
000000fd: PUSH2 0x0105
00000100: JUMPI
00000101: PUSH1 0x00
00000103: DUP1
00000104: REVERT
00000105: JUMPDEST
00000106: POP
00000107: PUSH2 0x0119
0000010a: PUSH2 0x0114
0000010d: CALLDATASIZE
0000010e: PUSH1 0x04
00000110: PUSH2 0x08c0
00000113: JUMP
00000114: JUMPDEST
00000115: PUSH2 0x0366
00000118: JUMP
00000119: JUMPDEST
0000011a: PUSH1 0x40
0000011c: MLOAD
0000011d: PUSH1 0x01
0000011f: PUSH1 0x01
00000121: PUSH1 0xa0
00000123: SHL
00000124: SUB
00000125: SWAP1
00000126: SWAP2
00000127: AND
00000128: DUP2
00000129: MSTORE
0000012a: PUSH1 0x20
0000012c: ADD
0000012d: JUMPDEST
0000012e: PUSH1 0x40
00000130: MLOAD
00000131: DUP1
00000132: SWAP2
00000133: SUB
00000134: SWAP1
00000135: RETURN
00000136: JUMPDEST
00000137: CALLVALUE
00000138: DUP1
00000139: ISZERO
0000013a: PUSH2 0x0142
0000013d: JUMPI
0000013e: PUSH1 0x00
00000140: DUP1
00000141: REVERT
00000142: JUMPDEST
00000143: POP
00000144: PUSH2 0x00d7
00000147: PUSH2 0x0151
0000014a: CALLDATASIZE
0000014b: PUSH1 0x04
0000014d: PUSH2 0x08c0
00000150: JUMP
00000151: JUMPDEST
00000152: PUSH2 0x047e
00000155: JUMP
00000156: JUMPDEST
00000157: CALLVALUE
00000158: DUP1
00000159: ISZERO
0000015a: PUSH2 0x0162
0000015d: JUMPI
0000015e: PUSH1 0x00
00000160: DUP1
00000161: REVERT
00000162: JUMPDEST
00000163: POP
00000164: PUSH2 0x00d7
00000167: PUSH2 0x0532
0000016a: JUMP
0000016b: JUMPDEST
0000016c: CALLVALUE
0000016d: DUP1
0000016e: ISZERO
0000016f: PUSH2 0x0177
00000172: JUMPI
00000173: PUSH1 0x00
00000175: DUP1
00000176: REVERT
00000177: JUMPDEST
00000178: POP
00000179: PUSH2 0x00d7
0000017c: PUSH2 0x0546
0000017f: JUMP
00000180: JUMPDEST
00000181: CALLVALUE
00000182: DUP1
00000183: ISZERO
00000184: PUSH2 0x018c
00000187: JUMPI
00000188: PUSH1 0x00
0000018a: DUP1
0000018b: REVERT
0000018c: JUMPDEST
0000018d: POP
0000018e: PUSH1 0x00
00000190: SLOAD
00000191: PUSH1 0x01
00000193: PUSH1 0x01
00000195: PUSH1 0xa0
00000197: SHL
00000198: SUB
00000199: AND
0000019a: PUSH2 0x0119
0000019d: JUMP
0000019e: JUMPDEST
0000019f: CALLVALUE
000001a0: DUP1
000001a1: ISZERO
000001a2: PUSH2 0x01aa
000001a5: JUMPI
000001a6: PUSH1 0x00
000001a8: DUP1
000001a9: REVERT
000001aa: JUMPDEST
000001ab: POP
000001ac: PUSH2 0x0119
000001af: PUSH2 0x01b9
000001b2: CALLDATASIZE
000001b3: PUSH1 0x04
000001b5: PUSH2 0x08c0
000001b8: JUMP
000001b9: JUMPDEST
000001ba: PUSH2 0x058a
000001bd: JUMP
000001be: JUMPDEST
000001bf: CALLVALUE
000001c0: DUP1
000001c1: ISZERO
000001c2: PUSH2 0x01ca
000001c5: JUMPI
000001c6: PUSH1 0x00
000001c8: DUP1
000001c9: REVERT
000001ca: JUMPDEST
000001cb: POP
000001cc: PUSH1 0x01
000001ce: SLOAD
000001cf: PUSH2 0x01e2
000001d2: SWAP1
000001d3: PUSH1 0x01
000001d5: PUSH1 0xa0
000001d7: SHL
000001d8: SWAP1
000001d9: DIV
000001da: PUSH4 0xffffffff
000001df: AND
000001e0: DUP2
000001e1: JUMP
000001e2: JUMPDEST
000001e3: PUSH1 0x40
000001e5: MLOAD
000001e6: PUSH4 0xffffffff
000001eb: SWAP1
000001ec: SWAP2
000001ed: AND
000001ee: DUP2
000001ef: MSTORE
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: PUSH2 0x012d
000001f6: JUMP
000001f7: JUMPDEST
000001f8: CALLVALUE
000001f9: DUP1
000001fa: ISZERO
000001fb: PUSH2 0x0203
000001fe: JUMPI
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: POP
00000205: PUSH1 0x01
00000207: SLOAD
00000208: PUSH1 0x01
0000020a: PUSH1 0x01
0000020c: PUSH1 0xa0
0000020e: SHL
0000020f: SUB
00000210: AND
00000211: PUSH2 0x0119
00000214: JUMP
00000215: JUMPDEST
00000216: CALLVALUE
00000217: DUP1
00000218: ISZERO
00000219: PUSH2 0x0221
0000021c: JUMPI
0000021d: PUSH1 0x00
0000021f: DUP1
00000220: REVERT
00000221: JUMPDEST
00000222: POP
00000223: PUSH2 0x00d7
00000226: PUSH2 0x0230
00000229: CALLDATASIZE
0000022a: PUSH1 0x04
0000022c: PUSH2 0x08e4
0000022f: JUMP
00000230: JUMPDEST
00000231: PUSH2 0x065b
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x00d7
00000246: PUSH2 0x0250
00000249: CALLDATASIZE
0000024a: PUSH1 0x04
0000024c: PUSH2 0x08c0
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH2 0x06d9
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH2 0x025d
00000259: PUSH2 0x074a
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH1 0x40
00000260: MLOAD
00000261: PUSH4 0x35c84277
00000266: PUSH1 0xe0
00000268: SHL
00000269: DUP2
0000026a: MSTORE
0000026b: PUSH4 0xffffffff
00000270: DUP3
00000271: AND
00000272: PUSH1 0x04
00000274: DUP3
00000275: ADD
00000276: MSTORE
00000277: PUSH1 0x01
00000279: PUSH1 0x01
0000027b: PUSH1 0xa0
0000027d: SHL
0000027e: SUB
0000027f: DUP4
00000280: AND
00000281: SWAP1
00000282: PUSH4 0x35c84277
00000287: SWAP1
00000288: PUSH1 0x24
0000028a: ADD
0000028b: PUSH1 0x00
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: DUP1
00000291: DUP4
00000292: SUB
00000293: DUP2
00000294: PUSH1 0x00
00000296: DUP8
00000297: DUP1
00000298: EXTCODESIZE
00000299: ISZERO
0000029a: DUP1
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: GAS
000002a7: CALL
000002a8: ISZERO
000002a9: DUP1
000002aa: ISZERO
000002ab: PUSH2 0x02b8
000002ae: JUMPI
000002af: RETURNDATASIZE
000002b0: PUSH1 0x00
000002b2: DUP1
000002b3: RETURNDATACOPY
000002b4: RETURNDATASIZE
000002b5: PUSH1 0x00
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: POP
000002bb: POP
000002bc: POP
000002bd: POP
000002be: POP
000002bf: JUMP
000002c0: JUMPDEST
000002c1: PUSH1 0x00
000002c3: JUMPDEST
000002c4: PUSH4 0xffffffff
000002c9: DUP2
000002ca: AND
000002cb: DUP3
000002cc: GT
000002cd: ISZERO
000002ce: PUSH2 0x0361
000002d1: JUMPI
000002d2: DUP3
000002d3: DUP3
000002d4: DUP3
000002d5: PUSH4 0xffffffff
000002da: AND
000002db: DUP2
000002dc: DUP2
000002dd: LT
000002de: PUSH2 0x02e9
000002e1: JUMPI
000002e2: PUSH2 0x02e9
000002e5: PUSH2 0x08ff
000002e8: JUMP
000002e9: JUMPDEST
000002ea: SWAP1
000002eb: POP
000002ec: PUSH1 0x20
000002ee: MUL
000002ef: ADD
000002f0: PUSH1 0x20
000002f2: DUP2
000002f3: ADD
000002f4: SWAP1
000002f5: PUSH2 0x02fe
000002f8: SWAP2
000002f9: SWAP1
000002fa: PUSH2 0x08c0
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH1 0x01
00000301: PUSH1 0x01
00000303: PUSH1 0xa0
00000305: SHL
00000306: SUB
00000307: AND
00000308: PUSH4 0x70bb45b3
0000030d: PUSH1 0x40
0000030f: MLOAD
00000310: DUP2
00000311: PUSH4 0xffffffff
00000316: AND
00000317: PUSH1 0xe0
00000319: SHL
0000031a: DUP2
0000031b: MSTORE
0000031c: PUSH1 0x04
0000031e: ADD
0000031f: PUSH1 0x00
00000321: PUSH1 0x40
00000323: MLOAD
00000324: DUP1
00000325: DUP4
00000326: SUB
00000327: DUP2
00000328: PUSH1 0x00
0000032a: DUP8
0000032b: DUP1
0000032c: EXTCODESIZE
0000032d: ISZERO
0000032e: DUP1
0000032f: ISZERO
00000330: PUSH2 0x0338
00000333: JUMPI
00000334: PUSH1 0x00
00000336: DUP1
00000337: REVERT
00000338: JUMPDEST
00000339: POP
0000033a: GAS
0000033b: CALL
0000033c: ISZERO
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x034c
00000342: JUMPI
00000343: RETURNDATASIZE
00000344: PUSH1 0x00
00000346: DUP1
00000347: RETURNDATACOPY
00000348: RETURNDATASIZE
00000349: PUSH1 0x00
0000034b: REVERT
0000034c: JUMPDEST
0000034d: POP
0000034e: POP
0000034f: POP
00000350: POP
00000351: DUP1
00000352: PUSH2 0x035a
00000355: SWAP1
00000356: PUSH2 0x0915
00000359: JUMP
0000035a: JUMPDEST
0000035b: SWAP1
0000035c: POP
0000035d: PUSH2 0x02c3
00000360: JUMP
00000361: JUMPDEST
00000362: POP
00000363: POP
00000364: POP
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x00
00000369: DUP1
0000036a: DUP3
0000036b: PUSH1 0x01
0000036d: PUSH1 0x01
0000036f: PUSH1 0xa0
00000371: SHL
00000372: SUB
00000373: AND
00000374: PUSH1 0x00
00000376: SHL
00000377: SWAP1
00000378: POP
00000379: PUSH1 0x00
0000037b: DUP2
0000037c: DUP5
0000037d: PUSH1 0x40
0000037f: MLOAD
00000380: PUSH2 0x0388
00000383: SWAP1
00000384: PUSH2 0x07db
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH1 0x01
0000038b: PUSH1 0x01
0000038d: PUSH1 0xa0
0000038f: SHL
00000390: SUB
00000391: SWAP1
00000392: SWAP2
00000393: AND
00000394: DUP2
00000395: MSTORE
00000396: PUSH1 0x20
00000398: ADD
00000399: DUP2
0000039a: SWAP1
0000039b: PUSH1 0x40
0000039d: MLOAD
0000039e: DUP1
0000039f: SWAP2
000003a0: SUB
000003a1: SWAP1
000003a2: PUSH1 0x00
000003a4: CREATE2
000003a5: SWAP1
000003a6: POP
000003a7: DUP1
000003a8: ISZERO
000003a9: DUP1
000003aa: ISZERO
000003ab: PUSH2 0x03b8
000003ae: JUMPI
000003af: RETURNDATASIZE
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: RETURNDATACOPY
000003b4: RETURNDATASIZE
000003b5: PUSH1 0x00
000003b7: REVERT
000003b8: JUMPDEST
000003b9: POP
000003ba: PUSH1 0x01
000003bc: SLOAD
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: PUSH4 0x35c84277
000003c5: PUSH1 0xe0
000003c7: SHL
000003c8: DUP2
000003c9: MSTORE
000003ca: PUSH1 0x01
000003cc: PUSH1 0xa0
000003ce: SHL
000003cf: SWAP1
000003d0: SWAP2
000003d1: DIV
000003d2: PUSH4 0xffffffff
000003d7: AND
000003d8: PUSH1 0x04
000003da: DUP3
000003db: ADD
000003dc: MSTORE
000003dd: SWAP1
000003de: SWAP2
000003df: POP
000003e0: PUSH1 0x01
000003e2: PUSH1 0x01
000003e4: PUSH1 0xa0
000003e6: SHL
000003e7: SUB
000003e8: DUP3
000003e9: AND
000003ea: SWAP1
000003eb: PUSH4 0x35c84277
000003f0: SWAP1
000003f1: PUSH1 0x24
000003f3: ADD
000003f4: PUSH1 0x00
000003f6: PUSH1 0x40
000003f8: MLOAD
000003f9: DUP1
000003fa: DUP4
000003fb: SUB
000003fc: DUP2
000003fd: PUSH1 0x00
000003ff: DUP8
00000400: DUP1
00000401: EXTCODESIZE
00000402: ISZERO
00000403: DUP1
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: GAS
00000410: CALL
00000411: ISZERO
00000412: DUP1
00000413: ISZERO
00000414: PUSH2 0x0421
00000417: JUMPI
00000418: RETURNDATASIZE
00000419: PUSH1 0x00
0000041b: DUP1
0000041c: RETURNDATACOPY
0000041d: RETURNDATASIZE
0000041e: PUSH1 0x00
00000420: REVERT
00000421: JUMPDEST
00000422: POP
00000423: POP
00000424: PUSH1 0x01
00000426: SLOAD
00000427: PUSH1 0x40
00000429: DUP1
0000042a: MLOAD
0000042b: PUSH1 0x01
0000042d: PUSH1 0x01
0000042f: PUSH1 0xa0
00000431: SHL
00000432: SUB
00000433: DUP7
00000434: AND
00000435: DUP2
00000436: MSTORE
00000437: PUSH1 0x01
00000439: PUSH1 0xa0
0000043b: SHL
0000043c: SWAP1
0000043d: SWAP3
0000043e: DIV
0000043f: PUSH4 0xffffffff
00000444: AND
00000445: PUSH1 0x20
00000447: DUP4
00000448: ADD
00000449: MSTORE
0000044a: PUSH32 0x620dca0c9d04f7cea9d7f31e571d74acccd54c21dc8ff8855ec1d5a21733c26b
0000046b: SWAP4
0000046c: POP
0000046d: ADD
0000046e: SWAP1
0000046f: POP
00000470: PUSH1 0x40
00000472: MLOAD
00000473: DUP1
00000474: SWAP2
00000475: SUB
00000476: SWAP1
00000477: LOG1
00000478: SWAP4
00000479: SWAP3
0000047a: POP
0000047b: POP
0000047c: POP
0000047d: JUMP
0000047e: JUMPDEST
0000047f: PUSH2 0x0486
00000482: PUSH2 0x074a
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH1 0x00
00000489: DUP2
0000048a: PUSH1 0x01
0000048c: PUSH1 0x01
0000048e: PUSH1 0xa0
00000490: SHL
00000491: SUB
00000492: AND
00000493: SELFBALANCE
00000494: PUSH1 0x40
00000496: MLOAD
00000497: PUSH1 0x00
00000499: PUSH1 0x40
0000049b: MLOAD
0000049c: DUP1
0000049d: DUP4
0000049e: SUB
0000049f: DUP2
000004a0: DUP6
000004a1: DUP8
000004a2: GAS
000004a3: CALL
000004a4: SWAP3
000004a5: POP
000004a6: POP
000004a7: POP
000004a8: RETURNDATASIZE
000004a9: DUP1
000004aa: PUSH1 0x00
000004ac: DUP2
000004ad: EQ
000004ae: PUSH2 0x04d3
000004b1: JUMPI
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: SWAP2
000004b6: POP
000004b7: PUSH1 0x1f
000004b9: NOT
000004ba: PUSH1 0x3f
000004bc: RETURNDATASIZE
000004bd: ADD
000004be: AND
000004bf: DUP3
000004c0: ADD
000004c1: PUSH1 0x40
000004c3: MSTORE
000004c4: RETURNDATASIZE
000004c5: DUP3
000004c6: MSTORE
000004c7: RETURNDATASIZE
000004c8: PUSH1 0x00
000004ca: PUSH1 0x20
000004cc: DUP5
000004cd: ADD
000004ce: RETURNDATACOPY
000004cf: PUSH2 0x04d8
000004d2: JUMP
000004d3: JUMPDEST
000004d4: PUSH1 0x60
000004d6: SWAP2
000004d7: POP
000004d8: JUMPDEST
000004d9: POP
000004da: POP
000004db: SWAP1
000004dc: POP
000004dd: DUP1
000004de: PUSH2 0x052e
000004e1: JUMPI
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: PUSH3 0x461bcd
000004e9: PUSH1 0xe5
000004eb: SHL
000004ec: DUP2
000004ed: MSTORE
000004ee: PUSH1 0x20
000004f0: PUSH1 0x04
000004f2: DUP3
000004f3: ADD
000004f4: MSTORE
000004f5: PUSH1 0x1f
000004f7: PUSH1 0x24
000004f9: DUP3
000004fa: ADD
000004fb: MSTORE
000004fc: PUSH32 0x4661696c656420746f20676574204574682066726f6d20636f6e747261637400
0000051d: PUSH1 0x44
0000051f: DUP3
00000520: ADD
00000521: MSTORE
00000522: PUSH1 0x64
00000524: ADD
00000525: JUMPDEST
00000526: PUSH1 0x40
00000528: MLOAD
00000529: DUP1
0000052a: SWAP2
0000052b: SUB
0000052c: SWAP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: POP
00000531: JUMP
00000532: JUMPDEST
00000533: PUSH2 0x053a
00000536: PUSH2 0x074a
00000539: JUMP
0000053a: JUMPDEST
0000053b: PUSH2 0x0544
0000053e: PUSH1 0x00
00000540: PUSH2 0x0777
00000543: JUMP
00000544: JUMPDEST
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH1 0x01
00000549: SLOAD
0000054a: CALLER
0000054b: SWAP1
0000054c: PUSH1 0x01
0000054e: PUSH1 0x01
00000550: PUSH1 0xa0
00000552: SHL
00000553: SUB
00000554: AND
00000555: DUP2
00000556: EQ
00000557: PUSH2 0x057e
0000055a: JUMPI
0000055b: PUSH1 0x40
0000055d: MLOAD
0000055e: PUSH4 0x118cdaa7
00000563: PUSH1 0xe0
00000565: SHL
00000566: DUP2
00000567: MSTORE
00000568: PUSH1 0x01
0000056a: PUSH1 0x01
0000056c: PUSH1 0xa0
0000056e: SHL
0000056f: SUB
00000570: DUP3
00000571: AND
00000572: PUSH1 0x04
00000574: DUP3
00000575: ADD
00000576: MSTORE
00000577: PUSH1 0x24
00000579: ADD
0000057a: PUSH2 0x0525
0000057d: JUMP
0000057e: JUMPDEST
0000057f: PUSH2 0x0587
00000582: DUP2
00000583: PUSH2 0x0777
00000586: JUMP
00000587: JUMPDEST
00000588: POP
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH1 0x00
0000058d: DUP1
0000058e: PUSH1 0x40
00000590: MLOAD
00000591: DUP1
00000592: PUSH1 0x20
00000594: ADD
00000595: PUSH2 0x059d
00000598: SWAP1
00000599: PUSH2 0x07db
0000059c: JUMP
0000059d: JUMPDEST
0000059e: PUSH1 0x1f
000005a0: NOT
000005a1: DUP3
000005a2: DUP3
000005a3: SUB
000005a4: DUP2
000005a5: ADD
000005a6: DUP4
000005a7: MSTORE
000005a8: PUSH1 0x1f
000005aa: SWAP1
000005ab: SWAP2
000005ac: ADD
000005ad: AND
000005ae: PUSH1 0x40
000005b0: DUP2
000005b1: DUP2
000005b2: MSTORE
000005b3: PUSH1 0x01
000005b5: PUSH1 0x01
000005b7: PUSH1 0xa0
000005b9: SHL
000005ba: SUB
000005bb: DUP7
000005bc: AND
000005bd: PUSH1 0x20
000005bf: DUP4
000005c0: ADD
000005c1: MSTORE
000005c2: SWAP2
000005c3: SWAP3
000005c4: POP
000005c5: DUP3
000005c6: SWAP2
000005c7: ADD
000005c8: PUSH1 0x40
000005ca: DUP1
000005cb: MLOAD
000005cc: PUSH1 0x1f
000005ce: NOT
000005cf: DUP2
000005d0: DUP5
000005d1: SUB
000005d2: ADD
000005d3: DUP2
000005d4: MSTORE
000005d5: SWAP1
000005d6: DUP3
000005d7: SWAP1
000005d8: MSTORE
000005d9: PUSH2 0x05e5
000005dc: SWAP3
000005dd: SWAP2
000005de: PUSH1 0x20
000005e0: ADD
000005e1: PUSH2 0x0976
000005e4: JUMP
000005e5: JUMPDEST
000005e6: PUSH1 0x40
000005e8: DUP1
000005e9: MLOAD
000005ea: PUSH1 0x1f
000005ec: NOT
000005ed: DUP2
000005ee: DUP5
000005ef: SUB
000005f0: ADD
000005f1: DUP2
000005f2: MSTORE
000005f3: DUP3
000005f4: DUP3
000005f5: MSTORE
000005f6: DUP1
000005f7: MLOAD
000005f8: PUSH1 0x20
000005fa: SWAP2
000005fb: DUP3
000005fc: ADD
000005fd: KECCAK256
000005fe: PUSH1 0x01
00000600: PUSH1 0x01
00000602: PUSH1 0xf8
00000604: SHL
00000605: SUB
00000606: NOT
00000607: DUP3
00000608: DUP6
00000609: ADD
0000060a: MSTORE
0000060b: ADDRESS
0000060c: PUSH1 0x60
0000060e: SHL
0000060f: PUSH12 0xffffffffffffffffffffffff
0000061c: NOT
0000061d: AND
0000061e: PUSH1 0x21
00000620: DUP6
00000621: ADD
00000622: MSTORE
00000623: PUSH1 0x01
00000625: PUSH1 0x01
00000627: PUSH1 0xa0
00000629: SHL
0000062a: SUB
0000062b: SWAP7
0000062c: SWAP1
0000062d: SWAP7
0000062e: AND
0000062f: PUSH1 0x35
00000631: DUP5
00000632: ADD
00000633: MSTORE
00000634: PUSH1 0x55
00000636: DUP1
00000637: DUP5
00000638: ADD
00000639: SWAP7
0000063a: SWAP1
0000063b: SWAP7
0000063c: MSTORE
0000063d: DUP2
0000063e: MLOAD
0000063f: DUP1
00000640: DUP5
00000641: SUB
00000642: SWAP1
00000643: SWAP7
00000644: ADD
00000645: DUP7
00000646: MSTORE
00000647: PUSH1 0x75
00000649: SWAP1
0000064a: SWAP3
0000064b: ADD
0000064c: SWAP1
0000064d: MSTORE
0000064e: DUP4
0000064f: MLOAD
00000650: SWAP4
00000651: ADD
00000652: SWAP3
00000653: SWAP1
00000654: SWAP3
00000655: KECCAK256
00000656: SWAP3
00000657: SWAP2
00000658: POP
00000659: POP
0000065a: JUMP
0000065b: JUMPDEST
0000065c: PUSH2 0x0663
0000065f: PUSH2 0x074a
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH2 0x2710
00000667: DUP2
00000668: PUSH4 0xffffffff
0000066d: AND
0000066e: GT
0000066f: ISZERO
00000670: PUSH2 0x06b3
00000673: JUMPI
00000674: PUSH1 0x40
00000676: MLOAD
00000677: PUSH3 0x461bcd
0000067b: PUSH1 0xe5
0000067d: SHL
0000067e: DUP2
0000067f: MSTORE
00000680: PUSH1 0x20
00000682: PUSH1 0x04
00000684: DUP3
00000685: ADD
00000686: MSTORE
00000687: PUSH1 0x15
00000689: PUSH1 0x24
0000068b: DUP3
0000068c: ADD
0000068d: MSTORE
0000068e: PUSH21 0x24b73b30b634b2103332b290373ab6b2b930ba37b9
000006a4: PUSH1 0x59
000006a6: SHL
000006a7: PUSH1 0x44
000006a9: DUP3
000006aa: ADD
000006ab: MSTORE
000006ac: PUSH1 0x64
000006ae: ADD
000006af: PUSH2 0x0525
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0x01
000006b6: DUP1
000006b7: SLOAD
000006b8: PUSH4 0xffffffff
000006bd: SWAP1
000006be: SWAP3
000006bf: AND
000006c0: PUSH1 0x01
000006c2: PUSH1 0xa0
000006c4: SHL
000006c5: MUL
000006c6: PUSH4 0xffffffff
000006cb: PUSH1 0xa0
000006cd: SHL
000006ce: NOT
000006cf: SWAP1
000006d0: SWAP3
000006d1: AND
000006d2: SWAP2
000006d3: SWAP1
000006d4: SWAP2
000006d5: OR
000006d6: SWAP1
000006d7: SSTORE
000006d8: JUMP
000006d9: JUMPDEST
000006da: PUSH2 0x06e1
000006dd: PUSH2 0x074a
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH1 0x01
000006e4: DUP1
000006e5: SLOAD
000006e6: PUSH1 0x01
000006e8: PUSH1 0x01
000006ea: PUSH1 0xa0
000006ec: SHL
000006ed: SUB
000006ee: DUP4
000006ef: AND
000006f0: PUSH1 0x01
000006f2: PUSH1 0x01
000006f4: PUSH1 0xa0
000006f6: SHL
000006f7: SUB
000006f8: NOT
000006f9: SWAP1
000006fa: SWAP2
000006fb: AND
000006fc: DUP2
000006fd: OR
000006fe: SWAP1
000006ff: SWAP2
00000700: SSTORE
00000701: PUSH2 0x0712
00000704: PUSH1 0x00
00000706: SLOAD
00000707: PUSH1 0x01
00000709: PUSH1 0x01
0000070b: PUSH1 0xa0
0000070d: SHL
0000070e: SUB
0000070f: AND
00000710: SWAP1
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH1 0x01
00000715: PUSH1 0x01
00000717: PUSH1 0xa0
00000719: SHL
0000071a: SUB
0000071b: AND
0000071c: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700
0000073d: PUSH1 0x40
0000073f: MLOAD
00000740: PUSH1 0x40
00000742: MLOAD
00000743: DUP1
00000744: SWAP2
00000745: SUB
00000746: SWAP1
00000747: LOG3
00000748: POP
00000749: JUMP
0000074a: JUMPDEST
0000074b: PUSH1 0x00
0000074d: SLOAD
0000074e: PUSH1 0x01
00000750: PUSH1 0x01
00000752: PUSH1 0xa0
00000754: SHL
00000755: SUB
00000756: AND
00000757: CALLER
00000758: EQ
00000759: PUSH2 0x0544
0000075c: JUMPI
0000075d: PUSH1 0x40
0000075f: MLOAD
00000760: PUSH4 0x118cdaa7
00000765: PUSH1 0xe0
00000767: SHL
00000768: DUP2
00000769: MSTORE
0000076a: CALLER
0000076b: PUSH1 0x04
0000076d: DUP3
0000076e: ADD
0000076f: MSTORE
00000770: PUSH1 0x24
00000772: ADD
00000773: PUSH2 0x0525
00000776: JUMP
00000777: JUMPDEST
00000778: PUSH1 0x01
0000077a: DUP1
0000077b: SLOAD
0000077c: PUSH1 0x01
0000077e: PUSH1 0x01
00000780: PUSH1 0xa0
00000782: SHL
00000783: SUB
00000784: NOT
00000785: AND
00000786: SWAP1
00000787: SSTORE
00000788: PUSH2 0x0587
0000078b: DUP2
0000078c: PUSH1 0x00
0000078e: DUP1
0000078f: SLOAD
00000790: PUSH1 0x01
00000792: PUSH1 0x01
00000794: PUSH1 0xa0
00000796: SHL
00000797: SUB
00000798: DUP4
00000799: DUP2
0000079a: AND
0000079b: PUSH1 0x01
0000079d: PUSH1 0x01
0000079f: PUSH1 0xa0
000007a1: SHL
000007a2: SUB
000007a3: NOT
000007a4: DUP4
000007a5: AND
000007a6: DUP2
000007a7: OR
000007a8: DUP5
000007a9: SSTORE
000007aa: PUSH1 0x40
000007ac: MLOAD
000007ad: SWAP2
000007ae: SWAP1
000007af: SWAP3
000007b0: AND
000007b1: SWAP3
000007b2: DUP4
000007b3: SWAP2
000007b4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000007d5: SWAP2
000007d6: SWAP1
000007d7: LOG3
000007d8: POP
000007d9: POP
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH2 0x0409
000007df: DUP1
000007e0: PUSH2 0x0994
000007e3: DUP4
000007e4: CODECOPY
000007e5: ADD
000007e6: SWAP1
000007e7: JUMP
000007e8: JUMPDEST
000007e9: PUSH1 0x01
000007eb: PUSH1 0x01
000007ed: PUSH1 0xa0
000007ef: SHL
000007f0: SUB
000007f1: DUP2
000007f2: AND
000007f3: DUP2
000007f4: EQ
000007f5: PUSH2 0x0587
000007f8: JUMPI
000007f9: PUSH1 0x00
000007fb: DUP1
000007fc: REVERT
000007fd: JUMPDEST
000007fe: DUP1
000007ff: CALLDATALOAD
00000800: PUSH4 0xffffffff
00000805: DUP2
00000806: AND
00000807: DUP2
00000808: EQ
00000809: PUSH2 0x0811
0000080c: JUMPI
0000080d: PUSH1 0x00
0000080f: DUP1
00000810: REVERT
00000811: JUMPDEST
00000812: SWAP2
00000813: SWAP1
00000814: POP
00000815: JUMP
00000816: JUMPDEST
00000817: PUSH1 0x00
00000819: DUP1
0000081a: PUSH1 0x40
0000081c: DUP4
0000081d: DUP6
0000081e: SUB
0000081f: SLT
00000820: ISZERO
00000821: PUSH2 0x0829
00000824: JUMPI
00000825: PUSH1 0x00
00000827: DUP1
00000828: REVERT
00000829: JUMPDEST
0000082a: DUP3
0000082b: CALLDATALOAD
0000082c: PUSH2 0x0834
0000082f: DUP2
00000830: PUSH2 0x07e8
00000833: JUMP
00000834: JUMPDEST
00000835: SWAP2
00000836: POP
00000837: PUSH2 0x0842
0000083a: PUSH1 0x20
0000083c: DUP5
0000083d: ADD
0000083e: PUSH2 0x07fd
00000841: JUMP
00000842: JUMPDEST
00000843: SWAP1
00000844: POP
00000845: SWAP3
00000846: POP
00000847: SWAP3
00000848: SWAP1
00000849: POP
0000084a: JUMP
0000084b: JUMPDEST
0000084c: PUSH1 0x00
0000084e: DUP1
0000084f: PUSH1 0x20
00000851: DUP4
00000852: DUP6
00000853: SUB
00000854: SLT
00000855: ISZERO
00000856: PUSH2 0x085e
00000859: JUMPI
0000085a: PUSH1 0x00
0000085c: DUP1
0000085d: REVERT
0000085e: JUMPDEST
0000085f: DUP3
00000860: CALLDATALOAD
00000861: PUSH8 0xffffffffffffffff
0000086a: DUP1
0000086b: DUP3
0000086c: GT
0000086d: ISZERO
0000086e: PUSH2 0x0876
00000871: JUMPI
00000872: PUSH1 0x00
00000874: DUP1
00000875: REVERT
00000876: JUMPDEST
00000877: DUP2
00000878: DUP6
00000879: ADD
0000087a: SWAP2
0000087b: POP
0000087c: DUP6
0000087d: PUSH1 0x1f
0000087f: DUP4
00000880: ADD
00000881: SLT
00000882: PUSH2 0x088a
00000885: JUMPI
00000886: PUSH1 0x00
00000888: DUP1
00000889: REVERT
0000088a: JUMPDEST
0000088b: DUP2
0000088c: CALLDATALOAD
0000088d: DUP2
0000088e: DUP2
0000088f: GT
00000890: ISZERO
00000891: PUSH2 0x0899
00000894: JUMPI
00000895: PUSH1 0x00
00000897: DUP1
00000898: REVERT
00000899: JUMPDEST
0000089a: DUP7
0000089b: PUSH1 0x20
0000089d: DUP3
0000089e: PUSH1 0x05
000008a0: SHL
000008a1: DUP6
000008a2: ADD
000008a3: ADD
000008a4: GT
000008a5: ISZERO
000008a6: PUSH2 0x08ae
000008a9: JUMPI
000008aa: PUSH1 0x00
000008ac: DUP1
000008ad: REVERT
000008ae: JUMPDEST
000008af: PUSH1 0x20
000008b1: SWAP3
000008b2: SWAP1
000008b3: SWAP3
000008b4: ADD
000008b5: SWAP7
000008b6: SWAP2
000008b7: SWAP6
000008b8: POP
000008b9: SWAP1
000008ba: SWAP4
000008bb: POP
000008bc: POP
000008bd: POP
000008be: POP
000008bf: JUMP
000008c0: JUMPDEST
000008c1: PUSH1 0x00
000008c3: PUSH1 0x20
000008c5: DUP3
000008c6: DUP5
000008c7: SUB
000008c8: SLT
000008c9: ISZERO
000008ca: PUSH2 0x08d2
000008cd: JUMPI
000008ce: PUSH1 0x00
000008d0: DUP1
000008d1: REVERT
000008d2: JUMPDEST
000008d3: DUP2
000008d4: CALLDATALOAD
000008d5: PUSH2 0x08dd
000008d8: DUP2
000008d9: PUSH2 0x07e8
000008dc: JUMP
000008dd: JUMPDEST
000008de: SWAP4
000008df: SWAP3
000008e0: POP
000008e1: POP
000008e2: POP
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH1 0x00
000008e7: PUSH1 0x20
000008e9: DUP3
000008ea: DUP5
000008eb: SUB
000008ec: SLT
000008ed: ISZERO
000008ee: PUSH2 0x08f6
000008f1: JUMPI
000008f2: PUSH1 0x00
000008f4: DUP1
000008f5: REVERT
000008f6: JUMPDEST
000008f7: PUSH2 0x08dd
000008fa: DUP3
000008fb: PUSH2 0x07fd
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH4 0x4e487b71
00000905: PUSH1 0xe0
00000907: SHL
00000908: PUSH1 0x00
0000090a: MSTORE
0000090b: PUSH1 0x32
0000090d: PUSH1 0x04
0000090f: MSTORE
00000910: PUSH1 0x24
00000912: PUSH1 0x00
00000914: REVERT
00000915: JUMPDEST
00000916: PUSH1 0x00
00000918: PUSH4 0xffffffff
0000091d: DUP1
0000091e: DUP4
0000091f: AND
00000920: DUP2
00000921: DUP2
00000922: SUB
00000923: PUSH2 0x093c
00000926: JUMPI
00000927: PUSH4 0x4e487b71
0000092c: PUSH1 0xe0
0000092e: SHL
0000092f: PUSH1 0x00
00000931: MSTORE
00000932: PUSH1 0x11
00000934: PUSH1 0x04
00000936: MSTORE
00000937: PUSH1 0x24
00000939: PUSH1 0x00
0000093b: REVERT
0000093c: JUMPDEST
0000093d: PUSH1 0x01
0000093f: ADD
00000940: SWAP4
00000941: SWAP3
00000942: POP
00000943: POP
00000944: POP
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH1 0x00
00000949: DUP2
0000094a: MLOAD
0000094b: PUSH1 0x00
0000094d: JUMPDEST
0000094e: DUP2
0000094f: DUP2
00000950: LT
00000951: ISZERO
00000952: PUSH2 0x0967
00000955: JUMPI
00000956: PUSH1 0x20
00000958: DUP2
00000959: DUP6
0000095a: ADD
0000095b: DUP2
0000095c: ADD
0000095d: MLOAD
0000095e: DUP7
0000095f: DUP4
00000960: ADD
00000961: MSTORE
00000962: ADD
00000963: PUSH2 0x094d
00000966: JUMP
00000967: JUMPDEST
00000968: POP
00000969: PUSH1 0x00
0000096b: SWAP4
0000096c: ADD
0000096d: SWAP3
0000096e: DUP4
0000096f: MSTORE
00000970: POP
00000971: SWAP1
00000972: SWAP2
00000973: SWAP1
00000974: POP
00000975: JUMP
00000976: JUMPDEST
00000977: PUSH1 0x00
00000979: PUSH2 0x098b
0000097c: PUSH2 0x0985
0000097f: DUP4
00000980: DUP7
00000981: PUSH2 0x0946
00000984: JUMP
00000985: JUMPDEST
00000986: DUP5
00000987: PUSH2 0x0946
0000098a: JUMP
0000098b: JUMPDEST
0000098c: SWAP5
0000098d: SWAP4
0000098e: POP
0000098f: POP
00000990: POP
00000991: POP
00000992: JUMP
00000993: INVALID
00000994: PUSH1 0xc0
00000996: PUSH1 0x40
00000998: MSTORE
00000999: CALLVALUE
0000099a: DUP1
0000099b: ISZERO
0000099c: PUSH2 0x0010
0000099f: JUMPI
000009a0: PUSH1 0x00
000009a2: DUP1
000009a3: REVERT
000009a4: JUMPDEST
000009a5: POP
000009a6: PUSH1 0x40
000009a8: MLOAD
000009a9: PUSH2 0x0409
000009ac: CODESIZE
000009ad: SUB
000009ae: DUP1
000009af: PUSH2 0x0409
000009b2: DUP4
000009b3: CODECOPY
000009b4: DUP2
000009b5: ADD
000009b6: PUSH1 0x40
000009b8: DUP2
000009b9: SWAP1
000009ba: MSTORE
000009bb: PUSH2 0x002f
000009be: SWAP2
000009bf: PUSH2 0x0044
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH1 0x01
000009c6: PUSH1 0x01
000009c8: PUSH1 0xa0
000009ca: SHL
000009cb: SUB
000009cc: AND
000009cd: PUSH1 0x80
000009cf: MSTORE
000009d0: CALLER
000009d1: PUSH1 0xa0
000009d3: MSTORE
000009d4: PUSH2 0x0074
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH1 0x00
000009db: PUSH1 0x20
000009dd: DUP3
000009de: DUP5
000009df: SUB
000009e0: SLT
000009e1: ISZERO
000009e2: PUSH2 0x0056
000009e5: JUMPI
000009e6: PUSH1 0x00
000009e8: DUP1
000009e9: REVERT
000009ea: JUMPDEST
000009eb: DUP2
000009ec: MLOAD
000009ed: PUSH1 0x01
000009ef: PUSH1 0x01
000009f1: PUSH1 0xa0
000009f3: SHL
000009f4: SUB
000009f5: DUP2
000009f6: AND
000009f7: DUP2
000009f8: EQ
000009f9: PUSH2 0x006d
000009fc: JUMPI
000009fd: PUSH1 0x00
000009ff: DUP1
00000a00: REVERT
00000a01: JUMPDEST
00000a02: SWAP4
00000a03: SWAP3
00000a04: POP
00000a05: POP
00000a06: POP
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH1 0x80
00000a0b: MLOAD
00000a0c: PUSH1 0xa0
00000a0e: MLOAD
00000a0f: PUSH2 0x035d
00000a12: PUSH2 0x00ac
00000a15: PUSH1 0x00
00000a17: CODECOPY
00000a18: PUSH1 0x00
00000a1a: DUP2
00000a1b: DUP2
00000a1c: PUSH1 0x6c
00000a1e: ADD
00000a1f: MSTORE
00000a20: DUP2
00000a21: DUP2
00000a22: PUSH2 0x0146
00000a25: ADD
00000a26: MSTORE
00000a27: PUSH2 0x025c
00000a2a: ADD
00000a2b: MSTORE
00000a2c: PUSH1 0x00
00000a2e: DUP2
00000a2f: DUP2
00000a30: PUSH1 0xe7
00000a32: ADD
00000a33: MSTORE
00000a34: PUSH2 0x0284
00000a37: ADD
00000a38: MSTORE
00000a39: PUSH2 0x035d
00000a3c: PUSH1 0x00
00000a3e: RETURN
00000a3f: INVALID
00000a40: PUSH1 0x80
00000a42: PUSH1 0x40
00000a44: MSTORE
00000a45: PUSH1 0x04
00000a47: CALLDATASIZE
00000a48: LT
00000a49: PUSH2 0x004e
00000a4c: JUMPI
00000a4d: PUSH1 0x00
00000a4f: CALLDATALOAD
00000a50: PUSH1 0xe0
00000a52: SHR
00000a53: DUP1
00000a54: PUSH4 0x230b9da3
00000a59: EQ
00000a5a: PUSH2 0x005a
00000a5d: JUMPI
00000a5e: DUP1
00000a5f: PUSH4 0x35c84277
00000a64: EQ
00000a65: PUSH2 0x00ab
00000a68: JUMPI
00000a69: DUP1
00000a6a: PUSH4 0x70bb45b3
00000a6f: EQ
00000a70: PUSH2 0x00cd
00000a73: JUMPI
00000a74: DUP1
00000a75: PUSH4 0x83059303
00000a7a: EQ
00000a7b: PUSH2 0x00d5
00000a7e: JUMPI
00000a7f: DUP1
00000a80: PUSH4 0xe86dea4a
00000a85: EQ
00000a86: PUSH2 0x0109
00000a89: JUMPI
00000a8a: PUSH1 0x00
00000a8c: DUP1
00000a8d: REVERT
00000a8e: JUMPDEST
00000a8f: CALLDATASIZE
00000a90: PUSH2 0x0055
00000a93: JUMPI
00000a94: STOP
00000a95: JUMPDEST
00000a96: PUSH1 0x00
00000a98: DUP1
00000a99: REVERT
00000a9a: JUMPDEST
00000a9b: CALLVALUE
00000a9c: DUP1
00000a9d: ISZERO
00000a9e: PUSH2 0x0066
00000aa1: JUMPI
00000aa2: PUSH1 0x00
00000aa4: DUP1
00000aa5: REVERT
00000aa6: JUMPDEST
00000aa7: POP
00000aa8: PUSH2 0x008e
00000aab: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00000acc: DUP2
00000acd: JUMP
00000ace: JUMPDEST
00000acf: PUSH1 0x40
00000ad1: MLOAD
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0x01
00000ad6: PUSH1 0xa0
00000ad8: SHL
00000ad9: SUB
00000ada: SWAP1
00000adb: SWAP2
00000adc: AND
00000add: DUP2
00000ade: MSTORE
00000adf: PUSH1 0x20
00000ae1: ADD
00000ae2: JUMPDEST
00000ae3: PUSH1 0x40
00000ae5: MLOAD
00000ae6: DUP1
00000ae7: SWAP2
00000ae8: SUB
00000ae9: SWAP1
00000aea: RETURN
00000aeb: JUMPDEST
00000aec: CALLVALUE
00000aed: DUP1
00000aee: ISZERO
00000aef: PUSH2 0x00b7
00000af2: JUMPI
00000af3: PUSH1 0x00
00000af5: DUP1
00000af6: REVERT
00000af7: JUMPDEST
00000af8: POP
00000af9: PUSH2 0x00cb
00000afc: PUSH2 0x00c6
00000aff: CALLDATASIZE
00000b00: PUSH1 0x04
00000b02: PUSH2 0x02fa
00000b05: JUMP
00000b06: JUMPDEST
00000b07: PUSH2 0x013b
00000b0a: JUMP
00000b0b: JUMPDEST
00000b0c: STOP
00000b0d: JUMPDEST
00000b0e: PUSH2 0x00cb
00000b11: PUSH2 0x0236
00000b14: JUMP
00000b15: JUMPDEST
00000b16: CALLVALUE
00000b17: DUP1
00000b18: ISZERO
00000b19: PUSH2 0x00e1
00000b1c: JUMPI
00000b1d: PUSH1 0x00
00000b1f: DUP1
00000b20: REVERT
00000b21: JUMPDEST
00000b22: POP
00000b23: PUSH2 0x008e
00000b26: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00000b47: DUP2
00000b48: JUMP
00000b49: JUMPDEST
00000b4a: CALLVALUE
00000b4b: DUP1
00000b4c: ISZERO
00000b4d: PUSH2 0x0115
00000b50: JUMPI
00000b51: PUSH1 0x00
00000b53: DUP1
00000b54: REVERT
00000b55: JUMPDEST
00000b56: POP
00000b57: PUSH1 0x00
00000b59: SLOAD
00000b5a: PUSH2 0x0126
00000b5d: SWAP1
00000b5e: PUSH4 0xffffffff
00000b63: AND
00000b64: DUP2
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x40
00000b69: MLOAD
00000b6a: PUSH4 0xffffffff
00000b6f: SWAP1
00000b70: SWAP2
00000b71: AND
00000b72: DUP2
00000b73: MSTORE
00000b74: PUSH1 0x20
00000b76: ADD
00000b77: PUSH2 0x00a2
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: CALLER
00000b7d: PUSH1 0x01
00000b7f: PUSH1 0x01
00000b81: PUSH1 0xa0
00000b83: SHL
00000b84: SUB
00000b85: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00000ba6: AND
00000ba7: EQ
00000ba8: PUSH2 0x01ca
00000bab: JUMPI
00000bac: PUSH1 0x40
00000bae: MLOAD
00000baf: PUSH3 0x461bcd
00000bb3: PUSH1 0xe5
00000bb5: SHL
00000bb6: DUP2
00000bb7: MSTORE
00000bb8: PUSH1 0x20
00000bba: PUSH1 0x04
00000bbc: DUP3
00000bbd: ADD
00000bbe: MSTORE
00000bbf: PUSH1 0x29
00000bc1: PUSH1 0x24
00000bc3: DUP3
00000bc4: ADD
00000bc5: MSTORE
00000bc6: PUSH32 0x4368616e6765466565206e6f742063616c6c65642066726f6d20706172656e74
00000be7: PUSH1 0x44
00000be9: DUP3
00000bea: ADD
00000beb: MSTORE
00000bec: PUSH9 0x0818dbdb9d1c9858dd
00000bf6: PUSH1 0xba
00000bf8: SHL
00000bf9: PUSH1 0x64
00000bfb: DUP3
00000bfc: ADD
00000bfd: MSTORE
00000bfe: PUSH1 0x84
00000c00: ADD
00000c01: JUMPDEST
00000c02: PUSH1 0x40
00000c04: MLOAD
00000c05: DUP1
00000c06: SWAP2
00000c07: SUB
00000c08: SWAP1
00000c09: REVERT
00000c0a: JUMPDEST
00000c0b: PUSH2 0x2710
00000c0e: DUP2
00000c0f: PUSH4 0xffffffff
00000c14: AND
00000c15: GT
00000c16: ISZERO
00000c17: PUSH2 0x021a
00000c1a: JUMPI
00000c1b: PUSH1 0x40
00000c1d: MLOAD
00000c1e: PUSH3 0x461bcd
00000c22: PUSH1 0xe5
00000c24: SHL
00000c25: DUP2
00000c26: MSTORE
00000c27: PUSH1 0x20
00000c29: PUSH1 0x04
00000c2b: DUP3
00000c2c: ADD
00000c2d: MSTORE
00000c2e: PUSH1 0x15
00000c30: PUSH1 0x24
00000c32: DUP3
00000c33: ADD
00000c34: MSTORE
00000c35: PUSH21 0x24b73b30b634b2103332b290373ab6b2b930ba37b9
00000c4b: PUSH1 0x59
00000c4d: SHL
00000c4e: PUSH1 0x44
00000c50: DUP3
00000c51: ADD
00000c52: MSTORE
00000c53: PUSH1 0x64
00000c55: ADD
00000c56: PUSH2 0x01c1
00000c59: JUMP
00000c5a: JUMPDEST
00000c5b: PUSH1 0x00
00000c5d: DUP1
00000c5e: SLOAD
00000c5f: PUSH4 0xffffffff
00000c64: NOT
00000c65: AND
00000c66: PUSH4 0xffffffff
00000c6b: SWAP3
00000c6c: SWAP1
00000c6d: SWAP3
00000c6e: AND
00000c6f: SWAP2
00000c70: SWAP1
00000c71: SWAP2
00000c72: OR
00000c73: SWAP1
00000c74: SSTORE
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x00
00000c79: SLOAD
00000c7a: PUSH1 0x40
00000c7c: MLOAD
00000c7d: PUSH3 0xa1b0d3
00000c81: PUSH1 0xe7
00000c83: SHL
00000c84: DUP2
00000c85: MSTORE
00000c86: PUSH4 0xffffffff
00000c8b: SWAP1
00000c8c: SWAP2
00000c8d: AND
00000c8e: PUSH1 0x04
00000c90: DUP3
00000c91: ADD
00000c92: MSTORE
00000c93: PUSH1 0x01
00000c95: PUSH1 0x01
00000c97: PUSH1 0xa0
00000c99: SHL
00000c9a: SUB
00000c9b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00000cbc: DUP2
00000cbd: AND
00000cbe: PUSH1 0x24
00000cc0: DUP4
00000cc1: ADD
00000cc2: MSTORE
00000cc3: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00000ce4: AND
00000ce5: PUSH1 0x44
00000ce7: DUP3
00000ce8: ADD
00000ce9: MSTORE
00000cea: PUSH20 0x8d03884ef3f39ec263f3d7c3954a868468ff8497
00000cff: SWAP1
00000d00: PUSH4 0x50d86980
00000d05: SWAP1
00000d06: PUSH1 0x64
00000d08: ADD
00000d09: PUSH1 0x00
00000d0b: PUSH1 0x40
00000d0d: MLOAD
00000d0e: DUP1
00000d0f: DUP4
00000d10: SUB
00000d11: DUP2
00000d12: DUP7
00000d13: DUP1
00000d14: EXTCODESIZE
00000d15: ISZERO
00000d16: DUP1
00000d17: ISZERO
00000d18: PUSH2 0x02e0
00000d1b: JUMPI
00000d1c: PUSH1 0x00
00000d1e: DUP1
00000d1f: REVERT
00000d20: JUMPDEST
00000d21: POP
00000d22: GAS
00000d23: DELEGATECALL
00000d24: ISZERO
00000d25: DUP1
00000d26: ISZERO
00000d27: PUSH2 0x02f4
00000d2a: JUMPI
00000d2b: RETURNDATASIZE
00000d2c: PUSH1 0x00
00000d2e: DUP1
00000d2f: RETURNDATACOPY
00000d30: RETURNDATASIZE
00000d31: PUSH1 0x00
00000d33: REVERT
00000d34: JUMPDEST
00000d35: POP
00000d36: POP
00000d37: POP
00000d38: POP
00000d39: JUMP
00000d3a: JUMPDEST
00000d3b: PUSH1 0x00
00000d3d: PUSH1 0x20
00000d3f: DUP3
00000d40: DUP5
00000d41: SUB
00000d42: SLT
00000d43: ISZERO
00000d44: PUSH2 0x030c
00000d47: JUMPI
00000d48: PUSH1 0x00
00000d4a: DUP1
00000d4b: REVERT
00000d4c: JUMPDEST
00000d4d: DUP2
00000d4e: CALLDATALOAD
00000d4f: PUSH4 0xffffffff
00000d54: DUP2
00000d55: AND
00000d56: DUP2
00000d57: EQ
00000d58: PUSH2 0x0320
00000d5b: JUMPI
00000d5c: PUSH1 0x00
00000d5e: DUP1
00000d5f: REVERT
00000d60: JUMPDEST
00000d61: SWAP4
00000d62: SWAP3
00000d63: POP
00000d64: POP
00000d65: POP
00000d66: JUMP
00000d67: INVALID
00000d68: LOG2
00000d69: PUSH5 0x6970667358
00000d6f: UNKNOWN(0x22)
00000d70: SLT
00000d71: KECCAK256
00000d72: UNKNOWN(0xDE)
00000d73: UNKNOWN(0xDD)
00000d74: PUSH15 0x81267a3223fee9cbafd3198b4e3a87
00000d84: UNKNOWN(0xC7)
00000d85: UNKNOWN(0x0D)
00000d86: TLOAD
00000d87: PUSH24 0x006b127bdbb16a8d6c9064736f6c63430008140033a26469
00000da0: PUSH17 0x667358221220329aaff78029e413c142aa
00000db2: UNKNOWN(0x23)
00000db3: UNKNOWN(0xBD)
00000db4: UNKNOWN(0xAE)
00000db5: ADDMOD
00000db6: UNKNOWN(0xB8)
00000db7: MLOAD
00000db8: DUP13
00000db9: UNKNOWN(0x0E)
00000dba: SWAP7
00000dbb: PUSH1 0xd9
00000dbd: UNKNOWN(0x4C)
00000dbe: UNKNOWN(0xEE)
00000dbf: UNKNOWN(0xE5)
00000dc0: PUSH30

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: 0xfe876eb763e9eb7287bc2862ce19ec74dac0a2e54005b12b9896f1c02c24adde validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xfe876eb763e9eb7287bc2862ce19ec74dac0a2e54005b12b9896f1c02c24adde", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa900ccec", "selector": "0xa900ccec", "calldata_variants": [ "0xa900ccec", "0xa900ccec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaf3f6f4d", "selector": "0xaf3f6f4d", "calldata_variants": [ "0xaf3f6f4d", "0xaf3f6f4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef5828d0", "selector": "0xef5828d0", "calldata_variants": [ "0xef5828d0", "0xef5828d00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x01361090", "selector": "0x01361090", "calldata_variants": [ "0x01361090", "0x013610900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2630be4e", "selector": "0x2630be4e", "calldata_variants": [ "0x2630be4e", "0x2630be4e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3363, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x7b2a69dc152ae60ec891b48c6383ab397566d66a738ca638457fd306966850e7 call_targets: 0x5bab02440602302fb20906b04051e5d6c074d57f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7b2a69dc152ae60ec891b48c6383ab397566d66a738ca638457fd306966850e7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x5bab02440602302fb20906b04051e5d6c074d57f" ], "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": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa900ccec", "selector": "0xa900ccec", "calldata_variants": [ "0xa900ccec", "0xa900ccec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaf3f6f4d", "selector": "0xaf3f6f4d", "calldata_variants": [ "0xaf3f6f4d", "0xaf3f6f4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef5828d0", "selector": "0xef5828d0", "calldata_variants": [ "0xef5828d0", "0xef5828d00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x01361090", "selector": "0x01361090", "calldata_variants": [ "0x01361090", "0x013610900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2630be4e", "selector": "0x2630be4e", "calldata_variants": [ "0x2630be4e", "0x2630be4e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 679, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 827, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1040, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x7b2a69dc152ae60ec891b48c6383ab397566d66a738ca638457fd306966850e7 call_targets: 0x5bab02440602302fb20906b04051e5d6c074d57f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7b2a69dc152ae60ec891b48c6383ab397566d66a738ca638457fd306966850e7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x5bab02440602302fb20906b04051e5d6c074d57f" ], "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": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa900ccec", "selector": "0xa900ccec", "calldata_variants": [ "0xa900ccec", "0xa900ccec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaf3f6f4d", "selector": "0xaf3f6f4d", "calldata_variants": [ "0xaf3f6f4d", "0xaf3f6f4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef5828d0", "selector": "0xef5828d0", "calldata_variants": [ "0xef5828d0", "0xef5828d00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x01361090", "selector": "0x01361090", "calldata_variants": [ "0x01361090", "0x013610900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2630be4e", "selector": "0x2630be4e", "calldata_variants": [ "0x2630be4e", "0x2630be4e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 679, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 827, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1040, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xb8f98d36b55b438db5f9ff1058e7d7c0556836f8024cb3021abb88144e280582 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xb8f98d36b55b438db5f9ff1058e7d7c0556836f8024cb3021abb88144e280582", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa900ccec", "selector": "0xa900ccec", "calldata_variants": [ "0xa900ccec", "0xa900ccec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaf3f6f4d", "selector": "0xaf3f6f4d", "calldata_variants": [ "0xaf3f6f4d", "0xaf3f6f4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef5828d0", "selector": "0xef5828d0", "calldata_variants": [ "0xef5828d0", "0xef5828d00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x01361090", "selector": "0x01361090", "calldata_variants": [ "0x01361090", "0x013610900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2630be4e", "selector": "0x2630be4e", "calldata_variants": [ "0x2630be4e", "0x2630be4e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }