Analysis Run

019b477e-d3f6-7089-a157-5b82efa26eaf

complete

Chain ID

1

Address

0xcbe4cd20d80addd79eced0fcf6263f33dd58fd79

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
28249	artifact.fetch	complete	1 / 3	4 months ago
28250	tool.cast_disasm	complete	1 / 3	4 months ago
71191	analysis.bundle	complete	1 / 3	2 weeks ago
71192	capability.graph	complete	1 / 3	2 weeks ago
71193	detector.run	complete	1 / 3	2 weeks ago
71194	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)

5

EXT*/BALANCE

1

Total opcodes

2094

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 0x00fe
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7ff9b596
00000019: GT
0000001a: PUSH2 0x0095
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa68b91ab
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa68b91ab
0000002f: EQ
00000030: PUSH2 0x0279
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xde836ebd
0000003a: EQ
0000003b: PUSH2 0x02a3
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x02b6
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf58804d6
00000050: EQ
00000051: PUSH2 0x02d6
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc41491e
0000005b: EQ
0000005c: PUSH2 0x02ec
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x7ff9b596
0000006b: EQ
0000006c: PUSH2 0x0210
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8456cb59
00000076: EQ
00000077: PUSH2 0x0226
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8da5cb5b
00000081: EQ
00000082: PUSH2 0x023b
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x9884a353
0000008c: EQ
0000008d: PUSH2 0x0259
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x5c975abb
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x5c975abb
000000a7: EQ
000000a8: PUSH2 0x0191
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x715018a6
000000b2: EQ
000000b3: PUSH2 0x01bb
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7aa30ef0
000000bd: EQ
000000be: PUSH2 0x01d0
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x7de1e536
000000c8: EQ
000000c9: PUSH2 0x01f0
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x22127d19
000000d8: EQ
000000d9: PUSH2 0x0103
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x23c7e09c
000000e3: EQ
000000e4: PUSH2 0x012c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x3f4ba83a
000000ee: EQ
000000ef: PUSH2 0x0164
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x42580598
000000f9: EQ
000000fa: PUSH2 0x017b
000000fd: JUMPI
000000fe: JUMPDEST
000000ff: PUSH1 0x00
00000101: DUP1
00000102: REVERT
00000103: JUMPDEST
00000104: CALLVALUE
00000105: DUP1
00000106: ISZERO
00000107: PUSH2 0x010f
0000010a: JUMPI
0000010b: PUSH1 0x00
0000010d: DUP1
0000010e: REVERT
0000010f: JUMPDEST
00000110: POP
00000111: PUSH2 0x0119
00000114: PUSH1 0x04
00000116: SLOAD
00000117: DUP2
00000118: JUMP
00000119: JUMPDEST
0000011a: PUSH1 0x40
0000011c: MLOAD
0000011d: SWAP1
0000011e: DUP2
0000011f: MSTORE
00000120: PUSH1 0x20
00000122: ADD
00000123: JUMPDEST
00000124: PUSH1 0x40
00000126: MLOAD
00000127: DUP1
00000128: SWAP2
00000129: SUB
0000012a: SWAP1
0000012b: RETURN
0000012c: JUMPDEST
0000012d: CALLVALUE
0000012e: DUP1
0000012f: ISZERO
00000130: PUSH2 0x0138
00000133: JUMPI
00000134: PUSH1 0x00
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: POP
0000013a: PUSH1 0x02
0000013c: SLOAD
0000013d: PUSH2 0x014c
00000140: SWAP1
00000141: PUSH1 0x01
00000143: PUSH1 0x01
00000145: PUSH1 0xa0
00000147: SHL
00000148: SUB
00000149: AND
0000014a: DUP2
0000014b: JUMP
0000014c: JUMPDEST
0000014d: PUSH1 0x40
0000014f: MLOAD
00000150: PUSH1 0x01
00000152: PUSH1 0x01
00000154: PUSH1 0xa0
00000156: SHL
00000157: SUB
00000158: SWAP1
00000159: SWAP2
0000015a: AND
0000015b: DUP2
0000015c: MSTORE
0000015d: PUSH1 0x20
0000015f: ADD
00000160: PUSH2 0x0123
00000163: JUMP
00000164: JUMPDEST
00000165: CALLVALUE
00000166: DUP1
00000167: ISZERO
00000168: PUSH2 0x0170
0000016b: JUMPI
0000016c: PUSH1 0x00
0000016e: DUP1
0000016f: REVERT
00000170: JUMPDEST
00000171: POP
00000172: PUSH2 0x0179
00000175: PUSH2 0x030c
00000178: JUMP
00000179: JUMPDEST
0000017a: STOP
0000017b: JUMPDEST
0000017c: CALLVALUE
0000017d: DUP1
0000017e: ISZERO
0000017f: PUSH2 0x0187
00000182: JUMPI
00000183: PUSH1 0x00
00000185: DUP1
00000186: REVERT
00000187: JUMPDEST
00000188: POP
00000189: PUSH2 0x0119
0000018c: PUSH1 0x07
0000018e: SLOAD
0000018f: DUP2
00000190: JUMP
00000191: JUMPDEST
00000192: CALLVALUE
00000193: DUP1
00000194: ISZERO
00000195: PUSH2 0x019d
00000198: JUMPI
00000199: PUSH1 0x00
0000019b: DUP1
0000019c: REVERT
0000019d: JUMPDEST
0000019e: POP
0000019f: PUSH1 0x00
000001a1: SLOAD
000001a2: PUSH1 0x01
000001a4: PUSH1 0xa0
000001a6: SHL
000001a7: SWAP1
000001a8: DIV
000001a9: PUSH1 0xff
000001ab: AND
000001ac: PUSH1 0x40
000001ae: MLOAD
000001af: SWAP1
000001b0: ISZERO
000001b1: ISZERO
000001b2: DUP2
000001b3: MSTORE
000001b4: PUSH1 0x20
000001b6: ADD
000001b7: PUSH2 0x0123
000001ba: JUMP
000001bb: JUMPDEST
000001bc: CALLVALUE
000001bd: DUP1
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: POP
000001c9: PUSH2 0x0179
000001cc: PUSH2 0x031e
000001cf: JUMP
000001d0: JUMPDEST
000001d1: CALLVALUE
000001d2: DUP1
000001d3: ISZERO
000001d4: PUSH2 0x01dc
000001d7: JUMPI
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: POP
000001de: PUSH1 0x03
000001e0: SLOAD
000001e1: PUSH2 0x014c
000001e4: SWAP1
000001e5: PUSH1 0x01
000001e7: PUSH1 0x01
000001e9: PUSH1 0xa0
000001eb: SHL
000001ec: SUB
000001ed: AND
000001ee: DUP2
000001ef: JUMP
000001f0: JUMPDEST
000001f1: CALLVALUE
000001f2: DUP1
000001f3: ISZERO
000001f4: PUSH2 0x01fc
000001f7: JUMPI
000001f8: PUSH1 0x00
000001fa: DUP1
000001fb: REVERT
000001fc: JUMPDEST
000001fd: POP
000001fe: PUSH1 0x08
00000200: SLOAD
00000201: PUSH2 0x014c
00000204: SWAP1
00000205: PUSH1 0x01
00000207: PUSH1 0x01
00000209: PUSH1 0xa0
0000020b: SHL
0000020c: SUB
0000020d: AND
0000020e: DUP2
0000020f: JUMP
00000210: JUMPDEST
00000211: CALLVALUE
00000212: DUP1
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: POP
0000021e: PUSH2 0x0119
00000221: PUSH1 0x05
00000223: SLOAD
00000224: DUP2
00000225: JUMP
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: POP
00000234: PUSH2 0x0179
00000237: PUSH2 0x0330
0000023a: JUMP
0000023b: JUMPDEST
0000023c: CALLVALUE
0000023d: DUP1
0000023e: ISZERO
0000023f: PUSH2 0x0247
00000242: JUMPI
00000243: PUSH1 0x00
00000245: DUP1
00000246: REVERT
00000247: JUMPDEST
00000248: POP
00000249: PUSH1 0x00
0000024b: SLOAD
0000024c: PUSH1 0x01
0000024e: PUSH1 0x01
00000250: PUSH1 0xa0
00000252: SHL
00000253: SUB
00000254: AND
00000255: PUSH2 0x014c
00000258: JUMP
00000259: JUMPDEST
0000025a: CALLVALUE
0000025b: DUP1
0000025c: ISZERO
0000025d: PUSH2 0x0265
00000260: JUMPI
00000261: PUSH1 0x00
00000263: DUP1
00000264: REVERT
00000265: JUMPDEST
00000266: POP
00000267: PUSH2 0x0179
0000026a: PUSH2 0x0274
0000026d: CALLDATASIZE
0000026e: PUSH1 0x04
00000270: PUSH2 0x0b67
00000273: JUMP
00000274: JUMPDEST
00000275: PUSH2 0x0340
00000278: JUMP
00000279: JUMPDEST
0000027a: CALLVALUE
0000027b: DUP1
0000027c: ISZERO
0000027d: PUSH2 0x0285
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: POP
00000287: PUSH2 0x028e
0000028a: PUSH2 0x0376
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x40
00000291: DUP1
00000292: MLOAD
00000293: SWAP3
00000294: DUP4
00000295: MSTORE
00000296: PUSH1 0x20
00000298: DUP4
00000299: ADD
0000029a: SWAP2
0000029b: SWAP1
0000029c: SWAP2
0000029d: MSTORE
0000029e: ADD
0000029f: PUSH2 0x0123
000002a2: JUMP
000002a3: JUMPDEST
000002a4: PUSH2 0x0179
000002a7: PUSH2 0x02b1
000002aa: CALLDATASIZE
000002ab: PUSH1 0x04
000002ad: PUSH2 0x0bb2
000002b0: JUMP
000002b1: JUMPDEST
000002b2: PUSH2 0x03fb
000002b5: JUMP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x0179
000002c7: PUSH2 0x02d1
000002ca: CALLDATASIZE
000002cb: PUSH1 0x04
000002cd: PUSH2 0x0c83
000002d0: JUMP
000002d1: JUMPDEST
000002d2: PUSH2 0x061f
000002d5: JUMP
000002d6: JUMPDEST
000002d7: CALLVALUE
000002d8: DUP1
000002d9: ISZERO
000002da: PUSH2 0x02e2
000002dd: JUMPI
000002de: PUSH1 0x00
000002e0: DUP1
000002e1: REVERT
000002e2: JUMPDEST
000002e3: POP
000002e4: PUSH2 0x0119
000002e7: PUSH1 0x06
000002e9: SLOAD
000002ea: DUP2
000002eb: JUMP
000002ec: JUMPDEST
000002ed: CALLVALUE
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH2 0x0179
000002fd: PUSH2 0x0307
00000300: CALLDATASIZE
00000301: PUSH1 0x04
00000303: PUSH2 0x0b67
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH2 0x0698
0000030b: JUMP
0000030c: JUMPDEST
0000030d: PUSH2 0x0314
00000310: PUSH2 0x0811
00000313: JUMP
00000314: JUMPDEST
00000315: PUSH2 0x031c
00000318: PUSH2 0x086b
0000031b: JUMP
0000031c: JUMPDEST
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH2 0x0326
00000322: PUSH2 0x0811
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH2 0x031c
0000032a: PUSH1 0x00
0000032c: PUSH2 0x08c0
0000032f: JUMP
00000330: JUMPDEST
00000331: PUSH2 0x0338
00000334: PUSH2 0x0811
00000337: JUMP
00000338: JUMPDEST
00000339: PUSH2 0x031c
0000033c: PUSH2 0x0910
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH2 0x0348
00000344: PUSH2 0x0811
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH1 0x00
0000034b: DUP2
0000034c: GT
0000034d: PUSH2 0x0371
00000350: JUMPI
00000351: PUSH1 0x40
00000353: MLOAD
00000354: PUSH3 0x461bcd
00000358: PUSH1 0xe5
0000035a: SHL
0000035b: DUP2
0000035c: MSTORE
0000035d: PUSH1 0x04
0000035f: ADD
00000360: PUSH2 0x0368
00000363: SWAP1
00000364: PUSH2 0x0ca5
00000367: JUMP
00000368: JUMPDEST
00000369: PUSH1 0x40
0000036b: MLOAD
0000036c: DUP1
0000036d: SWAP2
0000036e: SUB
0000036f: SWAP1
00000370: REVERT
00000371: JUMPDEST
00000372: PUSH1 0x04
00000374: SSTORE
00000375: JUMP
00000376: JUMPDEST
00000377: PUSH1 0x00
00000379: DUP1
0000037a: PUSH1 0x08
0000037c: PUSH1 0x00
0000037e: SWAP1
0000037f: SLOAD
00000380: SWAP1
00000381: PUSH2 0x0100
00000384: EXP
00000385: SWAP1
00000386: DIV
00000387: PUSH1 0x01
00000389: PUSH1 0x01
0000038b: PUSH1 0xa0
0000038d: SHL
0000038e: SUB
0000038f: AND
00000390: PUSH1 0x01
00000392: PUSH1 0x01
00000394: PUSH1 0xa0
00000396: SHL
00000397: SUB
00000398: AND
00000399: PUSH4 0x18160ddd
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: DUP2
000003a2: PUSH4 0xffffffff
000003a7: AND
000003a8: PUSH1 0xe0
000003aa: SHL
000003ab: DUP2
000003ac: MSTORE
000003ad: PUSH1 0x04
000003af: ADD
000003b0: PUSH1 0x20
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: DUP1
000003b6: DUP4
000003b7: SUB
000003b8: DUP2
000003b9: DUP7
000003ba: GAS
000003bb: STATICCALL
000003bc: ISZERO
000003bd: DUP1
000003be: ISZERO
000003bf: PUSH2 0x03cc
000003c2: JUMPI
000003c3: RETURNDATASIZE
000003c4: PUSH1 0x00
000003c6: DUP1
000003c7: RETURNDATACOPY
000003c8: RETURNDATASIZE
000003c9: PUSH1 0x00
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: POP
000003cf: POP
000003d0: POP
000003d1: PUSH1 0x40
000003d3: MLOAD
000003d4: RETURNDATASIZE
000003d5: PUSH1 0x1f
000003d7: NOT
000003d8: PUSH1 0x1f
000003da: DUP3
000003db: ADD
000003dc: AND
000003dd: DUP3
000003de: ADD
000003df: DUP1
000003e0: PUSH1 0x40
000003e2: MSTORE
000003e3: POP
000003e4: DUP2
000003e5: ADD
000003e6: SWAP1
000003e7: PUSH2 0x03f0
000003ea: SWAP2
000003eb: SWAP1
000003ec: PUSH2 0x0ccc
000003ef: JUMP
000003f0: JUMPDEST
000003f1: PUSH1 0x05
000003f3: SLOAD
000003f4: SWAP2
000003f5: POP
000003f6: SWAP2
000003f7: POP
000003f8: SWAP1
000003f9: SWAP2
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH2 0x0403
000003ff: PUSH2 0x0953
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH1 0x00
00000406: SLOAD
00000407: PUSH1 0x01
00000409: PUSH1 0xa0
0000040b: SHL
0000040c: SWAP1
0000040d: DIV
0000040e: PUSH1 0xff
00000410: AND
00000411: ISZERO
00000412: PUSH2 0x044d
00000415: JUMPI
00000416: PUSH1 0x40
00000418: MLOAD
00000419: PUSH3 0x461bcd
0000041d: PUSH1 0xe5
0000041f: SHL
00000420: DUP2
00000421: MSTORE
00000422: PUSH1 0x20
00000424: PUSH1 0x04
00000426: DUP3
00000427: ADD
00000428: MSTORE
00000429: PUSH1 0x0d
0000042b: PUSH1 0x24
0000042d: DUP3
0000042e: ADD
0000042f: MSTORE
00000430: PUSH13 0x6973206f6e2070617573652021
0000043e: PUSH1 0x98
00000440: SHL
00000441: PUSH1 0x44
00000443: DUP3
00000444: ADD
00000445: MSTORE
00000446: PUSH1 0x64
00000448: ADD
00000449: PUSH2 0x0368
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH1 0x00
00000450: DUP2
00000451: MLOAD
00000452: GT
00000453: PUSH2 0x046e
00000456: JUMPI
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: PUSH3 0x461bcd
0000045e: PUSH1 0xe5
00000460: SHL
00000461: DUP2
00000462: MSTORE
00000463: PUSH1 0x04
00000465: ADD
00000466: PUSH2 0x0368
00000469: SWAP1
0000046a: PUSH2 0x0ca5
0000046d: JUMP
0000046e: JUMPDEST
0000046f: PUSH1 0x01
00000471: PUSH1 0x01
00000473: PUSH1 0xa0
00000475: SHL
00000476: SUB
00000477: DUP3
00000478: AND
00000479: PUSH2 0x0494
0000047c: JUMPI
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: PUSH3 0x461bcd
00000484: PUSH1 0xe5
00000486: SHL
00000487: DUP2
00000488: MSTORE
00000489: PUSH1 0x04
0000048b: ADD
0000048c: PUSH2 0x0368
0000048f: SWAP1
00000490: PUSH2 0x0ca5
00000493: JUMP
00000494: JUMPDEST
00000495: PUSH1 0x04
00000497: DUP1
00000498: SLOAD
00000499: DUP3
0000049a: MLOAD
0000049b: PUSH1 0x08
0000049d: SLOAD
0000049e: PUSH1 0x40
000004a0: MLOAD
000004a1: PUSH4 0x70a08231
000004a6: PUSH1 0xe0
000004a8: SHL
000004a9: DUP2
000004aa: MSTORE
000004ab: PUSH1 0x01
000004ad: PUSH1 0x01
000004af: PUSH1 0xa0
000004b1: SHL
000004b2: SUB
000004b3: DUP8
000004b4: DUP2
000004b5: AND
000004b6: SWAP6
000004b7: DUP3
000004b8: ADD
000004b9: SWAP6
000004ba: SWAP1
000004bb: SWAP6
000004bc: MSTORE
000004bd: SWAP3
000004be: SWAP4
000004bf: SWAP2
000004c0: SWAP3
000004c1: SWAP2
000004c2: AND
000004c3: SWAP1
000004c4: PUSH4 0x70a08231
000004c9: SWAP1
000004ca: PUSH1 0x24
000004cc: ADD
000004cd: PUSH1 0x20
000004cf: PUSH1 0x40
000004d1: MLOAD
000004d2: DUP1
000004d3: DUP4
000004d4: SUB
000004d5: DUP2
000004d6: DUP7
000004d7: GAS
000004d8: STATICCALL
000004d9: ISZERO
000004da: DUP1
000004db: ISZERO
000004dc: PUSH2 0x04e9
000004df: JUMPI
000004e0: RETURNDATASIZE
000004e1: PUSH1 0x00
000004e3: DUP1
000004e4: RETURNDATACOPY
000004e5: RETURNDATASIZE
000004e6: PUSH1 0x00
000004e8: REVERT
000004e9: JUMPDEST
000004ea: POP
000004eb: POP
000004ec: POP
000004ed: POP
000004ee: PUSH1 0x40
000004f0: MLOAD
000004f1: RETURNDATASIZE
000004f2: PUSH1 0x1f
000004f4: NOT
000004f5: PUSH1 0x1f
000004f7: DUP3
000004f8: ADD
000004f9: AND
000004fa: DUP3
000004fb: ADD
000004fc: DUP1
000004fd: PUSH1 0x40
000004ff: MSTORE
00000500: POP
00000501: DUP2
00000502: ADD
00000503: SWAP1
00000504: PUSH2 0x050d
00000507: SWAP2
00000508: SWAP1
00000509: PUSH2 0x0ccc
0000050c: JUMP
0000050d: JUMPDEST
0000050e: PUSH2 0x0517
00000511: SWAP2
00000512: SWAP1
00000513: PUSH2 0x0cfb
00000516: JUMP
00000517: JUMPDEST
00000518: GT
00000519: ISZERO
0000051a: PUSH2 0x0565
0000051d: JUMPI
0000051e: PUSH1 0x40
00000520: MLOAD
00000521: PUSH3 0x461bcd
00000525: PUSH1 0xe5
00000527: SHL
00000528: DUP2
00000529: MSTORE
0000052a: PUSH1 0x20
0000052c: PUSH1 0x04
0000052e: DUP3
0000052f: ADD
00000530: MSTORE
00000531: PUSH1 0x1a
00000533: PUSH1 0x24
00000535: DUP3
00000536: ADD
00000537: MSTORE
00000538: PUSH32 0x4d617820746f6b656e207061722077616c6c6574206c696d6974000000000000
00000559: PUSH1 0x44
0000055b: DUP3
0000055c: ADD
0000055d: MSTORE
0000055e: PUSH1 0x64
00000560: ADD
00000561: PUSH2 0x0368
00000564: JUMP
00000565: JUMPDEST
00000566: DUP1
00000567: MLOAD
00000568: PUSH1 0x05
0000056a: SLOAD
0000056b: PUSH2 0x0574
0000056e: SWAP2
0000056f: SWAP1
00000570: PUSH2 0x0d14
00000573: JUMP
00000574: JUMPDEST
00000575: CALLVALUE
00000576: EQ
00000577: PUSH2 0x05ae
0000057a: JUMPI
0000057b: PUSH1 0x40
0000057d: MLOAD
0000057e: PUSH3 0x461bcd
00000582: PUSH1 0xe5
00000584: SHL
00000585: DUP2
00000586: MSTORE
00000587: PUSH1 0x20
00000589: PUSH1 0x04
0000058b: DUP3
0000058c: ADD
0000058d: MSTORE
0000058e: PUSH1 0x09
00000590: PUSH1 0x24
00000592: DUP3
00000593: ADD
00000594: MSTORE
00000595: PUSH9 0x626164207072696365
0000059f: PUSH1 0xb8
000005a1: SHL
000005a2: PUSH1 0x44
000005a4: DUP3
000005a5: ADD
000005a6: MSTORE
000005a7: PUSH1 0x64
000005a9: ADD
000005aa: PUSH2 0x0368
000005ad: JUMP
000005ae: JUMPDEST
000005af: PUSH1 0x08
000005b1: SLOAD
000005b2: PUSH1 0x40
000005b4: MLOAD
000005b5: PUSH4 0x4f4479e1
000005ba: PUSH1 0xe0
000005bc: SHL
000005bd: DUP2
000005be: MSTORE
000005bf: PUSH1 0x01
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: SHL
000005c6: SUB
000005c7: SWAP1
000005c8: SWAP2
000005c9: AND
000005ca: SWAP1
000005cb: PUSH4 0x4f4479e1
000005d0: SWAP1
000005d1: PUSH2 0x05e0
000005d4: SWAP1
000005d5: DUP6
000005d6: SWAP1
000005d7: DUP6
000005d8: SWAP1
000005d9: PUSH1 0x04
000005db: ADD
000005dc: PUSH2 0x0d2b
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH1 0x00
000005e3: PUSH1 0x40
000005e5: MLOAD
000005e6: DUP1
000005e7: DUP4
000005e8: SUB
000005e9: DUP2
000005ea: PUSH1 0x00
000005ec: DUP8
000005ed: DUP1
000005ee: EXTCODESIZE
000005ef: ISZERO
000005f0: DUP1
000005f1: ISZERO
000005f2: PUSH2 0x05fa
000005f5: JUMPI
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: REVERT
000005fa: JUMPDEST
000005fb: POP
000005fc: GAS
000005fd: CALL
000005fe: ISZERO
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x060e
00000604: JUMPI
00000605: RETURNDATASIZE
00000606: PUSH1 0x00
00000608: DUP1
00000609: RETURNDATACOPY
0000060a: RETURNDATASIZE
0000060b: PUSH1 0x00
0000060d: REVERT
0000060e: JUMPDEST
0000060f: POP
00000610: POP
00000611: POP
00000612: POP
00000613: PUSH2 0x061b
00000616: PUSH1 0x01
00000618: DUP1
00000619: SSTORE
0000061a: JUMP
0000061b: JUMPDEST
0000061c: POP
0000061d: POP
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH2 0x0627
00000623: PUSH2 0x0811
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH1 0x01
0000062a: PUSH1 0x01
0000062c: PUSH1 0xa0
0000062e: SHL
0000062f: SUB
00000630: DUP2
00000631: AND
00000632: PUSH2 0x068c
00000635: JUMPI
00000636: PUSH1 0x40
00000638: MLOAD
00000639: PUSH3 0x461bcd
0000063d: PUSH1 0xe5
0000063f: SHL
00000640: DUP2
00000641: MSTORE
00000642: PUSH1 0x20
00000644: PUSH1 0x04
00000646: DUP3
00000647: ADD
00000648: MSTORE
00000649: PUSH1 0x26
0000064b: PUSH1 0x24
0000064d: DUP3
0000064e: ADD
0000064f: MSTORE
00000650: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000671: PUSH1 0x44
00000673: DUP3
00000674: ADD
00000675: MSTORE
00000676: PUSH6 0x646472657373
0000067d: PUSH1 0xd0
0000067f: SHL
00000680: PUSH1 0x64
00000682: DUP3
00000683: ADD
00000684: MSTORE
00000685: PUSH1 0x84
00000687: ADD
00000688: PUSH2 0x0368
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH2 0x0695
00000690: DUP2
00000691: PUSH2 0x08c0
00000694: JUMP
00000695: JUMPDEST
00000696: POP
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH1 0x02
0000069b: SLOAD
0000069c: PUSH1 0x01
0000069e: PUSH1 0x01
000006a0: PUSH1 0xa0
000006a2: SHL
000006a3: SUB
000006a4: AND
000006a5: CALLER
000006a6: EQ
000006a7: DUP1
000006a8: PUSH2 0x06bb
000006ab: JUMPI
000006ac: POP
000006ad: PUSH1 0x03
000006af: SLOAD
000006b0: PUSH1 0x01
000006b2: PUSH1 0x01
000006b4: PUSH1 0xa0
000006b6: SHL
000006b7: SUB
000006b8: AND
000006b9: CALLER
000006ba: EQ
000006bb: JUMPDEST
000006bc: PUSH2 0x06f5
000006bf: JUMPI
000006c0: PUSH1 0x40
000006c2: MLOAD
000006c3: PUSH3 0x461bcd
000006c7: PUSH1 0xe5
000006c9: SHL
000006ca: DUP2
000006cb: MSTORE
000006cc: PUSH1 0x20
000006ce: PUSH1 0x04
000006d0: DUP3
000006d1: ADD
000006d2: MSTORE
000006d3: PUSH1 0x0b
000006d5: PUSH1 0x24
000006d7: DUP3
000006d8: ADD
000006d9: MSTORE
000006da: PUSH11 0x139bdd08185b1b1bddd959
000006e6: PUSH1 0xaa
000006e8: SHL
000006e9: PUSH1 0x44
000006eb: DUP3
000006ec: ADD
000006ed: MSTORE
000006ee: PUSH1 0x64
000006f0: ADD
000006f1: PUSH2 0x0368
000006f4: JUMP
000006f5: JUMPDEST
000006f6: PUSH1 0x00
000006f8: DUP2
000006f9: GT
000006fa: DUP1
000006fb: ISZERO
000006fc: PUSH2 0x0705
000006ff: JUMPI
00000700: POP
00000701: SELFBALANCE
00000702: DUP2
00000703: GT
00000704: ISZERO
00000705: JUMPDEST
00000706: PUSH2 0x0742
00000709: JUMPI
0000070a: PUSH1 0x40
0000070c: MLOAD
0000070d: PUSH3 0x461bcd
00000711: PUSH1 0xe5
00000713: SHL
00000714: DUP2
00000715: MSTORE
00000716: PUSH1 0x20
00000718: PUSH1 0x04
0000071a: DUP3
0000071b: ADD
0000071c: MSTORE
0000071d: PUSH1 0x0e
0000071f: PUSH1 0x24
00000721: DUP3
00000722: ADD
00000723: MSTORE
00000724: PUSH14 0x10985908195d1a08185b5bdd5b9d
00000733: PUSH1 0x92
00000735: SHL
00000736: PUSH1 0x44
00000738: DUP3
00000739: ADD
0000073a: MSTORE
0000073b: PUSH1 0x64
0000073d: ADD
0000073e: PUSH2 0x0368
00000741: JUMP
00000742: JUMPDEST
00000743: PUSH1 0x06
00000745: SLOAD
00000746: TIMESTAMP
00000747: LT
00000748: ISZERO
00000749: PUSH2 0x0807
0000074c: JUMPI
0000074d: PUSH1 0x07
0000074f: SLOAD
00000750: PUSH1 0x08
00000752: PUSH1 0x00
00000754: SWAP1
00000755: SLOAD
00000756: SWAP1
00000757: PUSH2 0x0100
0000075a: EXP
0000075b: SWAP1
0000075c: DIV
0000075d: PUSH1 0x01
0000075f: PUSH1 0x01
00000761: PUSH1 0xa0
00000763: SHL
00000764: SUB
00000765: AND
00000766: PUSH1 0x01
00000768: PUSH1 0x01
0000076a: PUSH1 0xa0
0000076c: SHL
0000076d: SUB
0000076e: AND
0000076f: PUSH4 0x18160ddd
00000774: PUSH1 0x40
00000776: MLOAD
00000777: DUP2
00000778: PUSH4 0xffffffff
0000077d: AND
0000077e: PUSH1 0xe0
00000780: SHL
00000781: DUP2
00000782: MSTORE
00000783: PUSH1 0x04
00000785: ADD
00000786: PUSH1 0x20
00000788: PUSH1 0x40
0000078a: MLOAD
0000078b: DUP1
0000078c: DUP4
0000078d: SUB
0000078e: DUP2
0000078f: DUP7
00000790: GAS
00000791: STATICCALL
00000792: ISZERO
00000793: DUP1
00000794: ISZERO
00000795: PUSH2 0x07a2
00000798: JUMPI
00000799: RETURNDATASIZE
0000079a: PUSH1 0x00
0000079c: DUP1
0000079d: RETURNDATACOPY
0000079e: RETURNDATASIZE
0000079f: PUSH1 0x00
000007a1: REVERT
000007a2: JUMPDEST
000007a3: POP
000007a4: POP
000007a5: POP
000007a6: POP
000007a7: PUSH1 0x40
000007a9: MLOAD
000007aa: RETURNDATASIZE
000007ab: PUSH1 0x1f
000007ad: NOT
000007ae: PUSH1 0x1f
000007b0: DUP3
000007b1: ADD
000007b2: AND
000007b3: DUP3
000007b4: ADD
000007b5: DUP1
000007b6: PUSH1 0x40
000007b8: MSTORE
000007b9: POP
000007ba: DUP2
000007bb: ADD
000007bc: SWAP1
000007bd: PUSH2 0x07c6
000007c0: SWAP2
000007c1: SWAP1
000007c2: PUSH2 0x0ccc
000007c5: JUMP
000007c6: JUMPDEST
000007c7: LT
000007c8: ISZERO
000007c9: PUSH2 0x0807
000007cc: JUMPI
000007cd: PUSH1 0x40
000007cf: MLOAD
000007d0: PUSH3 0x461bcd
000007d4: PUSH1 0xe5
000007d6: SHL
000007d7: DUP2
000007d8: MSTORE
000007d9: PUSH1 0x20
000007db: PUSH1 0x04
000007dd: DUP3
000007de: ADD
000007df: MSTORE
000007e0: PUSH1 0x10
000007e2: PUSH1 0x24
000007e4: DUP3
000007e5: ADD
000007e6: MSTORE
000007e7: PUSH16 0x119d5b991cc8185c99481b1bd8dad959
000007f8: PUSH1 0x82
000007fa: SHL
000007fb: PUSH1 0x44
000007fd: DUP3
000007fe: ADD
000007ff: MSTORE
00000800: PUSH1 0x64
00000802: ADD
00000803: PUSH2 0x0368
00000806: JUMP
00000807: JUMPDEST
00000808: PUSH2 0x0695
0000080b: CALLER
0000080c: DUP3
0000080d: PUSH2 0x09ac
00000810: JUMP
00000811: JUMPDEST
00000812: PUSH1 0x00
00000814: SLOAD
00000815: PUSH1 0x01
00000817: PUSH1 0x01
00000819: PUSH1 0xa0
0000081b: SHL
0000081c: SUB
0000081d: AND
0000081e: CALLER
0000081f: EQ
00000820: PUSH2 0x031c
00000823: JUMPI
00000824: PUSH1 0x40
00000826: MLOAD
00000827: PUSH3 0x461bcd
0000082b: PUSH1 0xe5
0000082d: SHL
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x20
00000832: PUSH1 0x04
00000834: DUP3
00000835: ADD
00000836: DUP2
00000837: SWAP1
00000838: MSTORE
00000839: PUSH1 0x24
0000083b: DUP3
0000083c: ADD
0000083d: MSTORE
0000083e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000085f: PUSH1 0x44
00000861: DUP3
00000862: ADD
00000863: MSTORE
00000864: PUSH1 0x64
00000866: ADD
00000867: PUSH2 0x0368
0000086a: JUMP
0000086b: JUMPDEST
0000086c: PUSH2 0x0873
0000086f: PUSH2 0x0aca
00000872: JUMP
00000873: JUMPDEST
00000874: PUSH1 0x00
00000876: DUP1
00000877: SLOAD
00000878: PUSH1 0xff
0000087a: PUSH1 0xa0
0000087c: SHL
0000087d: NOT
0000087e: AND
0000087f: SWAP1
00000880: SSTORE
00000881: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
000008a2: CALLER
000008a3: JUMPDEST
000008a4: PUSH1 0x40
000008a6: MLOAD
000008a7: PUSH1 0x01
000008a9: PUSH1 0x01
000008ab: PUSH1 0xa0
000008ad: SHL
000008ae: SUB
000008af: SWAP1
000008b0: SWAP2
000008b1: AND
000008b2: DUP2
000008b3: MSTORE
000008b4: PUSH1 0x20
000008b6: ADD
000008b7: PUSH1 0x40
000008b9: MLOAD
000008ba: DUP1
000008bb: SWAP2
000008bc: SUB
000008bd: SWAP1
000008be: LOG1
000008bf: JUMP
000008c0: JUMPDEST
000008c1: PUSH1 0x00
000008c3: DUP1
000008c4: SLOAD
000008c5: PUSH1 0x01
000008c7: PUSH1 0x01
000008c9: PUSH1 0xa0
000008cb: SHL
000008cc: SUB
000008cd: DUP4
000008ce: DUP2
000008cf: AND
000008d0: PUSH1 0x01
000008d2: PUSH1 0x01
000008d4: PUSH1 0xa0
000008d6: SHL
000008d7: SUB
000008d8: NOT
000008d9: DUP4
000008da: AND
000008db: DUP2
000008dc: OR
000008dd: DUP5
000008de: SSTORE
000008df: PUSH1 0x40
000008e1: MLOAD
000008e2: SWAP2
000008e3: SWAP1
000008e4: SWAP3
000008e5: AND
000008e6: SWAP3
000008e7: DUP4
000008e8: SWAP2
000008e9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000090a: SWAP2
0000090b: SWAP1
0000090c: LOG3
0000090d: POP
0000090e: POP
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH2 0x0918
00000914: PUSH2 0x0b1a
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH1 0x00
0000091b: DUP1
0000091c: SLOAD
0000091d: PUSH1 0xff
0000091f: PUSH1 0xa0
00000921: SHL
00000922: NOT
00000923: AND
00000924: PUSH1 0x01
00000926: PUSH1 0xa0
00000928: SHL
00000929: OR
0000092a: SWAP1
0000092b: SSTORE
0000092c: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
0000094d: PUSH2 0x08a3
00000950: CALLER
00000951: SWAP1
00000952: JUMP
00000953: JUMPDEST
00000954: PUSH1 0x02
00000956: PUSH1 0x01
00000958: SLOAD
00000959: SUB
0000095a: PUSH2 0x09a5
0000095d: JUMPI
0000095e: PUSH1 0x40
00000960: MLOAD
00000961: PUSH3 0x461bcd
00000965: PUSH1 0xe5
00000967: SHL
00000968: DUP2
00000969: MSTORE
0000096a: PUSH1 0x20
0000096c: PUSH1 0x04
0000096e: DUP3
0000096f: ADD
00000970: MSTORE
00000971: PUSH1 0x1f
00000973: PUSH1 0x24
00000975: DUP3
00000976: ADD
00000977: MSTORE
00000978: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000999: PUSH1 0x44
0000099b: DUP3
0000099c: ADD
0000099d: MSTORE
0000099e: PUSH1 0x64
000009a0: ADD
000009a1: PUSH2 0x0368
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x02
000009a8: PUSH1 0x01
000009aa: SSTORE
000009ab: JUMP
000009ac: JUMPDEST
000009ad: DUP1
000009ae: SELFBALANCE
000009af: LT
000009b0: ISZERO
000009b1: PUSH2 0x09fc
000009b4: JUMPI
000009b5: PUSH1 0x40
000009b7: MLOAD
000009b8: PUSH3 0x461bcd
000009bc: PUSH1 0xe5
000009be: SHL
000009bf: DUP2
000009c0: MSTORE
000009c1: PUSH1 0x20
000009c3: PUSH1 0x04
000009c5: DUP3
000009c6: ADD
000009c7: MSTORE
000009c8: PUSH1 0x1d
000009ca: PUSH1 0x24
000009cc: DUP3
000009cd: ADD
000009ce: MSTORE
000009cf: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
000009f0: PUSH1 0x44
000009f2: DUP3
000009f3: ADD
000009f4: MSTORE
000009f5: PUSH1 0x64
000009f7: ADD
000009f8: PUSH2 0x0368
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH1 0x00
000009ff: DUP3
00000a00: PUSH1 0x01
00000a02: PUSH1 0x01
00000a04: PUSH1 0xa0
00000a06: SHL
00000a07: SUB
00000a08: AND
00000a09: DUP3
00000a0a: PUSH1 0x40
00000a0c: MLOAD
00000a0d: PUSH1 0x00
00000a0f: PUSH1 0x40
00000a11: MLOAD
00000a12: DUP1
00000a13: DUP4
00000a14: SUB
00000a15: DUP2
00000a16: DUP6
00000a17: DUP8
00000a18: GAS
00000a19: CALL
00000a1a: SWAP3
00000a1b: POP
00000a1c: POP
00000a1d: POP
00000a1e: RETURNDATASIZE
00000a1f: DUP1
00000a20: PUSH1 0x00
00000a22: DUP2
00000a23: EQ
00000a24: PUSH2 0x0a49
00000a27: JUMPI
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: SWAP2
00000a2c: POP
00000a2d: PUSH1 0x1f
00000a2f: NOT
00000a30: PUSH1 0x3f
00000a32: RETURNDATASIZE
00000a33: ADD
00000a34: AND
00000a35: DUP3
00000a36: ADD
00000a37: PUSH1 0x40
00000a39: MSTORE
00000a3a: RETURNDATASIZE
00000a3b: DUP3
00000a3c: MSTORE
00000a3d: RETURNDATASIZE
00000a3e: PUSH1 0x00
00000a40: PUSH1 0x20
00000a42: DUP5
00000a43: ADD
00000a44: RETURNDATACOPY
00000a45: PUSH2 0x0a4e
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: PUSH1 0x60
00000a4c: SWAP2
00000a4d: POP
00000a4e: JUMPDEST
00000a4f: POP
00000a50: POP
00000a51: SWAP1
00000a52: POP
00000a53: DUP1
00000a54: PUSH2 0x0ac5
00000a57: JUMPI
00000a58: PUSH1 0x40
00000a5a: MLOAD
00000a5b: PUSH3 0x461bcd
00000a5f: PUSH1 0xe5
00000a61: SHL
00000a62: DUP2
00000a63: MSTORE
00000a64: PUSH1 0x20
00000a66: PUSH1 0x04
00000a68: DUP3
00000a69: ADD
00000a6a: MSTORE
00000a6b: PUSH1 0x3a
00000a6d: PUSH1 0x24
00000a6f: DUP3
00000a70: ADD
00000a71: MSTORE
00000a72: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00000a93: PUSH1 0x44
00000a95: DUP3
00000a96: ADD
00000a97: MSTORE
00000a98: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00000ab9: PUSH1 0x64
00000abb: DUP3
00000abc: ADD
00000abd: MSTORE
00000abe: PUSH1 0x84
00000ac0: ADD
00000ac1: PUSH2 0x0368
00000ac4: JUMP
00000ac5: JUMPDEST
00000ac6: POP
00000ac7: POP
00000ac8: POP
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: PUSH1 0x00
00000acd: SLOAD
00000ace: PUSH1 0x01
00000ad0: PUSH1 0xa0
00000ad2: SHL
00000ad3: SWAP1
00000ad4: DIV
00000ad5: PUSH1 0xff
00000ad7: AND
00000ad8: PUSH2 0x031c
00000adb: JUMPI
00000adc: PUSH1 0x40
00000ade: MLOAD
00000adf: PUSH3 0x461bcd
00000ae3: PUSH1 0xe5
00000ae5: SHL
00000ae6: DUP2
00000ae7: MSTORE
00000ae8: PUSH1 0x20
00000aea: PUSH1 0x04
00000aec: DUP3
00000aed: ADD
00000aee: MSTORE
00000aef: PUSH1 0x14
00000af1: PUSH1 0x24
00000af3: DUP3
00000af4: ADD
00000af5: MSTORE
00000af6: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00000b0b: PUSH1 0x62
00000b0d: SHL
00000b0e: PUSH1 0x44
00000b10: DUP3
00000b11: ADD
00000b12: MSTORE
00000b13: PUSH1 0x64
00000b15: ADD
00000b16: PUSH2 0x0368
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH1 0x00
00000b1d: SLOAD
00000b1e: PUSH1 0x01
00000b20: PUSH1 0xa0
00000b22: SHL
00000b23: SWAP1
00000b24: DIV
00000b25: PUSH1 0xff
00000b27: AND
00000b28: ISZERO
00000b29: PUSH2 0x031c
00000b2c: JUMPI
00000b2d: PUSH1 0x40
00000b2f: MLOAD
00000b30: PUSH3 0x461bcd
00000b34: PUSH1 0xe5
00000b36: SHL
00000b37: DUP2
00000b38: MSTORE
00000b39: PUSH1 0x20
00000b3b: PUSH1 0x04
00000b3d: DUP3
00000b3e: ADD
00000b3f: MSTORE
00000b40: PUSH1 0x10
00000b42: PUSH1 0x24
00000b44: DUP3
00000b45: ADD
00000b46: MSTORE
00000b47: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000b58: PUSH1 0x82
00000b5a: SHL
00000b5b: PUSH1 0x44
00000b5d: DUP3
00000b5e: ADD
00000b5f: MSTORE
00000b60: PUSH1 0x64
00000b62: ADD
00000b63: PUSH2 0x0368
00000b66: JUMP
00000b67: JUMPDEST
00000b68: PUSH1 0x00
00000b6a: PUSH1 0x20
00000b6c: DUP3
00000b6d: DUP5
00000b6e: SUB
00000b6f: SLT
00000b70: ISZERO
00000b71: PUSH2 0x0b79
00000b74: JUMPI
00000b75: PUSH1 0x00
00000b77: DUP1
00000b78: REVERT
00000b79: JUMPDEST
00000b7a: POP
00000b7b: CALLDATALOAD
00000b7c: SWAP2
00000b7d: SWAP1
00000b7e: POP
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: DUP1
00000b82: CALLDATALOAD
00000b83: PUSH1 0x01
00000b85: PUSH1 0x01
00000b87: PUSH1 0xa0
00000b89: SHL
00000b8a: SUB
00000b8b: DUP2
00000b8c: AND
00000b8d: DUP2
00000b8e: EQ
00000b8f: PUSH2 0x0b97
00000b92: JUMPI
00000b93: PUSH1 0x00
00000b95: DUP1
00000b96: REVERT
00000b97: JUMPDEST
00000b98: SWAP2
00000b99: SWAP1
00000b9a: POP
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: PUSH4 0x4e487b71
00000ba2: PUSH1 0xe0
00000ba4: SHL
00000ba5: PUSH1 0x00
00000ba7: MSTORE
00000ba8: PUSH1 0x41
00000baa: PUSH1 0x04
00000bac: MSTORE
00000bad: PUSH1 0x24
00000baf: PUSH1 0x00
00000bb1: REVERT
00000bb2: JUMPDEST
00000bb3: PUSH1 0x00
00000bb5: DUP1
00000bb6: PUSH1 0x40
00000bb8: DUP4
00000bb9: DUP6
00000bba: SUB
00000bbb: SLT
00000bbc: ISZERO
00000bbd: PUSH2 0x0bc5
00000bc0: JUMPI
00000bc1: PUSH1 0x00
00000bc3: DUP1
00000bc4: REVERT
00000bc5: JUMPDEST
00000bc6: PUSH2 0x0bce
00000bc9: DUP4
00000bca: PUSH2 0x0b80
00000bcd: JUMP
00000bce: JUMPDEST
00000bcf: SWAP2
00000bd0: POP
00000bd1: PUSH1 0x20
00000bd3: DUP1
00000bd4: DUP5
00000bd5: ADD
00000bd6: CALLDATALOAD
00000bd7: PUSH8 0xffffffffffffffff
00000be0: DUP1
00000be1: DUP3
00000be2: GT
00000be3: ISZERO
00000be4: PUSH2 0x0bec
00000be7: JUMPI
00000be8: PUSH1 0x00
00000bea: DUP1
00000beb: REVERT
00000bec: JUMPDEST
00000bed: DUP2
00000bee: DUP7
00000bef: ADD
00000bf0: SWAP2
00000bf1: POP
00000bf2: DUP7
00000bf3: PUSH1 0x1f
00000bf5: DUP4
00000bf6: ADD
00000bf7: SLT
00000bf8: PUSH2 0x0c00
00000bfb: JUMPI
00000bfc: PUSH1 0x00
00000bfe: DUP1
00000bff: REVERT
00000c00: JUMPDEST
00000c01: DUP2
00000c02: CALLDATALOAD
00000c03: DUP2
00000c04: DUP2
00000c05: GT
00000c06: ISZERO
00000c07: PUSH2 0x0c12
00000c0a: JUMPI
00000c0b: PUSH2 0x0c12
00000c0e: PUSH2 0x0b9c
00000c11: JUMP
00000c12: JUMPDEST
00000c13: DUP1
00000c14: PUSH1 0x05
00000c16: SHL
00000c17: PUSH1 0x40
00000c19: MLOAD
00000c1a: PUSH1 0x1f
00000c1c: NOT
00000c1d: PUSH1 0x3f
00000c1f: DUP4
00000c20: ADD
00000c21: AND
00000c22: DUP2
00000c23: ADD
00000c24: DUP2
00000c25: DUP2
00000c26: LT
00000c27: DUP6
00000c28: DUP3
00000c29: GT
00000c2a: OR
00000c2b: ISZERO
00000c2c: PUSH2 0x0c37
00000c2f: JUMPI
00000c30: PUSH2 0x0c37
00000c33: PUSH2 0x0b9c
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH1 0x40
00000c3a: MSTORE
00000c3b: SWAP2
00000c3c: DUP3
00000c3d: MSTORE
00000c3e: DUP5
00000c3f: DUP3
00000c40: ADD
00000c41: SWAP3
00000c42: POP
00000c43: DUP4
00000c44: DUP2
00000c45: ADD
00000c46: DUP6
00000c47: ADD
00000c48: SWAP2
00000c49: DUP10
00000c4a: DUP4
00000c4b: GT
00000c4c: ISZERO
00000c4d: PUSH2 0x0c55
00000c50: JUMPI
00000c51: PUSH1 0x00
00000c53: DUP1
00000c54: REVERT
00000c55: JUMPDEST
00000c56: SWAP4
00000c57: DUP6
00000c58: ADD
00000c59: SWAP4
00000c5a: JUMPDEST
00000c5b: DUP3
00000c5c: DUP6
00000c5d: LT
00000c5e: ISZERO
00000c5f: PUSH2 0x0c73
00000c62: JUMPI
00000c63: DUP5
00000c64: CALLDATALOAD
00000c65: DUP5
00000c66: MSTORE
00000c67: SWAP4
00000c68: DUP6
00000c69: ADD
00000c6a: SWAP4
00000c6b: SWAP3
00000c6c: DUP6
00000c6d: ADD
00000c6e: SWAP3
00000c6f: PUSH2 0x0c5a
00000c72: JUMP
00000c73: JUMPDEST
00000c74: DUP1
00000c75: SWAP7
00000c76: POP
00000c77: POP
00000c78: POP
00000c79: POP
00000c7a: POP
00000c7b: POP
00000c7c: POP
00000c7d: SWAP3
00000c7e: POP
00000c7f: SWAP3
00000c80: SWAP1
00000c81: POP
00000c82: JUMP
00000c83: JUMPDEST
00000c84: PUSH1 0x00
00000c86: PUSH1 0x20
00000c88: DUP3
00000c89: DUP5
00000c8a: SUB
00000c8b: SLT
00000c8c: ISZERO
00000c8d: PUSH2 0x0c95
00000c90: JUMPI
00000c91: PUSH1 0x00
00000c93: DUP1
00000c94: REVERT
00000c95: JUMPDEST
00000c96: PUSH2 0x0c9e
00000c99: DUP3
00000c9a: PUSH2 0x0b80
00000c9d: JUMP
00000c9e: JUMPDEST
00000c9f: SWAP4
00000ca0: SWAP3
00000ca1: POP
00000ca2: POP
00000ca3: POP
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: PUSH1 0x20
00000ca8: DUP1
00000ca9: DUP3
00000caa: MSTORE
00000cab: PUSH1 0x0d
00000cad: SWAP1
00000cae: DUP3
00000caf: ADD
00000cb0: MSTORE
00000cb1: PUSH13 0x2130b2103830b930b6b2ba32b9
00000cbf: PUSH1 0x99
00000cc1: SHL
00000cc2: PUSH1 0x40
00000cc4: DUP3
00000cc5: ADD
00000cc6: MSTORE
00000cc7: PUSH1 0x60
00000cc9: ADD
00000cca: SWAP1
00000ccb: JUMP
00000ccc: JUMPDEST
00000ccd: PUSH1 0x00
00000ccf: PUSH1 0x20
00000cd1: DUP3
00000cd2: DUP5
00000cd3: SUB
00000cd4: SLT
00000cd5: ISZERO
00000cd6: PUSH2 0x0cde
00000cd9: JUMPI
00000cda: PUSH1 0x00
00000cdc: DUP1
00000cdd: REVERT
00000cde: JUMPDEST
00000cdf: POP
00000ce0: MLOAD
00000ce1: SWAP2
00000ce2: SWAP1
00000ce3: POP
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: PUSH4 0x4e487b71
00000ceb: PUSH1 0xe0
00000ced: SHL
00000cee: PUSH1 0x00
00000cf0: MSTORE
00000cf1: PUSH1 0x11
00000cf3: PUSH1 0x04
00000cf5: MSTORE
00000cf6: PUSH1 0x24
00000cf8: PUSH1 0x00
00000cfa: REVERT
00000cfb: JUMPDEST
00000cfc: DUP1
00000cfd: DUP3
00000cfe: ADD
00000cff: DUP1
00000d00: DUP3
00000d01: GT
00000d02: ISZERO
00000d03: PUSH2 0x0d0e
00000d06: JUMPI
00000d07: PUSH2 0x0d0e
00000d0a: PUSH2 0x0ce5
00000d0d: JUMP
00000d0e: JUMPDEST
00000d0f: SWAP3
00000d10: SWAP2
00000d11: POP
00000d12: POP
00000d13: JUMP
00000d14: JUMPDEST
00000d15: DUP1
00000d16: DUP3
00000d17: MUL
00000d18: DUP2
00000d19: ISZERO
00000d1a: DUP3
00000d1b: DUP3
00000d1c: DIV
00000d1d: DUP5
00000d1e: EQ
00000d1f: OR
00000d20: PUSH2 0x0d0e
00000d23: JUMPI
00000d24: PUSH2 0x0d0e
00000d27: PUSH2 0x0ce5
00000d2a: JUMP
00000d2b: JUMPDEST
00000d2c: PUSH1 0x01
00000d2e: PUSH1 0x01
00000d30: PUSH1 0xa0
00000d32: SHL
00000d33: SUB
00000d34: DUP4
00000d35: AND
00000d36: DUP2
00000d37: MSTORE
00000d38: PUSH1 0x40
00000d3a: PUSH1 0x20
00000d3c: DUP1
00000d3d: DUP4
00000d3e: ADD
00000d3f: DUP3
00000d40: SWAP1
00000d41: MSTORE
00000d42: DUP4
00000d43: MLOAD
00000d44: SWAP2
00000d45: DUP4
00000d46: ADD
00000d47: DUP3
00000d48: SWAP1
00000d49: MSTORE
00000d4a: PUSH1 0x00
00000d4c: SWAP2
00000d4d: DUP5
00000d4e: DUP3
00000d4f: ADD
00000d50: SWAP2
00000d51: SWAP1
00000d52: PUSH1 0x60
00000d54: DUP6
00000d55: ADD
00000d56: SWAP1
00000d57: DUP5
00000d58: JUMPDEST
00000d59: DUP2
00000d5a: DUP2
00000d5b: LT
00000d5c: ISZERO
00000d5d: PUSH2 0x0d74
00000d60: JUMPI
00000d61: DUP5
00000d62: MLOAD
00000d63: DUP4
00000d64: MSTORE
00000d65: SWAP4
00000d66: DUP4
00000d67: ADD
00000d68: SWAP4
00000d69: SWAP2
00000d6a: DUP4
00000d6b: ADD
00000d6c: SWAP2
00000d6d: PUSH1 0x01
00000d6f: ADD
00000d70: PUSH2 0x0d58
00000d73: JUMP
00000d74: JUMPDEST
00000d75: POP
00000d76: SWAP1
00000d77: SWAP8
00000d78: SWAP7
00000d79: POP
00000d7a: POP
00000d7b: POP
00000d7c: POP
00000d7d: POP
00000d7e: POP
00000d7f: POP
00000d80: JUMP
00000d81: INVALID
00000d82: LOG2
00000d83: PUSH5 0x6970667358
00000d89: UNKNOWN(0x22)
00000d8a: SLT
00000d8b: KECCAK256
00000d8c: SWAP8
00000d8d: PUSH28 0xecef09853b141867bbae5ad0fde8c6d689e097e946594474c5853ede
00000daa: ADDMOD
00000dab: PUSH8 0x64736f6c63430008
00000db4: SGT
00000db5: STOP
00000db6: 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: 0x83cf9346d8b9402ce9377a0d84455004742758aaba145411b21a17318d4222ac call_targets: 0xcbe4cd20d80addd79eced0fcf6263f33dd58fd79 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x83cf9346d8b9402ce9377a0d84455004742758aaba145411b21a17318d4222ac", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xcbe4cd20d80addd79eced0fcf6263f33dd58fd79" ], "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": "0xa68b91ab", "selector": "0xa68b91ab", "calldata_variants": [ "0xa68b91ab", "0xa68b91ab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xde836ebd", "selector": "0xde836ebd", "calldata_variants": [ "0xde836ebd", "0xde836ebd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf58804d6", "selector": "0xf58804d6", "calldata_variants": [ "0xf58804d6", "0xf58804d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc41491e", "selector": "0xfc41491e", "calldata_variants": [ "0xfc41491e", "0xfc41491e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7ff9b596", "selector": "0x7ff9b596", "calldata_variants": [ "0x7ff9b596", "0x7ff9b5960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8456cb59", "selector": "0x8456cb59", "calldata_variants": [ "0x8456cb59", "0x8456cb590000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1533, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2585, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x83cf9346d8b9402ce9377a0d84455004742758aaba145411b21a17318d4222ac call_targets: 0xcbe4cd20d80addd79eced0fcf6263f33dd58fd79 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x83cf9346d8b9402ce9377a0d84455004742758aaba145411b21a17318d4222ac", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xcbe4cd20d80addd79eced0fcf6263f33dd58fd79" ], "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": "0xa68b91ab", "selector": "0xa68b91ab", "calldata_variants": [ "0xa68b91ab", "0xa68b91ab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xde836ebd", "selector": "0xde836ebd", "calldata_variants": [ "0xde836ebd", "0xde836ebd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf58804d6", "selector": "0xf58804d6", "calldata_variants": [ "0xf58804d6", "0xf58804d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc41491e", "selector": "0xfc41491e", "calldata_variants": [ "0xfc41491e", "0xfc41491e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7ff9b596", "selector": "0x7ff9b596", "calldata_variants": [ "0x7ff9b596", "0x7ff9b5960000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8456cb59", "selector": "0x8456cb59", "calldata_variants": [ "0x8456cb59", "0x8456cb590000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1533, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2585, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity