Analysis Run

019b477e-ad09-7032-869c-88b7c23f416a

complete

Chain ID

1

Address

0xb65e16b44a80c9c44addd56a5014cba2814a82d1

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
21343	artifact.fetch	complete	1 / 3	3 months ago
21344	tool.cast_disasm	complete	1 / 3	3 months ago
101503	analysis.bundle	complete	1 / 3	1 week ago
101504	capability.graph	complete	1 / 3	1 week ago
101505	detector.run	complete	1 / 3	1 week ago
101506	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

3

EXT*/BALANCE

1

Total opcodes

2217

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00f0
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x01cb3b20
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x027c
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x279029b3
00000046: EQ
00000047: PUSH2 0x0291
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x37205d76
00000051: EQ
00000052: PUSH2 0x02b6
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x44a71bc6
0000005c: EQ
0000005d: PUSH2 0x02dd
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x590e1ae3
00000067: EQ
00000068: PUSH2 0x02f0
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x6e66f6e9
00000072: EQ
00000073: PUSH2 0x0303
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x72729ff2
0000007d: EQ
0000007e: PUSH2 0x0332
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x79ca0792
00000088: EQ
00000089: PUSH2 0x0345
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x7ee6b2d0
00000093: EQ
00000094: PUSH2 0x035b
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x8da5cb5b
0000009e: EQ
0000009f: PUSH2 0x036e
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x8e62c982
000000a9: EQ
000000aa: PUSH2 0x0381
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x91b43d13
000000b4: EQ
000000b5: PUSH2 0x0394
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa26d7b94
000000bf: EQ
000000c0: PUSH2 0x03a7
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xac06e302
000000ca: EQ
000000cb: PUSH2 0x03ba
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xd648a647
000000d5: EQ
000000d6: PUSH2 0x03d3
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xe3306a6f
000000e0: EQ
000000e1: PUSH2 0x03e6
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xf851a440
000000eb: EQ
000000ec: PUSH2 0x0470
000000ef: JUMPI
000000f0: JUMPDEST
000000f1: PUSH1 0x00
000000f3: CALLVALUE
000000f4: ISZERO
000000f5: DUP1
000000f6: ISZERO
000000f7: SWAP1
000000f8: PUSH2 0x00ff
000000fb: JUMPI
000000fc: POP
000000fd: CALLDATASIZE
000000fe: ISZERO
000000ff: JUMPDEST
00000100: DUP1
00000101: ISZERO
00000102: PUSH2 0x010d
00000105: JUMPI
00000106: POP
00000107: PUSH1 0x0b
00000109: SLOAD
0000010a: NUMBER
0000010b: GT
0000010c: ISZERO
0000010d: JUMPDEST
0000010e: DUP1
0000010f: ISZERO
00000110: PUSH2 0x011b
00000113: JUMPI
00000114: POP
00000115: PUSH1 0x0a
00000117: SLOAD
00000118: NUMBER
00000119: LT
0000011a: ISZERO
0000011b: JUMPDEST
0000011c: DUP1
0000011d: ISZERO
0000011e: PUSH2 0x0129
00000121: JUMPI
00000122: POP
00000123: PUSH1 0x00
00000125: PUSH1 0x04
00000127: SLOAD
00000128: GT
00000129: JUMPDEST
0000012a: ISZERO
0000012b: ISZERO
0000012c: PUSH2 0x0134
0000012f: JUMPI
00000130: PUSH1 0x00
00000132: DUP1
00000133: REVERT
00000134: JUMPDEST
00000135: PUSH1 0x00
00000137: SWAP1
00000138: POP
00000139: PUSH2 0x0144
0000013c: PUSH1 0x06
0000013e: SLOAD
0000013f: CALLVALUE
00000140: PUSH2 0x0483
00000143: JUMP
00000144: JUMPDEST
00000145: PUSH1 0x06
00000147: SSTORE
00000148: PUSH2 0x0158
0000014b: CALLVALUE
0000014c: PUSH2 0x0153
0000014f: PUSH2 0x04a7
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH2 0x0552
00000157: JUMP
00000158: JUMPDEST
00000159: SWAP1
0000015a: POP
0000015b: PUSH2 0x0166
0000015e: PUSH1 0x04
00000160: SLOAD
00000161: DUP3
00000162: PUSH2 0x0575
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH1 0x04
00000169: SSTORE
0000016a: PUSH1 0x02
0000016c: SLOAD
0000016d: PUSH1 0x01
0000016f: PUSH1 0xa0
00000171: PUSH1 0x02
00000173: EXP
00000174: SUB
00000175: AND
00000176: PUSH4 0xa9059cbb
0000017b: CALLER
0000017c: DUP4
0000017d: PUSH1 0x00
0000017f: PUSH1 0x40
00000181: MLOAD
00000182: PUSH1 0x20
00000184: ADD
00000185: MSTORE
00000186: PUSH1 0x40
00000188: MLOAD
00000189: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000001a7: PUSH4 0xffffffff
000001ac: DUP6
000001ad: AND
000001ae: MUL
000001af: DUP2
000001b0: MSTORE
000001b1: PUSH1 0x01
000001b3: PUSH1 0xa0
000001b5: PUSH1 0x02
000001b7: EXP
000001b8: SUB
000001b9: SWAP1
000001ba: SWAP3
000001bb: AND
000001bc: PUSH1 0x04
000001be: DUP4
000001bf: ADD
000001c0: MSTORE
000001c1: PUSH1 0x24
000001c3: DUP3
000001c4: ADD
000001c5: MSTORE
000001c6: PUSH1 0x44
000001c8: ADD
000001c9: PUSH1 0x20
000001cb: PUSH1 0x40
000001cd: MLOAD
000001ce: DUP1
000001cf: DUP4
000001d0: SUB
000001d1: DUP2
000001d2: PUSH1 0x00
000001d4: DUP8
000001d5: DUP1
000001d6: EXTCODESIZE
000001d7: ISZERO
000001d8: ISZERO
000001d9: PUSH2 0x01e1
000001dc: JUMPI
000001dd: PUSH1 0x00
000001df: DUP1
000001e0: REVERT
000001e1: JUMPDEST
000001e2: PUSH2 0x02c6
000001e5: GAS
000001e6: SUB
000001e7: CALL
000001e8: ISZERO
000001e9: ISZERO
000001ea: PUSH2 0x01f2
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: POP
000001f4: POP
000001f5: POP
000001f6: PUSH1 0x40
000001f8: MLOAD
000001f9: DUP1
000001fa: MLOAD
000001fb: POP
000001fc: POP
000001fd: PUSH1 0x01
000001ff: PUSH1 0xa0
00000201: PUSH1 0x02
00000203: EXP
00000204: SUB
00000205: CALLER
00000206: AND
00000207: PUSH1 0x00
00000209: SWAP1
0000020a: DUP2
0000020b: MSTORE
0000020c: PUSH1 0x0e
0000020e: PUSH1 0x20
00000210: MSTORE
00000211: PUSH1 0x40
00000213: SWAP1
00000214: KECCAK256
00000215: SLOAD
00000216: PUSH2 0x021f
00000219: SWAP1
0000021a: CALLVALUE
0000021b: PUSH2 0x0483
0000021e: JUMP
0000021f: JUMPDEST
00000220: PUSH1 0x01
00000222: PUSH1 0xa0
00000224: PUSH1 0x02
00000226: EXP
00000227: SUB
00000228: CALLER
00000229: AND
0000022a: PUSH1 0x00
0000022c: DUP2
0000022d: DUP2
0000022e: MSTORE
0000022f: PUSH1 0x0e
00000231: PUSH1 0x20
00000233: MSTORE
00000234: PUSH1 0x40
00000236: SWAP1
00000237: DUP2
00000238: SWAP1
00000239: KECCAK256
0000023a: SWAP3
0000023b: SWAP1
0000023c: SWAP3
0000023d: SSTORE
0000023e: SWAP1
0000023f: PUSH32 0x1cbc5ab135991bd2b6a4b034a04aa2aa086dac1371cb9b16b8b5e2ed6b036bed
00000260: SWAP1
00000261: CALLVALUE
00000262: SWAP1
00000263: DUP5
00000264: SWAP1
00000265: MLOAD
00000266: SWAP2
00000267: DUP3
00000268: MSTORE
00000269: PUSH1 0x20
0000026b: DUP3
0000026c: ADD
0000026d: MSTORE
0000026e: PUSH1 0x40
00000270: SWAP1
00000271: DUP2
00000272: ADD
00000273: SWAP1
00000274: MLOAD
00000275: DUP1
00000276: SWAP2
00000277: SUB
00000278: SWAP1
00000279: LOG2
0000027a: POP
0000027b: STOP
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: ISZERO
0000027f: PUSH2 0x0287
00000282: JUMPI
00000283: PUSH1 0x00
00000285: DUP1
00000286: REVERT
00000287: JUMPDEST
00000288: PUSH2 0x028f
0000028b: PUSH2 0x058e
0000028e: JUMP
0000028f: JUMPDEST
00000290: STOP
00000291: JUMPDEST
00000292: CALLVALUE
00000293: ISZERO
00000294: PUSH2 0x029c
00000297: JUMPI
00000298: PUSH1 0x00
0000029a: DUP1
0000029b: REVERT
0000029c: JUMPDEST
0000029d: PUSH2 0x02a4
000002a0: PUSH2 0x08a0
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH1 0x40
000002a7: MLOAD
000002a8: SWAP1
000002a9: DUP2
000002aa: MSTORE
000002ab: PUSH1 0x20
000002ad: ADD
000002ae: PUSH1 0x40
000002b0: MLOAD
000002b1: DUP1
000002b2: SWAP2
000002b3: SUB
000002b4: SWAP1
000002b5: RETURN
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: ISZERO
000002b9: PUSH2 0x02c1
000002bc: JUMPI
000002bd: PUSH1 0x00
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: PUSH2 0x02c9
000002c5: PUSH2 0x08bb
000002c8: JUMP
000002c9: JUMPDEST
000002ca: PUSH1 0x40
000002cc: MLOAD
000002cd: SWAP1
000002ce: ISZERO
000002cf: ISZERO
000002d0: DUP2
000002d1: MSTORE
000002d2: PUSH1 0x20
000002d4: ADD
000002d5: PUSH1 0x40
000002d7: MLOAD
000002d8: DUP1
000002d9: SWAP2
000002da: SUB
000002db: SWAP1
000002dc: RETURN
000002dd: JUMPDEST
000002de: CALLVALUE
000002df: ISZERO
000002e0: PUSH2 0x02e8
000002e3: JUMPI
000002e4: PUSH1 0x00
000002e6: DUP1
000002e7: REVERT
000002e8: JUMPDEST
000002e9: PUSH2 0x02a4
000002ec: PUSH2 0x08ca
000002ef: JUMP
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: ISZERO
000002f3: PUSH2 0x02fb
000002f6: JUMPI
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: PUSH2 0x028f
000002ff: PUSH2 0x08d0
00000302: JUMP
00000303: JUMPDEST
00000304: CALLVALUE
00000305: ISZERO
00000306: PUSH2 0x030e
00000309: JUMPI
0000030a: PUSH1 0x00
0000030c: DUP1
0000030d: REVERT
0000030e: JUMPDEST
0000030f: PUSH2 0x0316
00000312: PUSH2 0x0a08
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: MLOAD
0000031a: PUSH1 0x01
0000031c: PUSH1 0xa0
0000031e: PUSH1 0x02
00000320: EXP
00000321: SUB
00000322: SWAP1
00000323: SWAP2
00000324: AND
00000325: DUP2
00000326: MSTORE
00000327: PUSH1 0x20
00000329: ADD
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: DUP1
0000032e: SWAP2
0000032f: SUB
00000330: SWAP1
00000331: RETURN
00000332: JUMPDEST
00000333: CALLVALUE
00000334: ISZERO
00000335: PUSH2 0x033d
00000338: JUMPI
00000339: PUSH1 0x00
0000033b: DUP1
0000033c: REVERT
0000033d: JUMPDEST
0000033e: PUSH2 0x02a4
00000341: PUSH2 0x0a17
00000344: JUMP
00000345: JUMPDEST
00000346: CALLVALUE
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: PUSH2 0x028f
00000354: PUSH1 0x04
00000356: CALLDATALOAD
00000357: PUSH2 0x0a1d
0000035a: JUMP
0000035b: JUMPDEST
0000035c: CALLVALUE
0000035d: ISZERO
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH1 0x00
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: PUSH2 0x02a4
0000036a: PUSH2 0x0ad8
0000036d: JUMP
0000036e: JUMPDEST
0000036f: CALLVALUE
00000370: ISZERO
00000371: PUSH2 0x0379
00000374: JUMPI
00000375: PUSH1 0x00
00000377: DUP1
00000378: REVERT
00000379: JUMPDEST
0000037a: PUSH2 0x0316
0000037d: PUSH2 0x0ade
00000380: JUMP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: PUSH2 0x02a4
00000390: PUSH2 0x0aed
00000393: JUMP
00000394: JUMPDEST
00000395: CALLVALUE
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: PUSH2 0x02a4
000003a3: PUSH2 0x0b03
000003a6: JUMP
000003a7: JUMPDEST
000003a8: CALLVALUE
000003a9: ISZERO
000003aa: PUSH2 0x03b2
000003ad: JUMPI
000003ae: PUSH1 0x00
000003b0: DUP1
000003b1: REVERT
000003b2: JUMPDEST
000003b3: PUSH2 0x02c9
000003b6: PUSH2 0x0b09
000003b9: JUMP
000003ba: JUMPDEST
000003bb: CALLVALUE
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: PUSH2 0x02a4
000003c9: PUSH1 0x04
000003cb: CALLDATALOAD
000003cc: PUSH1 0x24
000003ce: CALLDATALOAD
000003cf: PUSH2 0x0b12
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: PUSH2 0x02a4
000003e2: PUSH2 0x0cf1
000003e5: JUMP
000003e6: JUMPDEST
000003e7: CALLVALUE
000003e8: ISZERO
000003e9: PUSH2 0x03f1
000003ec: JUMPI
000003ed: PUSH1 0x00
000003ef: DUP1
000003f0: REVERT
000003f1: JUMPDEST
000003f2: PUSH2 0x03f9
000003f5: PUSH2 0x0cf7
000003f8: JUMP
000003f9: JUMPDEST
000003fa: PUSH1 0x40
000003fc: MLOAD
000003fd: PUSH1 0x20
000003ff: DUP1
00000400: DUP3
00000401: MSTORE
00000402: DUP2
00000403: SWAP1
00000404: DUP2
00000405: ADD
00000406: DUP4
00000407: DUP2
00000408: DUP2
00000409: MLOAD
0000040a: DUP2
0000040b: MSTORE
0000040c: PUSH1 0x20
0000040e: ADD
0000040f: SWAP2
00000410: POP
00000411: DUP1
00000412: MLOAD
00000413: SWAP1
00000414: PUSH1 0x20
00000416: ADD
00000417: SWAP1
00000418: DUP1
00000419: DUP4
0000041a: DUP4
0000041b: PUSH1 0x00
0000041d: JUMPDEST
0000041e: DUP4
0000041f: DUP2
00000420: LT
00000421: ISZERO
00000422: PUSH2 0x0435
00000425: JUMPI
00000426: DUP1
00000427: DUP3
00000428: ADD
00000429: MLOAD
0000042a: DUP4
0000042b: DUP3
0000042c: ADD
0000042d: MSTORE
0000042e: PUSH1 0x20
00000430: ADD
00000431: PUSH2 0x041d
00000434: JUMP
00000435: JUMPDEST
00000436: POP
00000437: POP
00000438: POP
00000439: POP
0000043a: SWAP1
0000043b: POP
0000043c: SWAP1
0000043d: DUP2
0000043e: ADD
0000043f: SWAP1
00000440: PUSH1 0x1f
00000442: AND
00000443: DUP1
00000444: ISZERO
00000445: PUSH2 0x0462
00000448: JUMPI
00000449: DUP1
0000044a: DUP3
0000044b: SUB
0000044c: DUP1
0000044d: MLOAD
0000044e: PUSH1 0x01
00000450: DUP4
00000451: PUSH1 0x20
00000453: SUB
00000454: PUSH2 0x0100
00000457: EXP
00000458: SUB
00000459: NOT
0000045a: AND
0000045b: DUP2
0000045c: MSTORE
0000045d: PUSH1 0x20
0000045f: ADD
00000460: SWAP2
00000461: POP
00000462: JUMPDEST
00000463: POP
00000464: SWAP3
00000465: POP
00000466: POP
00000467: POP
00000468: PUSH1 0x40
0000046a: MLOAD
0000046b: DUP1
0000046c: SWAP2
0000046d: SUB
0000046e: SWAP1
0000046f: RETURN
00000470: JUMPDEST
00000471: CALLVALUE
00000472: ISZERO
00000473: PUSH2 0x047b
00000476: JUMPI
00000477: PUSH1 0x00
00000479: DUP1
0000047a: REVERT
0000047b: JUMPDEST
0000047c: PUSH2 0x0316
0000047f: PUSH2 0x0d95
00000482: JUMP
00000483: JUMPDEST
00000484: PUSH1 0x00
00000486: DUP3
00000487: DUP3
00000488: ADD
00000489: PUSH2 0x04a0
0000048c: DUP5
0000048d: DUP3
0000048e: LT
0000048f: DUP1
00000490: ISZERO
00000491: SWAP1
00000492: PUSH2 0x049b
00000495: JUMPI
00000496: POP
00000497: DUP4
00000498: DUP3
00000499: LT
0000049a: ISZERO
0000049b: JUMPDEST
0000049c: PUSH2 0x0da4
0000049f: JUMP
000004a0: JUMPDEST
000004a1: SWAP4
000004a2: SWAP3
000004a3: POP
000004a4: POP
000004a5: POP
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH1 0x00
000004aa: PUSH3 0x546a85
000004ae: NUMBER
000004af: LT
000004b0: PUSH2 0x04bc
000004b3: JUMPI
000004b4: POP
000004b5: PUSH2 0x08ca
000004b8: PUSH2 0x054f
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH3 0x53c674
000004c1: NUMBER
000004c2: LT
000004c3: PUSH2 0x04cf
000004c6: JUMPI
000004c7: POP
000004c8: PUSH2 0x09c4
000004cb: PUSH2 0x054f
000004ce: JUMP
000004cf: JUMPDEST
000004d0: PUSH3 0x527e53
000004d4: NUMBER
000004d5: LT
000004d6: PUSH2 0x04e2
000004d9: JUMPI
000004da: POP
000004db: PUSH2 0x0abe
000004de: PUSH2 0x054f
000004e1: JUMP
000004e2: JUMPDEST
000004e3: PUSH3 0x51f1b2
000004e7: NUMBER
000004e8: LT
000004e9: PUSH2 0x04f5
000004ec: JUMPI
000004ed: POP
000004ee: PUSH2 0x0bb8
000004f1: PUSH2 0x054f
000004f4: JUMP
000004f5: JUMPDEST
000004f6: PUSH3 0x51ab61
000004fa: NUMBER
000004fb: LT
000004fc: PUSH2 0x0508
000004ff: JUMPI
00000500: POP
00000501: PUSH2 0x0cb2
00000504: PUSH2 0x054f
00000507: JUMP
00000508: JUMPDEST
00000509: PUSH3 0x510751
0000050d: NUMBER
0000050e: LT
0000050f: PUSH2 0x051b
00000512: JUMPI
00000513: POP
00000514: PUSH2 0x0dac
00000517: PUSH2 0x054f
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH3 0x506340
00000520: NUMBER
00000521: LT
00000522: PUSH2 0x052e
00000525: JUMPI
00000526: POP
00000527: PUSH2 0x0fa0
0000052a: PUSH2 0x054f
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH3 0x4fd69f
00000533: NUMBER
00000534: LT
00000535: PUSH2 0x0541
00000538: JUMPI
00000539: POP
0000053a: PUSH2 0x1194
0000053d: PUSH2 0x054f
00000540: JUMP
00000541: JUMPDEST
00000542: PUSH1 0x0a
00000544: SLOAD
00000545: NUMBER
00000546: LT
00000547: PUSH2 0x054f
0000054a: JUMPI
0000054b: POP
0000054c: PUSH2 0x1388
0000054f: JUMPDEST
00000550: SWAP1
00000551: JUMP
00000552: JUMPDEST
00000553: PUSH1 0x00
00000555: DUP3
00000556: DUP3
00000557: MUL
00000558: PUSH2 0x04a0
0000055b: DUP5
0000055c: ISZERO
0000055d: DUP1
0000055e: PUSH2 0x049b
00000561: JUMPI
00000562: POP
00000563: DUP4
00000564: DUP6
00000565: DUP4
00000566: DUP2
00000567: ISZERO
00000568: ISZERO
00000569: PUSH2 0x056e
0000056c: JUMPI
0000056d: INVALID
0000056e: JUMPDEST
0000056f: DIV
00000570: EQ
00000571: PUSH2 0x0da4
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x00
00000578: PUSH2 0x0583
0000057b: DUP4
0000057c: DUP4
0000057d: GT
0000057e: ISZERO
0000057f: PUSH2 0x0da4
00000582: JUMP
00000583: JUMPDEST
00000584: POP
00000585: DUP1
00000586: DUP3
00000587: SUB
00000588: JUMPDEST
00000589: SWAP3
0000058a: SWAP2
0000058b: POP
0000058c: POP
0000058d: JUMP
0000058e: JUMPDEST
0000058f: PUSH1 0x00
00000591: SLOAD
00000592: CALLER
00000593: PUSH1 0x01
00000595: PUSH1 0xa0
00000597: PUSH1 0x02
00000599: EXP
0000059a: SUB
0000059b: SWAP1
0000059c: DUP2
0000059d: AND
0000059e: SWAP2
0000059f: AND
000005a0: EQ
000005a1: PUSH2 0x05a9
000005a4: JUMPI
000005a5: PUSH1 0x00
000005a7: DUP1
000005a8: REVERT
000005a9: JUMPDEST
000005aa: PUSH1 0x0c
000005ac: SLOAD
000005ad: PUSH3 0x010000
000005b1: SWAP1
000005b2: DIV
000005b3: PUSH1 0xff
000005b5: AND
000005b6: ISZERO
000005b7: ISZERO
000005b8: PUSH2 0x05c0
000005bb: JUMPI
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: PUSH1 0x07
000005c3: SLOAD
000005c4: PUSH1 0x06
000005c6: SLOAD
000005c7: LT
000005c8: DUP1
000005c9: ISZERO
000005ca: PUSH2 0x05e2
000005cd: JUMPI
000005ce: POP
000005cf: PUSH1 0x0b
000005d1: SLOAD
000005d2: NUMBER
000005d3: GT
000005d4: ISZERO
000005d5: DUP1
000005d6: ISZERO
000005d7: PUSH2 0x05e2
000005da: JUMPI
000005db: POP
000005dc: PUSH1 0x0a
000005de: SLOAD
000005df: NUMBER
000005e0: LT
000005e1: ISZERO
000005e2: JUMPDEST
000005e3: ISZERO
000005e4: PUSH2 0x063f
000005e7: JUMPI
000005e8: PUSH1 0x0c
000005ea: DUP1
000005eb: SLOAD
000005ec: PUSH2 0xffff
000005ef: NOT
000005f0: AND
000005f1: SWAP1
000005f2: SSTORE
000005f3: PUSH1 0x40
000005f5: DUP1
000005f6: MLOAD
000005f7: SWAP1
000005f8: DUP2
000005f9: ADD
000005fa: PUSH1 0x40
000005fc: MSTORE
000005fd: PUSH1 0x1b
000005ff: DUP2
00000600: MSTORE
00000601: PUSH32 0x496e2070726f67726573732028457468203c20536f6674636170290000000000
00000622: PUSH1 0x20
00000624: DUP3
00000625: ADD
00000626: MSTORE
00000627: PUSH1 0x09
00000629: SWAP1
0000062a: DUP1
0000062b: MLOAD
0000062c: PUSH2 0x0639
0000062f: SWAP3
00000630: SWAP2
00000631: PUSH1 0x20
00000633: ADD
00000634: SWAP1
00000635: PUSH2 0x0de7
00000638: JUMP
00000639: JUMPDEST
0000063a: POP
0000063b: PUSH2 0x089e
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH1 0x07
00000642: SLOAD
00000643: PUSH1 0x06
00000645: SLOAD
00000646: LT
00000647: DUP1
00000648: ISZERO
00000649: PUSH2 0x0653
0000064c: JUMPI
0000064d: POP
0000064e: PUSH1 0x0a
00000650: SLOAD
00000651: NUMBER
00000652: LT
00000653: JUMPDEST
00000654: ISZERO
00000655: PUSH2 0x06aa
00000658: JUMPI
00000659: PUSH1 0x0c
0000065b: DUP1
0000065c: SLOAD
0000065d: PUSH2 0xffff
00000660: NOT
00000661: AND
00000662: SWAP1
00000663: SSTORE
00000664: PUSH1 0x40
00000666: DUP1
00000667: MLOAD
00000668: SWAP1
00000669: DUP2
0000066a: ADD
0000066b: PUSH1 0x40
0000066d: MSTORE
0000066e: PUSH1 0x12
00000670: DUP2
00000671: MSTORE
00000672: PUSH32 0x43726f776473616c652069732073657475700000000000000000000000000000
00000693: PUSH1 0x20
00000695: DUP3
00000696: ADD
00000697: MSTORE
00000698: PUSH1 0x09
0000069a: SWAP1
0000069b: DUP1
0000069c: MLOAD
0000069d: PUSH2 0x0639
000006a0: SWAP3
000006a1: SWAP2
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: SWAP1
000006a6: PUSH2 0x0de7
000006a9: JUMP
000006aa: JUMPDEST
000006ab: PUSH1 0x07
000006ad: SLOAD
000006ae: PUSH1 0x06
000006b0: SLOAD
000006b1: LT
000006b2: DUP1
000006b3: ISZERO
000006b4: PUSH2 0x06be
000006b7: JUMPI
000006b8: POP
000006b9: PUSH1 0x0b
000006bb: SLOAD
000006bc: NUMBER
000006bd: GT
000006be: JUMPDEST
000006bf: ISZERO
000006c0: PUSH2 0x0718
000006c3: JUMPI
000006c4: PUSH1 0x0c
000006c6: DUP1
000006c7: SLOAD
000006c8: PUSH2 0xffff
000006cb: NOT
000006cc: AND
000006cd: PUSH1 0x01
000006cf: OR
000006d0: SWAP1
000006d1: SSTORE
000006d2: PUSH1 0x40
000006d4: DUP1
000006d5: MLOAD
000006d6: SWAP1
000006d7: DUP2
000006d8: ADD
000006d9: PUSH1 0x40
000006db: MSTORE
000006dc: PUSH1 0x1c
000006de: DUP2
000006df: MSTORE
000006e0: PUSH32 0x556e7375636365737366756c2028457468203c20536f66746361702900000000
00000701: PUSH1 0x20
00000703: DUP3
00000704: ADD
00000705: MSTORE
00000706: PUSH1 0x09
00000708: SWAP1
00000709: DUP1
0000070a: MLOAD
0000070b: PUSH2 0x0639
0000070e: SWAP3
0000070f: SWAP2
00000710: PUSH1 0x20
00000712: ADD
00000713: SWAP1
00000714: PUSH2 0x0de7
00000717: JUMP
00000718: JUMPDEST
00000719: PUSH1 0x07
0000071b: SLOAD
0000071c: PUSH1 0x06
0000071e: SLOAD
0000071f: LT
00000720: ISZERO
00000721: DUP1
00000722: ISZERO
00000723: PUSH2 0x072c
00000726: JUMPI
00000727: POP
00000728: PUSH1 0x04
0000072a: SLOAD
0000072b: ISZERO
0000072c: JUMPDEST
0000072d: ISZERO
0000072e: PUSH2 0x0790
00000731: JUMPI
00000732: PUSH1 0x0c
00000734: DUP1
00000735: SLOAD
00000736: PUSH1 0xff
00000738: NOT
00000739: PUSH2 0xff00
0000073c: NOT
0000073d: SWAP1
0000073e: SWAP2
0000073f: AND
00000740: PUSH2 0x0100
00000743: OR
00000744: AND
00000745: PUSH1 0x01
00000747: OR
00000748: SWAP1
00000749: SSTORE
0000074a: PUSH1 0x40
0000074c: DUP1
0000074d: MLOAD
0000074e: SWAP1
0000074f: DUP2
00000750: ADD
00000751: PUSH1 0x40
00000753: MSTORE
00000754: PUSH1 0x1c
00000756: DUP2
00000757: MSTORE
00000758: PUSH32 0x5375636365737366756c2028415258203e3d2048617264636170292100000000
00000779: PUSH1 0x20
0000077b: DUP3
0000077c: ADD
0000077d: MSTORE
0000077e: PUSH1 0x09
00000780: SWAP1
00000781: DUP1
00000782: MLOAD
00000783: PUSH2 0x0639
00000786: SWAP3
00000787: SWAP2
00000788: PUSH1 0x20
0000078a: ADD
0000078b: SWAP1
0000078c: PUSH2 0x0de7
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH1 0x07
00000793: SLOAD
00000794: PUSH1 0x06
00000796: SLOAD
00000797: LT
00000798: ISZERO
00000799: DUP1
0000079a: ISZERO
0000079b: PUSH2 0x07a5
0000079e: JUMPI
0000079f: POP
000007a0: PUSH1 0x0b
000007a2: SLOAD
000007a3: NUMBER
000007a4: GT
000007a5: JUMPDEST
000007a6: DUP1
000007a7: ISZERO
000007a8: PUSH2 0x07b3
000007ab: JUMPI
000007ac: POP
000007ad: PUSH1 0x00
000007af: PUSH1 0x04
000007b1: SLOAD
000007b2: GT
000007b3: JUMPDEST
000007b4: ISZERO
000007b5: PUSH2 0x0817
000007b8: JUMPI
000007b9: PUSH1 0x0c
000007bb: DUP1
000007bc: SLOAD
000007bd: PUSH1 0xff
000007bf: NOT
000007c0: PUSH2 0xff00
000007c3: NOT
000007c4: SWAP1
000007c5: SWAP2
000007c6: AND
000007c7: PUSH2 0x0100
000007ca: OR
000007cb: AND
000007cc: PUSH1 0x01
000007ce: OR
000007cf: SWAP1
000007d0: SSTORE
000007d1: PUSH1 0x40
000007d3: DUP1
000007d4: MLOAD
000007d5: SWAP1
000007d6: DUP2
000007d7: ADD
000007d8: PUSH1 0x40
000007da: MSTORE
000007db: PUSH1 0x1c
000007dd: DUP2
000007de: MSTORE
000007df: PUSH32 0x5375636365737366756c2028457468203e3d20536f6674636170292100000000
00000800: PUSH1 0x20
00000802: DUP3
00000803: ADD
00000804: MSTORE
00000805: PUSH1 0x09
00000807: SWAP1
00000808: DUP1
00000809: MLOAD
0000080a: PUSH2 0x0639
0000080d: SWAP3
0000080e: SWAP2
0000080f: PUSH1 0x20
00000811: ADD
00000812: SWAP1
00000813: PUSH2 0x0de7
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH1 0x07
0000081a: SLOAD
0000081b: PUSH1 0x06
0000081d: SLOAD
0000081e: LT
0000081f: ISZERO
00000820: DUP1
00000821: ISZERO
00000822: PUSH2 0x082d
00000825: JUMPI
00000826: POP
00000827: PUSH1 0x00
00000829: PUSH1 0x04
0000082b: SLOAD
0000082c: GT
0000082d: JUMPDEST
0000082e: DUP1
0000082f: ISZERO
00000830: PUSH2 0x083b
00000833: JUMPI
00000834: POP
00000835: PUSH1 0x0b
00000837: SLOAD
00000838: NUMBER
00000839: GT
0000083a: ISZERO
0000083b: JUMPDEST
0000083c: ISZERO
0000083d: PUSH2 0x089e
00000840: JUMPI
00000841: PUSH1 0x0c
00000843: DUP1
00000844: SLOAD
00000845: PUSH1 0xff
00000847: NOT
00000848: PUSH2 0xff00
0000084b: NOT
0000084c: SWAP1
0000084d: SWAP2
0000084e: AND
0000084f: PUSH2 0x0100
00000852: OR
00000853: AND
00000854: SWAP1
00000855: SSTORE
00000856: PUSH1 0x40
00000858: DUP1
00000859: MLOAD
0000085a: SWAP1
0000085b: DUP2
0000085c: ADD
0000085d: PUSH1 0x40
0000085f: MSTORE
00000860: PUSH1 0x1d
00000862: DUP2
00000863: MSTORE
00000864: PUSH32 0x496e2070726f67726573732028457468203e3d20536f66746361702921000000
00000885: PUSH1 0x20
00000887: DUP3
00000888: ADD
00000889: MSTORE
0000088a: PUSH1 0x09
0000088c: SWAP1
0000088d: DUP1
0000088e: MLOAD
0000088f: PUSH2 0x089c
00000892: SWAP3
00000893: SWAP2
00000894: PUSH1 0x20
00000896: ADD
00000897: SWAP1
00000898: PUSH2 0x0de7
0000089b: JUMP
0000089c: JUMPDEST
0000089d: POP
0000089e: JUMPDEST
0000089f: JUMP
000008a0: JUMPDEST
000008a1: PUSH1 0x00
000008a3: PUSH2 0x08b6
000008a6: PUSH1 0x04
000008a8: SLOAD
000008a9: PUSH8 0x0de0b6b3a7640000
000008b2: PUSH2 0x0db0
000008b5: JUMP
000008b6: JUMPDEST
000008b7: SWAP1
000008b8: POP
000008b9: SWAP1
000008ba: JUMP
000008bb: JUMPDEST
000008bc: PUSH1 0x0c
000008be: SLOAD
000008bf: PUSH3 0x010000
000008c3: SWAP1
000008c4: DIV
000008c5: PUSH1 0xff
000008c7: AND
000008c8: DUP2
000008c9: JUMP
000008ca: JUMPDEST
000008cb: PUSH1 0x08
000008cd: SLOAD
000008ce: DUP2
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x00
000008d3: PUSH1 0x07
000008d5: SLOAD
000008d6: PUSH1 0x06
000008d8: SLOAD
000008d9: LT
000008da: DUP1
000008db: ISZERO
000008dc: PUSH2 0x08e7
000008df: JUMPI
000008e0: POP
000008e1: PUSH1 0x0c
000008e3: SLOAD
000008e4: PUSH1 0xff
000008e6: AND
000008e7: JUMPDEST
000008e8: DUP1
000008e9: ISZERO
000008ea: PUSH2 0x08f4
000008ed: JUMPI
000008ee: POP
000008ef: PUSH1 0x0b
000008f1: SLOAD
000008f2: NUMBER
000008f3: GT
000008f4: JUMPDEST
000008f5: DUP1
000008f6: ISZERO
000008f7: PUSH2 0x0916
000008fa: JUMPI
000008fb: POP
000008fc: PUSH1 0x01
000008fe: PUSH1 0xa0
00000900: PUSH1 0x02
00000902: EXP
00000903: SUB
00000904: CALLER
00000905: AND
00000906: PUSH1 0x00
00000908: SWAP1
00000909: DUP2
0000090a: MSTORE
0000090b: PUSH1 0x0e
0000090d: PUSH1 0x20
0000090f: MSTORE
00000910: PUSH1 0x40
00000912: DUP2
00000913: KECCAK256
00000914: SLOAD
00000915: GT
00000916: JUMPDEST
00000917: ISZERO
00000918: ISZERO
00000919: PUSH2 0x0921
0000091c: JUMPI
0000091d: PUSH1 0x00
0000091f: DUP1
00000920: REVERT
00000921: JUMPDEST
00000922: POP
00000923: CALLER
00000924: PUSH1 0x01
00000926: PUSH1 0xa0
00000928: PUSH1 0x02
0000092a: EXP
0000092b: SUB
0000092c: DUP2
0000092d: AND
0000092e: PUSH1 0x00
00000930: SWAP1
00000931: DUP2
00000932: MSTORE
00000933: PUSH1 0x0e
00000935: PUSH1 0x20
00000937: DUP2
00000938: DUP2
00000939: MSTORE
0000093a: PUSH1 0x40
0000093c: DUP1
0000093d: DUP5
0000093e: KECCAK256
0000093f: DUP1
00000940: SLOAD
00000941: PUSH1 0x0d
00000943: DUP5
00000944: MSTORE
00000945: DUP3
00000946: DUP7
00000947: KECCAK256
00000948: DUP7
00000949: SWAP1
0000094a: SSTORE
0000094b: SWAP4
0000094c: SWAP1
0000094d: SWAP3
0000094e: MSTORE
0000094f: SWAP1
00000950: DUP4
00000951: SWAP1
00000952: SSTORE
00000953: SWAP1
00000954: SWAP3
00000955: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5
00000976: SWAP3
00000977: SWAP1
00000978: SWAP2
00000979: MLOAD
0000097a: PUSH1 0x01
0000097c: PUSH1 0xa0
0000097e: PUSH1 0x02
00000980: EXP
00000981: SUB
00000982: SWAP1
00000983: SWAP3
00000984: AND
00000985: DUP3
00000986: MSTORE
00000987: PUSH1 0x20
00000989: DUP3
0000098a: ADD
0000098b: MSTORE
0000098c: PUSH1 0x40
0000098e: SWAP1
0000098f: DUP2
00000990: ADD
00000991: SWAP1
00000992: MLOAD
00000993: DUP1
00000994: SWAP2
00000995: SUB
00000996: SWAP1
00000997: LOG1
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: PUSH1 0x02
0000099e: EXP
0000099f: SUB
000009a0: CALLER
000009a1: AND
000009a2: DUP2
000009a3: ISZERO
000009a4: PUSH2 0x08fc
000009a7: MUL
000009a8: DUP3
000009a9: PUSH1 0x40
000009ab: MLOAD
000009ac: PUSH1 0x00
000009ae: PUSH1 0x40
000009b0: MLOAD
000009b1: DUP1
000009b2: DUP4
000009b3: SUB
000009b4: DUP2
000009b5: DUP6
000009b6: DUP9
000009b7: DUP9
000009b8: CALL
000009b9: SWAP4
000009ba: POP
000009bb: POP
000009bc: POP
000009bd: POP
000009be: ISZERO
000009bf: ISZERO
000009c0: PUSH2 0x09c8
000009c3: JUMPI
000009c4: PUSH1 0x00
000009c6: DUP1
000009c7: REVERT
000009c8: JUMPDEST
000009c9: CALLER
000009ca: PUSH1 0x01
000009cc: PUSH1 0xa0
000009ce: PUSH1 0x02
000009d0: EXP
000009d1: SUB
000009d2: AND
000009d3: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d
000009f4: DUP3
000009f5: PUSH1 0x40
000009f7: MLOAD
000009f8: SWAP1
000009f9: DUP2
000009fa: MSTORE
000009fb: PUSH1 0x20
000009fd: ADD
000009fe: PUSH1 0x40
00000a00: MLOAD
00000a01: DUP1
00000a02: SWAP2
00000a03: SUB
00000a04: SWAP1
00000a05: LOG2
00000a06: POP
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH1 0x02
00000a0b: SLOAD
00000a0c: PUSH1 0x01
00000a0e: PUSH1 0xa0
00000a10: PUSH1 0x02
00000a12: EXP
00000a13: SUB
00000a14: AND
00000a15: DUP2
00000a16: JUMP
00000a17: JUMPDEST
00000a18: PUSH1 0x06
00000a1a: SLOAD
00000a1b: DUP2
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x00
00000a20: SLOAD
00000a21: CALLER
00000a22: PUSH1 0x01
00000a24: PUSH1 0xa0
00000a26: PUSH1 0x02
00000a28: EXP
00000a29: SUB
00000a2a: SWAP1
00000a2b: DUP2
00000a2c: AND
00000a2d: SWAP2
00000a2e: AND
00000a2f: EQ
00000a30: PUSH2 0x0a38
00000a33: JUMPI
00000a34: PUSH1 0x00
00000a36: DUP1
00000a37: REVERT
00000a38: JUMPDEST
00000a39: PUSH1 0x0c
00000a3b: SLOAD
00000a3c: PUSH2 0x0100
00000a3f: SWAP1
00000a40: DIV
00000a41: PUSH1 0xff
00000a43: AND
00000a44: DUP1
00000a45: ISZERO
00000a46: PUSH2 0x0a53
00000a49: JUMPI
00000a4a: POP
00000a4b: PUSH1 0x07
00000a4d: SLOAD
00000a4e: PUSH1 0x06
00000a50: SLOAD
00000a51: LT
00000a52: ISZERO
00000a53: JUMPDEST
00000a54: ISZERO
00000a55: ISZERO
00000a56: PUSH2 0x0a5e
00000a59: JUMPI
00000a5a: PUSH1 0x00
00000a5c: DUP1
00000a5d: REVERT
00000a5e: JUMPDEST
00000a5f: PUSH1 0x05
00000a61: SLOAD
00000a62: PUSH1 0x01
00000a64: PUSH1 0xa0
00000a66: PUSH1 0x02
00000a68: EXP
00000a69: SUB
00000a6a: AND
00000a6b: DUP2
00000a6c: ISZERO
00000a6d: PUSH2 0x08fc
00000a70: MUL
00000a71: DUP3
00000a72: PUSH1 0x40
00000a74: MLOAD
00000a75: PUSH1 0x00
00000a77: PUSH1 0x40
00000a79: MLOAD
00000a7a: DUP1
00000a7b: DUP4
00000a7c: SUB
00000a7d: DUP2
00000a7e: DUP6
00000a7f: DUP9
00000a80: DUP9
00000a81: CALL
00000a82: SWAP4
00000a83: POP
00000a84: POP
00000a85: POP
00000a86: POP
00000a87: ISZERO
00000a88: ISZERO
00000a89: PUSH2 0x0a91
00000a8c: JUMPI
00000a8d: PUSH1 0x00
00000a8f: DUP1
00000a90: REVERT
00000a91: JUMPDEST
00000a92: PUSH1 0x05
00000a94: SLOAD
00000a95: PUSH1 0x01
00000a97: PUSH1 0xa0
00000a99: PUSH1 0x02
00000a9b: EXP
00000a9c: SUB
00000a9d: SWAP1
00000a9e: DUP2
00000a9f: AND
00000aa0: SWAP1
00000aa1: ADDRESS
00000aa2: AND
00000aa3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000ac4: DUP4
00000ac5: PUSH1 0x40
00000ac7: MLOAD
00000ac8: SWAP1
00000ac9: DUP2
00000aca: MSTORE
00000acb: PUSH1 0x20
00000acd: ADD
00000ace: PUSH1 0x40
00000ad0: MLOAD
00000ad1: DUP1
00000ad2: SWAP2
00000ad3: SUB
00000ad4: SWAP1
00000ad5: LOG3
00000ad6: POP
00000ad7: JUMP
00000ad8: JUMPDEST
00000ad9: PUSH1 0x07
00000adb: SLOAD
00000adc: DUP2
00000add: JUMP
00000ade: JUMPDEST
00000adf: PUSH1 0x00
00000ae1: SLOAD
00000ae2: PUSH1 0x01
00000ae4: PUSH1 0xa0
00000ae6: PUSH1 0x02
00000ae8: EXP
00000ae9: SUB
00000aea: AND
00000aeb: DUP2
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH1 0x00
00000af0: PUSH2 0x08b6
00000af3: PUSH1 0x03
00000af5: SLOAD
00000af6: PUSH8 0x0de0b6b3a7640000
00000aff: PUSH2 0x0db0
00000b02: JUMP
00000b03: JUMPDEST
00000b04: PUSH1 0x0b
00000b06: SLOAD
00000b07: DUP2
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH1 0x0c
00000b0c: SLOAD
00000b0d: PUSH1 0xff
00000b0f: AND
00000b10: DUP2
00000b11: JUMP
00000b12: JUMPDEST
00000b13: PUSH1 0x00
00000b15: DUP1
00000b16: SLOAD
00000b17: CALLER
00000b18: PUSH1 0x01
00000b1a: PUSH1 0xa0
00000b1c: PUSH1 0x02
00000b1e: EXP
00000b1f: SUB
00000b20: SWAP1
00000b21: DUP2
00000b22: AND
00000b23: SWAP2
00000b24: AND
00000b25: EQ
00000b26: PUSH2 0x0b2e
00000b29: JUMPI
00000b2a: PUSH1 0x00
00000b2c: DUP1
00000b2d: REVERT
00000b2e: JUMPDEST
00000b2f: PUSH1 0x01
00000b31: SLOAD
00000b32: CALLER
00000b33: PUSH1 0x01
00000b35: PUSH1 0xa0
00000b37: PUSH1 0x02
00000b39: EXP
00000b3a: SUB
00000b3b: SWAP1
00000b3c: DUP2
00000b3d: AND
00000b3e: SWAP2
00000b3f: AND
00000b40: EQ
00000b41: DUP1
00000b42: ISZERO
00000b43: PUSH2 0x0b55
00000b46: JUMPI
00000b47: POP
00000b48: PUSH1 0x0c
00000b4a: SLOAD
00000b4b: PUSH3 0x010000
00000b4f: SWAP1
00000b50: DIV
00000b51: PUSH1 0xff
00000b53: AND
00000b54: ISZERO
00000b55: JUMPDEST
00000b56: DUP1
00000b57: ISZERO
00000b58: PUSH2 0x0b6f
00000b5b: JUMPI
00000b5c: POP
00000b5d: PUSH1 0x05
00000b5f: SLOAD
00000b60: PUSH1 0x00
00000b62: PUSH1 0x01
00000b64: PUSH1 0xa0
00000b66: PUSH1 0x02
00000b68: EXP
00000b69: SUB
00000b6a: SWAP1
00000b6b: SWAP2
00000b6c: AND
00000b6d: GT
00000b6e: ISZERO
00000b6f: JUMPDEST
00000b70: ISZERO
00000b71: PUSH2 0x0c8d
00000b74: JUMPI
00000b75: PUSH1 0x05
00000b77: DUP1
00000b78: SLOAD
00000b79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8e: NOT
00000b8f: SWAP1
00000b90: DUP2
00000b91: AND
00000b92: PUSH20 0x98de47a1f7f96500276900925b334e4e54b1cad5
00000ba7: OR
00000ba8: SWAP1
00000ba9: SWAP2
00000baa: SSTORE
00000bab: PUSH1 0x02
00000bad: DUP1
00000bae: SLOAD
00000baf: SWAP1
00000bb0: SWAP2
00000bb1: AND
00000bb2: PUSH20 0xb0d926c1bc3d78064f3e1075d5bd9a24f35ae6c5
00000bc7: OR
00000bc8: SWAP1
00000bc9: SSTORE
00000bca: PUSH9 0x01a055690d9db80000
00000bd4: PUSH1 0x07
00000bd6: SSTORE
00000bd7: PUSH11 0xe58ae924ab239605800000
00000be3: PUSH1 0x03
00000be5: DUP2
00000be6: SWAP1
00000be7: SSTORE
00000be8: PUSH1 0x00
00000bea: PUSH1 0x06
00000bec: SSTORE
00000bed: PUSH1 0x04
00000bef: SSTORE
00000bf0: PUSH1 0x0a
00000bf2: DUP4
00000bf3: SWAP1
00000bf4: SSTORE
00000bf5: PUSH1 0x0b
00000bf7: DUP3
00000bf8: SWAP1
00000bf9: SSTORE
00000bfa: PUSH9 0xf3f20b8dfa69d00000
00000c04: PUSH1 0x08
00000c06: SSTORE
00000c07: PUSH1 0x0c
00000c09: DUP1
00000c0a: SLOAD
00000c0b: PUSH1 0xff
00000c0d: NOT
00000c0e: PUSH3 0xff0000
00000c12: NOT
00000c13: SWAP1
00000c14: SWAP2
00000c15: AND
00000c16: PUSH3 0x010000
00000c1a: OR
00000c1b: AND
00000c1c: SWAP1
00000c1d: SSTORE
00000c1e: PUSH1 0x40
00000c20: DUP1
00000c21: MLOAD
00000c22: SWAP1
00000c23: DUP2
00000c24: ADD
00000c25: PUSH1 0x40
00000c27: MSTORE
00000c28: PUSH1 0x12
00000c2a: DUP2
00000c2b: MSTORE
00000c2c: PUSH32 0x43726f776473616c652069732073657475700000000000000000000000000000
00000c4d: PUSH1 0x20
00000c4f: DUP3
00000c50: ADD
00000c51: MSTORE
00000c52: PUSH1 0x09
00000c54: SWAP1
00000c55: DUP1
00000c56: MLOAD
00000c57: PUSH2 0x0c64
00000c5a: SWAP3
00000c5b: SWAP2
00000c5c: PUSH1 0x20
00000c5e: ADD
00000c5f: SWAP1
00000c60: PUSH2 0x0de7
00000c63: JUMP
00000c64: JUMPDEST
00000c65: POP
00000c66: PUSH32 0x43726f776473616c652069732073657475700000000000000000000000000000
00000c87: SWAP1
00000c88: POP
00000c89: PUSH2 0x0588
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH1 0x01
00000c90: SLOAD
00000c91: CALLER
00000c92: PUSH1 0x01
00000c94: PUSH1 0xa0
00000c96: PUSH1 0x02
00000c98: EXP
00000c99: SUB
00000c9a: SWAP1
00000c9b: DUP2
00000c9c: AND
00000c9d: SWAP2
00000c9e: AND
00000c9f: EQ
00000ca0: PUSH2 0x0cca
00000ca3: JUMPI
00000ca4: POP
00000ca5: PUSH32 0x6e6f7420617574686f7269736564000000000000000000000000000000000000
00000cc6: PUSH2 0x0588
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: POP
00000ccc: PUSH32 0x63616d706169676e2063616e6e6f74206265206368616e676564000000000000
00000ced: PUSH2 0x0588
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: PUSH1 0x0a
00000cf4: SLOAD
00000cf5: DUP2
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: PUSH1 0x09
00000cfa: DUP1
00000cfb: SLOAD
00000cfc: PUSH1 0x01
00000cfe: DUP2
00000cff: PUSH1 0x01
00000d01: AND
00000d02: ISZERO
00000d03: PUSH2 0x0100
00000d06: MUL
00000d07: SUB
00000d08: AND
00000d09: PUSH1 0x02
00000d0b: SWAP1
00000d0c: DIV
00000d0d: DUP1
00000d0e: PUSH1 0x1f
00000d10: ADD
00000d11: PUSH1 0x20
00000d13: DUP1
00000d14: SWAP2
00000d15: DIV
00000d16: MUL
00000d17: PUSH1 0x20
00000d19: ADD
00000d1a: PUSH1 0x40
00000d1c: MLOAD
00000d1d: SWAP1
00000d1e: DUP2
00000d1f: ADD
00000d20: PUSH1 0x40
00000d22: MSTORE
00000d23: DUP1
00000d24: SWAP3
00000d25: SWAP2
00000d26: SWAP1
00000d27: DUP2
00000d28: DUP2
00000d29: MSTORE
00000d2a: PUSH1 0x20
00000d2c: ADD
00000d2d: DUP3
00000d2e: DUP1
00000d2f: SLOAD
00000d30: PUSH1 0x01
00000d32: DUP2
00000d33: PUSH1 0x01
00000d35: AND
00000d36: ISZERO
00000d37: PUSH2 0x0100
00000d3a: MUL
00000d3b: SUB
00000d3c: AND
00000d3d: PUSH1 0x02
00000d3f: SWAP1
00000d40: DIV
00000d41: DUP1
00000d42: ISZERO
00000d43: PUSH2 0x0d8d
00000d46: JUMPI
00000d47: DUP1
00000d48: PUSH1 0x1f
00000d4a: LT
00000d4b: PUSH2 0x0d62
00000d4e: JUMPI
00000d4f: PUSH2 0x0100
00000d52: DUP1
00000d53: DUP4
00000d54: SLOAD
00000d55: DIV
00000d56: MUL
00000d57: DUP4
00000d58: MSTORE
00000d59: SWAP2
00000d5a: PUSH1 0x20
00000d5c: ADD
00000d5d: SWAP2
00000d5e: PUSH2 0x0d8d
00000d61: JUMP
00000d62: JUMPDEST
00000d63: DUP3
00000d64: ADD
00000d65: SWAP2
00000d66: SWAP1
00000d67: PUSH1 0x00
00000d69: MSTORE
00000d6a: PUSH1 0x20
00000d6c: PUSH1 0x00
00000d6e: KECCAK256
00000d6f: SWAP1
00000d70: JUMPDEST
00000d71: DUP2
00000d72: SLOAD
00000d73: DUP2
00000d74: MSTORE
00000d75: SWAP1
00000d76: PUSH1 0x01
00000d78: ADD
00000d79: SWAP1
00000d7a: PUSH1 0x20
00000d7c: ADD
00000d7d: DUP1
00000d7e: DUP4
00000d7f: GT
00000d80: PUSH2 0x0d70
00000d83: JUMPI
00000d84: DUP3
00000d85: SWAP1
00000d86: SUB
00000d87: PUSH1 0x1f
00000d89: AND
00000d8a: DUP3
00000d8b: ADD
00000d8c: SWAP2
00000d8d: JUMPDEST
00000d8e: POP
00000d8f: POP
00000d90: POP
00000d91: POP
00000d92: POP
00000d93: DUP2
00000d94: JUMP
00000d95: JUMPDEST
00000d96: PUSH1 0x01
00000d98: SLOAD
00000d99: PUSH1 0x01
00000d9b: PUSH1 0xa0
00000d9d: PUSH1 0x02
00000d9f: EXP
00000da0: SUB
00000da1: AND
00000da2: DUP2
00000da3: JUMP
00000da4: JUMPDEST
00000da5: DUP1
00000da6: ISZERO
00000da7: ISZERO
00000da8: PUSH2 0x089c
00000dab: JUMPI
00000dac: PUSH1 0x00
00000dae: DUP1
00000daf: REVERT
00000db0: JUMPDEST
00000db1: PUSH1 0x00
00000db3: DUP1
00000db4: PUSH2 0x0dbf
00000db7: PUSH1 0x00
00000db9: DUP5
00000dba: GT
00000dbb: PUSH2 0x0da4
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: DUP3
00000dc1: DUP5
00000dc2: DUP2
00000dc3: ISZERO
00000dc4: ISZERO
00000dc5: PUSH2 0x0dca
00000dc8: JUMPI
00000dc9: INVALID
00000dca: JUMPDEST
00000dcb: DIV
00000dcc: SWAP1
00000dcd: POP
00000dce: PUSH2 0x04a0
00000dd1: DUP4
00000dd2: DUP6
00000dd3: DUP2
00000dd4: ISZERO
00000dd5: ISZERO
00000dd6: PUSH2 0x0ddb
00000dd9: JUMPI
00000dda: INVALID
00000ddb: JUMPDEST
00000ddc: MOD
00000ddd: DUP3
00000dde: DUP6
00000ddf: MUL
00000de0: ADD
00000de1: DUP6
00000de2: EQ
00000de3: PUSH2 0x0da4
00000de6: JUMP
00000de7: JUMPDEST
00000de8: DUP3
00000de9: DUP1
00000dea: SLOAD
00000deb: PUSH1 0x01
00000ded: DUP2
00000dee: PUSH1 0x01
00000df0: AND
00000df1: ISZERO
00000df2: PUSH2 0x0100
00000df5: MUL
00000df6: SUB
00000df7: AND
00000df8: PUSH1 0x02
00000dfa: SWAP1
00000dfb: DIV
00000dfc: SWAP1
00000dfd: PUSH1 0x00
00000dff: MSTORE
00000e00: PUSH1 0x20
00000e02: PUSH1 0x00
00000e04: KECCAK256
00000e05: SWAP1
00000e06: PUSH1 0x1f
00000e08: ADD
00000e09: PUSH1 0x20
00000e0b: SWAP1
00000e0c: DIV
00000e0d: DUP2
00000e0e: ADD
00000e0f: SWAP3
00000e10: DUP3
00000e11: PUSH1 0x1f
00000e13: LT
00000e14: PUSH2 0x0e28
00000e17: JUMPI
00000e18: DUP1
00000e19: MLOAD
00000e1a: PUSH1 0xff
00000e1c: NOT
00000e1d: AND
00000e1e: DUP4
00000e1f: DUP1
00000e20: ADD
00000e21: OR
00000e22: DUP6
00000e23: SSTORE
00000e24: PUSH2 0x0e55
00000e27: JUMP
00000e28: JUMPDEST
00000e29: DUP3
00000e2a: DUP1
00000e2b: ADD
00000e2c: PUSH1 0x01
00000e2e: ADD
00000e2f: DUP6
00000e30: SSTORE
00000e31: DUP3
00000e32: ISZERO
00000e33: PUSH2 0x0e55
00000e36: JUMPI
00000e37: SWAP2
00000e38: DUP3
00000e39: ADD
00000e3a: JUMPDEST
00000e3b: DUP3
00000e3c: DUP2
00000e3d: GT
00000e3e: ISZERO
00000e3f: PUSH2 0x0e55
00000e42: JUMPI
00000e43: DUP3
00000e44: MLOAD
00000e45: DUP3
00000e46: SSTORE
00000e47: SWAP2
00000e48: PUSH1 0x20
00000e4a: ADD
00000e4b: SWAP2
00000e4c: SWAP1
00000e4d: PUSH1 0x01
00000e4f: ADD
00000e50: SWAP1
00000e51: PUSH2 0x0e3a
00000e54: JUMP
00000e55: JUMPDEST
00000e56: POP
00000e57: PUSH2 0x0e61
00000e5a: SWAP3
00000e5b: SWAP2
00000e5c: POP
00000e5d: PUSH2 0x0e65
00000e60: JUMP
00000e61: JUMPDEST
00000e62: POP
00000e63: SWAP1
00000e64: JUMP
00000e65: JUMPDEST
00000e66: PUSH2 0x054f
00000e69: SWAP2
00000e6a: SWAP1
00000e6b: JUMPDEST
00000e6c: DUP1
00000e6d: DUP3
00000e6e: GT
00000e6f: ISZERO
00000e70: PUSH2 0x0e61
00000e73: JUMPI
00000e74: PUSH1 0x00
00000e76: DUP2
00000e77: SSTORE
00000e78: PUSH1 0x01
00000e7a: ADD
00000e7b: PUSH2 0x0e6b
00000e7e: JUMP
00000e7f: STOP
00000e80: LOG1
00000e81: PUSH6 0x627a7a723058
00000e88: KECCAK256
00000e89: TSTORE
00000e8a: UNKNOWN(0xE4)
00000e8b: DUP10
00000e8c: UNKNOWN(0xD3)
00000e8d: UNKNOWN(0xE3)
00000e8e: UNKNOWN(0x29)
00000e8f: PUSH4 0x1d5e8b9f
00000e94: PUSH13 0xd7f241ad1365ead435633e58d5
00000ea2: PUSH32

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: 0xd4d6196fb7b167a1aec54b75c750a9ba96d67fa5efa59254c1fa0f23cd491e2d call_targets: 0xb65e16b44a80c9c44addd56a5014cba2814a82d1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd4d6196fb7b167a1aec54b75c750a9ba96d67fa5efa59254c1fa0f23cd491e2d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb65e16b44a80c9c44addd56a5014cba2814a82d1" ], "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": "0x01cb3b20", "selector": "0x01cb3b20", "calldata_variants": [ "0x01cb3b20", "0x01cb3b200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x279029b3", "selector": "0x279029b3", "calldata_variants": [ "0x279029b3", "0x279029b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x37205d76", "selector": "0x37205d76", "calldata_variants": [ "0x37205d76", "0x37205d760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x44a71bc6", "selector": "0x44a71bc6", "calldata_variants": [ "0x44a71bc6", "0x44a71bc60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x590e1ae3", "selector": "0x590e1ae3", "calldata_variants": [ "0x590e1ae3", "0x590e1ae30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6e66f6e9", "selector": "0x6e66f6e9", "calldata_variants": [ "0x6e66f6e9", "0x6e66f6e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x72729ff2", "selector": "0x72729ff2", "calldata_variants": [ "0x72729ff2", "0x72729ff20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x79ca0792", "selector": "0x79ca0792", "calldata_variants": [ "0x79ca0792", "0x79ca07920000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 487, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2488, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2689, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [], "untrusted_call_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xd4d6196fb7b167a1aec54b75c750a9ba96d67fa5efa59254c1fa0f23cd491e2d call_targets: 0xb65e16b44a80c9c44addd56a5014cba2814a82d1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd4d6196fb7b167a1aec54b75c750a9ba96d67fa5efa59254c1fa0f23cd491e2d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb65e16b44a80c9c44addd56a5014cba2814a82d1" ], "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": "0x01cb3b20", "selector": "0x01cb3b20", "calldata_variants": [ "0x01cb3b20", "0x01cb3b200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x279029b3", "selector": "0x279029b3", "calldata_variants": [ "0x279029b3", "0x279029b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x37205d76", "selector": "0x37205d76", "calldata_variants": [ "0x37205d76", "0x37205d760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x44a71bc6", "selector": "0x44a71bc6", "calldata_variants": [ "0x44a71bc6", "0x44a71bc60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x590e1ae3", "selector": "0x590e1ae3", "calldata_variants": [ "0x590e1ae3", "0x590e1ae30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6e66f6e9", "selector": "0x6e66f6e9", "calldata_variants": [ "0x6e66f6e9", "0x6e66f6e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x72729ff2", "selector": "0x72729ff2", "calldata_variants": [ "0x72729ff2", "0x72729ff20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x79ca0792", "selector": "0x79ca0792", "calldata_variants": [ "0x79ca0792", "0x79ca07920000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 487, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2488, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2689, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [] }

Severity