Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-yfha8rjl
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c99-8725-75a1-87df-36b0f5a4f2a5
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.

{
    "codex": {
        "ran_at": "2026-04-05T07:44:20.247523+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 3252,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0035
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x25ea269e
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x008c
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x60689557
00000025: EQ
00000026: PUSH2 0x0139
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0xaf769eff
00000030: EQ
00000031: PUSH2 0x0146
00000034: JUMPI
00000035: JUMPDEST
00000036: PUSH2 0x0153
00000039: PUSH8 0x0de0b6b3a7640000
00000042: CALLVALUE
00000043: LT
00000044: PUSH2 0x0155
00000047: JUMPI
00000048: PUSH1 0x40
0000004a: MLOAD
0000004b: PUSH1 0x01
0000004d: PUSH1 0xa0
0000004f: PUSH1 0x02
00000051: EXP
00000052: SUB
00000053: CALLER
00000054: AND
00000055: SWAP1
00000056: PUSH1 0x00
00000058: SWAP1
00000059: PUSH8 0x0de0b6b3a763ffff
00000062: NOT
00000063: CALLVALUE
00000064: ADD
00000065: SWAP1
00000066: DUP3
00000067: DUP2
00000068: DUP2
00000069: DUP2
0000006a: DUP6
0000006b: DUP9
0000006c: DUP4
0000006d: CALL
0000006e: POP
0000006f: POP
00000070: PUSH1 0x02
00000072: DUP1
00000073: SLOAD
00000074: PUSH1 0xff
00000076: NOT
00000077: AND
00000078: PUSH1 0x01
0000007a: OR
0000007b: SWAP1
0000007c: SSTORE
0000007d: POP
0000007e: PUSH2 0x0155
00000081: SWAP2
00000082: POP
00000083: PUSH1 0x03
00000085: SWAP1
00000086: TIMESTAMP
00000087: ADDMOD
00000088: PUSH2 0x0095
0000008b: JUMP
0000008c: JUMPDEST
0000008d: PUSH2 0x0153
00000090: PUSH2 0x0186
00000093: PUSH1 0x02
00000095: JUMPDEST
00000096: CALLVALUE
00000097: PUSH8 0x0de0b6b3a7640000
000000a0: EQ
000000a1: ISZERO
000000a2: DUP1
000000a3: ISZERO
000000a4: PUSH2 0x00b0
000000a7: JUMPI
000000a8: POP
000000a9: PUSH1 0x02
000000ab: SLOAD
000000ac: PUSH1 0xff
000000ae: AND
000000af: ISZERO
000000b0: JUMPDEST
000000b1: ISZERO
000000b2: PUSH2 0x00d6
000000b5: JUMPI
000000b6: PUSH1 0x40
000000b8: MLOAD
000000b9: PUSH1 0x01
000000bb: PUSH1 0xa0
000000bd: PUSH1 0x02
000000bf: EXP
000000c0: SUB
000000c1: CALLER
000000c2: AND
000000c3: SWAP1
000000c4: PUSH1 0x00
000000c6: SWAP1
000000c7: CALLVALUE
000000c8: SWAP1
000000c9: DUP3
000000ca: DUP2
000000cb: DUP2
000000cc: DUP2
000000cd: DUP6
000000ce: DUP9
000000cf: DUP4
000000d0: CALL
000000d1: POP
000000d2: POP
000000d3: POP
000000d4: POP
000000d5: POP
000000d6: JUMPDEST
000000d7: CALLVALUE
000000d8: PUSH8 0x0de0b6b3a7640000
000000e1: EQ
000000e2: DUP1
000000e3: PUSH2 0x00ee
000000e6: JUMPI
000000e7: POP
000000e8: PUSH1 0x02
000000ea: SLOAD
000000eb: PUSH1 0xff
000000ed: AND
000000ee: JUMPDEST
000000ef: ISZERO
000000f0: PUSH2 0x01c5
000000f3: JUMPI
000000f4: PUSH1 0x01
000000f6: PUSH1 0xa0
000000f8: PUSH1 0x02
000000fa: EXP
000000fb: SUB
000000fc: CALLER
000000fd: AND
000000fe: PUSH1 0x00
00000100: SWAP1
00000101: DUP2
00000102: MSTORE
00000103: PUSH1 0x03
00000105: PUSH1 0x20
00000107: MSTORE
00000108: PUSH1 0x40
0000010a: SWAP1
0000010b: KECCAK256
0000010c: DUP1
0000010d: SLOAD
0000010e: PUSH1 0x01
00000110: DUP2
00000111: ADD
00000112: DUP1
00000113: DUP4
00000114: SSTORE
00000115: DUP3
00000116: DUP2
00000117: DUP4
00000118: DUP1
00000119: ISZERO
0000011a: DUP3
0000011b: SWAP1
0000011c: GT
0000011d: PUSH2 0x02fa
00000120: JUMPI
00000121: DUP2
00000122: DUP4
00000123: PUSH1 0x00
00000125: MSTORE
00000126: PUSH1 0x20
00000128: PUSH1 0x00
0000012a: KECCAK256
0000012b: SWAP2
0000012c: DUP3
0000012d: ADD
0000012e: SWAP2
0000012f: ADD
00000130: PUSH2 0x02fa
00000133: SWAP2
00000134: SWAP1
00000135: PUSH2 0x02e6
00000138: JUMP
00000139: JUMPDEST
0000013a: PUSH2 0x0153
0000013d: PUSH2 0x0186
00000140: PUSH1 0x00
00000142: PUSH2 0x0095
00000145: JUMP
00000146: JUMPDEST
00000147: PUSH2 0x0153
0000014a: PUSH2 0x0186
0000014d: PUSH1 0x01
0000014f: PUSH2 0x0095
00000152: JUMP
00000153: JUMPDEST
00000154: STOP
00000155: JUMPDEST
00000156: PUSH8 0x0de0b6b3a7640000
0000015f: CALLVALUE
00000160: LT
00000161: ISZERO
00000162: PUSH2 0x0186
00000165: JUMPI
00000166: PUSH1 0x40
00000168: MLOAD
00000169: PUSH1 0x01
0000016b: PUSH1 0xa0
0000016d: PUSH1 0x02
0000016f: EXP
00000170: SUB
00000171: CALLER
00000172: AND
00000173: SWAP1
00000174: PUSH1 0x00
00000176: SWAP1
00000177: CALLVALUE
00000178: SWAP1
00000179: DUP3
0000017a: DUP2
0000017b: DUP2
0000017c: DUP2
0000017d: DUP6
0000017e: DUP9
0000017f: DUP4
00000180: CALL
00000181: POP
00000182: POP
00000183: POP
00000184: POP
00000185: POP
00000186: JUMPDEST
00000187: JUMP
00000188: JUMPDEST
00000189: POP
0000018a: POP
0000018b: POP
0000018c: PUSH1 0x00
0000018e: SWAP3
0000018f: DUP4
00000190: MSTORE
00000191: POP
00000192: PUSH1 0x20
00000194: DUP3
00000195: KECCAK256
00000196: ADD
00000197: DUP1
00000198: SLOAD
00000199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001ae: NOT
000001af: AND
000001b0: CALLER
000001b1: OR
000001b2: SWAP1
000001b3: SSTORE
000001b4: DUP1
000001b5: SLOAD
000001b6: PUSH1 0xff
000001b8: DUP2
000001b9: AND
000001ba: ISZERO
000001bb: PUSH1 0xff
000001bd: NOT
000001be: SWAP2
000001bf: SWAP1
000001c0: SWAP2
000001c1: AND
000001c2: OR
000001c3: SWAP1
000001c4: SSTORE
000001c5: JUMPDEST
000001c6: PUSH1 0x00
000001c8: SLOAD
000001c9: PUSH1 0xff
000001cb: AND
000001cc: ISZERO
000001cd: PUSH2 0x0357
000001d0: JUMPI
000001d1: PUSH2 0x0357
000001d4: PUSH1 0x00
000001d6: PUSH1 0x00
000001d8: PUSH1 0x03
000001da: PUSH1 0x00
000001dc: POP
000001dd: PUSH1 0x00
000001df: PUSH1 0x01
000001e1: PUSH1 0x00
000001e3: POP
000001e4: PUSH1 0x00
000001e6: DUP2
000001e7: SLOAD
000001e8: DUP2
000001e9: LT
000001ea: ISZERO
000001eb: PUSH2 0x0002
000001ee: JUMPI
000001ef: POP
000001f0: POP
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: MLOAD
000001f5: PUSH1 0x20
000001f7: PUSH2 0x0619
000001fa: DUP4
000001fb: CODECOPY
000001fc: DUP2
000001fd: MLOAD
000001fe: SWAP2
000001ff: MSTORE
00000200: SLOAD
00000201: PUSH1 0x01
00000203: PUSH1 0xa0
00000205: PUSH1 0x02
00000207: EXP
00000208: SUB
00000209: AND
0000020a: DUP2
0000020b: MSTORE
0000020c: PUSH1 0x20
0000020e: SWAP2
0000020f: SWAP1
00000210: SWAP2
00000211: MSTORE
00000212: POP
00000213: PUSH1 0x40
00000215: DUP2
00000216: KECCAK256
00000217: DUP1
00000218: SLOAD
00000219: DUP3
0000021a: SWAP1
0000021b: DUP2
0000021c: LT
0000021d: ISZERO
0000021e: PUSH2 0x0002
00000221: JUMPI
00000222: SWAP1
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x20
00000227: DUP2
00000228: KECCAK256
00000229: SWAP1
0000022a: POP
0000022b: SLOAD
0000022c: PUSH1 0x01
0000022e: DUP1
0000022f: SLOAD
00000230: SWAP2
00000231: SWAP4
00000232: POP
00000233: PUSH1 0x03
00000235: SWAP2
00000236: PUSH1 0x00
00000238: SWAP2
00000239: SWAP1
0000023a: DUP2
0000023b: SWAP1
0000023c: DUP2
0000023d: LT
0000023e: ISZERO
0000023f: PUSH2 0x0002
00000242: JUMPI
00000243: POP
00000244: POP
00000245: PUSH1 0x00
00000247: DUP1
00000248: MLOAD
00000249: PUSH1 0x20
0000024b: PUSH2 0x0639
0000024e: DUP4
0000024f: CODECOPY
00000250: DUP2
00000251: MLOAD
00000252: SWAP2
00000253: MSTORE
00000254: SLOAD
00000255: PUSH1 0x01
00000257: PUSH1 0xa0
00000259: PUSH1 0x02
0000025b: EXP
0000025c: SUB
0000025d: AND
0000025e: DUP2
0000025f: MSTORE
00000260: PUSH1 0x40
00000262: DUP2
00000263: KECCAK256
00000264: DUP1
00000265: SLOAD
00000266: SWAP1
00000267: SWAP3
00000268: POP
00000269: DUP2
0000026a: LT
0000026b: ISZERO
0000026c: PUSH2 0x0002
0000026f: JUMPI
00000270: SWAP1
00000271: DUP2
00000272: MSTORE
00000273: PUSH1 0x20
00000275: DUP2
00000276: KECCAK256
00000277: SWAP1
00000278: POP
00000279: SLOAD
0000027a: PUSH1 0x01
0000027c: DUP1
0000027d: SLOAD
0000027e: SWAP2
0000027f: SWAP3
00000280: POP
00000281: PUSH1 0x03
00000283: SWAP2
00000284: PUSH1 0x00
00000286: SWAP2
00000287: SWAP1
00000288: DUP3
00000289: SWAP1
0000028a: DUP2
0000028b: LT
0000028c: ISZERO
0000028d: PUSH2 0x0002
00000290: JUMPI
00000291: MSTORE
00000292: PUSH1 0x00
00000294: DUP1
00000295: MLOAD
00000296: PUSH1 0x20
00000298: PUSH2 0x0619
0000029b: DUP4
0000029c: CODECOPY
0000029d: DUP2
0000029e: MLOAD
0000029f: SWAP2
000002a0: MSTORE
000002a1: DUP2
000002a2: SWAP1
000002a3: SLOAD
000002a4: SWAP1
000002a5: PUSH2 0x0100
000002a8: EXP
000002a9: SWAP1
000002aa: DIV
000002ab: PUSH1 0x01
000002ad: PUSH1 0xa0
000002af: PUSH1 0x02
000002b1: EXP
000002b2: SUB
000002b3: AND
000002b4: PUSH1 0x01
000002b6: PUSH1 0xa0
000002b8: PUSH1 0x02
000002ba: EXP
000002bb: SUB
000002bc: AND
000002bd: DUP2
000002be: MSTORE
000002bf: PUSH1 0x20
000002c1: ADD
000002c2: SWAP1
000002c3: DUP2
000002c4: MSTORE
000002c5: PUSH1 0x20
000002c7: ADD
000002c8: PUSH1 0x00
000002ca: KECCAK256
000002cb: PUSH1 0x00
000002cd: POP
000002ce: DUP1
000002cf: SLOAD
000002d0: PUSH1 0x00
000002d2: DUP3
000002d3: SSTORE
000002d4: SWAP1
000002d5: PUSH1 0x00
000002d7: MSTORE
000002d8: PUSH1 0x20
000002da: PUSH1 0x00
000002dc: KECCAK256
000002dd: SWAP1
000002de: DUP2
000002df: ADD
000002e0: SWAP1
000002e1: PUSH2 0x0364
000002e4: SWAP2
000002e5: SWAP1
000002e6: JUMPDEST
000002e7: DUP1
000002e8: DUP3
000002e9: GT
000002ea: ISZERO
000002eb: PUSH2 0x0353
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP2
000002f2: SSTORE
000002f3: PUSH1 0x01
000002f5: ADD
000002f6: PUSH2 0x02e6
000002f9: JUMP
000002fa: JUMPDEST
000002fb: POP
000002fc: POP
000002fd: POP
000002fe: PUSH1 0x00
00000300: SWAP3
00000301: DUP4
00000302: MSTORE
00000303: POP
00000304: PUSH1 0x20
00000306: SWAP2
00000307: DUP3
00000308: SWAP1
00000309: KECCAK256
0000030a: PUSH1 0x40
0000030c: DUP1
0000030d: MLOAD
0000030e: SWAP4
0000030f: DUP5
00000310: ADD
00000311: SWAP1
00000312: MSTORE
00000313: SWAP2
00000314: DUP4
00000315: SWAP1
00000316: MSTORE
00000317: ADD
00000318: DUP2
00000319: SWAP1
0000031a: SSTORE
0000031b: PUSH1 0x01
0000031d: DUP1
0000031e: SLOAD
0000031f: DUP1
00000320: DUP3
00000321: ADD
00000322: DUP1
00000323: DUP4
00000324: SSTORE
00000325: DUP3
00000326: DUP2
00000327: DUP4
00000328: DUP1
00000329: ISZERO
0000032a: DUP3
0000032b: SWAP1
0000032c: GT
0000032d: PUSH2 0x0188
00000330: JUMPI
00000331: PUSH1 0x00
00000333: DUP4
00000334: SWAP1
00000335: MSTORE
00000336: PUSH2 0x0188
00000339: SWAP1
0000033a: PUSH1 0x00
0000033c: DUP1
0000033d: MLOAD
0000033e: PUSH1 0x20
00000340: PUSH2 0x0619
00000343: DUP4
00000344: CODECOPY
00000345: DUP2
00000346: MLOAD
00000347: SWAP2
00000348: MSTORE
00000349: SWAP1
0000034a: DUP2
0000034b: ADD
0000034c: SWAP1
0000034d: DUP4
0000034e: ADD
0000034f: PUSH2 0x02e6
00000352: JUMP
00000353: JUMPDEST
00000354: POP
00000355: SWAP1
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH1 0x02
0000035a: DUP1
0000035b: SLOAD
0000035c: PUSH1 0xff
0000035e: NOT
0000035f: AND
00000360: SWAP1
00000361: SSTORE
00000362: POP
00000363: JUMP
00000364: JUMPDEST
00000365: POP
00000366: PUSH1 0x01
00000368: DUP1
00000369: SLOAD
0000036a: PUSH1 0x03
0000036c: SWAP2
0000036d: PUSH1 0x00
0000036f: SWAP2
00000370: DUP2
00000371: SWAP1
00000372: DUP2
00000373: LT
00000374: ISZERO
00000375: PUSH2 0x0002
00000378: JUMPI
00000379: POP
0000037a: POP
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: MLOAD
0000037f: PUSH1 0x20
00000381: PUSH2 0x0639
00000384: DUP4
00000385: CODECOPY
00000386: DUP2
00000387: MLOAD
00000388: SWAP2
00000389: MSTORE
0000038a: SLOAD
0000038b: PUSH1 0x01
0000038d: PUSH1 0xa0
0000038f: PUSH1 0x02
00000391: EXP
00000392: SUB
00000393: AND
00000394: DUP2
00000395: MSTORE
00000396: PUSH1 0x20
00000398: SWAP2
00000399: DUP3
0000039a: MSTORE
0000039b: PUSH1 0x40
0000039d: DUP2
0000039e: KECCAK256
0000039f: DUP1
000003a0: SLOAD
000003a1: DUP3
000003a2: DUP3
000003a3: SSTORE
000003a4: SWAP1
000003a5: DUP3
000003a6: MSTORE
000003a7: SWAP2
000003a8: SWAP1
000003a9: KECCAK256
000003aa: PUSH2 0x03b5
000003ad: SWAP2
000003ae: DUP2
000003af: ADD
000003b0: SWAP1
000003b1: PUSH2 0x02e6
000003b4: JUMP
000003b5: JUMPDEST
000003b6: POP
000003b7: DUP1
000003b8: DUP3
000003b9: EQ
000003ba: ISZERO
000003bb: PUSH2 0x0491
000003be: JUMPI
000003bf: PUSH1 0x01
000003c1: DUP1
000003c2: SLOAD
000003c3: PUSH1 0x00
000003c5: SWAP1
000003c6: DUP2
000003c7: LT
000003c8: ISZERO
000003c9: PUSH2 0x0002
000003cc: JUMPI
000003cd: SWAP1
000003ce: DUP2
000003cf: MSTORE
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: MLOAD
000003d7: PUSH1 0x20
000003d9: PUSH2 0x0619
000003dc: DUP4
000003dd: CODECOPY
000003de: DUP2
000003df: MLOAD
000003e0: SWAP2
000003e1: MSTORE
000003e2: SLOAD
000003e3: PUSH1 0x01
000003e5: PUSH1 0xa0
000003e7: PUSH1 0x02
000003e9: EXP
000003ea: SUB
000003eb: AND
000003ec: SWAP2
000003ed: SWAP1
000003ee: PUSH8 0x0de0b6b3a7640000
000003f7: SWAP1
000003f8: DUP3
000003f9: DUP2
000003fa: DUP2
000003fb: DUP2
000003fc: DUP6
000003fd: DUP9
000003fe: DUP4
000003ff: CALL
00000400: SWAP4
00000401: POP
00000402: POP
00000403: POP
00000404: POP
00000405: POP
00000406: PUSH1 0x01
00000408: PUSH1 0x00
0000040a: POP
0000040b: PUSH1 0x01
0000040d: DUP2
0000040e: SLOAD
0000040f: DUP2
00000410: LT
00000411: ISZERO
00000412: PUSH2 0x0002
00000415: JUMPI
00000416: POP
00000417: PUSH1 0x00
00000419: SWAP1
0000041a: DUP2
0000041b: MSTORE
0000041c: PUSH1 0x40
0000041e: MLOAD
0000041f: PUSH1 0x00
00000421: DUP1
00000422: MLOAD
00000423: PUSH1 0x20
00000425: PUSH2 0x0639
00000428: DUP4
00000429: CODECOPY
0000042a: DUP2
0000042b: MLOAD
0000042c: SWAP2
0000042d: MSTORE
0000042e: SLOAD
0000042f: PUSH1 0x01
00000431: PUSH1 0xa0
00000433: PUSH1 0x02
00000435: EXP
00000436: SUB
00000437: AND
00000438: SWAP2
00000439: SWAP1
0000043a: PUSH8 0x0de0b6b3a7640000
00000443: SWAP1
00000444: DUP3
00000445: DUP2
00000446: DUP2
00000447: DUP2
00000448: DUP6
00000449: DUP9
0000044a: DUP4
0000044b: CALL
0000044c: POP
0000044d: POP
0000044e: PUSH1 0x01
00000450: DUP1
00000451: SLOAD
00000452: DUP4
00000453: DUP3
00000454: SSTORE
00000455: SWAP3
00000456: MSTORE
00000457: POP
00000458: PUSH2 0x048f
0000045b: SWAP2
0000045c: POP
0000045d: PUSH1 0x00
0000045f: DUP1
00000460: MLOAD
00000461: PUSH1 0x20
00000463: PUSH2 0x0619
00000466: DUP4
00000467: CODECOPY
00000468: DUP2
00000469: MLOAD
0000046a: SWAP2
0000046b: MSTORE
0000046c: SWAP1
0000046d: DUP2
0000046e: ADD
0000046f: SWAP1
00000470: DUP1
00000471: DUP3
00000472: GT
00000473: ISZERO
00000474: PUSH2 0x0353
00000477: JUMPI
00000478: PUSH1 0x00
0000047a: SWAP1
0000047b: SSTORE
0000047c: PUSH1 0x00
0000047e: DUP1
0000047f: MLOAD
00000480: PUSH1 0x20
00000482: PUSH2 0x0639
00000485: DUP4
00000486: CODECOPY
00000487: DUP2
00000488: MLOAD
00000489: SWAP2
0000048a: MSTORE
0000048b: PUSH2 0x02e6
0000048e: JUMP
0000048f: JUMPDEST
00000490: POP
00000491: JUMPDEST
00000492: DUP2
00000493: DUP2
00000494: SUB
00000495: PUSH1 0x01
00000497: EQ
00000498: ISZERO
00000499: PUSH2 0x0544
0000049c: JUMPI
0000049d: PUSH2 0x0544
000004a0: PUSH1 0x01
000004a2: PUSH1 0x00
000004a4: POP
000004a5: PUSH1 0x00
000004a7: DUP2
000004a8: SLOAD
000004a9: DUP2
000004aa: LT
000004ab: ISZERO
000004ac: PUSH2 0x0002
000004af: JUMPI
000004b0: MSTORE
000004b1: PUSH1 0x00
000004b3: DUP1
000004b4: MLOAD
000004b5: PUSH1 0x20
000004b7: PUSH2 0x0619
000004ba: DUP4
000004bb: CODECOPY
000004bc: DUP2
000004bd: MLOAD
000004be: SWAP2
000004bf: MSTORE
000004c0: SLOAD
000004c1: PUSH1 0x01
000004c3: PUSH1 0xa0
000004c5: PUSH1 0x02
000004c7: EXP
000004c8: SUB
000004c9: AND
000004ca: JUMPDEST
000004cb: PUSH1 0x40
000004cd: MLOAD
000004ce: PUSH1 0x01
000004d0: PUSH1 0xa0
000004d2: PUSH1 0x02
000004d4: EXP
000004d5: SUB
000004d6: DUP3
000004d7: AND
000004d8: SWAP1
000004d9: PUSH1 0x00
000004db: SWAP1
000004dc: PUSH8 0x1b7a5f826f460000
000004e5: SWAP1
000004e6: DUP3
000004e7: DUP2
000004e8: DUP2
000004e9: DUP2
000004ea: DUP6
000004eb: DUP9
000004ec: DUP4
000004ed: CALL
000004ee: POP
000004ef: POP
000004f0: PUSH1 0x40
000004f2: MLOAD
000004f3: PUSH20 0x2179987247aba70dc8a5bb0feafd4ef4b8f83797
00000508: SWAP4
00000509: POP
0000050a: PUSH7 0x470de4df820000
00000512: SWAP2
00000513: POP
00000514: DUP3
00000515: DUP2
00000516: DUP2
00000517: DUP2
00000518: DUP6
00000519: DUP9
0000051a: DUP4
0000051b: CALL
0000051c: POP
0000051d: POP
0000051e: PUSH1 0x01
00000520: DUP1
00000521: SLOAD
00000522: DUP4
00000523: DUP3
00000524: SSTORE
00000525: SWAP3
00000526: MSTORE
00000527: POP
00000528: PUSH2 0x0615
0000052b: SWAP2
0000052c: POP
0000052d: PUSH1 0x00
0000052f: DUP1
00000530: MLOAD
00000531: PUSH1 0x20
00000533: PUSH2 0x0619
00000536: DUP4
00000537: CODECOPY
00000538: DUP2
00000539: MLOAD
0000053a: SWAP2
0000053b: MSTORE
0000053c: SWAP1
0000053d: DUP2
0000053e: ADD
0000053f: SWAP1
00000540: PUSH2 0x02e6
00000543: JUMP
00000544: JUMPDEST
00000545: DUP1
00000546: DUP3
00000547: SUB
00000548: PUSH1 0x01
0000054a: EQ
0000054b: ISZERO
0000054c: PUSH2 0x0584
0000054f: JUMPI
00000550: PUSH2 0x0584
00000553: PUSH1 0x01
00000555: PUSH1 0x00
00000557: POP
00000558: PUSH1 0x01
0000055a: DUP2
0000055b: SLOAD
0000055c: DUP2
0000055d: LT
0000055e: ISZERO
0000055f: PUSH2 0x0002
00000562: JUMPI
00000563: POP
00000564: PUSH1 0x00
00000566: MSTORE
00000567: PUSH1 0x00
00000569: DUP1
0000056a: MLOAD
0000056b: PUSH1 0x20
0000056d: PUSH2 0x0639
00000570: DUP4
00000571: CODECOPY
00000572: DUP2
00000573: MLOAD
00000574: SWAP2
00000575: MSTORE
00000576: SLOAD
00000577: PUSH1 0x01
00000579: PUSH1 0xa0
0000057b: PUSH1 0x02
0000057d: EXP
0000057e: SUB
0000057f: AND
00000580: PUSH2 0x04ca
00000583: JUMP
00000584: JUMPDEST
00000585: DUP2
00000586: PUSH1 0x00
00000588: EQ
00000589: DUP1
0000058a: ISZERO
0000058b: PUSH2 0x0594
0000058e: JUMPI
0000058f: POP
00000590: DUP1
00000591: PUSH1 0x02
00000593: EQ
00000594: JUMPDEST
00000595: ISZERO
00000596: PUSH2 0x05ce
00000599: JUMPI
0000059a: PUSH2 0x05ce
0000059d: PUSH1 0x01
0000059f: PUSH1 0x00
000005a1: POP
000005a2: PUSH1 0x01
000005a4: DUP2
000005a5: SLOAD
000005a6: DUP2
000005a7: LT
000005a8: ISZERO
000005a9: PUSH2 0x0002
000005ac: JUMPI
000005ad: POP
000005ae: PUSH1 0x00
000005b0: MSTORE
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: MLOAD
000005b5: PUSH1 0x20
000005b7: PUSH2 0x0639
000005ba: DUP4
000005bb: CODECOPY
000005bc: DUP2
000005bd: MLOAD
000005be: SWAP2
000005bf: MSTORE
000005c0: SLOAD
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: PUSH1 0x02
000005c7: EXP
000005c8: SUB
000005c9: AND
000005ca: PUSH2 0x04ca
000005cd: JUMP
000005ce: JUMPDEST
000005cf: DUP1
000005d0: PUSH1 0x00
000005d2: EQ
000005d3: DUP1
000005d4: ISZERO
000005d5: PUSH2 0x05de
000005d8: JUMPI
000005d9: POP
000005da: DUP2
000005db: PUSH1 0x02
000005dd: EQ
000005de: JUMPDEST
000005df: ISZERO
000005e0: PUSH2 0x0615
000005e3: JUMPI
000005e4: PUSH2 0x0615
000005e7: PUSH1 0x01
000005e9: PUSH1 0x00
000005eb: POP
000005ec: PUSH1 0x00
000005ee: DUP2
000005ef: SLOAD
000005f0: DUP2
000005f1: LT
000005f2: ISZERO
000005f3: PUSH2 0x0002
000005f6: JUMPI
000005f7: MSTORE
000005f8: PUSH1 0x00
000005fa: DUP1
000005fb: MLOAD
000005fc: PUSH1 0x20
000005fe: PUSH2 0x0619
00000601: DUP4
00000602: CODECOPY
00000603: DUP2
00000604: MLOAD
00000605: SWAP2
00000606: MSTORE
00000607: SLOAD
00000608: PUSH1 0x01
0000060a: PUSH1 0xa0
0000060c: PUSH1 0x02
0000060e: EXP
0000060f: SUB
00000610: AND
00000611: PUSH2 0x04ca
00000614: JUMP
00000615: JUMPDEST
00000616: POP
00000617: POP
00000618: JUMP
00000619: UNKNOWN(0xB1)
0000061a: UNKNOWN(0x0E)
0000061b: UNKNOWN(0x2D)
0000061c: MSTORE
0000061d: PUSH23 0x12073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2
00000635: UNKNOWN(0xB7)
00000636: STATICCALL
00000637: UNKNOWN(0x0C)
00000638: UNKNOWN(0xF6)
00000639: UNKNOWN(0xB1)
0000063a: UNKNOWN(0x0E)
0000063b: UNKNOWN(0x2D)
0000063c: MSTORE
0000063d: PUSH23 0x12073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2
00000655: UNKNOWN(0xB7)
00000656: STATICCALL
00000657: UNKNOWN(0x0C)
00000658: UNKNOWN(0xF7)

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.