Analysis Run

019b477e-c231-73cc-8733-ef3002fc7087

complete

Chain ID

1

Address

0x7e564a95c03d97a8074a24e90c1125a45e9af5f7

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
24993	artifact.fetch	complete	1 / 3	3 months ago
24994	tool.cast_disasm	complete	1 / 3	3 months ago
68506	analysis.bundle	complete	1 / 3	1 week ago
68507	capability.graph	complete	1 / 3	1 week ago
68508	detector.run	complete	1 / 3	1 week ago
68509	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

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

1

Total opcodes

1865

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0091
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6548b7ae
00000019: GT
0000001a: PUSH2 0x0059
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x6548b7ae
00000024: EQ
00000025: PUSH2 0x0185
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x67c7c945
0000002f: EQ
00000030: PUSH2 0x024b
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x7375f4ed
0000003a: EQ
0000003b: PUSH2 0x0275
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x8da5cb5b
00000045: EQ
00000046: PUSH2 0x02b4
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xa7ecd37e
00000050: EQ
00000051: PUSH2 0x02c9
00000054: JUMPI
00000055: PUSH2 0x0091
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x08cdc2a8
00000060: EQ
00000061: PUSH2 0x0093
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x238ac933
0000006b: EQ
0000006c: PUSH2 0x00bf
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x25f11e82
00000076: EQ
00000077: PUSH2 0x00f0
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x4fb2e45d
00000081: EQ
00000082: PUSH2 0x0129
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x5c975abb
0000008c: EQ
0000008d: PUSH2 0x015c
00000090: JUMPI
00000091: JUMPDEST
00000092: STOP
00000093: JUMPDEST
00000094: CALLVALUE
00000095: DUP1
00000096: ISZERO
00000097: PUSH2 0x009f
0000009a: JUMPI
0000009b: PUSH1 0x00
0000009d: DUP1
0000009e: REVERT
0000009f: JUMPDEST
000000a0: POP
000000a1: PUSH2 0x0091
000000a4: PUSH1 0x04
000000a6: DUP1
000000a7: CALLDATASIZE
000000a8: SUB
000000a9: PUSH1 0x20
000000ab: DUP2
000000ac: LT
000000ad: ISZERO
000000ae: PUSH2 0x00b6
000000b1: JUMPI
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: POP
000000b8: CALLDATALOAD
000000b9: ISZERO
000000ba: ISZERO
000000bb: PUSH2 0x02fc
000000be: JUMP
000000bf: JUMPDEST
000000c0: CALLVALUE
000000c1: DUP1
000000c2: ISZERO
000000c3: PUSH2 0x00cb
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: POP
000000cd: PUSH2 0x00d4
000000d0: PUSH2 0x0366
000000d3: JUMP
000000d4: JUMPDEST
000000d5: PUSH1 0x40
000000d7: DUP1
000000d8: MLOAD
000000d9: PUSH1 0x01
000000db: PUSH1 0x01
000000dd: PUSH1 0xa0
000000df: SHL
000000e0: SUB
000000e1: SWAP1
000000e2: SWAP3
000000e3: AND
000000e4: DUP3
000000e5: MSTORE
000000e6: MLOAD
000000e7: SWAP1
000000e8: DUP2
000000e9: SWAP1
000000ea: SUB
000000eb: PUSH1 0x20
000000ed: ADD
000000ee: SWAP1
000000ef: RETURN
000000f0: JUMPDEST
000000f1: CALLVALUE
000000f2: DUP1
000000f3: ISZERO
000000f4: PUSH2 0x00fc
000000f7: JUMPI
000000f8: PUSH1 0x00
000000fa: DUP1
000000fb: REVERT
000000fc: JUMPDEST
000000fd: POP
000000fe: PUSH2 0x0091
00000101: PUSH1 0x04
00000103: DUP1
00000104: CALLDATASIZE
00000105: SUB
00000106: PUSH1 0x40
00000108: DUP2
00000109: LT
0000010a: ISZERO
0000010b: PUSH2 0x0113
0000010e: JUMPI
0000010f: PUSH1 0x00
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: POP
00000115: PUSH1 0x01
00000117: PUSH1 0x01
00000119: PUSH1 0xa0
0000011b: SHL
0000011c: SUB
0000011d: DUP2
0000011e: CALLDATALOAD
0000011f: AND
00000120: SWAP1
00000121: PUSH1 0x20
00000123: ADD
00000124: CALLDATALOAD
00000125: PUSH2 0x0375
00000128: JUMP
00000129: JUMPDEST
0000012a: CALLVALUE
0000012b: DUP1
0000012c: ISZERO
0000012d: PUSH2 0x0135
00000130: JUMPI
00000131: PUSH1 0x00
00000133: DUP1
00000134: REVERT
00000135: JUMPDEST
00000136: POP
00000137: PUSH2 0x0091
0000013a: PUSH1 0x04
0000013c: DUP1
0000013d: CALLDATASIZE
0000013e: SUB
0000013f: PUSH1 0x20
00000141: DUP2
00000142: LT
00000143: ISZERO
00000144: PUSH2 0x014c
00000147: JUMPI
00000148: PUSH1 0x00
0000014a: DUP1
0000014b: REVERT
0000014c: JUMPDEST
0000014d: POP
0000014e: CALLDATALOAD
0000014f: PUSH1 0x01
00000151: PUSH1 0x01
00000153: PUSH1 0xa0
00000155: SHL
00000156: SUB
00000157: AND
00000158: PUSH2 0x03a8
0000015b: JUMP
0000015c: JUMPDEST
0000015d: CALLVALUE
0000015e: DUP1
0000015f: ISZERO
00000160: PUSH2 0x0168
00000163: JUMPI
00000164: PUSH1 0x00
00000166: DUP1
00000167: REVERT
00000168: JUMPDEST
00000169: POP
0000016a: PUSH2 0x0171
0000016d: PUSH2 0x0429
00000170: JUMP
00000171: JUMPDEST
00000172: PUSH1 0x40
00000174: DUP1
00000175: MLOAD
00000176: SWAP2
00000177: ISZERO
00000178: ISZERO
00000179: DUP3
0000017a: MSTORE
0000017b: MLOAD
0000017c: SWAP1
0000017d: DUP2
0000017e: SWAP1
0000017f: SUB
00000180: PUSH1 0x20
00000182: ADD
00000183: SWAP1
00000184: RETURN
00000185: JUMPDEST
00000186: CALLVALUE
00000187: DUP1
00000188: ISZERO
00000189: PUSH2 0x0191
0000018c: JUMPI
0000018d: PUSH1 0x00
0000018f: DUP1
00000190: REVERT
00000191: JUMPDEST
00000192: POP
00000193: PUSH2 0x0091
00000196: PUSH1 0x04
00000198: DUP1
00000199: CALLDATASIZE
0000019a: SUB
0000019b: PUSH1 0x80
0000019d: DUP2
0000019e: LT
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: DUP2
000001aa: CALLDATALOAD
000001ab: SWAP2
000001ac: PUSH1 0x20
000001ae: DUP2
000001af: ADD
000001b0: CALLDATALOAD
000001b1: SWAP2
000001b2: PUSH1 0x40
000001b4: DUP3
000001b5: ADD
000001b6: CALLDATALOAD
000001b7: SWAP2
000001b8: SWAP1
000001b9: DUP2
000001ba: ADD
000001bb: SWAP1
000001bc: PUSH1 0x80
000001be: DUP2
000001bf: ADD
000001c0: PUSH1 0x60
000001c2: DUP3
000001c3: ADD
000001c4: CALLDATALOAD
000001c5: PUSH5 0x0100000000
000001cb: DUP2
000001cc: GT
000001cd: ISZERO
000001ce: PUSH2 0x01d6
000001d1: JUMPI
000001d2: PUSH1 0x00
000001d4: DUP1
000001d5: REVERT
000001d6: JUMPDEST
000001d7: DUP3
000001d8: ADD
000001d9: DUP4
000001da: PUSH1 0x20
000001dc: DUP3
000001dd: ADD
000001de: GT
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: DUP1
000001ea: CALLDATALOAD
000001eb: SWAP1
000001ec: PUSH1 0x20
000001ee: ADD
000001ef: SWAP2
000001f0: DUP5
000001f1: PUSH1 0x01
000001f3: DUP4
000001f4: MUL
000001f5: DUP5
000001f6: ADD
000001f7: GT
000001f8: PUSH5 0x0100000000
000001fe: DUP4
000001ff: GT
00000200: OR
00000201: ISZERO
00000202: PUSH2 0x020a
00000205: JUMPI
00000206: PUSH1 0x00
00000208: DUP1
00000209: REVERT
0000020a: JUMPDEST
0000020b: SWAP2
0000020c: SWAP1
0000020d: DUP1
0000020e: DUP1
0000020f: PUSH1 0x1f
00000211: ADD
00000212: PUSH1 0x20
00000214: DUP1
00000215: SWAP2
00000216: DIV
00000217: MUL
00000218: PUSH1 0x20
0000021a: ADD
0000021b: PUSH1 0x40
0000021d: MLOAD
0000021e: SWAP1
0000021f: DUP2
00000220: ADD
00000221: PUSH1 0x40
00000223: MSTORE
00000224: DUP1
00000225: SWAP4
00000226: SWAP3
00000227: SWAP2
00000228: SWAP1
00000229: DUP2
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x20
0000022e: ADD
0000022f: DUP4
00000230: DUP4
00000231: DUP1
00000232: DUP3
00000233: DUP5
00000234: CALLDATACOPY
00000235: PUSH1 0x00
00000237: SWAP3
00000238: ADD
00000239: SWAP2
0000023a: SWAP1
0000023b: SWAP2
0000023c: MSTORE
0000023d: POP
0000023e: SWAP3
0000023f: SWAP6
00000240: POP
00000241: PUSH2 0x0439
00000244: SWAP5
00000245: POP
00000246: POP
00000247: POP
00000248: POP
00000249: POP
0000024a: JUMP
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x0091
0000025c: PUSH1 0x04
0000025e: DUP1
0000025f: CALLDATASIZE
00000260: SUB
00000261: PUSH1 0x20
00000263: DUP2
00000264: LT
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: CALLDATALOAD
00000271: PUSH2 0x072c
00000274: JUMP
00000275: JUMPDEST
00000276: CALLVALUE
00000277: DUP1
00000278: ISZERO
00000279: PUSH2 0x0281
0000027c: JUMPI
0000027d: PUSH1 0x00
0000027f: DUP1
00000280: REVERT
00000281: JUMPDEST
00000282: POP
00000283: PUSH2 0x0171
00000286: PUSH1 0x04
00000288: DUP1
00000289: CALLDATASIZE
0000028a: SUB
0000028b: PUSH1 0x60
0000028d: DUP2
0000028e: LT
0000028f: ISZERO
00000290: PUSH2 0x0298
00000293: JUMPI
00000294: PUSH1 0x00
00000296: DUP1
00000297: REVERT
00000298: JUMPDEST
00000299: POP
0000029a: PUSH1 0x01
0000029c: PUSH1 0x01
0000029e: PUSH1 0xa0
000002a0: SHL
000002a1: SUB
000002a2: DUP2
000002a3: CALLDATALOAD
000002a4: AND
000002a5: SWAP1
000002a6: PUSH1 0x20
000002a8: DUP2
000002a9: ADD
000002aa: CALLDATALOAD
000002ab: SWAP1
000002ac: PUSH1 0x40
000002ae: ADD
000002af: CALLDATALOAD
000002b0: PUSH2 0x0759
000002b3: JUMP
000002b4: JUMPDEST
000002b5: CALLVALUE
000002b6: DUP1
000002b7: ISZERO
000002b8: PUSH2 0x02c0
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: POP
000002c2: PUSH2 0x00d4
000002c5: PUSH2 0x078f
000002c8: JUMP
000002c9: JUMPDEST
000002ca: CALLVALUE
000002cb: DUP1
000002cc: ISZERO
000002cd: PUSH2 0x02d5
000002d0: JUMPI
000002d1: PUSH1 0x00
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: POP
000002d7: PUSH2 0x0091
000002da: PUSH1 0x04
000002dc: DUP1
000002dd: CALLDATASIZE
000002de: SUB
000002df: PUSH1 0x20
000002e1: DUP2
000002e2: LT
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: POP
000002ee: CALLDATALOAD
000002ef: PUSH1 0x01
000002f1: PUSH1 0x01
000002f3: PUSH1 0xa0
000002f5: SHL
000002f6: SUB
000002f7: AND
000002f8: PUSH2 0x079e
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x00
000002ff: SLOAD
00000300: PUSH1 0x01
00000302: PUSH1 0x01
00000304: PUSH1 0xa0
00000306: SHL
00000307: SUB
00000308: AND
00000309: CALLER
0000030a: EQ
0000030b: PUSH2 0x0313
0000030e: JUMPI
0000030f: PUSH1 0x00
00000311: DUP1
00000312: REVERT
00000313: JUMPDEST
00000314: PUSH1 0x01
00000316: DUP1
00000317: SLOAD
00000318: DUP3
00000319: ISZERO
0000031a: ISZERO
0000031b: PUSH1 0x01
0000031d: PUSH1 0xa0
0000031f: SHL
00000320: DUP2
00000321: MUL
00000322: PUSH1 0xff
00000324: PUSH1 0xa0
00000326: SHL
00000327: NOT
00000328: SWAP1
00000329: SWAP3
0000032a: AND
0000032b: SWAP2
0000032c: SWAP1
0000032d: SWAP2
0000032e: OR
0000032f: SWAP1
00000330: SWAP2
00000331: SSTORE
00000332: PUSH1 0x40
00000334: DUP1
00000335: MLOAD
00000336: SWAP2
00000337: DUP3
00000338: MSTORE
00000339: MLOAD
0000033a: PUSH32 0x7fa27d7f6d2cf4f6e68295e7649c501659d7567bce48200bfb4361b95a7f135d
0000035b: SWAP2
0000035c: DUP2
0000035d: SWAP1
0000035e: SUB
0000035f: PUSH1 0x20
00000361: ADD
00000362: SWAP1
00000363: LOG1
00000364: POP
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x01
00000369: SLOAD
0000036a: PUSH1 0x01
0000036c: PUSH1 0x01
0000036e: PUSH1 0xa0
00000370: SHL
00000371: SUB
00000372: AND
00000373: DUP2
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH1 0x00
00000378: SLOAD
00000379: PUSH1 0x01
0000037b: PUSH1 0x01
0000037d: PUSH1 0xa0
0000037f: SHL
00000380: SUB
00000381: AND
00000382: CALLER
00000383: EQ
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: PUSH1 0x00
0000038f: SLOAD
00000390: PUSH2 0x03a4
00000393: SWAP1
00000394: DUP4
00000395: SWAP1
00000396: PUSH1 0x01
00000398: PUSH1 0x01
0000039a: PUSH1 0xa0
0000039c: SHL
0000039d: SUB
0000039e: AND
0000039f: DUP4
000003a0: PUSH2 0x080f
000003a3: JUMP
000003a4: JUMPDEST
000003a5: POP
000003a6: POP
000003a7: JUMP
000003a8: JUMPDEST
000003a9: PUSH1 0x00
000003ab: SLOAD
000003ac: PUSH1 0x01
000003ae: PUSH1 0x01
000003b0: PUSH1 0xa0
000003b2: SHL
000003b3: SUB
000003b4: AND
000003b5: CALLER
000003b6: EQ
000003b7: PUSH2 0x03bf
000003ba: JUMPI
000003bb: PUSH1 0x00
000003bd: DUP1
000003be: REVERT
000003bf: JUMPDEST
000003c0: PUSH1 0x00
000003c2: SLOAD
000003c3: PUSH1 0x40
000003c5: DUP1
000003c6: MLOAD
000003c7: PUSH1 0x01
000003c9: PUSH1 0x01
000003cb: PUSH1 0xa0
000003cd: SHL
000003ce: SUB
000003cf: SWAP3
000003d0: DUP4
000003d1: AND
000003d2: DUP2
000003d3: MSTORE
000003d4: SWAP2
000003d5: DUP4
000003d6: AND
000003d7: PUSH1 0x20
000003d9: DUP4
000003da: ADD
000003db: MSTORE
000003dc: DUP1
000003dd: MLOAD
000003de: PUSH32 0x5bb496b3f951b55d3a1d8e479725a4d25bdc7644fc355f0b71c540354820a1c5
000003ff: SWAP3
00000400: DUP2
00000401: SWAP1
00000402: SUB
00000403: SWAP1
00000404: SWAP2
00000405: ADD
00000406: SWAP1
00000407: LOG1
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: SLOAD
0000040c: PUSH1 0x01
0000040e: PUSH1 0x01
00000410: PUSH1 0xa0
00000412: SHL
00000413: SUB
00000414: NOT
00000415: AND
00000416: PUSH1 0x01
00000418: PUSH1 0x01
0000041a: PUSH1 0xa0
0000041c: SHL
0000041d: SUB
0000041e: SWAP3
0000041f: SWAP1
00000420: SWAP3
00000421: AND
00000422: SWAP2
00000423: SWAP1
00000424: SWAP2
00000425: OR
00000426: SWAP1
00000427: SSTORE
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH1 0x01
0000042c: SLOAD
0000042d: PUSH1 0x01
0000042f: PUSH1 0xa0
00000431: SHL
00000432: SWAP1
00000433: DIV
00000434: PUSH1 0xff
00000436: AND
00000437: DUP2
00000438: JUMP
00000439: JUMPDEST
0000043a: PUSH1 0x01
0000043c: SLOAD
0000043d: PUSH1 0x40
0000043f: MLOAD
00000440: PUSH4 0x0d744afd
00000445: PUSH1 0xe1
00000447: SHL
00000448: DUP2
00000449: MSTORE
0000044a: PUSH1 0x01
0000044c: PUSH1 0x01
0000044e: PUSH1 0xa0
00000450: SHL
00000451: SUB
00000452: SWAP1
00000453: SWAP2
00000454: AND
00000455: PUSH1 0x04
00000457: DUP3
00000458: ADD
00000459: DUP2
0000045a: DUP2
0000045b: MSTORE
0000045c: CALLER
0000045d: PUSH1 0x24
0000045f: DUP5
00000460: ADD
00000461: DUP2
00000462: SWAP1
00000463: MSTORE
00000464: PUSH1 0x44
00000466: DUP5
00000467: ADD
00000468: DUP9
00000469: SWAP1
0000046a: MSTORE
0000046b: PUSH1 0x64
0000046d: DUP5
0000046e: ADD
0000046f: DUP8
00000470: SWAP1
00000471: MSTORE
00000472: PUSH1 0x84
00000474: DUP5
00000475: ADD
00000476: DUP7
00000477: SWAP1
00000478: MSTORE
00000479: PUSH1 0xc0
0000047b: PUSH1 0xa4
0000047d: DUP6
0000047e: ADD
0000047f: SWAP1
00000480: DUP2
00000481: MSTORE
00000482: DUP6
00000483: MLOAD
00000484: PUSH1 0xc4
00000486: DUP7
00000487: ADD
00000488: MSTORE
00000489: DUP6
0000048a: MLOAD
0000048b: PUSH20 0xa72f694621a39777f38eea759b2cb5de27a2a25e
000004a0: SWAP6
000004a1: PUSH4 0x1ae895fa
000004a6: SWAP6
000004a7: SWAP5
000004a8: DUP12
000004a9: SWAP4
000004aa: DUP12
000004ab: SWAP4
000004ac: DUP12
000004ad: SWAP4
000004ae: DUP12
000004af: SWAP4
000004b0: SWAP3
000004b1: SWAP2
000004b2: PUSH1 0xe4
000004b4: SWAP1
000004b5: SWAP2
000004b6: ADD
000004b7: SWAP1
000004b8: PUSH1 0x20
000004ba: DUP6
000004bb: ADD
000004bc: SWAP1
000004bd: DUP1
000004be: DUP4
000004bf: DUP4
000004c0: PUSH1 0x00
000004c2: JUMPDEST
000004c3: DUP4
000004c4: DUP2
000004c5: LT
000004c6: ISZERO
000004c7: PUSH2 0x04da
000004ca: JUMPI
000004cb: DUP2
000004cc: DUP2
000004cd: ADD
000004ce: MLOAD
000004cf: DUP4
000004d0: DUP3
000004d1: ADD
000004d2: MSTORE
000004d3: PUSH1 0x20
000004d5: ADD
000004d6: PUSH2 0x04c2
000004d9: JUMP
000004da: JUMPDEST
000004db: POP
000004dc: POP
000004dd: POP
000004de: POP
000004df: SWAP1
000004e0: POP
000004e1: SWAP1
000004e2: DUP2
000004e3: ADD
000004e4: SWAP1
000004e5: PUSH1 0x1f
000004e7: AND
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x0507
000004ed: JUMPI
000004ee: DUP1
000004ef: DUP3
000004f0: SUB
000004f1: DUP1
000004f2: MLOAD
000004f3: PUSH1 0x01
000004f5: DUP4
000004f6: PUSH1 0x20
000004f8: SUB
000004f9: PUSH2 0x0100
000004fc: EXP
000004fd: SUB
000004fe: NOT
000004ff: AND
00000500: DUP2
00000501: MSTORE
00000502: PUSH1 0x20
00000504: ADD
00000505: SWAP2
00000506: POP
00000507: JUMPDEST
00000508: POP
00000509: SWAP8
0000050a: POP
0000050b: POP
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: POP
00000510: POP
00000511: POP
00000512: PUSH1 0x20
00000514: PUSH1 0x40
00000516: MLOAD
00000517: DUP1
00000518: DUP4
00000519: SUB
0000051a: DUP2
0000051b: DUP7
0000051c: DUP1
0000051d: EXTCODESIZE
0000051e: ISZERO
0000051f: DUP1
00000520: ISZERO
00000521: PUSH2 0x0529
00000524: JUMPI
00000525: PUSH1 0x00
00000527: DUP1
00000528: REVERT
00000529: JUMPDEST
0000052a: POP
0000052b: GAS
0000052c: DELEGATECALL
0000052d: ISZERO
0000052e: DUP1
0000052f: ISZERO
00000530: PUSH2 0x053d
00000533: JUMPI
00000534: RETURNDATASIZE
00000535: PUSH1 0x00
00000537: DUP1
00000538: RETURNDATACOPY
00000539: RETURNDATASIZE
0000053a: PUSH1 0x00
0000053c: REVERT
0000053d: JUMPDEST
0000053e: POP
0000053f: POP
00000540: POP
00000541: POP
00000542: PUSH1 0x40
00000544: MLOAD
00000545: RETURNDATASIZE
00000546: PUSH1 0x20
00000548: DUP2
00000549: LT
0000054a: ISZERO
0000054b: PUSH2 0x0553
0000054e: JUMPI
0000054f: PUSH1 0x00
00000551: DUP1
00000552: REVERT
00000553: JUMPDEST
00000554: POP
00000555: MLOAD
00000556: PUSH2 0x059a
00000559: JUMPI
0000055a: PUSH1 0x40
0000055c: DUP1
0000055d: MLOAD
0000055e: PUSH3 0x461bcd
00000562: PUSH1 0xe5
00000564: SHL
00000565: DUP2
00000566: MSTORE
00000567: PUSH1 0x20
00000569: PUSH1 0x04
0000056b: DUP3
0000056c: ADD
0000056d: MSTORE
0000056e: PUSH1 0x11
00000570: PUSH1 0x24
00000572: DUP3
00000573: ADD
00000574: MSTORE
00000575: PUSH17 0x696e76616c6964207369676e6174757265
00000587: PUSH1 0x78
00000589: SHL
0000058a: PUSH1 0x44
0000058c: DUP3
0000058d: ADD
0000058e: MSTORE
0000058f: SWAP1
00000590: MLOAD
00000591: SWAP1
00000592: DUP2
00000593: SWAP1
00000594: SUB
00000595: PUSH1 0x64
00000597: ADD
00000598: SWAP1
00000599: REVERT
0000059a: JUMPDEST
0000059b: DUP2
0000059c: SELFBALANCE
0000059d: LT
0000059e: ISZERO
0000059f: PUSH2 0x05ef
000005a2: JUMPI
000005a3: PUSH1 0x40
000005a5: DUP1
000005a6: MLOAD
000005a7: PUSH3 0x461bcd
000005ab: PUSH1 0xe5
000005ad: SHL
000005ae: DUP2
000005af: MSTORE
000005b0: PUSH1 0x20
000005b2: PUSH1 0x04
000005b4: DUP3
000005b5: ADD
000005b6: MSTORE
000005b7: PUSH1 0x1d
000005b9: PUSH1 0x24
000005bb: DUP3
000005bc: ADD
000005bd: MSTORE
000005be: PUSH32 0x747265617375727920696e73756666696369656e742062616c616e6365000000
000005df: PUSH1 0x44
000005e1: DUP3
000005e2: ADD
000005e3: MSTORE
000005e4: SWAP1
000005e5: MLOAD
000005e6: SWAP1
000005e7: DUP2
000005e8: SWAP1
000005e9: SUB
000005ea: PUSH1 0x64
000005ec: ADD
000005ed: SWAP1
000005ee: REVERT
000005ef: JUMPDEST
000005f0: CALLER
000005f1: PUSH1 0x00
000005f3: SWAP1
000005f4: DUP2
000005f5: MSTORE
000005f6: PUSH1 0x02
000005f8: PUSH1 0x20
000005fa: SWAP1
000005fb: DUP2
000005fc: MSTORE
000005fd: PUSH1 0x40
000005ff: DUP1
00000600: DUP4
00000601: KECCAK256
00000602: DUP8
00000603: DUP5
00000604: MSTORE
00000605: DUP3
00000606: MSTORE
00000607: DUP1
00000608: DUP4
00000609: KECCAK256
0000060a: DUP7
0000060b: DUP5
0000060c: MSTORE
0000060d: SWAP1
0000060e: SWAP2
0000060f: MSTORE
00000610: SWAP1
00000611: KECCAK256
00000612: SLOAD
00000613: PUSH1 0xff
00000615: AND
00000616: ISZERO
00000617: PUSH2 0x0658
0000061a: JUMPI
0000061b: PUSH1 0x40
0000061d: DUP1
0000061e: MLOAD
0000061f: PUSH3 0x461bcd
00000623: PUSH1 0xe5
00000625: SHL
00000626: DUP2
00000627: MSTORE
00000628: PUSH1 0x20
0000062a: PUSH1 0x04
0000062c: DUP3
0000062d: ADD
0000062e: MSTORE
0000062f: PUSH1 0x0e
00000631: PUSH1 0x24
00000633: DUP3
00000634: ADD
00000635: MSTORE
00000636: PUSH14 0x1c995dd85c990818db185a5b5959
00000645: PUSH1 0x92
00000647: SHL
00000648: PUSH1 0x44
0000064a: DUP3
0000064b: ADD
0000064c: MSTORE
0000064d: SWAP1
0000064e: MLOAD
0000064f: SWAP1
00000650: DUP2
00000651: SWAP1
00000652: SUB
00000653: PUSH1 0x64
00000655: ADD
00000656: SWAP1
00000657: REVERT
00000658: JUMPDEST
00000659: PUSH1 0x01
0000065b: SLOAD
0000065c: PUSH1 0x01
0000065e: PUSH1 0xa0
00000660: SHL
00000661: SWAP1
00000662: DIV
00000663: PUSH1 0xff
00000665: AND
00000666: ISZERO
00000667: PUSH2 0x06a6
0000066a: JUMPI
0000066b: PUSH1 0x40
0000066d: DUP1
0000066e: MLOAD
0000066f: PUSH3 0x461bcd
00000673: PUSH1 0xe5
00000675: SHL
00000676: DUP2
00000677: MSTORE
00000678: PUSH1 0x20
0000067a: PUSH1 0x04
0000067c: DUP3
0000067d: ADD
0000067e: MSTORE
0000067f: PUSH1 0x0c
00000681: PUSH1 0x24
00000683: DUP3
00000684: ADD
00000685: MSTORE
00000686: PUSH12 0x18db185a5b481c185d5cd959
00000693: PUSH1 0xa2
00000695: SHL
00000696: PUSH1 0x44
00000698: DUP3
00000699: ADD
0000069a: MSTORE
0000069b: SWAP1
0000069c: MLOAD
0000069d: SWAP1
0000069e: DUP2
0000069f: SWAP1
000006a0: SUB
000006a1: PUSH1 0x64
000006a3: ADD
000006a4: SWAP1
000006a5: REVERT
000006a6: JUMPDEST
000006a7: PUSH2 0x06b0
000006aa: CALLER
000006ab: DUP4
000006ac: PUSH2 0x0963
000006af: JUMP
000006b0: JUMPDEST
000006b1: CALLER
000006b2: PUSH1 0x00
000006b4: DUP2
000006b5: DUP2
000006b6: MSTORE
000006b7: PUSH1 0x02
000006b9: PUSH1 0x20
000006bb: SWAP1
000006bc: DUP2
000006bd: MSTORE
000006be: PUSH1 0x40
000006c0: DUP1
000006c1: DUP4
000006c2: KECCAK256
000006c3: DUP9
000006c4: DUP5
000006c5: MSTORE
000006c6: DUP3
000006c7: MSTORE
000006c8: DUP1
000006c9: DUP4
000006ca: KECCAK256
000006cb: DUP8
000006cc: DUP5
000006cd: MSTORE
000006ce: DUP3
000006cf: MSTORE
000006d0: SWAP2
000006d1: DUP3
000006d2: SWAP1
000006d3: KECCAK256
000006d4: DUP1
000006d5: SLOAD
000006d6: PUSH1 0xff
000006d8: NOT
000006d9: AND
000006da: PUSH1 0x01
000006dc: OR
000006dd: SWAP1
000006de: SSTORE
000006df: DUP2
000006e0: MLOAD
000006e1: SWAP3
000006e2: DUP4
000006e3: MSTORE
000006e4: DUP3
000006e5: ADD
000006e6: DUP7
000006e7: SWAP1
000006e8: MSTORE
000006e9: DUP2
000006ea: DUP2
000006eb: ADD
000006ec: DUP6
000006ed: SWAP1
000006ee: MSTORE
000006ef: PUSH1 0x60
000006f1: DUP3
000006f2: ADD
000006f3: DUP5
000006f4: SWAP1
000006f5: MSTORE
000006f6: TIMESTAMP
000006f7: PUSH1 0x80
000006f9: DUP4
000006fa: ADD
000006fb: MSTORE
000006fc: MLOAD
000006fd: PUSH32 0x68e1caf97c4c29c1ac46024e9590f80b7a1f690d393703879cf66eea4e1e8421
0000071e: SWAP2
0000071f: DUP2
00000720: SWAP1
00000721: SUB
00000722: PUSH1 0xa0
00000724: ADD
00000725: SWAP1
00000726: LOG1
00000727: POP
00000728: POP
00000729: POP
0000072a: POP
0000072b: JUMP
0000072c: JUMPDEST
0000072d: PUSH1 0x00
0000072f: SLOAD
00000730: PUSH1 0x01
00000732: PUSH1 0x01
00000734: PUSH1 0xa0
00000736: SHL
00000737: SUB
00000738: AND
00000739: CALLER
0000073a: EQ
0000073b: PUSH2 0x0743
0000073e: JUMPI
0000073f: PUSH1 0x00
00000741: DUP1
00000742: REVERT
00000743: JUMPDEST
00000744: PUSH1 0x00
00000746: SLOAD
00000747: PUSH1 0x01
00000749: PUSH1 0x01
0000074b: PUSH1 0xa0
0000074d: SHL
0000074e: SUB
0000074f: AND
00000750: PUSH2 0x03a4
00000753: DUP2
00000754: DUP4
00000755: PUSH2 0x0963
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH1 0x01
0000075c: PUSH1 0x01
0000075e: PUSH1 0xa0
00000760: SHL
00000761: SUB
00000762: DUP4
00000763: AND
00000764: PUSH1 0x00
00000766: SWAP1
00000767: DUP2
00000768: MSTORE
00000769: PUSH1 0x02
0000076b: PUSH1 0x20
0000076d: SWAP1
0000076e: DUP2
0000076f: MSTORE
00000770: PUSH1 0x40
00000772: DUP1
00000773: DUP4
00000774: KECCAK256
00000775: DUP6
00000776: DUP5
00000777: MSTORE
00000778: DUP3
00000779: MSTORE
0000077a: DUP1
0000077b: DUP4
0000077c: KECCAK256
0000077d: DUP5
0000077e: DUP5
0000077f: MSTORE
00000780: SWAP1
00000781: SWAP2
00000782: MSTORE
00000783: SWAP1
00000784: KECCAK256
00000785: SLOAD
00000786: PUSH1 0xff
00000788: AND
00000789: SWAP4
0000078a: SWAP3
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH1 0x00
00000792: SLOAD
00000793: PUSH1 0x01
00000795: PUSH1 0x01
00000797: PUSH1 0xa0
00000799: SHL
0000079a: SUB
0000079b: AND
0000079c: DUP2
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH1 0x00
000007a1: SLOAD
000007a2: PUSH1 0x01
000007a4: PUSH1 0x01
000007a6: PUSH1 0xa0
000007a8: SHL
000007a9: SUB
000007aa: AND
000007ab: CALLER
000007ac: EQ
000007ad: PUSH2 0x07b5
000007b0: JUMPI
000007b1: PUSH1 0x00
000007b3: DUP1
000007b4: REVERT
000007b5: JUMPDEST
000007b6: PUSH1 0x01
000007b8: DUP1
000007b9: SLOAD
000007ba: PUSH1 0x01
000007bc: PUSH1 0x01
000007be: PUSH1 0xa0
000007c0: SHL
000007c1: SUB
000007c2: NOT
000007c3: AND
000007c4: PUSH1 0x01
000007c6: PUSH1 0x01
000007c8: PUSH1 0xa0
000007ca: SHL
000007cb: SUB
000007cc: DUP4
000007cd: DUP2
000007ce: AND
000007cf: SWAP2
000007d0: SWAP1
000007d1: SWAP2
000007d2: OR
000007d3: SWAP2
000007d4: DUP3
000007d5: SWAP1
000007d6: SSTORE
000007d7: PUSH1 0x40
000007d9: DUP1
000007da: MLOAD
000007db: SWAP3
000007dc: SWAP1
000007dd: SWAP2
000007de: AND
000007df: DUP3
000007e0: MSTORE
000007e1: MLOAD
000007e2: PUSH32 0xc58fcf255cfb5f40bd578a618869378f650ef76609640fa0818a31e0c6e7102a
00000803: SWAP2
00000804: PUSH1 0x20
00000806: SWAP1
00000807: DUP3
00000808: SWAP1
00000809: SUB
0000080a: ADD
0000080b: SWAP1
0000080c: LOG1
0000080d: POP
0000080e: JUMP
0000080f: JUMPDEST
00000810: PUSH1 0x40
00000812: DUP1
00000813: MLOAD
00000814: PUSH1 0x01
00000816: PUSH1 0x01
00000818: PUSH1 0xa0
0000081a: SHL
0000081b: SUB
0000081c: DUP5
0000081d: DUP2
0000081e: AND
0000081f: PUSH1 0x24
00000821: DUP4
00000822: ADD
00000823: MSTORE
00000824: PUSH1 0x44
00000826: DUP1
00000827: DUP4
00000828: ADD
00000829: DUP6
0000082a: SWAP1
0000082b: MSTORE
0000082c: DUP4
0000082d: MLOAD
0000082e: DUP1
0000082f: DUP5
00000830: SUB
00000831: SWAP1
00000832: SWAP2
00000833: ADD
00000834: DUP2
00000835: MSTORE
00000836: PUSH1 0x64
00000838: SWAP1
00000839: SWAP3
0000083a: ADD
0000083b: DUP4
0000083c: MSTORE
0000083d: PUSH1 0x20
0000083f: DUP3
00000840: ADD
00000841: DUP1
00000842: MLOAD
00000843: PUSH1 0x01
00000845: PUSH1 0x01
00000847: PUSH1 0xe0
00000849: SHL
0000084a: SUB
0000084b: AND
0000084c: PUSH4 0xa9059cbb
00000851: PUSH1 0xe0
00000853: SHL
00000854: OR
00000855: DUP2
00000856: MSTORE
00000857: SWAP3
00000858: MLOAD
00000859: DUP3
0000085a: MLOAD
0000085b: PUSH1 0x00
0000085d: SWAP5
0000085e: PUSH1 0x60
00000860: SWAP5
00000861: SWAP4
00000862: DUP10
00000863: AND
00000864: SWAP4
00000865: SWAP3
00000866: SWAP2
00000867: DUP3
00000868: SWAP2
00000869: SWAP1
0000086a: DUP1
0000086b: DUP4
0000086c: DUP4
0000086d: JUMPDEST
0000086e: PUSH1 0x20
00000870: DUP4
00000871: LT
00000872: PUSH2 0x088c
00000875: JUMPI
00000876: DUP1
00000877: MLOAD
00000878: DUP3
00000879: MSTORE
0000087a: PUSH1 0x1f
0000087c: NOT
0000087d: SWAP1
0000087e: SWAP3
0000087f: ADD
00000880: SWAP2
00000881: PUSH1 0x20
00000883: SWAP2
00000884: DUP3
00000885: ADD
00000886: SWAP2
00000887: ADD
00000888: PUSH2 0x086d
0000088b: JUMP
0000088c: JUMPDEST
0000088d: PUSH1 0x01
0000088f: DUP4
00000890: PUSH1 0x20
00000892: SUB
00000893: PUSH2 0x0100
00000896: EXP
00000897: SUB
00000898: DUP1
00000899: NOT
0000089a: DUP3
0000089b: MLOAD
0000089c: AND
0000089d: DUP2
0000089e: DUP5
0000089f: MLOAD
000008a0: AND
000008a1: DUP1
000008a2: DUP3
000008a3: OR
000008a4: DUP6
000008a5: MSTORE
000008a6: POP
000008a7: POP
000008a8: POP
000008a9: POP
000008aa: POP
000008ab: POP
000008ac: SWAP1
000008ad: POP
000008ae: ADD
000008af: SWAP2
000008b0: POP
000008b1: POP
000008b2: PUSH1 0x00
000008b4: PUSH1 0x40
000008b6: MLOAD
000008b7: DUP1
000008b8: DUP4
000008b9: SUB
000008ba: DUP2
000008bb: PUSH1 0x00
000008bd: DUP7
000008be: GAS
000008bf: CALL
000008c0: SWAP2
000008c1: POP
000008c2: POP
000008c3: RETURNDATASIZE
000008c4: DUP1
000008c5: PUSH1 0x00
000008c7: DUP2
000008c8: EQ
000008c9: PUSH2 0x08ee
000008cc: JUMPI
000008cd: PUSH1 0x40
000008cf: MLOAD
000008d0: SWAP2
000008d1: POP
000008d2: PUSH1 0x1f
000008d4: NOT
000008d5: PUSH1 0x3f
000008d7: RETURNDATASIZE
000008d8: ADD
000008d9: AND
000008da: DUP3
000008db: ADD
000008dc: PUSH1 0x40
000008de: MSTORE
000008df: RETURNDATASIZE
000008e0: DUP3
000008e1: MSTORE
000008e2: RETURNDATASIZE
000008e3: PUSH1 0x00
000008e5: PUSH1 0x20
000008e7: DUP5
000008e8: ADD
000008e9: RETURNDATACOPY
000008ea: PUSH2 0x08f3
000008ed: JUMP
000008ee: JUMPDEST
000008ef: PUSH1 0x60
000008f1: SWAP2
000008f2: POP
000008f3: JUMPDEST
000008f4: POP
000008f5: SWAP2
000008f6: POP
000008f7: SWAP2
000008f8: POP
000008f9: DUP2
000008fa: DUP1
000008fb: ISZERO
000008fc: PUSH2 0x0921
000008ff: JUMPI
00000900: POP
00000901: DUP1
00000902: MLOAD
00000903: ISZERO
00000904: DUP1
00000905: PUSH2 0x0921
00000908: JUMPI
00000909: POP
0000090a: DUP1
0000090b: DUP1
0000090c: PUSH1 0x20
0000090e: ADD
0000090f: SWAP1
00000910: MLOAD
00000911: PUSH1 0x20
00000913: DUP2
00000914: LT
00000915: ISZERO
00000916: PUSH2 0x091e
00000919: JUMPI
0000091a: PUSH1 0x00
0000091c: DUP1
0000091d: REVERT
0000091e: JUMPDEST
0000091f: POP
00000920: MLOAD
00000921: JUMPDEST
00000922: PUSH2 0x095c
00000925: JUMPI
00000926: PUSH1 0x40
00000928: MLOAD
00000929: PUSH3 0x461bcd
0000092d: PUSH1 0xe5
0000092f: SHL
00000930: DUP2
00000931: MSTORE
00000932: PUSH1 0x04
00000934: ADD
00000935: DUP1
00000936: DUP1
00000937: PUSH1 0x20
00000939: ADD
0000093a: DUP3
0000093b: DUP2
0000093c: SUB
0000093d: DUP3
0000093e: MSTORE
0000093f: PUSH1 0x2d
00000941: DUP2
00000942: MSTORE
00000943: PUSH1 0x20
00000945: ADD
00000946: DUP1
00000947: PUSH2 0x0a90
0000094a: PUSH1 0x2d
0000094c: SWAP2
0000094d: CODECOPY
0000094e: PUSH1 0x40
00000950: ADD
00000951: SWAP2
00000952: POP
00000953: POP
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: SWAP2
00000959: SUB
0000095a: SWAP1
0000095b: REVERT
0000095c: JUMPDEST
0000095d: POP
0000095e: POP
0000095f: POP
00000960: POP
00000961: POP
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH1 0x40
00000966: DUP1
00000967: MLOAD
00000968: PUSH1 0x00
0000096a: DUP1
0000096b: DUP3
0000096c: MSTORE
0000096d: PUSH1 0x20
0000096f: DUP3
00000970: ADD
00000971: SWAP1
00000972: SWAP3
00000973: MSTORE
00000974: PUSH1 0x01
00000976: PUSH1 0x01
00000978: PUSH1 0xa0
0000097a: SHL
0000097b: SUB
0000097c: DUP5
0000097d: AND
0000097e: SWAP1
0000097f: DUP4
00000980: SWAP1
00000981: PUSH1 0x40
00000983: MLOAD
00000984: DUP1
00000985: DUP3
00000986: DUP1
00000987: MLOAD
00000988: SWAP1
00000989: PUSH1 0x20
0000098b: ADD
0000098c: SWAP1
0000098d: DUP1
0000098e: DUP4
0000098f: DUP4
00000990: JUMPDEST
00000991: PUSH1 0x20
00000993: DUP4
00000994: LT
00000995: PUSH2 0x09af
00000998: JUMPI
00000999: DUP1
0000099a: MLOAD
0000099b: DUP3
0000099c: MSTORE
0000099d: PUSH1 0x1f
0000099f: NOT
000009a0: SWAP1
000009a1: SWAP3
000009a2: ADD
000009a3: SWAP2
000009a4: PUSH1 0x20
000009a6: SWAP2
000009a7: DUP3
000009a8: ADD
000009a9: SWAP2
000009aa: ADD
000009ab: PUSH2 0x0990
000009ae: JUMP
000009af: JUMPDEST
000009b0: PUSH1 0x01
000009b2: DUP4
000009b3: PUSH1 0x20
000009b5: SUB
000009b6: PUSH2 0x0100
000009b9: EXP
000009ba: SUB
000009bb: DUP1
000009bc: NOT
000009bd: DUP3
000009be: MLOAD
000009bf: AND
000009c0: DUP2
000009c1: DUP5
000009c2: MLOAD
000009c3: AND
000009c4: DUP1
000009c5: DUP3
000009c6: OR
000009c7: DUP6
000009c8: MSTORE
000009c9: POP
000009ca: POP
000009cb: POP
000009cc: POP
000009cd: POP
000009ce: POP
000009cf: SWAP1
000009d0: POP
000009d1: ADD
000009d2: SWAP2
000009d3: POP
000009d4: POP
000009d5: PUSH1 0x00
000009d7: PUSH1 0x40
000009d9: MLOAD
000009da: DUP1
000009db: DUP4
000009dc: SUB
000009dd: DUP2
000009de: DUP6
000009df: DUP8
000009e0: GAS
000009e1: CALL
000009e2: SWAP3
000009e3: POP
000009e4: POP
000009e5: POP
000009e6: RETURNDATASIZE
000009e7: DUP1
000009e8: PUSH1 0x00
000009ea: DUP2
000009eb: EQ
000009ec: PUSH2 0x0a11
000009ef: JUMPI
000009f0: PUSH1 0x40
000009f2: MLOAD
000009f3: SWAP2
000009f4: POP
000009f5: PUSH1 0x1f
000009f7: NOT
000009f8: PUSH1 0x3f
000009fa: RETURNDATASIZE
000009fb: ADD
000009fc: AND
000009fd: DUP3
000009fe: ADD
000009ff: PUSH1 0x40
00000a01: MSTORE
00000a02: RETURNDATASIZE
00000a03: DUP3
00000a04: MSTORE
00000a05: RETURNDATASIZE
00000a06: PUSH1 0x00
00000a08: PUSH1 0x20
00000a0a: DUP5
00000a0b: ADD
00000a0c: RETURNDATACOPY
00000a0d: PUSH2 0x0a16
00000a10: JUMP
00000a11: JUMPDEST
00000a12: PUSH1 0x60
00000a14: SWAP2
00000a15: POP
00000a16: JUMPDEST
00000a17: POP
00000a18: POP
00000a19: SWAP1
00000a1a: POP
00000a1b: DUP1
00000a1c: PUSH2 0x0a56
00000a1f: JUMPI
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: PUSH3 0x461bcd
00000a27: PUSH1 0xe5
00000a29: SHL
00000a2a: DUP2
00000a2b: MSTORE
00000a2c: PUSH1 0x04
00000a2e: ADD
00000a2f: DUP1
00000a30: DUP1
00000a31: PUSH1 0x20
00000a33: ADD
00000a34: DUP3
00000a35: DUP2
00000a36: SUB
00000a37: DUP3
00000a38: MSTORE
00000a39: PUSH1 0x34
00000a3b: DUP2
00000a3c: MSTORE
00000a3d: PUSH1 0x20
00000a3f: ADD
00000a40: DUP1
00000a41: PUSH2 0x0a5c
00000a44: PUSH1 0x34
00000a46: SWAP2
00000a47: CODECOPY
00000a48: PUSH1 0x40
00000a4a: ADD
00000a4b: SWAP2
00000a4c: POP
00000a4d: POP
00000a4e: PUSH1 0x40
00000a50: MLOAD
00000a51: DUP1
00000a52: SWAP2
00000a53: SUB
00000a54: SWAP1
00000a55: REVERT
00000a56: JUMPDEST
00000a57: POP
00000a58: POP
00000a59: POP
00000a5a: JUMP
00000a5b: INVALID
00000a5c: SLOAD
00000a5d: PUSH19 0x616e7366657248656c7065723a3a7361666554
00000a71: PUSH19 0x616e736665724554483a20455448207472616e
00000a85: PUSH20 0x666572206661696c65645472616e736665724865
00000a9a: PUSH13 0x7065723a3a736166655472616e
00000aa8: PUSH20 0x6665723a207472616e73666572206661696c6564
00000abd: LOG2
00000abe: PUSH5 0x6970667358
00000ac4: UNKNOWN(0x22)
00000ac5: SLT
00000ac6: KECCAK256
00000ac7: CALLDATACOPY
00000ac8: UNKNOWN(0xBB)
00000ac9: UNKNOWN(0xDD)
00000aca: LOG4
00000acb: UNKNOWN(0x25)
00000acc: PUSH27 0xa1be63e17d3997636a32e77e74819ae5f021db6b162f0b55070864
00000ae8: PUSH20

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: 0x6b65d597f08467de046afe4affd21d73c1fec362279c12b4caa41e13273a77a0 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 120, "trace_id": "0x6b65d597f08467de046afe4affd21d73c1fec362279c12b4caa41e13273a77a0", "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": "0x6548b7ae", "selector": "0x6548b7ae", "calldata_variants": [ "0x6548b7ae", "0x6548b7ae0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x67c7c945", "selector": "0x67c7c945", "calldata_variants": [ "0x67c7c945", "0x67c7c9450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7375f4ed", "selector": "0x7375f4ed", "calldata_variants": [ "0x7375f4ed", "0x7375f4ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa7ecd37e", "selector": "0xa7ecd37e", "calldata_variants": [ "0xa7ecd37e", "0xa7ecd37e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x08cdc2a8", "selector": "0x08cdc2a8", "calldata_variants": [ "0x08cdc2a8", "0x08cdc2a80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x238ac933", "selector": "0x238ac933", "calldata_variants": [ "0x238ac933", "0x238ac9330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x25f11e82", "selector": "0x25f11e82", "calldata_variants": [ "0x25f11e82", "0x25f11e820000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1324, "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: 0x7ae611e191c8c0483df54a4fcf1235c2399ea7b1a9be7c523ec7e1d261d4d770 call_targets: 0x7e564a95c03d97a8074a24e90c1125a45e9af5f7 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7ae611e191c8c0483df54a4fcf1235c2399ea7b1a9be7c523ec7e1d261d4d770", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x7e564a95c03d97a8074a24e90c1125a45e9af5f7" ], "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": "0x6548b7ae", "selector": "0x6548b7ae", "calldata_variants": [ "0x6548b7ae", "0x6548b7ae0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x67c7c945", "selector": "0x67c7c945", "calldata_variants": [ "0x67c7c945", "0x67c7c9450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7375f4ed", "selector": "0x7375f4ed", "calldata_variants": [ "0x7375f4ed", "0x7375f4ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa7ecd37e", "selector": "0xa7ecd37e", "calldata_variants": [ "0xa7ecd37e", "0xa7ecd37e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x08cdc2a8", "selector": "0x08cdc2a8", "calldata_variants": [ "0x08cdc2a8", "0x08cdc2a80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x238ac933", "selector": "0x238ac933", "calldata_variants": [ "0x238ac933", "0x238ac9330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x25f11e82", "selector": "0x25f11e82", "calldata_variants": [ "0x25f11e82", "0x25f11e820000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2239, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2529, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x7ae611e191c8c0483df54a4fcf1235c2399ea7b1a9be7c523ec7e1d261d4d770 call_targets: 0x7e564a95c03d97a8074a24e90c1125a45e9af5f7 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7ae611e191c8c0483df54a4fcf1235c2399ea7b1a9be7c523ec7e1d261d4d770", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x7e564a95c03d97a8074a24e90c1125a45e9af5f7" ], "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": "0x6548b7ae", "selector": "0x6548b7ae", "calldata_variants": [ "0x6548b7ae", "0x6548b7ae0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x67c7c945", "selector": "0x67c7c945", "calldata_variants": [ "0x67c7c945", "0x67c7c9450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7375f4ed", "selector": "0x7375f4ed", "calldata_variants": [ "0x7375f4ed", "0x7375f4ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa7ecd37e", "selector": "0xa7ecd37e", "calldata_variants": [ "0xa7ecd37e", "0xa7ecd37e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x08cdc2a8", "selector": "0x08cdc2a8", "calldata_variants": [ "0x08cdc2a8", "0x08cdc2a80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x238ac933", "selector": "0x238ac933", "calldata_variants": [ "0x238ac933", "0x238ac9330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x25f11e82", "selector": "0x25f11e82", "calldata_variants": [ "0x25f11e82", "0x25f11e820000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2239, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2529, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

critical

upgradeability

detector

Untrusted DELEGATECALL target reachable

70

no

view

trace_id: 0x6b65d597f08467de046afe4affd21d73c1fec362279c12b4caa41e13273a77a0

validation_json

{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 120,
    "trace_id": "0x6b65d597f08467de046afe4affd21d73c1fec362279c12b4caa41e13273a77a0",
    "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": "0x6548b7ae",
            "selector": "0x6548b7ae",
            "calldata_variants": [
                "0x6548b7ae",
                "0x6548b7ae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x67c7c945",
            "selector": "0x67c7c945",
            "calldata_variants": [
                "0x67c7c945",
                "0x67c7c9450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7375f4ed",
            "selector": "0x7375f4ed",
            "calldata_variants": [
                "0x7375f4ed",
                "0x7375f4ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7ecd37e",
            "selector": "0xa7ecd37e",
            "calldata_variants": [
                "0xa7ecd37e",
                "0xa7ecd37e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08cdc2a8",
            "selector": "0x08cdc2a8",
            "calldata_variants": [
                "0x08cdc2a8",
                "0x08cdc2a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x238ac933",
            "selector": "0x238ac933",
            "calldata_variants": [
                "0x238ac933",
                "0x238ac9330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x25f11e82",
            "selector": "0x25f11e82",
            "calldata_variants": [
                "0x25f11e82",
                "0x25f11e820000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1324,
            "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

view

trace_id: 0x7ae611e191c8c0483df54a4fcf1235c2399ea7b1a9be7c523ec7e1d261d4d770

call_targets: 0x7e564a95c03d97a8074a24e90c1125a45e9af5f7

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7ae611e191c8c0483df54a4fcf1235c2399ea7b1a9be7c523ec7e1d261d4d770",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7e564a95c03d97a8074a24e90c1125a45e9af5f7"
    ],
    "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": "0x6548b7ae",
            "selector": "0x6548b7ae",
            "calldata_variants": [
                "0x6548b7ae",
                "0x6548b7ae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x67c7c945",
            "selector": "0x67c7c945",
            "calldata_variants": [
                "0x67c7c945",
                "0x67c7c9450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7375f4ed",
            "selector": "0x7375f4ed",
            "calldata_variants": [
                "0x7375f4ed",
                "0x7375f4ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7ecd37e",
            "selector": "0xa7ecd37e",
            "calldata_variants": [
                "0xa7ecd37e",
                "0xa7ecd37e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08cdc2a8",
            "selector": "0x08cdc2a8",
            "calldata_variants": [
                "0x08cdc2a8",
                "0x08cdc2a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x238ac933",
            "selector": "0x238ac933",
            "calldata_variants": [
                "0x238ac933",
                "0x238ac9330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x25f11e82",
            "selector": "0x25f11e82",
            "calldata_variants": [
                "0x25f11e82",
                "0x25f11e820000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 2239,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2529,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}

high

other

detector

ETH value transfer possible

55

no

view

trace_id: 0x7ae611e191c8c0483df54a4fcf1235c2399ea7b1a9be7c523ec7e1d261d4d770

call_targets: 0x7e564a95c03d97a8074a24e90c1125a45e9af5f7

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7ae611e191c8c0483df54a4fcf1235c2399ea7b1a9be7c523ec7e1d261d4d770",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7e564a95c03d97a8074a24e90c1125a45e9af5f7"
    ],
    "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": "0x6548b7ae",
            "selector": "0x6548b7ae",
            "calldata_variants": [
                "0x6548b7ae",
                "0x6548b7ae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x67c7c945",
            "selector": "0x67c7c945",
            "calldata_variants": [
                "0x67c7c945",
                "0x67c7c9450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7375f4ed",
            "selector": "0x7375f4ed",
            "calldata_variants": [
                "0x7375f4ed",
                "0x7375f4ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7ecd37e",
            "selector": "0xa7ecd37e",
            "calldata_variants": [
                "0xa7ecd37e",
                "0xa7ecd37e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x08cdc2a8",
            "selector": "0x08cdc2a8",
            "calldata_variants": [
                "0x08cdc2a8",
                "0x08cdc2a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x238ac933",
            "selector": "0x238ac933",
            "calldata_variants": [
                "0x238ac933",
                "0x238ac9330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x25f11e82",
            "selector": "0x25f11e82",
            "calldata_variants": [
                "0x25f11e82",
                "0x25f11e820000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 2239,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2529,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}