Analysis Run

019b477e-ca54-7107-9af0-a0462cc8d50e

complete

Chain ID

1

Address

0x0210074364da13cd130e5ec306ab3cee683d9425

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value 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
26495	artifact.fetch	complete	1 / 3	3 months ago
26496	tool.cast_disasm	complete	1 / 3	3 months ago
69738	analysis.bundle	complete	1 / 3	2 weeks ago
69739	capability.graph	complete	1 / 3	2 weeks ago
69740	detector.run	complete	1 / 3	2 weeks ago
69741	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

6

EXT*/BALANCE

6

Total opcodes

1987

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00ec
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7ed88fff
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb12803a0
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb12803a0
0000002f: EQ
00000030: PUSH2 0x0265
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xcecd6700
0000003a: EQ
0000003b: PUSH2 0x0285
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe70761ef
00000045: EQ
00000046: PUSH2 0x028d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x02a3
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x7ed88fff
00000060: EQ
00000061: PUSH2 0x01e3
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x874ec1e6
0000006b: EQ
0000006c: PUSH2 0x0203
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8da5cb5b
00000076: EQ
00000077: PUSH2 0x0223
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xac58821d
00000081: EQ
00000082: PUSH2 0x0241
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x473eecce
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x473eecce
0000009c: EQ
0000009d: PUSH2 0x016e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x53439aa2
000000a7: EQ
000000a8: PUSH2 0x01a6
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x595882b3
000000b2: EQ
000000b3: PUSH2 0x01c6
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x715018a6
000000bd: EQ
000000be: PUSH2 0x01ce
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x02ca3fac
000000cd: EQ
000000ce: PUSH2 0x00f8
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x2fee9e7e
000000d8: EQ
000000d9: PUSH2 0x0127
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x31dc864d
000000e3: EQ
000000e4: PUSH2 0x0157
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: CALLDATASIZE
000000ee: PUSH2 0x00f3
000000f1: JUMPI
000000f2: STOP
000000f3: JUMPDEST
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: REVERT
000000f8: JUMPDEST
000000f9: CALLVALUE
000000fa: DUP1
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: PUSH1 0x04
00000108: SLOAD
00000109: PUSH2 0x0112
0000010c: SWAP1
0000010d: PUSH1 0xff
0000010f: AND
00000110: DUP2
00000111: JUMP
00000112: JUMPDEST
00000113: PUSH1 0x40
00000115: MLOAD
00000116: SWAP1
00000117: ISZERO
00000118: ISZERO
00000119: DUP2
0000011a: MSTORE
0000011b: PUSH1 0x20
0000011d: ADD
0000011e: JUMPDEST
0000011f: PUSH1 0x40
00000121: MLOAD
00000122: DUP1
00000123: SWAP2
00000124: SUB
00000125: SWAP1
00000126: RETURN
00000127: JUMPDEST
00000128: CALLVALUE
00000129: DUP1
0000012a: ISZERO
0000012b: PUSH2 0x0133
0000012e: JUMPI
0000012f: PUSH1 0x00
00000131: DUP1
00000132: REVERT
00000133: JUMPDEST
00000134: POP
00000135: PUSH2 0x0112
00000138: PUSH2 0x0142
0000013b: CALLDATASIZE
0000013c: PUSH1 0x04
0000013e: PUSH2 0x09db
00000141: JUMP
00000142: JUMPDEST
00000143: PUSH1 0x02
00000145: PUSH1 0x20
00000147: MSTORE
00000148: PUSH1 0x00
0000014a: SWAP1
0000014b: DUP2
0000014c: MSTORE
0000014d: PUSH1 0x40
0000014f: SWAP1
00000150: KECCAK256
00000151: SLOAD
00000152: PUSH1 0xff
00000154: AND
00000155: DUP2
00000156: JUMP
00000157: JUMPDEST
00000158: CALLVALUE
00000159: DUP1
0000015a: ISZERO
0000015b: PUSH2 0x0163
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: POP
00000165: PUSH2 0x016c
00000168: PUSH2 0x02c3
0000016b: JUMP
0000016c: JUMPDEST
0000016d: STOP
0000016e: JUMPDEST
0000016f: CALLVALUE
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x017a
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: POP
0000017c: PUSH1 0x01
0000017e: SLOAD
0000017f: PUSH2 0x018e
00000182: SWAP1
00000183: PUSH1 0x01
00000185: PUSH1 0x01
00000187: PUSH1 0xa0
00000189: SHL
0000018a: SUB
0000018b: AND
0000018c: DUP2
0000018d: JUMP
0000018e: JUMPDEST
0000018f: PUSH1 0x40
00000191: MLOAD
00000192: PUSH1 0x01
00000194: PUSH1 0x01
00000196: PUSH1 0xa0
00000198: SHL
00000199: SUB
0000019a: SWAP1
0000019b: SWAP2
0000019c: AND
0000019d: DUP2
0000019e: MSTORE
0000019f: PUSH1 0x20
000001a1: ADD
000001a2: PUSH2 0x011e
000001a5: JUMP
000001a6: JUMPDEST
000001a7: CALLVALUE
000001a8: DUP1
000001a9: ISZERO
000001aa: PUSH2 0x01b2
000001ad: JUMPI
000001ae: PUSH1 0x00
000001b0: DUP1
000001b1: REVERT
000001b2: JUMPDEST
000001b3: POP
000001b4: PUSH2 0x016c
000001b7: PUSH2 0x01c1
000001ba: CALLDATASIZE
000001bb: PUSH1 0x04
000001bd: PUSH2 0x09fd
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH2 0x0328
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH2 0x016c
000001ca: PUSH2 0x03d0
000001cd: JUMP
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x016c
000001df: PUSH2 0x057a
000001e2: JUMP
000001e3: JUMPDEST
000001e4: CALLVALUE
000001e5: DUP1
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x016c
000001f4: PUSH2 0x01fe
000001f7: CALLDATASIZE
000001f8: PUSH1 0x04
000001fa: PUSH2 0x0ac9
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH2 0x05b0
00000202: JUMP
00000203: JUMPDEST
00000204: CALLVALUE
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x016c
00000214: PUSH2 0x021e
00000217: CALLDATASIZE
00000218: PUSH1 0x04
0000021a: PUSH2 0x09fd
0000021d: JUMP
0000021e: JUMPDEST
0000021f: PUSH2 0x05ed
00000222: JUMP
00000223: JUMPDEST
00000224: CALLVALUE
00000225: DUP1
00000226: ISZERO
00000227: PUSH2 0x022f
0000022a: JUMPI
0000022b: PUSH1 0x00
0000022d: DUP1
0000022e: REVERT
0000022f: JUMPDEST
00000230: POP
00000231: PUSH1 0x00
00000233: SLOAD
00000234: PUSH1 0x01
00000236: PUSH1 0x01
00000238: PUSH1 0xa0
0000023a: SHL
0000023b: SUB
0000023c: AND
0000023d: PUSH2 0x018e
00000240: JUMP
00000241: JUMPDEST
00000242: CALLVALUE
00000243: DUP1
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: POP
0000024f: PUSH2 0x0257
00000252: PUSH1 0x03
00000254: SLOAD
00000255: DUP2
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: SWAP1
0000025c: DUP2
0000025d: MSTORE
0000025e: PUSH1 0x20
00000260: ADD
00000261: PUSH2 0x011e
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x016c
00000276: PUSH2 0x0280
00000279: CALLDATASIZE
0000027a: PUSH1 0x04
0000027c: PUSH2 0x09db
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH2 0x068f
00000284: JUMP
00000285: JUMPDEST
00000286: PUSH2 0x016c
00000289: PUSH2 0x0700
0000028c: JUMP
0000028d: JUMPDEST
0000028e: CALLVALUE
0000028f: DUP1
00000290: ISZERO
00000291: PUSH2 0x0299
00000294: JUMPI
00000295: PUSH1 0x00
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: POP
0000029b: PUSH2 0x0257
0000029e: PUSH1 0x05
000002a0: SLOAD
000002a1: DUP2
000002a2: JUMP
000002a3: JUMPDEST
000002a4: CALLVALUE
000002a5: DUP1
000002a6: ISZERO
000002a7: PUSH2 0x02af
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: POP
000002b1: PUSH2 0x016c
000002b4: PUSH2 0x02be
000002b7: CALLDATASIZE
000002b8: PUSH1 0x04
000002ba: PUSH2 0x09db
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH2 0x08d4
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH1 0x00
000002c6: SLOAD
000002c7: PUSH1 0x01
000002c9: PUSH1 0x01
000002cb: PUSH1 0xa0
000002cd: SHL
000002ce: SUB
000002cf: AND
000002d0: CALLER
000002d1: EQ
000002d2: PUSH2 0x02f6
000002d5: JUMPI
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: PUSH3 0x461bcd
000002dd: PUSH1 0xe5
000002df: SHL
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x04
000002e4: ADD
000002e5: PUSH2 0x02ed
000002e8: SWAP1
000002e9: PUSH2 0x0b04
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH1 0x40
000002f0: MLOAD
000002f1: DUP1
000002f2: SWAP2
000002f3: SUB
000002f4: SWAP1
000002f5: REVERT
000002f6: JUMPDEST
000002f7: PUSH1 0x40
000002f9: MLOAD
000002fa: CALLER
000002fb: SWAP1
000002fc: DUP2
000002fd: SWAP1
000002fe: SELFBALANCE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x08fc
00000304: MUL
00000305: SWAP2
00000306: PUSH1 0x00
00000308: DUP2
00000309: DUP2
0000030a: DUP2
0000030b: DUP6
0000030c: DUP9
0000030d: DUP9
0000030e: CALL
0000030f: SWAP4
00000310: POP
00000311: POP
00000312: POP
00000313: POP
00000314: ISZERO
00000315: DUP1
00000316: ISZERO
00000317: PUSH2 0x0324
0000031a: JUMPI
0000031b: RETURNDATASIZE
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: RETURNDATACOPY
00000320: RETURNDATASIZE
00000321: PUSH1 0x00
00000323: REVERT
00000324: JUMPDEST
00000325: POP
00000326: POP
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH1 0x00
0000032b: SLOAD
0000032c: PUSH1 0x01
0000032e: PUSH1 0x01
00000330: PUSH1 0xa0
00000332: SHL
00000333: SUB
00000334: AND
00000335: CALLER
00000336: EQ
00000337: PUSH2 0x0352
0000033a: JUMPI
0000033b: PUSH1 0x40
0000033d: MLOAD
0000033e: PUSH3 0x461bcd
00000342: PUSH1 0xe5
00000344: SHL
00000345: DUP2
00000346: MSTORE
00000347: PUSH1 0x04
00000349: ADD
0000034a: PUSH2 0x02ed
0000034d: SWAP1
0000034e: PUSH2 0x0b04
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH1 0x00
00000355: JUMPDEST
00000356: DUP2
00000357: MLOAD
00000358: DUP2
00000359: LT
0000035a: ISZERO
0000035b: PUSH2 0x03ba
0000035e: JUMPI
0000035f: PUSH1 0x01
00000361: PUSH1 0x02
00000363: PUSH1 0x00
00000365: DUP5
00000366: DUP5
00000367: DUP2
00000368: MLOAD
00000369: DUP2
0000036a: LT
0000036b: PUSH2 0x0376
0000036e: JUMPI
0000036f: PUSH2 0x0376
00000372: PUSH2 0x0b99
00000375: JUMP
00000376: JUMPDEST
00000377: PUSH1 0x20
00000379: SWAP1
0000037a: DUP2
0000037b: MUL
0000037c: SWAP2
0000037d: SWAP1
0000037e: SWAP2
0000037f: ADD
00000380: DUP2
00000381: ADD
00000382: MLOAD
00000383: PUSH1 0x01
00000385: PUSH1 0x01
00000387: PUSH1 0xa0
00000389: SHL
0000038a: SUB
0000038b: AND
0000038c: DUP3
0000038d: MSTORE
0000038e: DUP2
0000038f: ADD
00000390: SWAP2
00000391: SWAP1
00000392: SWAP2
00000393: MSTORE
00000394: PUSH1 0x40
00000396: ADD
00000397: PUSH1 0x00
00000399: KECCAK256
0000039a: DUP1
0000039b: SLOAD
0000039c: PUSH1 0xff
0000039e: NOT
0000039f: AND
000003a0: SWAP2
000003a1: ISZERO
000003a2: ISZERO
000003a3: SWAP2
000003a4: SWAP1
000003a5: SWAP2
000003a6: OR
000003a7: SWAP1
000003a8: SSTORE
000003a9: DUP1
000003aa: PUSH2 0x03b2
000003ad: DUP2
000003ae: PUSH2 0x0b68
000003b1: JUMP
000003b2: JUMPDEST
000003b3: SWAP2
000003b4: POP
000003b5: POP
000003b6: PUSH2 0x0355
000003b9: JUMP
000003ba: JUMPDEST
000003bb: POP
000003bc: DUP1
000003bd: MLOAD
000003be: PUSH1 0x03
000003c0: SLOAD
000003c1: PUSH2 0x03ca
000003c4: SWAP2
000003c5: SWAP1
000003c6: PUSH2 0x0b39
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH1 0x03
000003cd: SSTORE
000003ce: POP
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH1 0x04
000003d3: SLOAD
000003d4: PUSH1 0xff
000003d6: AND
000003d7: PUSH2 0x0407
000003da: JUMPI
000003db: PUSH1 0x40
000003dd: MLOAD
000003de: PUSH3 0x461bcd
000003e2: PUSH1 0xe5
000003e4: SHL
000003e5: DUP2
000003e6: MSTORE
000003e7: PUSH1 0x20
000003e9: PUSH1 0x04
000003eb: DUP3
000003ec: ADD
000003ed: MSTORE
000003ee: PUSH1 0x02
000003f0: PUSH1 0x24
000003f2: DUP3
000003f3: ADD
000003f4: MSTORE
000003f5: PUSH2 0x666d
000003f8: PUSH1 0xf0
000003fa: SHL
000003fb: PUSH1 0x44
000003fd: DUP3
000003fe: ADD
000003ff: MSTORE
00000400: PUSH1 0x64
00000402: ADD
00000403: PUSH2 0x02ed
00000406: JUMP
00000407: JUMPDEST
00000408: PUSH1 0x05
0000040a: SLOAD
0000040b: CALLVALUE
0000040c: EQ
0000040d: PUSH2 0x0441
00000410: JUMPI
00000411: PUSH1 0x40
00000413: MLOAD
00000414: PUSH3 0x461bcd
00000418: PUSH1 0xe5
0000041a: SHL
0000041b: DUP2
0000041c: MSTORE
0000041d: PUSH1 0x20
0000041f: PUSH1 0x04
00000421: DUP3
00000422: ADD
00000423: MSTORE
00000424: PUSH1 0x06
00000426: PUSH1 0x24
00000428: DUP3
00000429: ADD
0000042a: MSTORE
0000042b: PUSH6 0x6d7072696365
00000432: PUSH1 0xd0
00000434: SHL
00000435: PUSH1 0x44
00000437: DUP3
00000438: ADD
00000439: MSTORE
0000043a: PUSH1 0x64
0000043c: ADD
0000043d: PUSH2 0x02ed
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH1 0x01
00000444: SLOAD
00000445: PUSH1 0x40
00000447: MLOAD
00000448: PUSH4 0x07ba1187
0000044d: PUSH1 0xe3
0000044f: SHL
00000450: DUP2
00000451: MSTORE
00000452: CALLER
00000453: PUSH1 0x04
00000455: DUP3
00000456: ADD
00000457: MSTORE
00000458: PUSH1 0x00
0000045a: SWAP2
0000045b: PUSH1 0x01
0000045d: PUSH1 0x01
0000045f: PUSH1 0xa0
00000461: SHL
00000462: SUB
00000463: AND
00000464: SWAP1
00000465: PUSH4 0x3dd08c38
0000046a: SWAP1
0000046b: PUSH8 0x02c68af0bb140000
00000474: SWAP1
00000475: PUSH1 0x24
00000477: ADD
00000478: PUSH1 0x20
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: DUP1
0000047e: DUP4
0000047f: SUB
00000480: DUP2
00000481: DUP6
00000482: DUP9
00000483: DUP1
00000484: EXTCODESIZE
00000485: ISZERO
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: GAS
00000493: CALL
00000494: ISZERO
00000495: DUP1
00000496: ISZERO
00000497: PUSH2 0x04a4
0000049a: JUMPI
0000049b: RETURNDATASIZE
0000049c: PUSH1 0x00
0000049e: DUP1
0000049f: RETURNDATACOPY
000004a0: RETURNDATASIZE
000004a1: PUSH1 0x00
000004a3: REVERT
000004a4: JUMPDEST
000004a5: POP
000004a6: POP
000004a7: POP
000004a8: POP
000004a9: POP
000004aa: PUSH1 0x40
000004ac: MLOAD
000004ad: RETURNDATASIZE
000004ae: PUSH1 0x1f
000004b0: NOT
000004b1: PUSH1 0x1f
000004b3: DUP3
000004b4: ADD
000004b5: AND
000004b6: DUP3
000004b7: ADD
000004b8: DUP1
000004b9: PUSH1 0x40
000004bb: MSTORE
000004bc: POP
000004bd: DUP2
000004be: ADD
000004bf: SWAP1
000004c0: PUSH2 0x04c9
000004c3: SWAP2
000004c4: SWAP1
000004c5: PUSH2 0x0aeb
000004c8: JUMP
000004c9: JUMPDEST
000004ca: SWAP1
000004cb: POP
000004cc: PUSH1 0x03
000004ce: SLOAD
000004cf: PUSH2 0x270f
000004d2: PUSH2 0x04db
000004d5: SWAP2
000004d6: SWAP1
000004d7: PUSH2 0x0b51
000004da: JUMP
000004db: JUMPDEST
000004dc: DUP2
000004dd: LT
000004de: PUSH2 0x050f
000004e1: JUMPI
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: PUSH3 0x461bcd
000004e9: PUSH1 0xe5
000004eb: SHL
000004ec: DUP2
000004ed: MSTORE
000004ee: PUSH1 0x20
000004f0: PUSH1 0x04
000004f2: DUP3
000004f3: ADD
000004f4: MSTORE
000004f5: PUSH1 0x03
000004f7: PUSH1 0x24
000004f9: DUP3
000004fa: ADD
000004fb: MSTORE
000004fc: PUSH3 0x776c73
00000500: PUSH1 0xe8
00000502: SHL
00000503: PUSH1 0x44
00000505: DUP3
00000506: ADD
00000507: MSTORE
00000508: PUSH1 0x64
0000050a: ADD
0000050b: PUSH2 0x02ed
0000050e: JUMP
0000050f: JUMPDEST
00000510: PUSH1 0x01
00000512: PUSH1 0x00
00000514: SWAP1
00000515: SLOAD
00000516: SWAP1
00000517: PUSH2 0x0100
0000051a: EXP
0000051b: SWAP1
0000051c: DIV
0000051d: PUSH1 0x01
0000051f: PUSH1 0x01
00000521: PUSH1 0xa0
00000523: SHL
00000524: SUB
00000525: AND
00000526: PUSH1 0x01
00000528: PUSH1 0x01
0000052a: PUSH1 0xa0
0000052c: SHL
0000052d: SUB
0000052e: AND
0000052f: PUSH4 0xe4fc6b6d
00000534: PUSH1 0x40
00000536: MLOAD
00000537: DUP2
00000538: PUSH4 0xffffffff
0000053d: AND
0000053e: PUSH1 0xe0
00000540: SHL
00000541: DUP2
00000542: MSTORE
00000543: PUSH1 0x04
00000545: ADD
00000546: PUSH1 0x00
00000548: PUSH1 0x40
0000054a: MLOAD
0000054b: DUP1
0000054c: DUP4
0000054d: SUB
0000054e: DUP2
0000054f: PUSH1 0x00
00000551: DUP8
00000552: DUP1
00000553: EXTCODESIZE
00000554: ISZERO
00000555: DUP1
00000556: ISZERO
00000557: PUSH2 0x055f
0000055a: JUMPI
0000055b: PUSH1 0x00
0000055d: DUP1
0000055e: REVERT
0000055f: JUMPDEST
00000560: POP
00000561: GAS
00000562: CALL
00000563: ISZERO
00000564: DUP1
00000565: ISZERO
00000566: PUSH2 0x0573
00000569: JUMPI
0000056a: RETURNDATASIZE
0000056b: PUSH1 0x00
0000056d: DUP1
0000056e: RETURNDATACOPY
0000056f: RETURNDATASIZE
00000570: PUSH1 0x00
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: POP
00000576: POP
00000577: POP
00000578: POP
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH1 0x00
0000057d: SLOAD
0000057e: PUSH1 0x01
00000580: PUSH1 0x01
00000582: PUSH1 0xa0
00000584: SHL
00000585: SUB
00000586: AND
00000587: CALLER
00000588: EQ
00000589: PUSH2 0x05a4
0000058c: JUMPI
0000058d: PUSH1 0x40
0000058f: MLOAD
00000590: PUSH3 0x461bcd
00000594: PUSH1 0xe5
00000596: SHL
00000597: DUP2
00000598: MSTORE
00000599: PUSH1 0x04
0000059b: ADD
0000059c: PUSH2 0x02ed
0000059f: SWAP1
000005a0: PUSH2 0x0b04
000005a3: JUMP
000005a4: JUMPDEST
000005a5: PUSH2 0x05ae
000005a8: PUSH1 0x00
000005aa: PUSH2 0x096f
000005ad: JUMP
000005ae: JUMPDEST
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x00
000005b3: SLOAD
000005b4: PUSH1 0x01
000005b6: PUSH1 0x01
000005b8: PUSH1 0xa0
000005ba: SHL
000005bb: SUB
000005bc: AND
000005bd: CALLER
000005be: EQ
000005bf: PUSH2 0x05da
000005c2: JUMPI
000005c3: PUSH1 0x40
000005c5: MLOAD
000005c6: PUSH3 0x461bcd
000005ca: PUSH1 0xe5
000005cc: SHL
000005cd: DUP2
000005ce: MSTORE
000005cf: PUSH1 0x04
000005d1: ADD
000005d2: PUSH2 0x02ed
000005d5: SWAP1
000005d6: PUSH2 0x0b04
000005d9: JUMP
000005da: JUMPDEST
000005db: PUSH1 0x04
000005dd: DUP1
000005de: SLOAD
000005df: PUSH1 0xff
000005e1: NOT
000005e2: AND
000005e3: SWAP2
000005e4: ISZERO
000005e5: ISZERO
000005e6: SWAP2
000005e7: SWAP1
000005e8: SWAP2
000005e9: OR
000005ea: SWAP1
000005eb: SSTORE
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x00
000005f0: SLOAD
000005f1: PUSH1 0x01
000005f3: PUSH1 0x01
000005f5: PUSH1 0xa0
000005f7: SHL
000005f8: SUB
000005f9: AND
000005fa: CALLER
000005fb: EQ
000005fc: PUSH2 0x0617
000005ff: JUMPI
00000600: PUSH1 0x40
00000602: MLOAD
00000603: PUSH3 0x461bcd
00000607: PUSH1 0xe5
00000609: SHL
0000060a: DUP2
0000060b: MSTORE
0000060c: PUSH1 0x04
0000060e: ADD
0000060f: PUSH2 0x02ed
00000612: SWAP1
00000613: PUSH2 0x0b04
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH1 0x00
0000061a: JUMPDEST
0000061b: DUP2
0000061c: MLOAD
0000061d: DUP2
0000061e: LT
0000061f: ISZERO
00000620: PUSH2 0x067f
00000623: JUMPI
00000624: PUSH1 0x00
00000626: PUSH1 0x02
00000628: PUSH1 0x00
0000062a: DUP5
0000062b: DUP5
0000062c: DUP2
0000062d: MLOAD
0000062e: DUP2
0000062f: LT
00000630: PUSH2 0x063b
00000633: JUMPI
00000634: PUSH2 0x063b
00000637: PUSH2 0x0b99
0000063a: JUMP
0000063b: JUMPDEST
0000063c: PUSH1 0x20
0000063e: SWAP1
0000063f: DUP2
00000640: MUL
00000641: SWAP2
00000642: SWAP1
00000643: SWAP2
00000644: ADD
00000645: DUP2
00000646: ADD
00000647: MLOAD
00000648: PUSH1 0x01
0000064a: PUSH1 0x01
0000064c: PUSH1 0xa0
0000064e: SHL
0000064f: SUB
00000650: AND
00000651: DUP3
00000652: MSTORE
00000653: DUP2
00000654: ADD
00000655: SWAP2
00000656: SWAP1
00000657: SWAP2
00000658: MSTORE
00000659: PUSH1 0x40
0000065b: ADD
0000065c: PUSH1 0x00
0000065e: KECCAK256
0000065f: DUP1
00000660: SLOAD
00000661: PUSH1 0xff
00000663: NOT
00000664: AND
00000665: SWAP2
00000666: ISZERO
00000667: ISZERO
00000668: SWAP2
00000669: SWAP1
0000066a: SWAP2
0000066b: OR
0000066c: SWAP1
0000066d: SSTORE
0000066e: DUP1
0000066f: PUSH2 0x0677
00000672: DUP2
00000673: PUSH2 0x0b68
00000676: JUMP
00000677: JUMPDEST
00000678: SWAP2
00000679: POP
0000067a: POP
0000067b: PUSH2 0x061a
0000067e: JUMP
0000067f: JUMPDEST
00000680: POP
00000681: DUP1
00000682: MLOAD
00000683: PUSH1 0x03
00000685: SLOAD
00000686: PUSH2 0x03ca
00000689: SWAP2
0000068a: SWAP1
0000068b: PUSH2 0x0b51
0000068e: JUMP
0000068f: JUMPDEST
00000690: PUSH1 0x00
00000692: SLOAD
00000693: PUSH1 0x01
00000695: PUSH1 0x01
00000697: PUSH1 0xa0
00000699: SHL
0000069a: SUB
0000069b: AND
0000069c: CALLER
0000069d: EQ
0000069e: PUSH2 0x06b9
000006a1: JUMPI
000006a2: PUSH1 0x40
000006a4: MLOAD
000006a5: PUSH3 0x461bcd
000006a9: PUSH1 0xe5
000006ab: SHL
000006ac: DUP2
000006ad: MSTORE
000006ae: PUSH1 0x04
000006b0: ADD
000006b1: PUSH2 0x02ed
000006b4: SWAP1
000006b5: PUSH2 0x0b04
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH1 0x01
000006bc: SLOAD
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: PUSH4 0xf2fde38b
000006c5: PUSH1 0xe0
000006c7: SHL
000006c8: DUP2
000006c9: MSTORE
000006ca: PUSH1 0x01
000006cc: PUSH1 0x01
000006ce: PUSH1 0xa0
000006d0: SHL
000006d1: SUB
000006d2: DUP4
000006d3: DUP2
000006d4: AND
000006d5: PUSH1 0x04
000006d7: DUP4
000006d8: ADD
000006d9: MSTORE
000006da: SWAP1
000006db: SWAP2
000006dc: AND
000006dd: SWAP1
000006de: PUSH4 0xf2fde38b
000006e3: SWAP1
000006e4: PUSH1 0x24
000006e6: ADD
000006e7: PUSH1 0x00
000006e9: PUSH1 0x40
000006eb: MLOAD
000006ec: DUP1
000006ed: DUP4
000006ee: SUB
000006ef: DUP2
000006f0: PUSH1 0x00
000006f2: DUP8
000006f3: DUP1
000006f4: EXTCODESIZE
000006f5: ISZERO
000006f6: DUP1
000006f7: ISZERO
000006f8: PUSH2 0x055f
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH1 0x04
00000703: SLOAD
00000704: PUSH1 0xff
00000706: AND
00000707: PUSH2 0x0737
0000070a: JUMPI
0000070b: PUSH1 0x40
0000070d: MLOAD
0000070e: PUSH3 0x461bcd
00000712: PUSH1 0xe5
00000714: SHL
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x20
00000719: PUSH1 0x04
0000071b: DUP3
0000071c: ADD
0000071d: MSTORE
0000071e: PUSH1 0x02
00000720: PUSH1 0x24
00000722: DUP3
00000723: ADD
00000724: MSTORE
00000725: PUSH2 0x666d
00000728: PUSH1 0xf0
0000072a: SHL
0000072b: PUSH1 0x44
0000072d: DUP3
0000072e: ADD
0000072f: MSTORE
00000730: PUSH1 0x64
00000732: ADD
00000733: PUSH2 0x02ed
00000736: JUMP
00000737: JUMPDEST
00000738: CALLER
00000739: PUSH1 0x00
0000073b: SWAP1
0000073c: DUP2
0000073d: MSTORE
0000073e: PUSH1 0x02
00000740: PUSH1 0x20
00000742: MSTORE
00000743: PUSH1 0x40
00000745: SWAP1
00000746: KECCAK256
00000747: SLOAD
00000748: PUSH1 0xff
0000074a: AND
0000074b: PUSH2 0x077f
0000074e: JUMPI
0000074f: PUSH1 0x40
00000751: MLOAD
00000752: PUSH3 0x461bcd
00000756: PUSH1 0xe5
00000758: SHL
00000759: DUP2
0000075a: MSTORE
0000075b: PUSH1 0x04
0000075d: ADD
0000075e: PUSH2 0x02ed
00000761: SWAP1
00000762: PUSH1 0x20
00000764: DUP1
00000765: DUP3
00000766: MSTORE
00000767: PUSH1 0x04
00000769: SWAP1
0000076a: DUP3
0000076b: ADD
0000076c: MSTORE
0000076d: PUSH4 0x1b9bdddb
00000772: PUSH1 0xe2
00000774: SHL
00000775: PUSH1 0x40
00000777: DUP3
00000778: ADD
00000779: MSTORE
0000077a: PUSH1 0x60
0000077c: ADD
0000077d: SWAP1
0000077e: JUMP
0000077f: JUMPDEST
00000780: PUSH1 0x05
00000782: SLOAD
00000783: CALLVALUE
00000784: EQ
00000785: PUSH2 0x07b9
00000788: JUMPI
00000789: PUSH1 0x40
0000078b: MLOAD
0000078c: PUSH3 0x461bcd
00000790: PUSH1 0xe5
00000792: SHL
00000793: DUP2
00000794: MSTORE
00000795: PUSH1 0x20
00000797: PUSH1 0x04
00000799: DUP3
0000079a: ADD
0000079b: MSTORE
0000079c: PUSH1 0x06
0000079e: PUSH1 0x24
000007a0: DUP3
000007a1: ADD
000007a2: MSTORE
000007a3: PUSH6 0x6d7072696365
000007aa: PUSH1 0xd0
000007ac: SHL
000007ad: PUSH1 0x44
000007af: DUP3
000007b0: ADD
000007b1: MSTORE
000007b2: PUSH1 0x64
000007b4: ADD
000007b5: PUSH2 0x02ed
000007b8: JUMP
000007b9: JUMPDEST
000007ba: PUSH1 0x01
000007bc: SLOAD
000007bd: PUSH1 0x40
000007bf: MLOAD
000007c0: PUSH4 0x07ba1187
000007c5: PUSH1 0xe3
000007c7: SHL
000007c8: DUP2
000007c9: MSTORE
000007ca: CALLER
000007cb: PUSH1 0x04
000007cd: DUP3
000007ce: ADD
000007cf: MSTORE
000007d0: PUSH1 0x01
000007d2: PUSH1 0x01
000007d4: PUSH1 0xa0
000007d6: SHL
000007d7: SUB
000007d8: SWAP1
000007d9: SWAP2
000007da: AND
000007db: SWAP1
000007dc: PUSH4 0x3dd08c38
000007e1: SWAP1
000007e2: PUSH8 0x02c68af0bb140000
000007eb: SWAP1
000007ec: PUSH1 0x24
000007ee: ADD
000007ef: PUSH1 0x20
000007f1: PUSH1 0x40
000007f3: MLOAD
000007f4: DUP1
000007f5: DUP4
000007f6: SUB
000007f7: DUP2
000007f8: DUP6
000007f9: DUP9
000007fa: DUP1
000007fb: EXTCODESIZE
000007fc: ISZERO
000007fd: DUP1
000007fe: ISZERO
000007ff: PUSH2 0x0807
00000802: JUMPI
00000803: PUSH1 0x00
00000805: DUP1
00000806: REVERT
00000807: JUMPDEST
00000808: POP
00000809: GAS
0000080a: CALL
0000080b: ISZERO
0000080c: DUP1
0000080d: ISZERO
0000080e: PUSH2 0x081b
00000811: JUMPI
00000812: RETURNDATASIZE
00000813: PUSH1 0x00
00000815: DUP1
00000816: RETURNDATACOPY
00000817: RETURNDATASIZE
00000818: PUSH1 0x00
0000081a: REVERT
0000081b: JUMPDEST
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: POP
00000820: POP
00000821: PUSH1 0x40
00000823: MLOAD
00000824: RETURNDATASIZE
00000825: PUSH1 0x1f
00000827: NOT
00000828: PUSH1 0x1f
0000082a: DUP3
0000082b: ADD
0000082c: AND
0000082d: DUP3
0000082e: ADD
0000082f: DUP1
00000830: PUSH1 0x40
00000832: MSTORE
00000833: POP
00000834: DUP2
00000835: ADD
00000836: SWAP1
00000837: PUSH2 0x0840
0000083a: SWAP2
0000083b: SWAP1
0000083c: PUSH2 0x0aeb
0000083f: JUMP
00000840: JUMPDEST
00000841: POP
00000842: PUSH1 0x01
00000844: PUSH1 0x00
00000846: SWAP1
00000847: SLOAD
00000848: SWAP1
00000849: PUSH2 0x0100
0000084c: EXP
0000084d: SWAP1
0000084e: DIV
0000084f: PUSH1 0x01
00000851: PUSH1 0x01
00000853: PUSH1 0xa0
00000855: SHL
00000856: SUB
00000857: AND
00000858: PUSH1 0x01
0000085a: PUSH1 0x01
0000085c: PUSH1 0xa0
0000085e: SHL
0000085f: SUB
00000860: AND
00000861: PUSH4 0xe4fc6b6d
00000866: PUSH1 0x40
00000868: MLOAD
00000869: DUP2
0000086a: PUSH4 0xffffffff
0000086f: AND
00000870: PUSH1 0xe0
00000872: SHL
00000873: DUP2
00000874: MSTORE
00000875: PUSH1 0x04
00000877: ADD
00000878: PUSH1 0x00
0000087a: PUSH1 0x40
0000087c: MLOAD
0000087d: DUP1
0000087e: DUP4
0000087f: SUB
00000880: DUP2
00000881: PUSH1 0x00
00000883: DUP8
00000884: DUP1
00000885: EXTCODESIZE
00000886: ISZERO
00000887: DUP1
00000888: ISZERO
00000889: PUSH2 0x0891
0000088c: JUMPI
0000088d: PUSH1 0x00
0000088f: DUP1
00000890: REVERT
00000891: JUMPDEST
00000892: POP
00000893: GAS
00000894: CALL
00000895: ISZERO
00000896: DUP1
00000897: ISZERO
00000898: PUSH2 0x08a5
0000089b: JUMPI
0000089c: RETURNDATASIZE
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: RETURNDATACOPY
000008a1: RETURNDATASIZE
000008a2: PUSH1 0x00
000008a4: REVERT
000008a5: JUMPDEST
000008a6: POP
000008a7: POP
000008a8: POP
000008a9: POP
000008aa: PUSH1 0x01
000008ac: PUSH1 0x03
000008ae: SLOAD
000008af: PUSH2 0x08b8
000008b2: SWAP2
000008b3: SWAP1
000008b4: PUSH2 0x0b51
000008b7: JUMP
000008b8: JUMPDEST
000008b9: PUSH1 0x03
000008bb: SSTORE
000008bc: CALLER
000008bd: PUSH1 0x00
000008bf: SWAP1
000008c0: DUP2
000008c1: MSTORE
000008c2: PUSH1 0x02
000008c4: PUSH1 0x20
000008c6: MSTORE
000008c7: PUSH1 0x40
000008c9: SWAP1
000008ca: KECCAK256
000008cb: DUP1
000008cc: SLOAD
000008cd: PUSH1 0xff
000008cf: NOT
000008d0: AND
000008d1: SWAP1
000008d2: SSTORE
000008d3: JUMP
000008d4: JUMPDEST
000008d5: PUSH1 0x00
000008d7: SLOAD
000008d8: PUSH1 0x01
000008da: PUSH1 0x01
000008dc: PUSH1 0xa0
000008de: SHL
000008df: SUB
000008e0: AND
000008e1: CALLER
000008e2: EQ
000008e3: PUSH2 0x08fe
000008e6: JUMPI
000008e7: PUSH1 0x40
000008e9: MLOAD
000008ea: PUSH3 0x461bcd
000008ee: PUSH1 0xe5
000008f0: SHL
000008f1: DUP2
000008f2: MSTORE
000008f3: PUSH1 0x04
000008f5: ADD
000008f6: PUSH2 0x02ed
000008f9: SWAP1
000008fa: PUSH2 0x0b04
000008fd: JUMP
000008fe: JUMPDEST
000008ff: PUSH1 0x01
00000901: PUSH1 0x01
00000903: PUSH1 0xa0
00000905: SHL
00000906: SUB
00000907: DUP2
00000908: AND
00000909: PUSH2 0x0963
0000090c: JUMPI
0000090d: PUSH1 0x40
0000090f: MLOAD
00000910: PUSH3 0x461bcd
00000914: PUSH1 0xe5
00000916: SHL
00000917: DUP2
00000918: MSTORE
00000919: PUSH1 0x20
0000091b: PUSH1 0x04
0000091d: DUP3
0000091e: ADD
0000091f: MSTORE
00000920: PUSH1 0x26
00000922: PUSH1 0x24
00000924: DUP3
00000925: ADD
00000926: MSTORE
00000927: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000948: PUSH1 0x44
0000094a: DUP3
0000094b: ADD
0000094c: MSTORE
0000094d: PUSH6 0x646472657373
00000954: PUSH1 0xd0
00000956: SHL
00000957: PUSH1 0x64
00000959: DUP3
0000095a: ADD
0000095b: MSTORE
0000095c: PUSH1 0x84
0000095e: ADD
0000095f: PUSH2 0x02ed
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH2 0x096c
00000967: DUP2
00000968: PUSH2 0x096f
0000096b: JUMP
0000096c: JUMPDEST
0000096d: POP
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH1 0x00
00000972: DUP1
00000973: SLOAD
00000974: PUSH1 0x01
00000976: PUSH1 0x01
00000978: PUSH1 0xa0
0000097a: SHL
0000097b: SUB
0000097c: DUP4
0000097d: DUP2
0000097e: AND
0000097f: PUSH1 0x01
00000981: PUSH1 0x01
00000983: PUSH1 0xa0
00000985: SHL
00000986: SUB
00000987: NOT
00000988: DUP4
00000989: AND
0000098a: DUP2
0000098b: OR
0000098c: DUP5
0000098d: SSTORE
0000098e: PUSH1 0x40
00000990: MLOAD
00000991: SWAP2
00000992: SWAP1
00000993: SWAP3
00000994: AND
00000995: SWAP3
00000996: DUP4
00000997: SWAP2
00000998: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000009b9: SWAP2
000009ba: SWAP1
000009bb: LOG3
000009bc: POP
000009bd: POP
000009be: JUMP
000009bf: JUMPDEST
000009c0: DUP1
000009c1: CALLDATALOAD
000009c2: PUSH1 0x01
000009c4: PUSH1 0x01
000009c6: PUSH1 0xa0
000009c8: SHL
000009c9: SUB
000009ca: DUP2
000009cb: AND
000009cc: DUP2
000009cd: EQ
000009ce: PUSH2 0x09d6
000009d1: JUMPI
000009d2: PUSH1 0x00
000009d4: DUP1
000009d5: REVERT
000009d6: JUMPDEST
000009d7: SWAP2
000009d8: SWAP1
000009d9: POP
000009da: JUMP
000009db: JUMPDEST
000009dc: PUSH1 0x00
000009de: PUSH1 0x20
000009e0: DUP3
000009e1: DUP5
000009e2: SUB
000009e3: SLT
000009e4: ISZERO
000009e5: PUSH2 0x09ed
000009e8: JUMPI
000009e9: PUSH1 0x00
000009eb: DUP1
000009ec: REVERT
000009ed: JUMPDEST
000009ee: PUSH2 0x09f6
000009f1: DUP3
000009f2: PUSH2 0x09bf
000009f5: JUMP
000009f6: JUMPDEST
000009f7: SWAP4
000009f8: SWAP3
000009f9: POP
000009fa: POP
000009fb: POP
000009fc: JUMP
000009fd: JUMPDEST
000009fe: PUSH1 0x00
00000a00: PUSH1 0x20
00000a02: DUP1
00000a03: DUP4
00000a04: DUP6
00000a05: SUB
00000a06: SLT
00000a07: ISZERO
00000a08: PUSH2 0x0a10
00000a0b: JUMPI
00000a0c: PUSH1 0x00
00000a0e: DUP1
00000a0f: REVERT
00000a10: JUMPDEST
00000a11: DUP3
00000a12: CALLDATALOAD
00000a13: PUSH8 0xffffffffffffffff
00000a1c: DUP1
00000a1d: DUP3
00000a1e: GT
00000a1f: ISZERO
00000a20: PUSH2 0x0a28
00000a23: JUMPI
00000a24: PUSH1 0x00
00000a26: DUP1
00000a27: REVERT
00000a28: JUMPDEST
00000a29: DUP2
00000a2a: DUP6
00000a2b: ADD
00000a2c: SWAP2
00000a2d: POP
00000a2e: DUP6
00000a2f: PUSH1 0x1f
00000a31: DUP4
00000a32: ADD
00000a33: SLT
00000a34: PUSH2 0x0a3c
00000a37: JUMPI
00000a38: PUSH1 0x00
00000a3a: DUP1
00000a3b: REVERT
00000a3c: JUMPDEST
00000a3d: DUP2
00000a3e: CALLDATALOAD
00000a3f: DUP2
00000a40: DUP2
00000a41: GT
00000a42: ISZERO
00000a43: PUSH2 0x0a4e
00000a46: JUMPI
00000a47: PUSH2 0x0a4e
00000a4a: PUSH2 0x0baf
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: DUP1
00000a50: PUSH1 0x05
00000a52: SHL
00000a53: PUSH1 0x40
00000a55: MLOAD
00000a56: PUSH1 0x1f
00000a58: NOT
00000a59: PUSH1 0x3f
00000a5b: DUP4
00000a5c: ADD
00000a5d: AND
00000a5e: DUP2
00000a5f: ADD
00000a60: DUP2
00000a61: DUP2
00000a62: LT
00000a63: DUP6
00000a64: DUP3
00000a65: GT
00000a66: OR
00000a67: ISZERO
00000a68: PUSH2 0x0a73
00000a6b: JUMPI
00000a6c: PUSH2 0x0a73
00000a6f: PUSH2 0x0baf
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH1 0x40
00000a76: MSTORE
00000a77: DUP3
00000a78: DUP2
00000a79: MSTORE
00000a7a: DUP6
00000a7b: DUP2
00000a7c: ADD
00000a7d: SWAP4
00000a7e: POP
00000a7f: DUP5
00000a80: DUP7
00000a81: ADD
00000a82: DUP3
00000a83: DUP7
00000a84: ADD
00000a85: DUP8
00000a86: ADD
00000a87: DUP11
00000a88: LT
00000a89: ISZERO
00000a8a: PUSH2 0x0a92
00000a8d: JUMPI
00000a8e: PUSH1 0x00
00000a90: DUP1
00000a91: REVERT
00000a92: JUMPDEST
00000a93: PUSH1 0x00
00000a95: SWAP6
00000a96: POP
00000a97: JUMPDEST
00000a98: DUP4
00000a99: DUP7
00000a9a: LT
00000a9b: ISZERO
00000a9c: PUSH2 0x0abc
00000a9f: JUMPI
00000aa0: PUSH2 0x0aa8
00000aa3: DUP2
00000aa4: PUSH2 0x09bf
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: DUP6
00000aaa: MSTORE
00000aab: PUSH1 0x01
00000aad: SWAP6
00000aae: SWAP1
00000aaf: SWAP6
00000ab0: ADD
00000ab1: SWAP5
00000ab2: SWAP4
00000ab3: DUP7
00000ab4: ADD
00000ab5: SWAP4
00000ab6: DUP7
00000ab7: ADD
00000ab8: PUSH2 0x0a97
00000abb: JUMP
00000abc: JUMPDEST
00000abd: POP
00000abe: SWAP9
00000abf: SWAP8
00000ac0: POP
00000ac1: POP
00000ac2: POP
00000ac3: POP
00000ac4: POP
00000ac5: POP
00000ac6: POP
00000ac7: POP
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH1 0x00
00000acc: PUSH1 0x20
00000ace: DUP3
00000acf: DUP5
00000ad0: SUB
00000ad1: SLT
00000ad2: ISZERO
00000ad3: PUSH2 0x0adb
00000ad6: JUMPI
00000ad7: PUSH1 0x00
00000ad9: DUP1
00000ada: REVERT
00000adb: JUMPDEST
00000adc: DUP2
00000add: CALLDATALOAD
00000ade: DUP1
00000adf: ISZERO
00000ae0: ISZERO
00000ae1: DUP2
00000ae2: EQ
00000ae3: PUSH2 0x09f6
00000ae6: JUMPI
00000ae7: PUSH1 0x00
00000ae9: DUP1
00000aea: REVERT
00000aeb: JUMPDEST
00000aec: PUSH1 0x00
00000aee: PUSH1 0x20
00000af0: DUP3
00000af1: DUP5
00000af2: SUB
00000af3: SLT
00000af4: ISZERO
00000af5: PUSH2 0x0afd
00000af8: JUMPI
00000af9: PUSH1 0x00
00000afb: DUP1
00000afc: REVERT
00000afd: JUMPDEST
00000afe: POP
00000aff: MLOAD
00000b00: SWAP2
00000b01: SWAP1
00000b02: POP
00000b03: JUMP
00000b04: JUMPDEST
00000b05: PUSH1 0x20
00000b07: DUP1
00000b08: DUP3
00000b09: MSTORE
00000b0a: DUP2
00000b0b: DUP2
00000b0c: ADD
00000b0d: MSTORE
00000b0e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000b2f: PUSH1 0x40
00000b31: DUP3
00000b32: ADD
00000b33: MSTORE
00000b34: PUSH1 0x60
00000b36: ADD
00000b37: SWAP1
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: PUSH1 0x00
00000b3c: DUP3
00000b3d: NOT
00000b3e: DUP3
00000b3f: GT
00000b40: ISZERO
00000b41: PUSH2 0x0b4c
00000b44: JUMPI
00000b45: PUSH2 0x0b4c
00000b48: PUSH2 0x0b83
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: POP
00000b4e: ADD
00000b4f: SWAP1
00000b50: JUMP
00000b51: JUMPDEST
00000b52: PUSH1 0x00
00000b54: DUP3
00000b55: DUP3
00000b56: LT
00000b57: ISZERO
00000b58: PUSH2 0x0b63
00000b5b: JUMPI
00000b5c: PUSH2 0x0b63
00000b5f: PUSH2 0x0b83
00000b62: JUMP
00000b63: JUMPDEST
00000b64: POP
00000b65: SUB
00000b66: SWAP1
00000b67: JUMP
00000b68: JUMPDEST
00000b69: PUSH1 0x00
00000b6b: PUSH1 0x00
00000b6d: NOT
00000b6e: DUP3
00000b6f: EQ
00000b70: ISZERO
00000b71: PUSH2 0x0b7c
00000b74: JUMPI
00000b75: PUSH2 0x0b7c
00000b78: PUSH2 0x0b83
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: POP
00000b7e: PUSH1 0x01
00000b80: ADD
00000b81: SWAP1
00000b82: JUMP
00000b83: JUMPDEST
00000b84: PUSH4 0x4e487b71
00000b89: PUSH1 0xe0
00000b8b: SHL
00000b8c: PUSH1 0x00
00000b8e: MSTORE
00000b8f: PUSH1 0x11
00000b91: PUSH1 0x04
00000b93: MSTORE
00000b94: PUSH1 0x24
00000b96: PUSH1 0x00
00000b98: REVERT
00000b99: JUMPDEST
00000b9a: PUSH4 0x4e487b71
00000b9f: PUSH1 0xe0
00000ba1: SHL
00000ba2: PUSH1 0x00
00000ba4: MSTORE
00000ba5: PUSH1 0x32
00000ba7: PUSH1 0x04
00000ba9: MSTORE
00000baa: PUSH1 0x24
00000bac: PUSH1 0x00
00000bae: REVERT
00000baf: JUMPDEST
00000bb0: PUSH4 0x4e487b71
00000bb5: PUSH1 0xe0
00000bb7: SHL
00000bb8: PUSH1 0x00
00000bba: MSTORE
00000bbb: PUSH1 0x41
00000bbd: PUSH1 0x04
00000bbf: MSTORE
00000bc0: PUSH1 0x24
00000bc2: PUSH1 0x00
00000bc4: REVERT
00000bc5: INVALID
00000bc6: LOG2
00000bc7: PUSH5 0x6970667358
00000bcd: UNKNOWN(0x22)
00000bce: SLT
00000bcf: KECCAK256
00000bd0: CALL
00000bd1: CHAINID
00000bd2: EXTCODESIZE
00000bd3: UNKNOWN(0xD1)
00000bd4: UNKNOWN(0x27)
00000bd5: UNKNOWN(0xCB)
00000bd6: UNKNOWN(0x4E)
00000bd7: BLOCKHASH
00000bd8: PUSH26 0x35271702d90c643b386211468f06ed09ff408a471a507164736f
00000bf3: PUSH13

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xbe4e397021a471e5fcba65abcfda7dba309b6315374e965aa319bb52a25dd207 call_targets: 0x0210074364da13cd130e5ec306ab3cee683d9425 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xbe4e397021a471e5fcba65abcfda7dba309b6315374e965aa319bb52a25dd207", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0210074364da13cd130e5ec306ab3cee683d9425" ], "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": "0xb12803a0", "selector": "0xb12803a0", "calldata_variants": [ "0xb12803a0", "0xb12803a00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcecd6700", "selector": "0xcecd6700", "calldata_variants": [ "0xcecd6700", "0xcecd67000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe70761ef", "selector": "0xe70761ef", "calldata_variants": [ "0xe70761ef", "0xe70761ef0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7ed88fff", "selector": "0x7ed88fff", "calldata_variants": [ "0x7ed88fff", "0x7ed88fff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x874ec1e6", "selector": "0x874ec1e6", "calldata_variants": [ "0x874ec1e6", "0x874ec1e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xac58821d", "selector": "0xac58821d", "calldata_variants": [ "0xac58821d", "0xac58821d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 782, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1171, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1378, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xbe4e397021a471e5fcba65abcfda7dba309b6315374e965aa319bb52a25dd207 call_targets: 0x0210074364da13cd130e5ec306ab3cee683d9425 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xbe4e397021a471e5fcba65abcfda7dba309b6315374e965aa319bb52a25dd207", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0210074364da13cd130e5ec306ab3cee683d9425" ], "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": "0xb12803a0", "selector": "0xb12803a0", "calldata_variants": [ "0xb12803a0", "0xb12803a00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcecd6700", "selector": "0xcecd6700", "calldata_variants": [ "0xcecd6700", "0xcecd67000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe70761ef", "selector": "0xe70761ef", "calldata_variants": [ "0xe70761ef", "0xe70761ef0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7ed88fff", "selector": "0x7ed88fff", "calldata_variants": [ "0x7ed88fff", "0x7ed88fff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x874ec1e6", "selector": "0x874ec1e6", "calldata_variants": [ "0x874ec1e6", "0x874ec1e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xac58821d", "selector": "0xac58821d", "calldata_variants": [ "0xac58821d", "0xac58821d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 782, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1171, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1378, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }

Severity