Analysis Run

019b477e-d48c-7122-b6a0-018536a3dbd6

complete

Chain ID

1

Address

0x00000000000ba9cd9f5175108141a82b6c24d727

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

Bytecode only

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
28365	artifact.fetch	complete	1 / 3	3 months ago
28366	tool.cast_disasm	complete	1 / 3	3 months ago
71476	analysis.bundle	complete	1 / 3	1 week ago
71477	capability.graph	complete	1 / 3	1 week ago
71478	detector.run	complete	1 / 3	1 week ago
71479	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

3

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

1

EXT*/BALANCE

0

Total opcodes

1727

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0163
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x893d20e8
00000019: GT
0000001a: PUSH2 0x00c0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd1d7aaab
00000024: GT
00000025: PUSH2 0x0074
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe91db8e5
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe91db8e5
0000003a: EQ
0000003b: PUSH2 0x0561
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xef1e9190
00000045: EQ
00000046: PUSH2 0x05a4
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf58a7d91
00000050: EQ
00000051: PUSH2 0x05e7
00000054: JUMPI
00000055: PUSH2 0x016a
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xd1d7aaab
00000060: EQ
00000061: PUSH2 0x0504
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xe866d0dd
0000006b: EQ
0000006c: PUSH2 0x0534
0000006f: JUMPI
00000070: PUSH2 0x016a
00000073: JUMP
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0x903d31bd
0000007b: GT
0000007c: PUSH2 0x00a5
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x903d31bd
00000086: EQ
00000087: PUSH2 0x0494
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xc2c34853
00000091: EQ
00000092: PUSH2 0x04c1
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xc770af06
0000009c: EQ
0000009d: PUSH2 0x04ee
000000a0: JUMPI
000000a1: PUSH2 0x016a
000000a4: JUMP
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x893d20e8
000000ac: EQ
000000ad: PUSH2 0x043c
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x8da5cb5b
000000b7: EQ
000000b8: PUSH2 0x0467
000000bb: JUMPI
000000bc: PUSH2 0x016a
000000bf: JUMP
000000c0: JUMPDEST
000000c1: DUP1
000000c2: PUSH4 0x487c2091
000000c7: GT
000000c8: PUSH2 0x0117
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x616fca9b
000000d2: GT
000000d3: PUSH2 0x00fc
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x616fca9b
000000dd: EQ
000000de: PUSH2 0x03b0
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x6be8afef
000000e8: EQ
000000e9: PUSH2 0x03d0
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x7104ddb2
000000f3: EQ
000000f4: PUSH2 0x03e3
000000f7: JUMPI
000000f8: PUSH2 0x016a
000000fb: JUMP
000000fc: JUMPDEST
000000fd: DUP1
000000fe: PUSH4 0x487c2091
00000103: EQ
00000104: PUSH2 0x036c
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x5d5f4c3b
0000010e: EQ
0000010f: PUSH2 0x0390
00000112: JUMPI
00000113: PUSH2 0x016a
00000116: JUMP
00000117: JUMPDEST
00000118: DUP1
00000119: PUSH4 0x36b2d439
0000011e: GT
0000011f: PUSH2 0x0148
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x36b2d439
00000129: EQ
0000012a: PUSH2 0x02e7
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x4075f301
00000134: EQ
00000135: PUSH2 0x0307
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x468fc7fb
0000013f: EQ
00000140: PUSH2 0x034c
00000143: JUMPI
00000144: PUSH2 0x016a
00000147: JUMP
00000148: JUMPDEST
00000149: DUP1
0000014a: PUSH4 0x17c27c3d
0000014f: EQ
00000150: PUSH2 0x02a7
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x2869c134
0000015a: EQ
0000015b: PUSH2 0x02c7
0000015e: JUMPI
0000015f: PUSH2 0x016a
00000162: JUMP
00000163: JUMPDEST
00000164: CALLDATASIZE
00000165: PUSH2 0x016a
00000168: JUMPI
00000169: STOP
0000016a: JUMPDEST
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: CALLDATALOAD
0000016f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000190: AND
00000191: DUP2
00000192: MSTORE
00000193: PUSH1 0x09
00000195: PUSH1 0x20
00000197: MSTORE
00000198: PUSH1 0x40
0000019a: SWAP1
0000019b: KECCAK256
0000019c: SLOAD
0000019d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001b2: AND
000001b3: DUP1
000001b4: PUSH2 0x021e
000001b7: JUMPI
000001b8: PUSH1 0x40
000001ba: MLOAD
000001bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000001dc: DUP2
000001dd: MSTORE
000001de: PUSH1 0x20
000001e0: PUSH1 0x04
000001e2: DUP3
000001e3: ADD
000001e4: MSTORE
000001e5: PUSH1 0x0c
000001e7: PUSH1 0x24
000001e9: DUP3
000001ea: ADD
000001eb: MSTORE
000001ec: PUSH32 0x756e6b6e6f776e20696d706c0000000000000000000000000000000000000000
0000020d: PUSH1 0x44
0000020f: DUP3
00000210: ADD
00000211: MSTORE
00000212: PUSH1 0x64
00000214: ADD
00000215: JUMPDEST
00000216: PUSH1 0x40
00000218: MLOAD
00000219: DUP1
0000021a: SWAP2
0000021b: SUB
0000021c: SWAP1
0000021d: REVERT
0000021e: JUMPDEST
0000021f: PUSH1 0x00
00000221: DUP1
00000222: DUP3
00000223: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000238: AND
00000239: PUSH1 0x00
0000023b: CALLDATASIZE
0000023c: PUSH1 0x40
0000023e: MLOAD
0000023f: PUSH2 0x0249
00000242: SWAP3
00000243: SWAP2
00000244: SWAP1
00000245: PUSH2 0x0c51
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH1 0x00
0000024c: PUSH1 0x40
0000024e: MLOAD
0000024f: DUP1
00000250: DUP4
00000251: SUB
00000252: DUP2
00000253: DUP6
00000254: GAS
00000255: DELEGATECALL
00000256: SWAP2
00000257: POP
00000258: POP
00000259: RETURNDATASIZE
0000025a: DUP1
0000025b: PUSH1 0x00
0000025d: DUP2
0000025e: EQ
0000025f: PUSH2 0x0284
00000262: JUMPI
00000263: PUSH1 0x40
00000265: MLOAD
00000266: SWAP2
00000267: POP
00000268: PUSH1 0x1f
0000026a: NOT
0000026b: PUSH1 0x3f
0000026d: RETURNDATASIZE
0000026e: ADD
0000026f: AND
00000270: DUP3
00000271: ADD
00000272: PUSH1 0x40
00000274: MSTORE
00000275: RETURNDATASIZE
00000276: DUP3
00000277: MSTORE
00000278: RETURNDATASIZE
00000279: PUSH1 0x00
0000027b: PUSH1 0x20
0000027d: DUP5
0000027e: ADD
0000027f: RETURNDATACOPY
00000280: PUSH2 0x0289
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH1 0x60
00000287: SWAP2
00000288: POP
00000289: JUMPDEST
0000028a: POP
0000028b: SWAP2
0000028c: POP
0000028d: SWAP2
0000028e: POP
0000028f: DUP2
00000290: PUSH2 0x029c
00000293: JUMPI
00000294: PUSH2 0x029c
00000297: DUP2
00000298: PUSH2 0x05f5
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH2 0x02a5
000002a0: DUP2
000002a1: PUSH2 0x05fd
000002a4: JUMP
000002a5: JUMPDEST
000002a6: STOP
000002a7: JUMPDEST
000002a8: CALLVALUE
000002a9: DUP1
000002aa: ISZERO
000002ab: PUSH2 0x02b3
000002ae: JUMPI
000002af: PUSH1 0x00
000002b1: DUP1
000002b2: REVERT
000002b3: JUMPDEST
000002b4: POP
000002b5: PUSH2 0x02a5
000002b8: PUSH2 0x02c2
000002bb: CALLDATASIZE
000002bc: PUSH1 0x04
000002be: PUSH2 0x0c8a
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH2 0x0605
000002c6: JUMP
000002c7: JUMPDEST
000002c8: CALLVALUE
000002c9: DUP1
000002ca: ISZERO
000002cb: PUSH2 0x02d3
000002ce: JUMPI
000002cf: PUSH1 0x00
000002d1: DUP1
000002d2: REVERT
000002d3: JUMPDEST
000002d4: POP
000002d5: PUSH2 0x02a5
000002d8: PUSH2 0x02e2
000002db: CALLDATASIZE
000002dc: PUSH1 0x04
000002de: PUSH2 0x0c8a
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH2 0x06d2
000002e6: JUMP
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH2 0x02a5
000002f8: PUSH2 0x0302
000002fb: CALLDATASIZE
000002fc: PUSH1 0x04
000002fe: PUSH2 0x0cac
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x07a2
00000306: JUMP
00000307: JUMPDEST
00000308: CALLVALUE
00000309: DUP1
0000030a: ISZERO
0000030b: PUSH2 0x0313
0000030e: JUMPI
0000030f: PUSH1 0x00
00000311: DUP1
00000312: REVERT
00000313: JUMPDEST
00000314: POP
00000315: PUSH2 0x0337
00000318: PUSH2 0x0322
0000031b: CALLDATASIZE
0000031c: PUSH1 0x04
0000031e: PUSH2 0x0c8a
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x02
00000325: PUSH1 0x20
00000327: MSTORE
00000328: PUSH1 0x00
0000032a: SWAP1
0000032b: DUP2
0000032c: MSTORE
0000032d: PUSH1 0x40
0000032f: SWAP1
00000330: KECCAK256
00000331: SLOAD
00000332: PUSH1 0xff
00000334: AND
00000335: DUP2
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH1 0x40
0000033a: MLOAD
0000033b: SWAP1
0000033c: ISZERO
0000033d: ISZERO
0000033e: DUP2
0000033f: MSTORE
00000340: PUSH1 0x20
00000342: ADD
00000343: JUMPDEST
00000344: PUSH1 0x40
00000346: MLOAD
00000347: DUP1
00000348: SWAP2
00000349: SUB
0000034a: SWAP1
0000034b: RETURN
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: POP
0000035a: PUSH2 0x02a5
0000035d: PUSH2 0x0367
00000360: CALLDATASIZE
00000361: PUSH1 0x04
00000363: PUSH2 0x0d5f
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH2 0x08b0
0000036b: JUMP
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: DUP1
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: POP
0000037a: PUSH2 0x0382
0000037d: PUSH1 0x01
0000037f: SLOAD
00000380: DUP2
00000381: JUMP
00000382: JUMPDEST
00000383: PUSH1 0x40
00000385: MLOAD
00000386: SWAP1
00000387: DUP2
00000388: MSTORE
00000389: PUSH1 0x20
0000038b: ADD
0000038c: PUSH2 0x0343
0000038f: JUMP
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x02a5
000003a1: PUSH2 0x03ab
000003a4: CALLDATASIZE
000003a5: PUSH1 0x04
000003a7: PUSH2 0x0d92
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH2 0x09a8
000003af: JUMP
000003b0: JUMPDEST
000003b1: CALLVALUE
000003b2: DUP1
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH2 0x02a5
000003c1: PUSH2 0x03cb
000003c4: CALLDATASIZE
000003c5: PUSH1 0x04
000003c7: PUSH2 0x0c8a
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH2 0x0a08
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH2 0x02a5
000003d4: PUSH2 0x03de
000003d7: CALLDATASIZE
000003d8: PUSH1 0x04
000003da: PUSH2 0x0cac
000003dd: JUMP
000003de: JUMPDEST
000003df: PUSH2 0x0b68
000003e2: JUMP
000003e3: JUMPDEST
000003e4: CALLVALUE
000003e5: DUP1
000003e6: ISZERO
000003e7: PUSH2 0x03ef
000003ea: JUMPI
000003eb: PUSH1 0x00
000003ed: DUP1
000003ee: REVERT
000003ef: JUMPDEST
000003f0: POP
000003f1: PUSH2 0x0417
000003f4: PUSH32 0x00000000000000000000000000000000000ba9cd9f5175108141a82b6c24d727
00000415: DUP2
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH1 0x40
0000041a: MLOAD
0000041b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000430: SWAP1
00000431: SWAP2
00000432: AND
00000433: DUP2
00000434: MSTORE
00000435: PUSH1 0x20
00000437: ADD
00000438: PUSH2 0x0343
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH1 0x00
0000044c: SLOAD
0000044d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000462: AND
00000463: PUSH2 0x0417
00000466: JUMP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0473
0000046e: JUMPI
0000046f: PUSH1 0x00
00000471: DUP1
00000472: REVERT
00000473: JUMPDEST
00000474: POP
00000475: PUSH1 0x00
00000477: SLOAD
00000478: PUSH2 0x0417
0000047b: SWAP1
0000047c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000491: AND
00000492: DUP2
00000493: JUMP
00000494: JUMPDEST
00000495: CALLVALUE
00000496: DUP1
00000497: ISZERO
00000498: PUSH2 0x04a0
0000049b: JUMPI
0000049c: PUSH1 0x00
0000049e: DUP1
0000049f: REVERT
000004a0: JUMPDEST
000004a1: POP
000004a2: PUSH2 0x0382
000004a5: PUSH2 0x04af
000004a8: CALLDATASIZE
000004a9: PUSH1 0x04
000004ab: PUSH2 0x0d92
000004ae: JUMP
000004af: JUMPDEST
000004b0: PUSH1 0x05
000004b2: PUSH1 0x20
000004b4: MSTORE
000004b5: PUSH1 0x00
000004b7: SWAP1
000004b8: DUP2
000004b9: MSTORE
000004ba: PUSH1 0x40
000004bc: SWAP1
000004bd: KECCAK256
000004be: SLOAD
000004bf: DUP2
000004c0: JUMP
000004c1: JUMPDEST
000004c2: CALLVALUE
000004c3: DUP1
000004c4: ISZERO
000004c5: PUSH2 0x04cd
000004c8: JUMPI
000004c9: PUSH1 0x00
000004cb: DUP1
000004cc: REVERT
000004cd: JUMPDEST
000004ce: POP
000004cf: PUSH2 0x0382
000004d2: PUSH2 0x04dc
000004d5: CALLDATASIZE
000004d6: PUSH1 0x04
000004d8: PUSH2 0x0d92
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH1 0x04
000004df: PUSH1 0x20
000004e1: MSTORE
000004e2: PUSH1 0x00
000004e4: SWAP1
000004e5: DUP2
000004e6: MSTORE
000004e7: PUSH1 0x40
000004e9: SWAP1
000004ea: KECCAK256
000004eb: SLOAD
000004ec: DUP2
000004ed: JUMP
000004ee: JUMPDEST
000004ef: CALLVALUE
000004f0: DUP1
000004f1: ISZERO
000004f2: PUSH2 0x04fa
000004f5: JUMPI
000004f6: PUSH1 0x00
000004f8: DUP1
000004f9: REVERT
000004fa: JUMPDEST
000004fb: POP
000004fc: PUSH2 0x0382
000004ff: PUSH1 0x08
00000501: SLOAD
00000502: DUP2
00000503: JUMP
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0510
0000050b: JUMPI
0000050c: PUSH1 0x00
0000050e: DUP1
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: PUSH2 0x0337
00000515: PUSH2 0x051f
00000518: CALLDATASIZE
00000519: PUSH1 0x04
0000051b: PUSH2 0x0d92
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH1 0x06
00000522: PUSH1 0x20
00000524: MSTORE
00000525: PUSH1 0x00
00000527: SWAP1
00000528: DUP2
00000529: MSTORE
0000052a: PUSH1 0x40
0000052c: SWAP1
0000052d: KECCAK256
0000052e: SLOAD
0000052f: PUSH1 0xff
00000531: AND
00000532: DUP2
00000533: JUMP
00000534: JUMPDEST
00000535: CALLVALUE
00000536: DUP1
00000537: ISZERO
00000538: PUSH2 0x0540
0000053b: JUMPI
0000053c: PUSH1 0x00
0000053e: DUP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: PUSH2 0x0382
00000545: PUSH2 0x054f
00000548: CALLDATASIZE
00000549: PUSH1 0x04
0000054b: PUSH2 0x0d92
0000054e: JUMP
0000054f: JUMPDEST
00000550: PUSH1 0x07
00000552: PUSH1 0x20
00000554: MSTORE
00000555: PUSH1 0x00
00000557: SWAP1
00000558: DUP2
00000559: MSTORE
0000055a: PUSH1 0x40
0000055c: SWAP1
0000055d: KECCAK256
0000055e: SLOAD
0000055f: DUP2
00000560: JUMP
00000561: JUMPDEST
00000562: CALLVALUE
00000563: DUP1
00000564: ISZERO
00000565: PUSH2 0x056d
00000568: JUMPI
00000569: PUSH1 0x00
0000056b: DUP1
0000056c: REVERT
0000056d: JUMPDEST
0000056e: POP
0000056f: PUSH2 0x0417
00000572: PUSH2 0x057c
00000575: CALLDATASIZE
00000576: PUSH1 0x04
00000578: PUSH2 0x0dab
0000057b: JUMP
0000057c: JUMPDEST
0000057d: PUSH1 0x09
0000057f: PUSH1 0x20
00000581: MSTORE
00000582: PUSH1 0x00
00000584: SWAP1
00000585: DUP2
00000586: MSTORE
00000587: PUSH1 0x40
00000589: SWAP1
0000058a: KECCAK256
0000058b: SLOAD
0000058c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a1: AND
000005a2: DUP2
000005a3: JUMP
000005a4: JUMPDEST
000005a5: CALLVALUE
000005a6: DUP1
000005a7: ISZERO
000005a8: PUSH2 0x05b0
000005ab: JUMPI
000005ac: PUSH1 0x00
000005ae: DUP1
000005af: REVERT
000005b0: JUMPDEST
000005b1: POP
000005b2: PUSH2 0x0417
000005b5: PUSH2 0x05bf
000005b8: CALLDATASIZE
000005b9: PUSH1 0x04
000005bb: PUSH2 0x0d92
000005be: JUMP
000005bf: JUMPDEST
000005c0: PUSH1 0x03
000005c2: PUSH1 0x20
000005c4: MSTORE
000005c5: PUSH1 0x00
000005c7: SWAP1
000005c8: DUP2
000005c9: MSTORE
000005ca: PUSH1 0x40
000005cc: SWAP1
000005cd: KECCAK256
000005ce: SLOAD
000005cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e4: AND
000005e5: DUP2
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH2 0x02a5
000005eb: PUSH2 0x0302
000005ee: CALLDATASIZE
000005ef: PUSH1 0x04
000005f1: PUSH2 0x0cac
000005f4: JUMP
000005f5: JUMPDEST
000005f6: DUP1
000005f7: MLOAD
000005f8: PUSH1 0x20
000005fa: DUP3
000005fb: ADD
000005fc: REVERT
000005fd: JUMPDEST
000005fe: DUP1
000005ff: MLOAD
00000600: PUSH1 0x20
00000602: DUP3
00000603: ADD
00000604: RETURN
00000605: JUMPDEST
00000606: PUSH1 0x00
00000608: SLOAD
00000609: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000061e: AND
0000061f: CALLER
00000620: EQ
00000621: PUSH2 0x0686
00000624: JUMPI
00000625: PUSH1 0x40
00000627: MLOAD
00000628: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: PUSH1 0x04
0000064f: DUP3
00000650: ADD
00000651: MSTORE
00000652: PUSH1 0x13
00000654: PUSH1 0x24
00000656: DUP3
00000657: ADD
00000658: MSTORE
00000659: PUSH32 0x43616c6c6572206973206e6f74206f776e657200000000000000000000000000
0000067a: PUSH1 0x44
0000067c: DUP3
0000067d: ADD
0000067e: MSTORE
0000067f: PUSH1 0x64
00000681: ADD
00000682: PUSH2 0x0215
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069c: AND
0000069d: PUSH1 0x00
0000069f: SWAP1
000006a0: DUP2
000006a1: MSTORE
000006a2: PUSH1 0x02
000006a4: PUSH1 0x20
000006a6: MSTORE
000006a7: PUSH1 0x40
000006a9: SWAP1
000006aa: KECCAK256
000006ab: DUP1
000006ac: SLOAD
000006ad: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000006ce: AND
000006cf: SWAP1
000006d0: SSTORE
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x00
000006d5: SLOAD
000006d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006eb: AND
000006ec: CALLER
000006ed: EQ
000006ee: PUSH2 0x0753
000006f1: JUMPI
000006f2: PUSH1 0x40
000006f4: MLOAD
000006f5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000716: DUP2
00000717: MSTORE
00000718: PUSH1 0x20
0000071a: PUSH1 0x04
0000071c: DUP3
0000071d: ADD
0000071e: MSTORE
0000071f: PUSH1 0x13
00000721: PUSH1 0x24
00000723: DUP3
00000724: ADD
00000725: MSTORE
00000726: PUSH32 0x43616c6c6572206973206e6f74206f776e657200000000000000000000000000
00000747: PUSH1 0x44
00000749: DUP3
0000074a: ADD
0000074b: MSTORE
0000074c: PUSH1 0x64
0000074e: ADD
0000074f: PUSH2 0x0215
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000769: AND
0000076a: PUSH1 0x00
0000076c: SWAP1
0000076d: DUP2
0000076e: MSTORE
0000076f: PUSH1 0x02
00000771: PUSH1 0x20
00000773: MSTORE
00000774: PUSH1 0x40
00000776: SWAP1
00000777: KECCAK256
00000778: DUP1
00000779: SLOAD
0000077a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000079b: AND
0000079c: PUSH1 0x01
0000079e: OR
0000079f: SWAP1
000007a0: SSTORE
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH1 0x00
000007a5: SLOAD
000007a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bb: AND
000007bc: CALLER
000007bd: EQ
000007be: PUSH2 0x0823
000007c1: JUMPI
000007c2: PUSH1 0x40
000007c4: MLOAD
000007c5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007e6: DUP2
000007e7: MSTORE
000007e8: PUSH1 0x20
000007ea: PUSH1 0x04
000007ec: DUP3
000007ed: ADD
000007ee: MSTORE
000007ef: PUSH1 0x13
000007f1: PUSH1 0x24
000007f3: DUP3
000007f4: ADD
000007f5: MSTORE
000007f6: PUSH32 0x43616c6c6572206973206e6f74206f776e657200000000000000000000000000
00000817: PUSH1 0x44
00000819: DUP3
0000081a: ADD
0000081b: MSTORE
0000081c: PUSH1 0x64
0000081e: ADD
0000081f: PUSH2 0x0215
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH1 0x00
00000826: DUP1
00000827: DUP5
00000828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083d: AND
0000083e: DUP5
0000083f: DUP5
00000840: PUSH1 0x40
00000842: MLOAD
00000843: PUSH2 0x084d
00000846: SWAP3
00000847: SWAP2
00000848: SWAP1
00000849: PUSH2 0x0c51
0000084c: JUMP
0000084d: JUMPDEST
0000084e: PUSH1 0x00
00000850: PUSH1 0x40
00000852: MLOAD
00000853: DUP1
00000854: DUP4
00000855: SUB
00000856: DUP2
00000857: DUP6
00000858: GAS
00000859: DELEGATECALL
0000085a: SWAP2
0000085b: POP
0000085c: POP
0000085d: RETURNDATASIZE
0000085e: DUP1
0000085f: PUSH1 0x00
00000861: DUP2
00000862: EQ
00000863: PUSH2 0x0888
00000866: JUMPI
00000867: PUSH1 0x40
00000869: MLOAD
0000086a: SWAP2
0000086b: POP
0000086c: PUSH1 0x1f
0000086e: NOT
0000086f: PUSH1 0x3f
00000871: RETURNDATASIZE
00000872: ADD
00000873: AND
00000874: DUP3
00000875: ADD
00000876: PUSH1 0x40
00000878: MSTORE
00000879: RETURNDATASIZE
0000087a: DUP3
0000087b: MSTORE
0000087c: RETURNDATASIZE
0000087d: PUSH1 0x00
0000087f: PUSH1 0x20
00000881: DUP5
00000882: ADD
00000883: RETURNDATACOPY
00000884: PUSH2 0x088d
00000887: JUMP
00000888: JUMPDEST
00000889: PUSH1 0x60
0000088b: SWAP2
0000088c: POP
0000088d: JUMPDEST
0000088e: POP
0000088f: SWAP2
00000890: POP
00000891: SWAP2
00000892: POP
00000893: DUP2
00000894: PUSH2 0x08a0
00000897: JUMPI
00000898: PUSH2 0x08a0
0000089b: DUP2
0000089c: PUSH2 0x05f5
0000089f: JUMP
000008a0: JUMPDEST
000008a1: PUSH2 0x08a9
000008a4: DUP2
000008a5: PUSH2 0x05fd
000008a8: JUMP
000008a9: JUMPDEST
000008aa: POP
000008ab: POP
000008ac: POP
000008ad: POP
000008ae: POP
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH1 0x00
000008b3: SLOAD
000008b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c9: AND
000008ca: CALLER
000008cb: EQ
000008cc: PUSH2 0x0931
000008cf: JUMPI
000008d0: PUSH1 0x40
000008d2: MLOAD
000008d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008f4: DUP2
000008f5: MSTORE
000008f6: PUSH1 0x20
000008f8: PUSH1 0x04
000008fa: DUP3
000008fb: ADD
000008fc: MSTORE
000008fd: PUSH1 0x13
000008ff: PUSH1 0x24
00000901: DUP3
00000902: ADD
00000903: MSTORE
00000904: PUSH32 0x43616c6c6572206973206e6f74206f776e657200000000000000000000000000
00000925: PUSH1 0x44
00000927: DUP3
00000928: ADD
00000929: MSTORE
0000092a: PUSH1 0x64
0000092c: ADD
0000092d: PUSH2 0x0215
00000930: JUMP
00000931: JUMPDEST
00000932: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000953: SWAP2
00000954: SWAP1
00000955: SWAP2
00000956: AND
00000957: PUSH1 0x00
00000959: SWAP1
0000095a: DUP2
0000095b: MSTORE
0000095c: PUSH1 0x09
0000095e: PUSH1 0x20
00000960: MSTORE
00000961: PUSH1 0x40
00000963: SWAP1
00000964: KECCAK256
00000965: DUP1
00000966: SLOAD
00000967: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000988: AND
00000989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099e: SWAP1
0000099f: SWAP3
000009a0: AND
000009a1: SWAP2
000009a2: SWAP1
000009a3: SWAP2
000009a4: OR
000009a5: SWAP1
000009a6: SSTORE
000009a7: JUMP
000009a8: JUMPDEST
000009a9: DUP1
000009aa: PUSH1 0x08
000009ac: PUSH1 0x00
000009ae: DUP3
000009af: DUP3
000009b0: SLOAD
000009b1: PUSH2 0x09ba
000009b4: SWAP2
000009b5: SWAP1
000009b6: PUSH2 0x0dc6
000009b9: JUMP
000009ba: JUMPDEST
000009bb: SWAP1
000009bc: SWAP2
000009bd: SSTORE
000009be: POP
000009bf: PUSH1 0x00
000009c1: SWAP1
000009c2: POP
000009c3: JUMPDEST
000009c4: DUP2
000009c5: DUP2
000009c6: LT
000009c7: ISZERO
000009c8: PUSH2 0x0a04
000009cb: JUMPI
000009cc: PUSH1 0x00
000009ce: DUP2
000009cf: DUP2
000009d0: MSTORE
000009d1: PUSH1 0x07
000009d3: PUSH1 0x20
000009d5: MSTORE
000009d6: PUSH1 0x40
000009d8: SWAP1
000009d9: KECCAK256
000009da: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000009fb: SWAP1
000009fc: SSTORE
000009fd: PUSH1 0x01
000009ff: ADD
00000a00: PUSH2 0x09c3
00000a03: JUMP
00000a04: JUMPDEST
00000a05: POP
00000a06: POP
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH1 0x00
00000a0b: SLOAD
00000a0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a21: AND
00000a22: CALLER
00000a23: EQ
00000a24: PUSH2 0x0a89
00000a27: JUMPI
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a4c: DUP2
00000a4d: MSTORE
00000a4e: PUSH1 0x20
00000a50: PUSH1 0x04
00000a52: DUP3
00000a53: ADD
00000a54: MSTORE
00000a55: PUSH1 0x13
00000a57: PUSH1 0x24
00000a59: DUP3
00000a5a: ADD
00000a5b: MSTORE
00000a5c: PUSH32 0x43616c6c6572206973206e6f74206f776e657200000000000000000000000000
00000a7d: PUSH1 0x44
00000a7f: DUP3
00000a80: ADD
00000a81: MSTORE
00000a82: PUSH1 0x64
00000a84: ADD
00000a85: PUSH2 0x0215
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: PUSH1 0x40
00000a8c: DUP1
00000a8d: MLOAD
00000a8e: PUSH1 0x04
00000a90: DUP2
00000a91: MSTORE
00000a92: PUSH1 0x24
00000a94: DUP2
00000a95: ADD
00000a96: DUP3
00000a97: MSTORE
00000a98: PUSH1 0x20
00000a9a: DUP2
00000a9b: ADD
00000a9c: DUP1
00000a9d: MLOAD
00000a9e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000abb: AND
00000abc: PUSH32 0xb0f5d8a400000000000000000000000000000000000000000000000000000000
00000add: OR
00000ade: SWAP1
00000adf: MSTORE
00000ae0: SWAP1
00000ae1: MLOAD
00000ae2: PUSH1 0x00
00000ae4: SWAP2
00000ae5: DUP3
00000ae6: SWAP2
00000ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afc: DUP6
00000afd: AND
00000afe: SWAP2
00000aff: PUSH2 0x0b07
00000b02: SWAP2
00000b03: PUSH2 0x0e06
00000b06: JUMP
00000b07: JUMPDEST
00000b08: PUSH1 0x00
00000b0a: PUSH1 0x40
00000b0c: MLOAD
00000b0d: DUP1
00000b0e: DUP4
00000b0f: SUB
00000b10: DUP2
00000b11: DUP6
00000b12: GAS
00000b13: DELEGATECALL
00000b14: SWAP2
00000b15: POP
00000b16: POP
00000b17: RETURNDATASIZE
00000b18: DUP1
00000b19: PUSH1 0x00
00000b1b: DUP2
00000b1c: EQ
00000b1d: PUSH2 0x0b42
00000b20: JUMPI
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: SWAP2
00000b25: POP
00000b26: PUSH1 0x1f
00000b28: NOT
00000b29: PUSH1 0x3f
00000b2b: RETURNDATASIZE
00000b2c: ADD
00000b2d: AND
00000b2e: DUP3
00000b2f: ADD
00000b30: PUSH1 0x40
00000b32: MSTORE
00000b33: RETURNDATASIZE
00000b34: DUP3
00000b35: MSTORE
00000b36: RETURNDATASIZE
00000b37: PUSH1 0x00
00000b39: PUSH1 0x20
00000b3b: DUP5
00000b3c: ADD
00000b3d: RETURNDATACOPY
00000b3e: PUSH2 0x0b47
00000b41: JUMP
00000b42: JUMPDEST
00000b43: PUSH1 0x60
00000b45: SWAP2
00000b46: POP
00000b47: JUMPDEST
00000b48: POP
00000b49: SWAP2
00000b4a: POP
00000b4b: SWAP2
00000b4c: POP
00000b4d: DUP2
00000b4e: PUSH2 0x0b5a
00000b51: JUMPI
00000b52: PUSH2 0x0b5a
00000b55: DUP2
00000b56: PUSH2 0x05f5
00000b59: JUMP
00000b5a: JUMPDEST
00000b5b: PUSH2 0x0b63
00000b5e: DUP2
00000b5f: PUSH2 0x05fd
00000b62: JUMP
00000b63: JUMPDEST
00000b64: POP
00000b65: POP
00000b66: POP
00000b67: JUMP
00000b68: JUMPDEST
00000b69: PUSH1 0x00
00000b6b: SLOAD
00000b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b81: AND
00000b82: CALLER
00000b83: EQ
00000b84: PUSH2 0x0be9
00000b87: JUMPI
00000b88: PUSH1 0x40
00000b8a: MLOAD
00000b8b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bac: DUP2
00000bad: MSTORE
00000bae: PUSH1 0x20
00000bb0: PUSH1 0x04
00000bb2: DUP3
00000bb3: ADD
00000bb4: MSTORE
00000bb5: PUSH1 0x13
00000bb7: PUSH1 0x24
00000bb9: DUP3
00000bba: ADD
00000bbb: MSTORE
00000bbc: PUSH32 0x43616c6c6572206973206e6f74206f776e657200000000000000000000000000
00000bdd: PUSH1 0x44
00000bdf: DUP3
00000be0: ADD
00000be1: MSTORE
00000be2: PUSH1 0x64
00000be4: ADD
00000be5: PUSH2 0x0215
00000be8: JUMP
00000be9: JUMPDEST
00000bea: PUSH1 0x00
00000bec: DUP1
00000bed: DUP5
00000bee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c03: AND
00000c04: CALLVALUE
00000c05: DUP6
00000c06: DUP6
00000c07: PUSH1 0x40
00000c09: MLOAD
00000c0a: PUSH2 0x0c14
00000c0d: SWAP3
00000c0e: SWAP2
00000c0f: SWAP1
00000c10: PUSH2 0x0c51
00000c13: JUMP
00000c14: JUMPDEST
00000c15: PUSH1 0x00
00000c17: PUSH1 0x40
00000c19: MLOAD
00000c1a: DUP1
00000c1b: DUP4
00000c1c: SUB
00000c1d: DUP2
00000c1e: DUP6
00000c1f: DUP8
00000c20: GAS
00000c21: CALL
00000c22: SWAP3
00000c23: POP
00000c24: POP
00000c25: POP
00000c26: RETURNDATASIZE
00000c27: DUP1
00000c28: PUSH1 0x00
00000c2a: DUP2
00000c2b: EQ
00000c2c: PUSH2 0x0888
00000c2f: JUMPI
00000c30: PUSH1 0x40
00000c32: MLOAD
00000c33: SWAP2
00000c34: POP
00000c35: PUSH1 0x1f
00000c37: NOT
00000c38: PUSH1 0x3f
00000c3a: RETURNDATASIZE
00000c3b: ADD
00000c3c: AND
00000c3d: DUP3
00000c3e: ADD
00000c3f: PUSH1 0x40
00000c41: MSTORE
00000c42: RETURNDATASIZE
00000c43: DUP3
00000c44: MSTORE
00000c45: RETURNDATASIZE
00000c46: PUSH1 0x00
00000c48: PUSH1 0x20
00000c4a: DUP5
00000c4b: ADD
00000c4c: RETURNDATACOPY
00000c4d: PUSH2 0x088d
00000c50: JUMP
00000c51: JUMPDEST
00000c52: DUP2
00000c53: DUP4
00000c54: DUP3
00000c55: CALLDATACOPY
00000c56: PUSH1 0x00
00000c58: SWAP2
00000c59: ADD
00000c5a: SWAP1
00000c5b: DUP2
00000c5c: MSTORE
00000c5d: SWAP2
00000c5e: SWAP1
00000c5f: POP
00000c60: JUMP
00000c61: JUMPDEST
00000c62: DUP1
00000c63: CALLDATALOAD
00000c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c79: DUP2
00000c7a: AND
00000c7b: DUP2
00000c7c: EQ
00000c7d: PUSH2 0x0c85
00000c80: JUMPI
00000c81: PUSH1 0x00
00000c83: DUP1
00000c84: REVERT
00000c85: JUMPDEST
00000c86: SWAP2
00000c87: SWAP1
00000c88: POP
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH1 0x00
00000c8d: PUSH1 0x20
00000c8f: DUP3
00000c90: DUP5
00000c91: SUB
00000c92: SLT
00000c93: ISZERO
00000c94: PUSH2 0x0c9c
00000c97: JUMPI
00000c98: PUSH1 0x00
00000c9a: DUP1
00000c9b: REVERT
00000c9c: JUMPDEST
00000c9d: PUSH2 0x0ca5
00000ca0: DUP3
00000ca1: PUSH2 0x0c61
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: SWAP4
00000ca7: SWAP3
00000ca8: POP
00000ca9: POP
00000caa: POP
00000cab: JUMP
00000cac: JUMPDEST
00000cad: PUSH1 0x00
00000caf: DUP1
00000cb0: PUSH1 0x00
00000cb2: PUSH1 0x40
00000cb4: DUP5
00000cb5: DUP7
00000cb6: SUB
00000cb7: SLT
00000cb8: ISZERO
00000cb9: PUSH2 0x0cc1
00000cbc: JUMPI
00000cbd: PUSH1 0x00
00000cbf: DUP1
00000cc0: REVERT
00000cc1: JUMPDEST
00000cc2: PUSH2 0x0cca
00000cc5: DUP5
00000cc6: PUSH2 0x0c61
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: SWAP3
00000ccc: POP
00000ccd: PUSH1 0x20
00000ccf: DUP5
00000cd0: ADD
00000cd1: CALLDATALOAD
00000cd2: PUSH8 0xffffffffffffffff
00000cdb: DUP1
00000cdc: DUP3
00000cdd: GT
00000cde: ISZERO
00000cdf: PUSH2 0x0ce7
00000ce2: JUMPI
00000ce3: PUSH1 0x00
00000ce5: DUP1
00000ce6: REVERT
00000ce7: JUMPDEST
00000ce8: DUP2
00000ce9: DUP7
00000cea: ADD
00000ceb: SWAP2
00000cec: POP
00000ced: DUP7
00000cee: PUSH1 0x1f
00000cf0: DUP4
00000cf1: ADD
00000cf2: SLT
00000cf3: PUSH2 0x0cfb
00000cf6: JUMPI
00000cf7: PUSH1 0x00
00000cf9: DUP1
00000cfa: REVERT
00000cfb: JUMPDEST
00000cfc: DUP2
00000cfd: CALLDATALOAD
00000cfe: DUP2
00000cff: DUP2
00000d00: GT
00000d01: ISZERO
00000d02: PUSH2 0x0d0a
00000d05: JUMPI
00000d06: PUSH1 0x00
00000d08: DUP1
00000d09: REVERT
00000d0a: JUMPDEST
00000d0b: DUP8
00000d0c: PUSH1 0x20
00000d0e: DUP3
00000d0f: DUP6
00000d10: ADD
00000d11: ADD
00000d12: GT
00000d13: ISZERO
00000d14: PUSH2 0x0d1c
00000d17: JUMPI
00000d18: PUSH1 0x00
00000d1a: DUP1
00000d1b: REVERT
00000d1c: JUMPDEST
00000d1d: PUSH1 0x20
00000d1f: DUP4
00000d20: ADD
00000d21: SWAP5
00000d22: POP
00000d23: DUP1
00000d24: SWAP4
00000d25: POP
00000d26: POP
00000d27: POP
00000d28: POP
00000d29: SWAP3
00000d2a: POP
00000d2b: SWAP3
00000d2c: POP
00000d2d: SWAP3
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: DUP1
00000d31: CALLDATALOAD
00000d32: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000d53: DUP2
00000d54: AND
00000d55: DUP2
00000d56: EQ
00000d57: PUSH2 0x0c85
00000d5a: JUMPI
00000d5b: PUSH1 0x00
00000d5d: DUP1
00000d5e: REVERT
00000d5f: JUMPDEST
00000d60: PUSH1 0x00
00000d62: DUP1
00000d63: PUSH1 0x40
00000d65: DUP4
00000d66: DUP6
00000d67: SUB
00000d68: SLT
00000d69: ISZERO
00000d6a: PUSH2 0x0d72
00000d6d: JUMPI
00000d6e: PUSH1 0x00
00000d70: DUP1
00000d71: REVERT
00000d72: JUMPDEST
00000d73: PUSH2 0x0d7b
00000d76: DUP4
00000d77: PUSH2 0x0d2f
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: SWAP2
00000d7d: POP
00000d7e: PUSH2 0x0d89
00000d81: PUSH1 0x20
00000d83: DUP5
00000d84: ADD
00000d85: PUSH2 0x0c61
00000d88: JUMP
00000d89: JUMPDEST
00000d8a: SWAP1
00000d8b: POP
00000d8c: SWAP3
00000d8d: POP
00000d8e: SWAP3
00000d8f: SWAP1
00000d90: POP
00000d91: JUMP
00000d92: JUMPDEST
00000d93: PUSH1 0x00
00000d95: PUSH1 0x20
00000d97: DUP3
00000d98: DUP5
00000d99: SUB
00000d9a: SLT
00000d9b: ISZERO
00000d9c: PUSH2 0x0da4
00000d9f: JUMPI
00000da0: PUSH1 0x00
00000da2: DUP1
00000da3: REVERT
00000da4: JUMPDEST
00000da5: POP
00000da6: CALLDATALOAD
00000da7: SWAP2
00000da8: SWAP1
00000da9: POP
00000daa: JUMP
00000dab: JUMPDEST
00000dac: PUSH1 0x00
00000dae: PUSH1 0x20
00000db0: DUP3
00000db1: DUP5
00000db2: SUB
00000db3: SLT
00000db4: ISZERO
00000db5: PUSH2 0x0dbd
00000db8: JUMPI
00000db9: PUSH1 0x00
00000dbb: DUP1
00000dbc: REVERT
00000dbd: JUMPDEST
00000dbe: PUSH2 0x0ca5
00000dc1: DUP3
00000dc2: PUSH2 0x0d2f
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: DUP1
00000dc8: DUP3
00000dc9: ADD
00000dca: DUP1
00000dcb: DUP3
00000dcc: GT
00000dcd: ISZERO
00000dce: PUSH2 0x0e00
00000dd1: JUMPI
00000dd2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000df3: PUSH1 0x00
00000df5: MSTORE
00000df6: PUSH1 0x11
00000df8: PUSH1 0x04
00000dfa: MSTORE
00000dfb: PUSH1 0x24
00000dfd: PUSH1 0x00
00000dff: REVERT
00000e00: JUMPDEST
00000e01: SWAP3
00000e02: SWAP2
00000e03: POP
00000e04: POP
00000e05: JUMP
00000e06: JUMPDEST
00000e07: PUSH1 0x00
00000e09: DUP3
00000e0a: MLOAD
00000e0b: PUSH1 0x00
00000e0d: JUMPDEST
00000e0e: DUP2
00000e0f: DUP2
00000e10: LT
00000e11: ISZERO
00000e12: PUSH2 0x0e27
00000e15: JUMPI
00000e16: PUSH1 0x20
00000e18: DUP2
00000e19: DUP7
00000e1a: ADD
00000e1b: DUP2
00000e1c: ADD
00000e1d: MLOAD
00000e1e: DUP6
00000e1f: DUP4
00000e20: ADD
00000e21: MSTORE
00000e22: ADD
00000e23: PUSH2 0x0e0d
00000e26: JUMP
00000e27: JUMPDEST
00000e28: POP
00000e29: PUSH1 0x00
00000e2b: SWAP3
00000e2c: ADD
00000e2d: SWAP2
00000e2e: DUP3
00000e2f: MSTORE
00000e30: POP
00000e31: SWAP2
00000e32: SWAP1
00000e33: POP
00000e34: JUMP
00000e35: INVALID
00000e36: LOG2
00000e37: PUSH5 0x6970667358
00000e3d: UNKNOWN(0x22)
00000e3e: SLT
00000e3f: KECCAK256
00000e40: DUP7
00000e41: UNKNOWN(0xDA)
00000e42: MCOPY
00000e43: SUB
00000e44: UNKNOWN(0xC2)
00000e45: PUSH20 0xad462e63b9ecd6eb1eacbd630b3549e64100a782
00000e5a: XOR
00000e5b: MLOAD
00000e5c: UNKNOWN(0xCB)
00000e5d: MUL
00000e5e: XOR
00000e5f: ADDRESS
00000e60: PUSH5 0x736f6c6343
00000e66: STOP
00000e67: ADDMOD
00000e68: OR
00000e69: STOP
00000e6a: 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: 0xa90459bc6eee216778e53f589c6b0b19f24c49f35fba6f3c423535c7ed5e0bb0 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xa90459bc6eee216778e53f589c6b0b19f24c49f35fba6f3c423535c7ed5e0bb0", "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": "0xe91db8e5", "selector": "0xe91db8e5", "calldata_variants": [ "0xe91db8e5", "0xe91db8e50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef1e9190", "selector": "0xef1e9190", "calldata_variants": [ "0xef1e9190", "0xef1e91900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf58a7d91", "selector": "0xf58a7d91", "calldata_variants": [ "0xf58a7d91", "0xf58a7d910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd1d7aaab", "selector": "0xd1d7aaab", "calldata_variants": [ "0xd1d7aaab", "0xd1d7aaab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe866d0dd", "selector": "0xe866d0dd", "calldata_variants": [ "0xe866d0dd", "0xe866d0dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x903d31bd", "selector": "0x903d31bd", "calldata_variants": [ "0x903d31bd", "0x903d31bd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2c34853", "selector": "0xc2c34853", "calldata_variants": [ "0xc2c34853", "0xc2c348530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc770af06", "selector": "0xc770af06", "calldata_variants": [ "0xc770af06", "0xc770af060000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 597, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 2137, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 2835, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 3, "untrusted_delegatecall_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x26c18c7db9cd729a3202060c90d0b00f29c8aaa5bfbb6a7c69f868dcaa2dd983 call_targets: 0x00000000000ba9cd9f5175108141a82b6c24d727 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x26c18c7db9cd729a3202060c90d0b00f29c8aaa5bfbb6a7c69f868dcaa2dd983", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x00000000000ba9cd9f5175108141a82b6c24d727" ], "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": "0xe91db8e5", "selector": "0xe91db8e5", "calldata_variants": [ "0xe91db8e5", "0xe91db8e50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef1e9190", "selector": "0xef1e9190", "calldata_variants": [ "0xef1e9190", "0xef1e91900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf58a7d91", "selector": "0xf58a7d91", "calldata_variants": [ "0xf58a7d91", "0xf58a7d910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd1d7aaab", "selector": "0xd1d7aaab", "calldata_variants": [ "0xd1d7aaab", "0xd1d7aaab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe866d0dd", "selector": "0xe866d0dd", "calldata_variants": [ "0xe866d0dd", "0xe866d0dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x903d31bd", "selector": "0x903d31bd", "calldata_variants": [ "0x903d31bd", "0x903d31bd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2c34853", "selector": "0xc2c34853", "calldata_variants": [ "0xc2c34853", "0xc2c348530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc770af06", "selector": "0xc770af06", "calldata_variants": [ "0xc770af06", "0xc770af060000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3105, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x26c18c7db9cd729a3202060c90d0b00f29c8aaa5bfbb6a7c69f868dcaa2dd983 call_targets: 0x00000000000ba9cd9f5175108141a82b6c24d727 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x26c18c7db9cd729a3202060c90d0b00f29c8aaa5bfbb6a7c69f868dcaa2dd983", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x00000000000ba9cd9f5175108141a82b6c24d727" ], "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": "0xe91db8e5", "selector": "0xe91db8e5", "calldata_variants": [ "0xe91db8e5", "0xe91db8e50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef1e9190", "selector": "0xef1e9190", "calldata_variants": [ "0xef1e9190", "0xef1e91900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf58a7d91", "selector": "0xf58a7d91", "calldata_variants": [ "0xf58a7d91", "0xf58a7d910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd1d7aaab", "selector": "0xd1d7aaab", "calldata_variants": [ "0xd1d7aaab", "0xd1d7aaab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe866d0dd", "selector": "0xe866d0dd", "calldata_variants": [ "0xe866d0dd", "0xe866d0dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x903d31bd", "selector": "0x903d31bd", "calldata_variants": [ "0x903d31bd", "0x903d31bd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2c34853", "selector": "0xc2c34853", "calldata_variants": [ "0xc2c34853", "0xc2c348530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc770af06", "selector": "0xc770af06", "calldata_variants": [ "0xc770af06", "0xc770af060000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3105, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [], "untrusted_call_count": 1 }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

critical

upgradeability

detector

Untrusted DELEGATECALL target reachable

70

no

view

trace_id: 0xa90459bc6eee216778e53f589c6b0b19f24c49f35fba6f3c423535c7ed5e0bb0

validation_json

{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0xa90459bc6eee216778e53f589c6b0b19f24c49f35fba6f3c423535c7ed5e0bb0",
    "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": "0xe91db8e5",
            "selector": "0xe91db8e5",
            "calldata_variants": [
                "0xe91db8e5",
                "0xe91db8e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xef1e9190",
            "selector": "0xef1e9190",
            "calldata_variants": [
                "0xef1e9190",
                "0xef1e91900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf58a7d91",
            "selector": "0xf58a7d91",
            "calldata_variants": [
                "0xf58a7d91",
                "0xf58a7d910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1d7aaab",
            "selector": "0xd1d7aaab",
            "calldata_variants": [
                "0xd1d7aaab",
                "0xd1d7aaab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe866d0dd",
            "selector": "0xe866d0dd",
            "calldata_variants": [
                "0xe866d0dd",
                "0xe866d0dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x903d31bd",
            "selector": "0x903d31bd",
            "calldata_variants": [
                "0x903d31bd",
                "0x903d31bd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc2c34853",
            "selector": "0xc2c34853",
            "calldata_variants": [
                "0xc2c34853",
                "0xc2c348530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc770af06",
            "selector": "0xc770af06",
            "calldata_variants": [
                "0xc770af06",
                "0xc770af060000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 597,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        },
        {
            "pc": 2137,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        },
        {
            "pc": 2835,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 3,
    "untrusted_delegatecall_count": 3
}

high

other

detector

ETH value transfer possible

55

no

view

trace_id: 0x26c18c7db9cd729a3202060c90d0b00f29c8aaa5bfbb6a7c69f868dcaa2dd983

call_targets: 0x00000000000ba9cd9f5175108141a82b6c24d727

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x26c18c7db9cd729a3202060c90d0b00f29c8aaa5bfbb6a7c69f868dcaa2dd983",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00000000000ba9cd9f5175108141a82b6c24d727"
    ],
    "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": "0xe91db8e5",
            "selector": "0xe91db8e5",
            "calldata_variants": [
                "0xe91db8e5",
                "0xe91db8e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xef1e9190",
            "selector": "0xef1e9190",
            "calldata_variants": [
                "0xef1e9190",
                "0xef1e91900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf58a7d91",
            "selector": "0xf58a7d91",
            "calldata_variants": [
                "0xf58a7d91",
                "0xf58a7d910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1d7aaab",
            "selector": "0xd1d7aaab",
            "calldata_variants": [
                "0xd1d7aaab",
                "0xd1d7aaab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe866d0dd",
            "selector": "0xe866d0dd",
            "calldata_variants": [
                "0xe866d0dd",
                "0xe866d0dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x903d31bd",
            "selector": "0x903d31bd",
            "calldata_variants": [
                "0x903d31bd",
                "0x903d31bd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc2c34853",
            "selector": "0xc2c34853",
            "calldata_variants": [
                "0xc2c34853",
                "0xc2c348530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc770af06",
            "selector": "0xc770af06",
            "calldata_variants": [
                "0xc770af06",
                "0xc770af060000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 3105,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}

high

other

detector

Untrusted CALL target/value reachable

60

no

view

trace_id: 0x26c18c7db9cd729a3202060c90d0b00f29c8aaa5bfbb6a7c69f868dcaa2dd983

call_targets: 0x00000000000ba9cd9f5175108141a82b6c24d727

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x26c18c7db9cd729a3202060c90d0b00f29c8aaa5bfbb6a7c69f868dcaa2dd983",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00000000000ba9cd9f5175108141a82b6c24d727"
    ],
    "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": "0xe91db8e5",
            "selector": "0xe91db8e5",
            "calldata_variants": [
                "0xe91db8e5",
                "0xe91db8e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xef1e9190",
            "selector": "0xef1e9190",
            "calldata_variants": [
                "0xef1e9190",
                "0xef1e91900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf58a7d91",
            "selector": "0xf58a7d91",
            "calldata_variants": [
                "0xf58a7d91",
                "0xf58a7d910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1d7aaab",
            "selector": "0xd1d7aaab",
            "calldata_variants": [
                "0xd1d7aaab",
                "0xd1d7aaab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe866d0dd",
            "selector": "0xe866d0dd",
            "calldata_variants": [
                "0xe866d0dd",
                "0xe866d0dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x903d31bd",
            "selector": "0x903d31bd",
            "calldata_variants": [
                "0x903d31bd",
                "0x903d31bd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc2c34853",
            "selector": "0xc2c34853",
            "calldata_variants": [
                "0xc2c34853",
                "0xc2c348530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc770af06",
            "selector": "0xc770af06",
            "calldata_variants": [
                "0xc770af06",
                "0xc770af060000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 3105,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}