Analysis Run

019b477e-d763-7162-a639-da52ef38b5c4

complete

Chain ID

1

Address

0xe2d86d998a497211648db0a18883e6b9d25d0400

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 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
28877	artifact.fetch	complete	1 / 3	3 months ago
28878	tool.cast_disasm	complete	1 / 3	3 months ago
72156	analysis.bundle	complete	1 / 3	1 week ago
72157	capability.graph	complete	1 / 3	1 week ago
72158	detector.run	complete	1 / 3	1 week ago
72159	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

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

0

Total opcodes

2176

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x004e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x025e7c27
00000019: EQ
0000001a: PUSH2 0x0057
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x42cde4e8
00000024: EQ
00000025: PUSH2 0x0094
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa0ab9653
0000002f: EQ
00000030: PUSH2 0x00bf
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa0e67e2b
0000003a: EQ
0000003b: PUSH2 0x00e8
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xaffed0e0
00000045: EQ
00000046: PUSH2 0x0113
00000049: JUMPI
0000004a: PUSH2 0x0055
0000004d: JUMP
0000004e: JUMPDEST
0000004f: CALLDATASIZE
00000050: PUSH2 0x0055
00000053: JUMPI
00000054: STOP
00000055: JUMPDEST
00000056: STOP
00000057: JUMPDEST
00000058: CALLVALUE
00000059: DUP1
0000005a: ISZERO
0000005b: PUSH2 0x0063
0000005e: JUMPI
0000005f: PUSH1 0x00
00000061: DUP1
00000062: REVERT
00000063: JUMPDEST
00000064: POP
00000065: PUSH2 0x007e
00000068: PUSH1 0x04
0000006a: DUP1
0000006b: CALLDATASIZE
0000006c: SUB
0000006d: DUP2
0000006e: ADD
0000006f: SWAP1
00000070: PUSH2 0x0079
00000073: SWAP2
00000074: SWAP1
00000075: PUSH2 0x0515
00000078: JUMP
00000079: JUMPDEST
0000007a: PUSH2 0x013e
0000007d: JUMP
0000007e: JUMPDEST
0000007f: PUSH1 0x40
00000081: MLOAD
00000082: PUSH2 0x008b
00000085: SWAP2
00000086: SWAP1
00000087: PUSH2 0x0583
0000008a: JUMP
0000008b: JUMPDEST
0000008c: PUSH1 0x40
0000008e: MLOAD
0000008f: DUP1
00000090: SWAP2
00000091: SUB
00000092: SWAP1
00000093: RETURN
00000094: JUMPDEST
00000095: CALLVALUE
00000096: DUP1
00000097: ISZERO
00000098: PUSH2 0x00a0
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: POP
000000a2: PUSH2 0x00a9
000000a5: PUSH2 0x017d
000000a8: JUMP
000000a9: JUMPDEST
000000aa: PUSH1 0x40
000000ac: MLOAD
000000ad: PUSH2 0x00b6
000000b0: SWAP2
000000b1: SWAP1
000000b2: PUSH2 0x05ad
000000b5: JUMP
000000b6: JUMPDEST
000000b7: PUSH1 0x40
000000b9: MLOAD
000000ba: DUP1
000000bb: SWAP2
000000bc: SUB
000000bd: SWAP1
000000be: RETURN
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 0x00e6
000000d0: PUSH1 0x04
000000d2: DUP1
000000d3: CALLDATASIZE
000000d4: SUB
000000d5: DUP2
000000d6: ADD
000000d7: SWAP1
000000d8: PUSH2 0x00e1
000000db: SWAP2
000000dc: SWAP1
000000dd: PUSH2 0x0934
000000e0: JUMP
000000e1: JUMPDEST
000000e2: PUSH2 0x0183
000000e5: JUMP
000000e6: JUMPDEST
000000e7: STOP
000000e8: JUMPDEST
000000e9: CALLVALUE
000000ea: DUP1
000000eb: ISZERO
000000ec: PUSH2 0x00f4
000000ef: JUMPI
000000f0: PUSH1 0x00
000000f2: DUP1
000000f3: REVERT
000000f4: JUMPDEST
000000f5: POP
000000f6: PUSH2 0x00fd
000000f9: PUSH2 0x0437
000000fc: JUMP
000000fd: JUMPDEST
000000fe: PUSH1 0x40
00000100: MLOAD
00000101: PUSH2 0x010a
00000104: SWAP2
00000105: SWAP1
00000106: PUSH2 0x0b18
00000109: JUMP
0000010a: JUMPDEST
0000010b: PUSH1 0x40
0000010d: MLOAD
0000010e: DUP1
0000010f: SWAP2
00000110: SUB
00000111: SWAP1
00000112: RETURN
00000113: JUMPDEST
00000114: CALLVALUE
00000115: DUP1
00000116: ISZERO
00000117: PUSH2 0x011f
0000011a: JUMPI
0000011b: PUSH1 0x00
0000011d: DUP1
0000011e: REVERT
0000011f: JUMPDEST
00000120: POP
00000121: PUSH2 0x0128
00000124: PUSH2 0x04c5
00000127: JUMP
00000128: JUMPDEST
00000129: PUSH1 0x40
0000012b: MLOAD
0000012c: PUSH2 0x0135
0000012f: SWAP2
00000130: SWAP1
00000131: PUSH2 0x05ad
00000134: JUMP
00000135: JUMPDEST
00000136: PUSH1 0x40
00000138: MLOAD
00000139: DUP1
0000013a: SWAP2
0000013b: SUB
0000013c: SWAP1
0000013d: RETURN
0000013e: JUMPDEST
0000013f: PUSH1 0x04
00000141: DUP2
00000142: DUP2
00000143: SLOAD
00000144: DUP2
00000145: LT
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: SWAP1
00000150: PUSH1 0x00
00000152: MSTORE
00000153: PUSH1 0x20
00000155: PUSH1 0x00
00000157: KECCAK256
00000158: ADD
00000159: PUSH1 0x00
0000015b: SWAP2
0000015c: POP
0000015d: SLOAD
0000015e: SWAP1
0000015f: PUSH2 0x0100
00000162: EXP
00000163: SWAP1
00000164: DIV
00000165: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000017a: AND
0000017b: DUP2
0000017c: JUMP
0000017d: JUMPDEST
0000017e: PUSH1 0x02
00000180: SLOAD
00000181: DUP2
00000182: JUMP
00000183: JUMPDEST
00000184: PUSH1 0x02
00000186: SLOAD
00000187: DUP8
00000188: MLOAD
00000189: EQ
0000018a: PUSH2 0x0192
0000018d: JUMPI
0000018e: PUSH1 0x00
00000190: DUP1
00000191: REVERT
00000192: JUMPDEST
00000193: DUP6
00000194: MLOAD
00000195: DUP8
00000196: MLOAD
00000197: EQ
00000198: DUP1
00000199: ISZERO
0000019a: PUSH2 0x01a4
0000019d: JUMPI
0000019e: POP
0000019f: DUP8
000001a0: MLOAD
000001a1: DUP8
000001a2: MLOAD
000001a3: EQ
000001a4: JUMPDEST
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: CALLER
000001af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c4: AND
000001c5: DUP3
000001c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001db: AND
000001dc: EQ
000001dd: DUP1
000001de: PUSH2 0x0213
000001e1: JUMPI
000001e2: POP
000001e3: PUSH1 0x00
000001e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001fa: AND
000001fb: DUP3
000001fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000211: AND
00000212: EQ
00000213: JUMPDEST
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: PUSH1 0x00
0000021f: PUSH32 0x3ee892349ae4bbe61dce18f95115b5dc02daf49204cc602458cd4c1f540d56d7
00000240: PUSH1 0x00
00000242: SHL
00000243: DUP7
00000244: DUP7
00000245: DUP7
00000246: DUP1
00000247: MLOAD
00000248: SWAP1
00000249: PUSH1 0x20
0000024b: ADD
0000024c: KECCAK256
0000024d: PUSH1 0x01
0000024f: SLOAD
00000250: DUP8
00000251: DUP8
00000252: PUSH1 0x40
00000254: MLOAD
00000255: PUSH1 0x20
00000257: ADD
00000258: PUSH2 0x0267
0000025b: SWAP8
0000025c: SWAP7
0000025d: SWAP6
0000025e: SWAP5
0000025f: SWAP4
00000260: SWAP3
00000261: SWAP2
00000262: SWAP1
00000263: PUSH2 0x0b49
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH1 0x40
0000026a: MLOAD
0000026b: PUSH1 0x20
0000026d: DUP2
0000026e: DUP4
0000026f: SUB
00000270: SUB
00000271: DUP2
00000272: MSTORE
00000273: SWAP1
00000274: PUSH1 0x40
00000276: MSTORE
00000277: DUP1
00000278: MLOAD
00000279: SWAP1
0000027a: PUSH1 0x20
0000027c: ADD
0000027d: KECCAK256
0000027e: SWAP1
0000027f: POP
00000280: PUSH1 0x00
00000282: DUP1
00000283: SLOAD
00000284: DUP3
00000285: PUSH1 0x40
00000287: MLOAD
00000288: PUSH1 0x20
0000028a: ADD
0000028b: PUSH2 0x0295
0000028e: SWAP3
0000028f: SWAP2
00000290: SWAP1
00000291: PUSH2 0x0c30
00000294: JUMP
00000295: JUMPDEST
00000296: PUSH1 0x40
00000298: MLOAD
00000299: PUSH1 0x20
0000029b: DUP2
0000029c: DUP4
0000029d: SUB
0000029e: SUB
0000029f: DUP2
000002a0: MSTORE
000002a1: SWAP1
000002a2: PUSH1 0x40
000002a4: MSTORE
000002a5: DUP1
000002a6: MLOAD
000002a7: SWAP1
000002a8: PUSH1 0x20
000002aa: ADD
000002ab: KECCAK256
000002ac: SWAP1
000002ad: POP
000002ae: PUSH1 0x00
000002b0: DUP1
000002b1: JUMPDEST
000002b2: PUSH1 0x02
000002b4: SLOAD
000002b5: DUP2
000002b6: LT
000002b7: ISZERO
000002b8: PUSH2 0x03fa
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: PUSH1 0x01
000002c0: DUP5
000002c1: DUP15
000002c2: DUP5
000002c3: DUP2
000002c4: MLOAD
000002c5: DUP2
000002c6: LT
000002c7: PUSH2 0x02d3
000002ca: JUMPI
000002cb: PUSH2 0x02d2
000002ce: PUSH2 0x0c67
000002d1: JUMP
000002d2: JUMPDEST
000002d3: JUMPDEST
000002d4: PUSH1 0x20
000002d6: MUL
000002d7: PUSH1 0x20
000002d9: ADD
000002da: ADD
000002db: MLOAD
000002dc: DUP15
000002dd: DUP6
000002de: DUP2
000002df: MLOAD
000002e0: DUP2
000002e1: LT
000002e2: PUSH2 0x02ee
000002e5: JUMPI
000002e6: PUSH2 0x02ed
000002e9: PUSH2 0x0c67
000002ec: JUMP
000002ed: JUMPDEST
000002ee: JUMPDEST
000002ef: PUSH1 0x20
000002f1: MUL
000002f2: PUSH1 0x20
000002f4: ADD
000002f5: ADD
000002f6: MLOAD
000002f7: DUP15
000002f8: DUP7
000002f9: DUP2
000002fa: MLOAD
000002fb: DUP2
000002fc: LT
000002fd: PUSH2 0x0309
00000300: JUMPI
00000301: PUSH2 0x0308
00000304: PUSH2 0x0c67
00000307: JUMP
00000308: JUMPDEST
00000309: JUMPDEST
0000030a: PUSH1 0x20
0000030c: MUL
0000030d: PUSH1 0x20
0000030f: ADD
00000310: ADD
00000311: MLOAD
00000312: PUSH1 0x40
00000314: MLOAD
00000315: PUSH1 0x00
00000317: DUP2
00000318: MSTORE
00000319: PUSH1 0x20
0000031b: ADD
0000031c: PUSH1 0x40
0000031e: MSTORE
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: PUSH2 0x032e
00000325: SWAP5
00000326: SWAP4
00000327: SWAP3
00000328: SWAP2
00000329: SWAP1
0000032a: PUSH2 0x0ca5
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH1 0x20
00000331: PUSH1 0x40
00000333: MLOAD
00000334: PUSH1 0x20
00000336: DUP2
00000337: SUB
00000338: SWAP1
00000339: DUP1
0000033a: DUP5
0000033b: SUB
0000033c: SWAP1
0000033d: DUP6
0000033e: GAS
0000033f: STATICCALL
00000340: ISZERO
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x0350
00000346: JUMPI
00000347: RETURNDATASIZE
00000348: PUSH1 0x00
0000034a: DUP1
0000034b: RETURNDATACOPY
0000034c: RETURNDATASIZE
0000034d: PUSH1 0x00
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: POP
00000353: POP
00000354: PUSH1 0x20
00000356: PUSH1 0x40
00000358: MLOAD
00000359: SUB
0000035a: MLOAD
0000035b: SWAP1
0000035c: POP
0000035d: DUP3
0000035e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000373: AND
00000374: DUP2
00000375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038a: AND
0000038b: GT
0000038c: DUP1
0000038d: ISZERO
0000038e: PUSH2 0x03e0
00000391: JUMPI
00000392: POP
00000393: PUSH1 0x03
00000395: PUSH1 0x00
00000397: DUP3
00000398: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ad: AND
000003ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c3: AND
000003c4: DUP2
000003c5: MSTORE
000003c6: PUSH1 0x20
000003c8: ADD
000003c9: SWAP1
000003ca: DUP2
000003cb: MSTORE
000003cc: PUSH1 0x20
000003ce: ADD
000003cf: PUSH1 0x00
000003d1: KECCAK256
000003d2: PUSH1 0x00
000003d4: SWAP1
000003d5: SLOAD
000003d6: SWAP1
000003d7: PUSH2 0x0100
000003da: EXP
000003db: SWAP1
000003dc: DIV
000003dd: PUSH1 0xff
000003df: AND
000003e0: JUMPDEST
000003e1: PUSH2 0x03e9
000003e4: JUMPI
000003e5: PUSH1 0x00
000003e7: DUP1
000003e8: REVERT
000003e9: JUMPDEST
000003ea: DUP1
000003eb: SWAP3
000003ec: POP
000003ed: POP
000003ee: DUP1
000003ef: DUP1
000003f0: PUSH1 0x01
000003f2: ADD
000003f3: SWAP2
000003f4: POP
000003f5: POP
000003f6: PUSH2 0x02b1
000003f9: JUMP
000003fa: JUMPDEST
000003fb: POP
000003fc: PUSH1 0x01
000003fe: DUP1
000003ff: SLOAD
00000400: PUSH2 0x0409
00000403: SWAP2
00000404: SWAP1
00000405: PUSH2 0x0d19
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH1 0x01
0000040c: DUP2
0000040d: SWAP1
0000040e: SSTORE
0000040f: POP
00000410: PUSH1 0x00
00000412: DUP1
00000413: DUP1
00000414: DUP9
00000415: MLOAD
00000416: PUSH1 0x20
00000418: DUP11
00000419: ADD
0000041a: DUP12
0000041b: DUP14
0000041c: DUP11
0000041d: CALL
0000041e: SWAP1
0000041f: POP
00000420: DUP1
00000421: PUSH2 0x0429
00000424: JUMPI
00000425: PUSH1 0x00
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: POP
0000042b: POP
0000042c: POP
0000042d: POP
0000042e: POP
0000042f: POP
00000430: POP
00000431: POP
00000432: POP
00000433: POP
00000434: POP
00000435: POP
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH1 0x60
0000043a: PUSH1 0x04
0000043c: DUP1
0000043d: SLOAD
0000043e: DUP1
0000043f: PUSH1 0x20
00000441: MUL
00000442: PUSH1 0x20
00000444: ADD
00000445: PUSH1 0x40
00000447: MLOAD
00000448: SWAP1
00000449: DUP2
0000044a: ADD
0000044b: PUSH1 0x40
0000044d: MSTORE
0000044e: DUP1
0000044f: SWAP3
00000450: SWAP2
00000451: SWAP1
00000452: DUP2
00000453: DUP2
00000454: MSTORE
00000455: PUSH1 0x20
00000457: ADD
00000458: DUP3
00000459: DUP1
0000045a: SLOAD
0000045b: DUP1
0000045c: ISZERO
0000045d: PUSH2 0x04bb
00000460: JUMPI
00000461: PUSH1 0x20
00000463: MUL
00000464: DUP3
00000465: ADD
00000466: SWAP2
00000467: SWAP1
00000468: PUSH1 0x00
0000046a: MSTORE
0000046b: PUSH1 0x20
0000046d: PUSH1 0x00
0000046f: KECCAK256
00000470: SWAP1
00000471: JUMPDEST
00000472: DUP2
00000473: PUSH1 0x00
00000475: SWAP1
00000476: SLOAD
00000477: SWAP1
00000478: PUSH2 0x0100
0000047b: EXP
0000047c: SWAP1
0000047d: DIV
0000047e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000493: AND
00000494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a9: AND
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x20
000004ae: ADD
000004af: SWAP1
000004b0: PUSH1 0x01
000004b2: ADD
000004b3: SWAP1
000004b4: DUP1
000004b5: DUP4
000004b6: GT
000004b7: PUSH2 0x0471
000004ba: JUMPI
000004bb: JUMPDEST
000004bc: POP
000004bd: POP
000004be: POP
000004bf: POP
000004c0: POP
000004c1: SWAP1
000004c2: POP
000004c3: SWAP1
000004c4: JUMP
000004c5: JUMPDEST
000004c6: PUSH1 0x01
000004c8: SLOAD
000004c9: DUP2
000004ca: JUMP
000004cb: JUMPDEST
000004cc: PUSH1 0x00
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: SWAP1
000004d2: POP
000004d3: SWAP1
000004d4: JUMP
000004d5: JUMPDEST
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: PUSH1 0x00
000004dd: DUP1
000004de: REVERT
000004df: JUMPDEST
000004e0: PUSH1 0x00
000004e2: DUP2
000004e3: SWAP1
000004e4: POP
000004e5: SWAP2
000004e6: SWAP1
000004e7: POP
000004e8: JUMP
000004e9: JUMPDEST
000004ea: PUSH2 0x04f2
000004ed: DUP2
000004ee: PUSH2 0x04df
000004f1: JUMP
000004f2: JUMPDEST
000004f3: DUP2
000004f4: EQ
000004f5: PUSH2 0x04fd
000004f8: JUMPI
000004f9: PUSH1 0x00
000004fb: DUP1
000004fc: REVERT
000004fd: JUMPDEST
000004fe: POP
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x00
00000503: DUP2
00000504: CALLDATALOAD
00000505: SWAP1
00000506: POP
00000507: PUSH2 0x050f
0000050a: DUP2
0000050b: PUSH2 0x04e9
0000050e: JUMP
0000050f: JUMPDEST
00000510: SWAP3
00000511: SWAP2
00000512: POP
00000513: POP
00000514: JUMP
00000515: JUMPDEST
00000516: PUSH1 0x00
00000518: PUSH1 0x20
0000051a: DUP3
0000051b: DUP5
0000051c: SUB
0000051d: SLT
0000051e: ISZERO
0000051f: PUSH2 0x052b
00000522: JUMPI
00000523: PUSH2 0x052a
00000526: PUSH2 0x04d5
00000529: JUMP
0000052a: JUMPDEST
0000052b: JUMPDEST
0000052c: PUSH1 0x00
0000052e: PUSH2 0x0539
00000531: DUP5
00000532: DUP3
00000533: DUP6
00000534: ADD
00000535: PUSH2 0x0500
00000538: JUMP
00000539: JUMPDEST
0000053a: SWAP2
0000053b: POP
0000053c: POP
0000053d: SWAP3
0000053e: SWAP2
0000053f: POP
00000540: POP
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH1 0x00
00000545: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000055a: DUP3
0000055b: AND
0000055c: SWAP1
0000055d: POP
0000055e: SWAP2
0000055f: SWAP1
00000560: POP
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH1 0x00
00000565: PUSH2 0x056d
00000568: DUP3
00000569: PUSH2 0x0542
0000056c: JUMP
0000056d: JUMPDEST
0000056e: SWAP1
0000056f: POP
00000570: SWAP2
00000571: SWAP1
00000572: POP
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH2 0x057d
00000578: DUP2
00000579: PUSH2 0x0562
0000057c: JUMP
0000057d: JUMPDEST
0000057e: DUP3
0000057f: MSTORE
00000580: POP
00000581: POP
00000582: JUMP
00000583: JUMPDEST
00000584: PUSH1 0x00
00000586: PUSH1 0x20
00000588: DUP3
00000589: ADD
0000058a: SWAP1
0000058b: POP
0000058c: PUSH2 0x0598
0000058f: PUSH1 0x00
00000591: DUP4
00000592: ADD
00000593: DUP5
00000594: PUSH2 0x0574
00000597: JUMP
00000598: JUMPDEST
00000599: SWAP3
0000059a: SWAP2
0000059b: POP
0000059c: POP
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH2 0x05a7
000005a2: DUP2
000005a3: PUSH2 0x04df
000005a6: JUMP
000005a7: JUMPDEST
000005a8: DUP3
000005a9: MSTORE
000005aa: POP
000005ab: POP
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH1 0x00
000005b0: PUSH1 0x20
000005b2: DUP3
000005b3: ADD
000005b4: SWAP1
000005b5: POP
000005b6: PUSH2 0x05c2
000005b9: PUSH1 0x00
000005bb: DUP4
000005bc: ADD
000005bd: DUP5
000005be: PUSH2 0x059e
000005c1: JUMP
000005c2: JUMPDEST
000005c3: SWAP3
000005c4: SWAP2
000005c5: POP
000005c6: POP
000005c7: JUMP
000005c8: JUMPDEST
000005c9: PUSH1 0x00
000005cb: DUP1
000005cc: REVERT
000005cd: JUMPDEST
000005ce: PUSH1 0x00
000005d0: PUSH1 0x1f
000005d2: NOT
000005d3: PUSH1 0x1f
000005d5: DUP4
000005d6: ADD
000005d7: AND
000005d8: SWAP1
000005d9: POP
000005da: SWAP2
000005db: SWAP1
000005dc: POP
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000600: PUSH1 0x00
00000602: MSTORE
00000603: PUSH1 0x41
00000605: PUSH1 0x04
00000607: MSTORE
00000608: PUSH1 0x24
0000060a: PUSH1 0x00
0000060c: REVERT
0000060d: JUMPDEST
0000060e: PUSH2 0x0616
00000611: DUP3
00000612: PUSH2 0x05cd
00000615: JUMP
00000616: JUMPDEST
00000617: DUP2
00000618: ADD
00000619: DUP2
0000061a: DUP2
0000061b: LT
0000061c: PUSH8 0xffffffffffffffff
00000625: DUP3
00000626: GT
00000627: OR
00000628: ISZERO
00000629: PUSH2 0x0635
0000062c: JUMPI
0000062d: PUSH2 0x0634
00000630: PUSH2 0x05de
00000633: JUMP
00000634: JUMPDEST
00000635: JUMPDEST
00000636: DUP1
00000637: PUSH1 0x40
00000639: MSTORE
0000063a: POP
0000063b: POP
0000063c: POP
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH1 0x00
00000641: PUSH2 0x0648
00000644: PUSH2 0x04cb
00000647: JUMP
00000648: JUMPDEST
00000649: SWAP1
0000064a: POP
0000064b: PUSH2 0x0654
0000064e: DUP3
0000064f: DUP3
00000650: PUSH2 0x060d
00000653: JUMP
00000654: JUMPDEST
00000655: SWAP2
00000656: SWAP1
00000657: POP
00000658: JUMP
00000659: JUMPDEST
0000065a: PUSH1 0x00
0000065c: PUSH8 0xffffffffffffffff
00000665: DUP3
00000666: GT
00000667: ISZERO
00000668: PUSH2 0x0674
0000066b: JUMPI
0000066c: PUSH2 0x0673
0000066f: PUSH2 0x05de
00000672: JUMP
00000673: JUMPDEST
00000674: JUMPDEST
00000675: PUSH1 0x20
00000677: DUP3
00000678: MUL
00000679: SWAP1
0000067a: POP
0000067b: PUSH1 0x20
0000067d: DUP2
0000067e: ADD
0000067f: SWAP1
00000680: POP
00000681: SWAP2
00000682: SWAP1
00000683: POP
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH1 0x00
00000688: DUP1
00000689: REVERT
0000068a: JUMPDEST
0000068b: PUSH1 0x00
0000068d: PUSH1 0xff
0000068f: DUP3
00000690: AND
00000691: SWAP1
00000692: POP
00000693: SWAP2
00000694: SWAP1
00000695: POP
00000696: JUMP
00000697: JUMPDEST
00000698: PUSH2 0x06a0
0000069b: DUP2
0000069c: PUSH2 0x068a
0000069f: JUMP
000006a0: JUMPDEST
000006a1: DUP2
000006a2: EQ
000006a3: PUSH2 0x06ab
000006a6: JUMPI
000006a7: PUSH1 0x00
000006a9: DUP1
000006aa: REVERT
000006ab: JUMPDEST
000006ac: POP
000006ad: JUMP
000006ae: JUMPDEST
000006af: PUSH1 0x00
000006b1: DUP2
000006b2: CALLDATALOAD
000006b3: SWAP1
000006b4: POP
000006b5: PUSH2 0x06bd
000006b8: DUP2
000006b9: PUSH2 0x0697
000006bc: JUMP
000006bd: JUMPDEST
000006be: SWAP3
000006bf: SWAP2
000006c0: POP
000006c1: POP
000006c2: JUMP
000006c3: JUMPDEST
000006c4: PUSH1 0x00
000006c6: PUSH2 0x06d6
000006c9: PUSH2 0x06d1
000006cc: DUP5
000006cd: PUSH2 0x0659
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH2 0x063e
000006d5: JUMP
000006d6: JUMPDEST
000006d7: SWAP1
000006d8: POP
000006d9: DUP1
000006da: DUP4
000006db: DUP3
000006dc: MSTORE
000006dd: PUSH1 0x20
000006df: DUP3
000006e0: ADD
000006e1: SWAP1
000006e2: POP
000006e3: PUSH1 0x20
000006e5: DUP5
000006e6: MUL
000006e7: DUP4
000006e8: ADD
000006e9: DUP6
000006ea: DUP2
000006eb: GT
000006ec: ISZERO
000006ed: PUSH2 0x06f9
000006f0: JUMPI
000006f1: PUSH2 0x06f8
000006f4: PUSH2 0x0685
000006f7: JUMP
000006f8: JUMPDEST
000006f9: JUMPDEST
000006fa: DUP4
000006fb: JUMPDEST
000006fc: DUP2
000006fd: DUP2
000006fe: LT
000006ff: ISZERO
00000700: PUSH2 0x0722
00000703: JUMPI
00000704: DUP1
00000705: PUSH2 0x070e
00000708: DUP9
00000709: DUP3
0000070a: PUSH2 0x06ae
0000070d: JUMP
0000070e: JUMPDEST
0000070f: DUP5
00000710: MSTORE
00000711: PUSH1 0x20
00000713: DUP5
00000714: ADD
00000715: SWAP4
00000716: POP
00000717: POP
00000718: PUSH1 0x20
0000071a: DUP2
0000071b: ADD
0000071c: SWAP1
0000071d: POP
0000071e: PUSH2 0x06fb
00000721: JUMP
00000722: JUMPDEST
00000723: POP
00000724: POP
00000725: POP
00000726: SWAP4
00000727: SWAP3
00000728: POP
00000729: POP
0000072a: POP
0000072b: JUMP
0000072c: JUMPDEST
0000072d: PUSH1 0x00
0000072f: DUP3
00000730: PUSH1 0x1f
00000732: DUP4
00000733: ADD
00000734: SLT
00000735: PUSH2 0x0741
00000738: JUMPI
00000739: PUSH2 0x0740
0000073c: PUSH2 0x05c8
0000073f: JUMP
00000740: JUMPDEST
00000741: JUMPDEST
00000742: DUP2
00000743: CALLDATALOAD
00000744: PUSH2 0x0751
00000747: DUP5
00000748: DUP3
00000749: PUSH1 0x20
0000074b: DUP7
0000074c: ADD
0000074d: PUSH2 0x06c3
00000750: JUMP
00000751: JUMPDEST
00000752: SWAP2
00000753: POP
00000754: POP
00000755: SWAP3
00000756: SWAP2
00000757: POP
00000758: POP
00000759: JUMP
0000075a: JUMPDEST
0000075b: PUSH1 0x00
0000075d: PUSH8 0xffffffffffffffff
00000766: DUP3
00000767: GT
00000768: ISZERO
00000769: PUSH2 0x0775
0000076c: JUMPI
0000076d: PUSH2 0x0774
00000770: PUSH2 0x05de
00000773: JUMP
00000774: JUMPDEST
00000775: JUMPDEST
00000776: PUSH1 0x20
00000778: DUP3
00000779: MUL
0000077a: SWAP1
0000077b: POP
0000077c: PUSH1 0x20
0000077e: DUP2
0000077f: ADD
00000780: SWAP1
00000781: POP
00000782: SWAP2
00000783: SWAP1
00000784: POP
00000785: JUMP
00000786: JUMPDEST
00000787: PUSH1 0x00
00000789: DUP2
0000078a: SWAP1
0000078b: POP
0000078c: SWAP2
0000078d: SWAP1
0000078e: POP
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH2 0x0799
00000794: DUP2
00000795: PUSH2 0x0786
00000798: JUMP
00000799: JUMPDEST
0000079a: DUP2
0000079b: EQ
0000079c: PUSH2 0x07a4
0000079f: JUMPI
000007a0: PUSH1 0x00
000007a2: DUP1
000007a3: REVERT
000007a4: JUMPDEST
000007a5: POP
000007a6: JUMP
000007a7: JUMPDEST
000007a8: PUSH1 0x00
000007aa: DUP2
000007ab: CALLDATALOAD
000007ac: SWAP1
000007ad: POP
000007ae: PUSH2 0x07b6
000007b1: DUP2
000007b2: PUSH2 0x0790
000007b5: JUMP
000007b6: JUMPDEST
000007b7: SWAP3
000007b8: SWAP2
000007b9: POP
000007ba: POP
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH1 0x00
000007bf: PUSH2 0x07cf
000007c2: PUSH2 0x07ca
000007c5: DUP5
000007c6: PUSH2 0x075a
000007c9: JUMP
000007ca: JUMPDEST
000007cb: PUSH2 0x063e
000007ce: JUMP
000007cf: JUMPDEST
000007d0: SWAP1
000007d1: POP
000007d2: DUP1
000007d3: DUP4
000007d4: DUP3
000007d5: MSTORE
000007d6: PUSH1 0x20
000007d8: DUP3
000007d9: ADD
000007da: SWAP1
000007db: POP
000007dc: PUSH1 0x20
000007de: DUP5
000007df: MUL
000007e0: DUP4
000007e1: ADD
000007e2: DUP6
000007e3: DUP2
000007e4: GT
000007e5: ISZERO
000007e6: PUSH2 0x07f2
000007e9: JUMPI
000007ea: PUSH2 0x07f1
000007ed: PUSH2 0x0685
000007f0: JUMP
000007f1: JUMPDEST
000007f2: JUMPDEST
000007f3: DUP4
000007f4: JUMPDEST
000007f5: DUP2
000007f6: DUP2
000007f7: LT
000007f8: ISZERO
000007f9: PUSH2 0x081b
000007fc: JUMPI
000007fd: DUP1
000007fe: PUSH2 0x0807
00000801: DUP9
00000802: DUP3
00000803: PUSH2 0x07a7
00000806: JUMP
00000807: JUMPDEST
00000808: DUP5
00000809: MSTORE
0000080a: PUSH1 0x20
0000080c: DUP5
0000080d: ADD
0000080e: SWAP4
0000080f: POP
00000810: POP
00000811: PUSH1 0x20
00000813: DUP2
00000814: ADD
00000815: SWAP1
00000816: POP
00000817: PUSH2 0x07f4
0000081a: JUMP
0000081b: JUMPDEST
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: SWAP4
00000820: SWAP3
00000821: POP
00000822: POP
00000823: POP
00000824: JUMP
00000825: JUMPDEST
00000826: PUSH1 0x00
00000828: DUP3
00000829: PUSH1 0x1f
0000082b: DUP4
0000082c: ADD
0000082d: SLT
0000082e: PUSH2 0x083a
00000831: JUMPI
00000832: PUSH2 0x0839
00000835: PUSH2 0x05c8
00000838: JUMP
00000839: JUMPDEST
0000083a: JUMPDEST
0000083b: DUP2
0000083c: CALLDATALOAD
0000083d: PUSH2 0x084a
00000840: DUP5
00000841: DUP3
00000842: PUSH1 0x20
00000844: DUP7
00000845: ADD
00000846: PUSH2 0x07bc
00000849: JUMP
0000084a: JUMPDEST
0000084b: SWAP2
0000084c: POP
0000084d: POP
0000084e: SWAP3
0000084f: SWAP2
00000850: POP
00000851: POP
00000852: JUMP
00000853: JUMPDEST
00000854: PUSH2 0x085c
00000857: DUP2
00000858: PUSH2 0x0562
0000085b: JUMP
0000085c: JUMPDEST
0000085d: DUP2
0000085e: EQ
0000085f: PUSH2 0x0867
00000862: JUMPI
00000863: PUSH1 0x00
00000865: DUP1
00000866: REVERT
00000867: JUMPDEST
00000868: POP
00000869: JUMP
0000086a: JUMPDEST
0000086b: PUSH1 0x00
0000086d: DUP2
0000086e: CALLDATALOAD
0000086f: SWAP1
00000870: POP
00000871: PUSH2 0x0879
00000874: DUP2
00000875: PUSH2 0x0853
00000878: JUMP
00000879: JUMPDEST
0000087a: SWAP3
0000087b: SWAP2
0000087c: POP
0000087d: POP
0000087e: JUMP
0000087f: JUMPDEST
00000880: PUSH1 0x00
00000882: DUP1
00000883: REVERT
00000884: JUMPDEST
00000885: PUSH1 0x00
00000887: PUSH8 0xffffffffffffffff
00000890: DUP3
00000891: GT
00000892: ISZERO
00000893: PUSH2 0x089f
00000896: JUMPI
00000897: PUSH2 0x089e
0000089a: PUSH2 0x05de
0000089d: JUMP
0000089e: JUMPDEST
0000089f: JUMPDEST
000008a0: PUSH2 0x08a8
000008a3: DUP3
000008a4: PUSH2 0x05cd
000008a7: JUMP
000008a8: JUMPDEST
000008a9: SWAP1
000008aa: POP
000008ab: PUSH1 0x20
000008ad: DUP2
000008ae: ADD
000008af: SWAP1
000008b0: POP
000008b1: SWAP2
000008b2: SWAP1
000008b3: POP
000008b4: JUMP
000008b5: JUMPDEST
000008b6: DUP3
000008b7: DUP2
000008b8: DUP4
000008b9: CALLDATACOPY
000008ba: PUSH1 0x00
000008bc: DUP4
000008bd: DUP4
000008be: ADD
000008bf: MSTORE
000008c0: POP
000008c1: POP
000008c2: POP
000008c3: JUMP
000008c4: JUMPDEST
000008c5: PUSH1 0x00
000008c7: PUSH2 0x08d7
000008ca: PUSH2 0x08d2
000008cd: DUP5
000008ce: PUSH2 0x0884
000008d1: JUMP
000008d2: JUMPDEST
000008d3: PUSH2 0x063e
000008d6: JUMP
000008d7: JUMPDEST
000008d8: SWAP1
000008d9: POP
000008da: DUP3
000008db: DUP2
000008dc: MSTORE
000008dd: PUSH1 0x20
000008df: DUP2
000008e0: ADD
000008e1: DUP5
000008e2: DUP5
000008e3: DUP5
000008e4: ADD
000008e5: GT
000008e6: ISZERO
000008e7: PUSH2 0x08f3
000008ea: JUMPI
000008eb: PUSH2 0x08f2
000008ee: PUSH2 0x087f
000008f1: JUMP
000008f2: JUMPDEST
000008f3: JUMPDEST
000008f4: PUSH2 0x08fe
000008f7: DUP5
000008f8: DUP3
000008f9: DUP6
000008fa: PUSH2 0x08b5
000008fd: JUMP
000008fe: JUMPDEST
000008ff: POP
00000900: SWAP4
00000901: SWAP3
00000902: POP
00000903: POP
00000904: POP
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH1 0x00
00000909: DUP3
0000090a: PUSH1 0x1f
0000090c: DUP4
0000090d: ADD
0000090e: SLT
0000090f: PUSH2 0x091b
00000912: JUMPI
00000913: PUSH2 0x091a
00000916: PUSH2 0x05c8
00000919: JUMP
0000091a: JUMPDEST
0000091b: JUMPDEST
0000091c: DUP2
0000091d: CALLDATALOAD
0000091e: PUSH2 0x092b
00000921: DUP5
00000922: DUP3
00000923: PUSH1 0x20
00000925: DUP7
00000926: ADD
00000927: PUSH2 0x08c4
0000092a: JUMP
0000092b: JUMPDEST
0000092c: SWAP2
0000092d: POP
0000092e: POP
0000092f: SWAP3
00000930: SWAP2
00000931: POP
00000932: POP
00000933: JUMP
00000934: JUMPDEST
00000935: PUSH1 0x00
00000937: DUP1
00000938: PUSH1 0x00
0000093a: DUP1
0000093b: PUSH1 0x00
0000093d: DUP1
0000093e: PUSH1 0x00
00000940: DUP1
00000941: PUSH2 0x0100
00000944: DUP10
00000945: DUP12
00000946: SUB
00000947: SLT
00000948: ISZERO
00000949: PUSH2 0x0955
0000094c: JUMPI
0000094d: PUSH2 0x0954
00000950: PUSH2 0x04d5
00000953: JUMP
00000954: JUMPDEST
00000955: JUMPDEST
00000956: PUSH1 0x00
00000958: DUP10
00000959: ADD
0000095a: CALLDATALOAD
0000095b: PUSH8 0xffffffffffffffff
00000964: DUP2
00000965: GT
00000966: ISZERO
00000967: PUSH2 0x0973
0000096a: JUMPI
0000096b: PUSH2 0x0972
0000096e: PUSH2 0x04da
00000971: JUMP
00000972: JUMPDEST
00000973: JUMPDEST
00000974: PUSH2 0x097f
00000977: DUP12
00000978: DUP3
00000979: DUP13
0000097a: ADD
0000097b: PUSH2 0x072c
0000097e: JUMP
0000097f: JUMPDEST
00000980: SWAP9
00000981: POP
00000982: POP
00000983: PUSH1 0x20
00000985: DUP10
00000986: ADD
00000987: CALLDATALOAD
00000988: PUSH8 0xffffffffffffffff
00000991: DUP2
00000992: GT
00000993: ISZERO
00000994: PUSH2 0x09a0
00000997: JUMPI
00000998: PUSH2 0x099f
0000099b: PUSH2 0x04da
0000099e: JUMP
0000099f: JUMPDEST
000009a0: JUMPDEST
000009a1: PUSH2 0x09ac
000009a4: DUP12
000009a5: DUP3
000009a6: DUP13
000009a7: ADD
000009a8: PUSH2 0x0825
000009ab: JUMP
000009ac: JUMPDEST
000009ad: SWAP8
000009ae: POP
000009af: POP
000009b0: PUSH1 0x40
000009b2: DUP10
000009b3: ADD
000009b4: CALLDATALOAD
000009b5: PUSH8 0xffffffffffffffff
000009be: DUP2
000009bf: GT
000009c0: ISZERO
000009c1: PUSH2 0x09cd
000009c4: JUMPI
000009c5: PUSH2 0x09cc
000009c8: PUSH2 0x04da
000009cb: JUMP
000009cc: JUMPDEST
000009cd: JUMPDEST
000009ce: PUSH2 0x09d9
000009d1: DUP12
000009d2: DUP3
000009d3: DUP13
000009d4: ADD
000009d5: PUSH2 0x0825
000009d8: JUMP
000009d9: JUMPDEST
000009da: SWAP7
000009db: POP
000009dc: POP
000009dd: PUSH1 0x60
000009df: PUSH2 0x09ea
000009e2: DUP12
000009e3: DUP3
000009e4: DUP13
000009e5: ADD
000009e6: PUSH2 0x086a
000009e9: JUMP
000009ea: JUMPDEST
000009eb: SWAP6
000009ec: POP
000009ed: POP
000009ee: PUSH1 0x80
000009f0: PUSH2 0x09fb
000009f3: DUP12
000009f4: DUP3
000009f5: DUP13
000009f6: ADD
000009f7: PUSH2 0x0500
000009fa: JUMP
000009fb: JUMPDEST
000009fc: SWAP5
000009fd: POP
000009fe: POP
000009ff: PUSH1 0xa0
00000a01: DUP10
00000a02: ADD
00000a03: CALLDATALOAD
00000a04: PUSH8 0xffffffffffffffff
00000a0d: DUP2
00000a0e: GT
00000a0f: ISZERO
00000a10: PUSH2 0x0a1c
00000a13: JUMPI
00000a14: PUSH2 0x0a1b
00000a17: PUSH2 0x04da
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: JUMPDEST
00000a1d: PUSH2 0x0a28
00000a20: DUP12
00000a21: DUP3
00000a22: DUP13
00000a23: ADD
00000a24: PUSH2 0x0906
00000a27: JUMP
00000a28: JUMPDEST
00000a29: SWAP4
00000a2a: POP
00000a2b: POP
00000a2c: PUSH1 0xc0
00000a2e: PUSH2 0x0a39
00000a31: DUP12
00000a32: DUP3
00000a33: DUP13
00000a34: ADD
00000a35: PUSH2 0x086a
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: SWAP3
00000a3b: POP
00000a3c: POP
00000a3d: PUSH1 0xe0
00000a3f: PUSH2 0x0a4a
00000a42: DUP12
00000a43: DUP3
00000a44: DUP13
00000a45: ADD
00000a46: PUSH2 0x0500
00000a49: JUMP
00000a4a: JUMPDEST
00000a4b: SWAP2
00000a4c: POP
00000a4d: POP
00000a4e: SWAP3
00000a4f: SWAP6
00000a50: SWAP9
00000a51: POP
00000a52: SWAP3
00000a53: SWAP6
00000a54: SWAP9
00000a55: SWAP1
00000a56: SWAP4
00000a57: SWAP7
00000a58: POP
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x00
00000a5d: DUP2
00000a5e: MLOAD
00000a5f: SWAP1
00000a60: POP
00000a61: SWAP2
00000a62: SWAP1
00000a63: POP
00000a64: JUMP
00000a65: JUMPDEST
00000a66: PUSH1 0x00
00000a68: DUP3
00000a69: DUP3
00000a6a: MSTORE
00000a6b: PUSH1 0x20
00000a6d: DUP3
00000a6e: ADD
00000a6f: SWAP1
00000a70: POP
00000a71: SWAP3
00000a72: SWAP2
00000a73: POP
00000a74: POP
00000a75: JUMP
00000a76: JUMPDEST
00000a77: PUSH1 0x00
00000a79: DUP2
00000a7a: SWAP1
00000a7b: POP
00000a7c: PUSH1 0x20
00000a7e: DUP3
00000a7f: ADD
00000a80: SWAP1
00000a81: POP
00000a82: SWAP2
00000a83: SWAP1
00000a84: POP
00000a85: JUMP
00000a86: JUMPDEST
00000a87: PUSH2 0x0a8f
00000a8a: DUP2
00000a8b: PUSH2 0x0562
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: DUP3
00000a91: MSTORE
00000a92: POP
00000a93: POP
00000a94: JUMP
00000a95: JUMPDEST
00000a96: PUSH1 0x00
00000a98: PUSH2 0x0aa1
00000a9b: DUP4
00000a9c: DUP4
00000a9d: PUSH2 0x0a86
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: PUSH1 0x20
00000aa4: DUP4
00000aa5: ADD
00000aa6: SWAP1
00000aa7: POP
00000aa8: SWAP3
00000aa9: SWAP2
00000aaa: POP
00000aab: POP
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH1 0x00
00000ab0: PUSH1 0x20
00000ab2: DUP3
00000ab3: ADD
00000ab4: SWAP1
00000ab5: POP
00000ab6: SWAP2
00000ab7: SWAP1
00000ab8: POP
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: PUSH1 0x00
00000abd: PUSH2 0x0ac5
00000ac0: DUP3
00000ac1: PUSH2 0x0a5a
00000ac4: JUMP
00000ac5: JUMPDEST
00000ac6: PUSH2 0x0acf
00000ac9: DUP2
00000aca: DUP6
00000acb: PUSH2 0x0a65
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: SWAP4
00000ad1: POP
00000ad2: PUSH2 0x0ada
00000ad5: DUP4
00000ad6: PUSH2 0x0a76
00000ad9: JUMP
00000ada: JUMPDEST
00000adb: DUP1
00000adc: PUSH1 0x00
00000ade: JUMPDEST
00000adf: DUP4
00000ae0: DUP2
00000ae1: LT
00000ae2: ISZERO
00000ae3: PUSH2 0x0b0b
00000ae6: JUMPI
00000ae7: DUP2
00000ae8: MLOAD
00000ae9: PUSH2 0x0af2
00000aec: DUP9
00000aed: DUP3
00000aee: PUSH2 0x0a95
00000af1: JUMP
00000af2: JUMPDEST
00000af3: SWAP8
00000af4: POP
00000af5: PUSH2 0x0afd
00000af8: DUP4
00000af9: PUSH2 0x0aad
00000afc: JUMP
00000afd: JUMPDEST
00000afe: SWAP3
00000aff: POP
00000b00: POP
00000b01: PUSH1 0x01
00000b03: DUP2
00000b04: ADD
00000b05: SWAP1
00000b06: POP
00000b07: PUSH2 0x0ade
00000b0a: JUMP
00000b0b: JUMPDEST
00000b0c: POP
00000b0d: DUP6
00000b0e: SWAP4
00000b0f: POP
00000b10: POP
00000b11: POP
00000b12: POP
00000b13: SWAP3
00000b14: SWAP2
00000b15: POP
00000b16: POP
00000b17: JUMP
00000b18: JUMPDEST
00000b19: PUSH1 0x00
00000b1b: PUSH1 0x20
00000b1d: DUP3
00000b1e: ADD
00000b1f: SWAP1
00000b20: POP
00000b21: DUP2
00000b22: DUP2
00000b23: SUB
00000b24: PUSH1 0x00
00000b26: DUP4
00000b27: ADD
00000b28: MSTORE
00000b29: PUSH2 0x0b32
00000b2c: DUP2
00000b2d: DUP5
00000b2e: PUSH2 0x0aba
00000b31: JUMP
00000b32: JUMPDEST
00000b33: SWAP1
00000b34: POP
00000b35: SWAP3
00000b36: SWAP2
00000b37: POP
00000b38: POP
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: PUSH2 0x0b43
00000b3e: DUP2
00000b3f: PUSH2 0x0786
00000b42: JUMP
00000b43: JUMPDEST
00000b44: DUP3
00000b45: MSTORE
00000b46: POP
00000b47: POP
00000b48: JUMP
00000b49: JUMPDEST
00000b4a: PUSH1 0x00
00000b4c: PUSH1 0xe0
00000b4e: DUP3
00000b4f: ADD
00000b50: SWAP1
00000b51: POP
00000b52: PUSH2 0x0b5e
00000b55: PUSH1 0x00
00000b57: DUP4
00000b58: ADD
00000b59: DUP11
00000b5a: PUSH2 0x0b3a
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH2 0x0b6b
00000b62: PUSH1 0x20
00000b64: DUP4
00000b65: ADD
00000b66: DUP10
00000b67: PUSH2 0x0574
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: PUSH2 0x0b78
00000b6f: PUSH1 0x40
00000b71: DUP4
00000b72: ADD
00000b73: DUP9
00000b74: PUSH2 0x059e
00000b77: JUMP
00000b78: JUMPDEST
00000b79: PUSH2 0x0b85
00000b7c: PUSH1 0x60
00000b7e: DUP4
00000b7f: ADD
00000b80: DUP8
00000b81: PUSH2 0x0b3a
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH2 0x0b92
00000b89: PUSH1 0x80
00000b8b: DUP4
00000b8c: ADD
00000b8d: DUP7
00000b8e: PUSH2 0x059e
00000b91: JUMP
00000b92: JUMPDEST
00000b93: PUSH2 0x0b9f
00000b96: PUSH1 0xa0
00000b98: DUP4
00000b99: ADD
00000b9a: DUP6
00000b9b: PUSH2 0x0574
00000b9e: JUMP
00000b9f: JUMPDEST
00000ba0: PUSH2 0x0bac
00000ba3: PUSH1 0xc0
00000ba5: DUP4
00000ba6: ADD
00000ba7: DUP5
00000ba8: PUSH2 0x059e
00000bab: JUMP
00000bac: JUMPDEST
00000bad: SWAP9
00000bae: SWAP8
00000baf: POP
00000bb0: POP
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: POP
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: PUSH1 0x00
00000bbb: DUP2
00000bbc: SWAP1
00000bbd: POP
00000bbe: SWAP3
00000bbf: SWAP2
00000bc0: POP
00000bc1: POP
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00000be5: PUSH1 0x00
00000be7: DUP3
00000be8: ADD
00000be9: MSTORE
00000bea: POP
00000beb: JUMP
00000bec: JUMPDEST
00000bed: PUSH1 0x00
00000bef: PUSH2 0x0bf9
00000bf2: PUSH1 0x02
00000bf4: DUP4
00000bf5: PUSH2 0x0bb8
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: SWAP2
00000bfb: POP
00000bfc: PUSH2 0x0c04
00000bff: DUP3
00000c00: PUSH2 0x0bc3
00000c03: JUMP
00000c04: JUMPDEST
00000c05: PUSH1 0x02
00000c07: DUP3
00000c08: ADD
00000c09: SWAP1
00000c0a: POP
00000c0b: SWAP2
00000c0c: SWAP1
00000c0d: POP
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: PUSH1 0x00
00000c12: DUP2
00000c13: SWAP1
00000c14: POP
00000c15: SWAP2
00000c16: SWAP1
00000c17: POP
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: PUSH2 0x0c2a
00000c1d: PUSH2 0x0c25
00000c20: DUP3
00000c21: PUSH2 0x0786
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH2 0x0c0f
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: DUP3
00000c2c: MSTORE
00000c2d: POP
00000c2e: POP
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: PUSH1 0x00
00000c33: PUSH2 0x0c3b
00000c36: DUP3
00000c37: PUSH2 0x0bec
00000c3a: JUMP
00000c3b: JUMPDEST
00000c3c: SWAP2
00000c3d: POP
00000c3e: PUSH2 0x0c47
00000c41: DUP3
00000c42: DUP6
00000c43: PUSH2 0x0c19
00000c46: JUMP
00000c47: JUMPDEST
00000c48: PUSH1 0x20
00000c4a: DUP3
00000c4b: ADD
00000c4c: SWAP2
00000c4d: POP
00000c4e: PUSH2 0x0c57
00000c51: DUP3
00000c52: DUP5
00000c53: PUSH2 0x0c19
00000c56: JUMP
00000c57: JUMPDEST
00000c58: PUSH1 0x20
00000c5a: DUP3
00000c5b: ADD
00000c5c: SWAP2
00000c5d: POP
00000c5e: DUP2
00000c5f: SWAP1
00000c60: POP
00000c61: SWAP4
00000c62: SWAP3
00000c63: POP
00000c64: POP
00000c65: POP
00000c66: JUMP
00000c67: JUMPDEST
00000c68: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000c89: PUSH1 0x00
00000c8b: MSTORE
00000c8c: PUSH1 0x32
00000c8e: PUSH1 0x04
00000c90: MSTORE
00000c91: PUSH1 0x24
00000c93: PUSH1 0x00
00000c95: REVERT
00000c96: JUMPDEST
00000c97: PUSH2 0x0c9f
00000c9a: DUP2
00000c9b: PUSH2 0x068a
00000c9e: JUMP
00000c9f: JUMPDEST
00000ca0: DUP3
00000ca1: MSTORE
00000ca2: POP
00000ca3: POP
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: PUSH1 0x00
00000ca8: PUSH1 0x80
00000caa: DUP3
00000cab: ADD
00000cac: SWAP1
00000cad: POP
00000cae: PUSH2 0x0cba
00000cb1: PUSH1 0x00
00000cb3: DUP4
00000cb4: ADD
00000cb5: DUP8
00000cb6: PUSH2 0x0b3a
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH2 0x0cc7
00000cbe: PUSH1 0x20
00000cc0: DUP4
00000cc1: ADD
00000cc2: DUP7
00000cc3: PUSH2 0x0c96
00000cc6: JUMP
00000cc7: JUMPDEST
00000cc8: PUSH2 0x0cd4
00000ccb: PUSH1 0x40
00000ccd: DUP4
00000cce: ADD
00000ccf: DUP6
00000cd0: PUSH2 0x0b3a
00000cd3: JUMP
00000cd4: JUMPDEST
00000cd5: PUSH2 0x0ce1
00000cd8: PUSH1 0x60
00000cda: DUP4
00000cdb: ADD
00000cdc: DUP5
00000cdd: PUSH2 0x0b3a
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: SWAP6
00000ce3: SWAP5
00000ce4: POP
00000ce5: POP
00000ce6: POP
00000ce7: POP
00000ce8: POP
00000ce9: JUMP
00000cea: JUMPDEST
00000ceb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000d0c: PUSH1 0x00
00000d0e: MSTORE
00000d0f: PUSH1 0x11
00000d11: PUSH1 0x04
00000d13: MSTORE
00000d14: PUSH1 0x24
00000d16: PUSH1 0x00
00000d18: REVERT
00000d19: JUMPDEST
00000d1a: PUSH1 0x00
00000d1c: PUSH2 0x0d24
00000d1f: DUP3
00000d20: PUSH2 0x04df
00000d23: JUMP
00000d24: JUMPDEST
00000d25: SWAP2
00000d26: POP
00000d27: PUSH2 0x0d2f
00000d2a: DUP4
00000d2b: PUSH2 0x04df
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: SWAP3
00000d31: POP
00000d32: DUP3
00000d33: DUP3
00000d34: ADD
00000d35: SWAP1
00000d36: POP
00000d37: DUP1
00000d38: DUP3
00000d39: GT
00000d3a: ISZERO
00000d3b: PUSH2 0x0d47
00000d3e: JUMPI
00000d3f: PUSH2 0x0d46
00000d42: PUSH2 0x0cea
00000d45: JUMP
00000d46: JUMPDEST
00000d47: JUMPDEST
00000d48: SWAP3
00000d49: SWAP2
00000d4a: POP
00000d4b: POP
00000d4c: JUMP
00000d4d: INVALID
00000d4e: LOG2
00000d4f: PUSH5 0x6970667358
00000d55: UNKNOWN(0x22)
00000d56: SLT
00000d57: KECCAK256
00000d58: UNKNOWN(0xA5)
00000d59: SWAP2
00000d5a: UNKNOWN(0xB3)
00000d5b: UNKNOWN(0xE8)
00000d5c: SAR
00000d5d: CALLVALUE
00000d5e: UNKNOWN(0xDD)
00000d5f: UNKNOWN(0x22)
00000d60: UNKNOWN(0xEB)
00000d61: UNKNOWN(0xB3)
00000d62: PUSH28 0x9d619f7ffeb0a80e2fe508111ae39741d53339f20964736f6c634300
00000d7f: ADDMOD
00000d80: AND
00000d81: STOP
00000d82: CALLER

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: 0xdc9d599927ed08f6309d6e2cf413c3abb8fb5d9a0bbb8da2ab5f38b64752ee5d call_targets: 0xe2d86d998a497211648db0a18883e6b9d25d0400 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xdc9d599927ed08f6309d6e2cf413c3abb8fb5d9a0bbb8da2ab5f38b64752ee5d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe2d86d998a497211648db0a18883e6b9d25d0400" ], "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": "0x025e7c27", "selector": "0x025e7c27", "calldata_variants": [ "0x025e7c27", "0x025e7c270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x42cde4e8", "selector": "0x42cde4e8", "calldata_variants": [ "0x42cde4e8", "0x42cde4e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0ab9653", "selector": "0xa0ab9653", "calldata_variants": [ "0xa0ab9653", "0xa0ab96530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0e67e2b", "selector": "0xa0e67e2b", "calldata_variants": [ "0xa0e67e2b", "0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaffed0e0", "selector": "0xaffed0e0", "calldata_variants": [ "0xaffed0e0", "0xaffed0e00000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1053, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [], "untrusted_call_count": 1 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xdc9d599927ed08f6309d6e2cf413c3abb8fb5d9a0bbb8da2ab5f38b64752ee5d call_targets: 0xe2d86d998a497211648db0a18883e6b9d25d0400 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xdc9d599927ed08f6309d6e2cf413c3abb8fb5d9a0bbb8da2ab5f38b64752ee5d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe2d86d998a497211648db0a18883e6b9d25d0400" ], "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": "0x025e7c27", "selector": "0x025e7c27", "calldata_variants": [ "0x025e7c27", "0x025e7c270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x42cde4e8", "selector": "0x42cde4e8", "calldata_variants": [ "0x42cde4e8", "0x42cde4e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0ab9653", "selector": "0xa0ab9653", "calldata_variants": [ "0xa0ab9653", "0xa0ab96530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0e67e2b", "selector": "0xa0e67e2b", "calldata_variants": [ "0xa0e67e2b", "0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaffed0e0", "selector": "0xaffed0e0", "calldata_variants": [ "0xaffed0e0", "0xaffed0e00000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1053, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }

Severity