fc395dd0-f875-4d4a-8037-d602f016ff8e
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 30265 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 73774 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 73775 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 73776 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 73777 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 73778 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 73779 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:1085393] OpenAI Codex v0.77.0 (research preview)
[codex:1085393] --------
[codex:1085393] workdir: /tmp/codex-multi-6g6rx_hb
[codex:1085393] model: gpt-5.2-codex
[codex:1085393] provider: openai
[codex:1085393] approval: never
[codex:1085393] sandbox: read-only
[codex:1085393] reasoning effort: xhigh
[codex:1085393] reasoning summaries: auto
[codex:1085393] session id: 019b62b1-f20b-7920-8235-ff406850af11
[codex:1085393] --------
[codex:1085393] user
[codex:1085393] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1085393] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1085393] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1085393]
[codex:1085393] Scope rules:
[codex:1085393] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1085393] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1085393]
[codex:1085393] Output MUST be valid JSON matching the provided schema.
[codex:1085393] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1085393] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1085393]
[codex:1085393] Output constraints (IMPORTANT):
[codex:1085393] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1085393] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1085393] mcp startup: no servers
[codex:1085393]
[codex:1085393] thinking
[codex:1085393] **Preparing to review skills and audit files**
[codex:1085393] exec
[codex:1085393] /bin/bash -lc ls in /tmp/codex-multi-6g6rx_hb succeeded in 5ms:
[codex:1085393] AUDIT_BUNDLE.txt
[codex:1085393] codex-output-schema.json
[codex:1085393] contracts
[codex:1085393]
[codex:1085393] thinking
[codex:1085393] **Reading AUDIT_BUNDLE.txt**
[codex:1085393] exec
[codex:1085393] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-6g6rx_hb succeeded in 5ms:
[codex:1085393] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1085393]
[codex:1085393] ================================================================================
[codex:1085393] FILE: contracts/@openzeppelin/contracts/access/Ownable.sol
[codex:1085393] ================================================================================
[codex:1085393] // SPDX-License-Identifier: MIT
[codex:1085393] // OpenZeppelin Contracts v4.4.1 (access/Ownable.sol)
[codex:1085393]
[codex:1085393] pragma solidity ^0.8.0;
[codex:1085393]
[codex:1085393] import "../utils/Context.sol";
[codex:1085393]
[codex:1085393] /**
[codex:1085393] * @dev Contract module which provides a basic access control mechanism, where
[codex:1085393] * there is an account (an owner) that can be granted exclusive access to
[codex:1085393] * specific functions.
[codex:1085393] *
[codex:1085393] * By default, the owner account will be the one that deploys the contract. This
[codex:1085393] * can later be changed with {transferOwnership}.
[codex:1085393] *
[codex:1085393]
[codex:1085393]
[codex:1085393]
[codex:1085393] thinking
[codex:1085393] **Analyzing IntermediaryOriginalToken security risks**
[codex:1085393] thinking
[codex:1085393] **Continuing detailed security assessment**
[codex:1085393]
[codex:1085393] This deep look confirms no clear exploitable flaws, but there is a notable risk if the canonical token charges transfer fees or behaves nonstandardly—this can cause token supply and collateral to fall out of sync, potentially breaking accounting invariants. I’m noting this as a medium-severity condition tied to token assumptions rather than direct contract bugs.
[codex:1085393] thinking
[codex:1085393] **Identifying access control and accounting nuances**
[codex:1085393]
[codex:1085393] I’m noting that while no direct exploit is evident, there is a meaningful access control consideration: any whitelisted bridge can spend all canonical tokens approved to this contract, which could lead to misuse if a bridge is compromised. Also, fee-on-transfer canonical tokens create accounting mismatches risking undercollateralization and liveness failures. These are design nuances rather than straightforward vulnerabilities but are important to flag for awareness.
[codex:1085393] exec
[codex:1085393] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-6g6rx_hb succeeded in 6ms:
[codex:1085393] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:1085393]
[codex:1085393] thinking
[codex:1085393] **Preparing JSON output with summary and findings**
[codex:1085393] codex
[codex:1085393] {"no_findings":true,"summary":"No exploitable issues found in first-party contracts. Residual risks remain if the canonical token is fee-on-transfer/rebasing or if bridge whitelisting is mismanaged; no tests were run.","findings":[]}
[codex:1085393] tokens used
[codex:1085393] 24,261
[codex:1085393] {"no_findings":true,"summary":"No exploitable issues found in first-party contracts. Residual risks remain if the canonical token is fee-on-transfer/rebasing or if bridge whitelisting is mismanaged; no tests were run.","findings":[]}
{
"codex": {
"ran_at": "2025-12-28T02:06:25.644937+00:00",
"returncode": 0
},
"summary": "No exploitable issues found in first-party contracts. Residual risks remain if the canonical token is fee-on-transfer/rebasing or if bridge whitelisting is mismanaged; no tests were run.",
"raw_final": {
"summary": "No exploitable issues found in first-party contracts. Residual risks remain if the canonical token is fee-on-transfer/rebasing or if bridge whitelisting is mismanaged; no tests were run.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x0136 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x77a1c531 00000026: GT 00000027: PUSH2 0x00b2 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xa457c2d7 00000031: GT 00000032: PUSH2 0x0081 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xced67f0c 0000003c: GT 0000003d: PUSH2 0x0066 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xced67f0c 00000047: EQ 00000048: PUSH2 0x029a 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xdd62ed3e 00000052: EQ 00000053: PUSH2 0x02bd 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xf2fde38b 0000005d: EQ 0000005e: PUSH2 0x02f6 00000061: JUMPI 00000062: PUSH1 0x00 00000064: DUP1 00000065: REVERT 00000066: JUMPDEST 00000067: DUP1 00000068: PUSH4 0xa457c2d7 0000006d: EQ 0000006e: PUSH2 0x0274 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xa9059cbb 00000078: EQ 00000079: PUSH2 0x0287 0000007c: JUMPI 0000007d: PUSH1 0x00 0000007f: DUP1 00000080: REVERT 00000081: JUMPDEST 00000082: DUP1 00000083: PUSH4 0x77a1c531 00000088: EQ 00000089: PUSH2 0x0240 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x893d20e8 00000093: EQ 00000094: PUSH2 0x0253 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x8da5cb5b 0000009e: EQ 0000009f: PUSH2 0x025b 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x95d89b41 000000a9: EQ 000000aa: PUSH2 0x026c 000000ad: JUMPI 000000ae: PUSH1 0x00 000000b0: DUP1 000000b1: REVERT 000000b2: JUMPDEST 000000b3: DUP1 000000b4: PUSH4 0x26afaadd 000000b9: GT 000000ba: PUSH2 0x0109 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x39509351 000000c4: GT 000000c5: PUSH2 0x00ee 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x39509351 000000cf: EQ 000000d0: PUSH2 0x01fa 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x70a08231 000000da: EQ 000000db: PUSH2 0x020d 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x715018a6 000000e5: EQ 000000e6: PUSH2 0x0236 000000e9: JUMPI 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: REVERT 000000ee: JUMPDEST 000000ef: DUP1 000000f0: PUSH4 0x26afaadd 000000f5: EQ 000000f6: PUSH2 0x01a1 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x313ce567 00000100: EQ 00000101: PUSH2 0x01e0 00000104: JUMPI 00000105: PUSH1 0x00 00000107: DUP1 00000108: REVERT 00000109: JUMPDEST 0000010a: DUP1 0000010b: PUSH4 0x06fdde03 00000110: EQ 00000111: PUSH2 0x013b 00000114: JUMPI 00000115: DUP1 00000116: PUSH4 0x095ea7b3 0000011b: EQ 0000011c: PUSH2 0x0159 0000011f: JUMPI 00000120: DUP1 00000121: PUSH4 0x18160ddd 00000126: EQ 00000127: PUSH2 0x017c 0000012a: JUMPI 0000012b: DUP1 0000012c: PUSH4 0x23b872dd 00000131: EQ 00000132: PUSH2 0x018e 00000135: JUMPI 00000136: JUMPDEST 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: PUSH2 0x0143 0000013f: PUSH2 0x0309 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH1 0x40 00000146: MLOAD 00000147: PUSH2 0x0150 0000014a: SWAP2 0000014b: SWAP1 0000014c: PUSH2 0x0fd6 0000014f: JUMP 00000150: JUMPDEST 00000151: PUSH1 0x40 00000153: MLOAD 00000154: DUP1 00000155: SWAP2 00000156: SUB 00000157: SWAP1 00000158: RETURN 00000159: JUMPDEST 0000015a: PUSH2 0x016c 0000015d: PUSH2 0x0167 00000160: CALLDATASIZE 00000161: PUSH1 0x04 00000163: PUSH2 0x1025 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH2 0x039b 0000016b: JUMP 0000016c: JUMPDEST 0000016d: PUSH1 0x40 0000016f: MLOAD 00000170: SWAP1 00000171: ISZERO 00000172: ISZERO 00000173: DUP2 00000174: MSTORE 00000175: PUSH1 0x20 00000177: ADD 00000178: PUSH2 0x0150 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH1 0x02 0000017f: SLOAD 00000180: JUMPDEST 00000181: PUSH1 0x40 00000183: MLOAD 00000184: SWAP1 00000185: DUP2 00000186: MSTORE 00000187: PUSH1 0x20 00000189: ADD 0000018a: PUSH2 0x0150 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH2 0x016c 00000192: PUSH2 0x019c 00000195: CALLDATASIZE 00000196: PUSH1 0x04 00000198: PUSH2 0x104f 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH2 0x03b5 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x01c8 000001a5: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000001c6: DUP2 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: PUSH1 0x01 000001ce: PUSH1 0x01 000001d0: PUSH1 0xa0 000001d2: SHL 000001d3: SUB 000001d4: SWAP1 000001d5: SWAP2 000001d6: AND 000001d7: DUP2 000001d8: MSTORE 000001d9: PUSH1 0x20 000001db: ADD 000001dc: PUSH2 0x0150 000001df: JUMP 000001e0: JUMPDEST 000001e1: PUSH2 0x01e8 000001e4: PUSH2 0x0463 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH1 0x40 000001eb: MLOAD 000001ec: PUSH1 0xff 000001ee: SWAP1 000001ef: SWAP2 000001f0: AND 000001f1: DUP2 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: PUSH2 0x0150 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH2 0x016c 000001fe: PUSH2 0x0208 00000201: CALLDATASIZE 00000202: PUSH1 0x04 00000204: PUSH2 0x1025 00000207: JUMP 00000208: JUMPDEST 00000209: PUSH2 0x04ec 0000020c: JUMP 0000020d: JUMPDEST 0000020e: PUSH2 0x0180 00000211: PUSH2 0x021b 00000214: CALLDATASIZE 00000215: PUSH1 0x04 00000217: PUSH2 0x108b 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH1 0x01 0000021e: PUSH1 0x01 00000220: PUSH1 0xa0 00000222: SHL 00000223: SUB 00000224: AND 00000225: PUSH1 0x00 00000227: SWAP1 00000228: DUP2 00000229: MSTORE 0000022a: PUSH1 0x20 0000022c: DUP2 0000022d: SWAP1 0000022e: MSTORE 0000022f: PUSH1 0x40 00000231: SWAP1 00000232: KECCAK256 00000233: SLOAD 00000234: SWAP1 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH2 0x023e 0000023a: PUSH2 0x052b 0000023d: JUMP 0000023e: JUMPDEST 0000023f: STOP 00000240: JUMPDEST 00000241: PUSH2 0x023e 00000244: PUSH2 0x024e 00000247: CALLDATASIZE 00000248: PUSH1 0x04 0000024a: PUSH2 0x10b4 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH2 0x0591 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH2 0x01c8 00000257: PUSH2 0x064e 0000025a: JUMP 0000025b: JUMPDEST 0000025c: PUSH1 0x05 0000025e: SLOAD 0000025f: PUSH1 0x01 00000261: PUSH1 0x01 00000263: PUSH1 0xa0 00000265: SHL 00000266: SUB 00000267: AND 00000268: PUSH2 0x01c8 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH2 0x0143 00000270: PUSH2 0x0662 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH2 0x016c 00000278: PUSH2 0x0282 0000027b: CALLDATASIZE 0000027c: PUSH1 0x04 0000027e: PUSH2 0x1025 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH2 0x0671 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH2 0x016c 0000028b: PUSH2 0x0295 0000028e: CALLDATASIZE 0000028f: PUSH1 0x04 00000291: PUSH2 0x1025 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH2 0x0726 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH2 0x016c 0000029e: PUSH2 0x02a8 000002a1: CALLDATASIZE 000002a2: PUSH1 0x04 000002a4: PUSH2 0x108b 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH1 0x06 000002ab: PUSH1 0x20 000002ad: MSTORE 000002ae: PUSH1 0x00 000002b0: SWAP1 000002b1: DUP2 000002b2: MSTORE 000002b3: PUSH1 0x40 000002b5: SWAP1 000002b6: KECCAK256 000002b7: SLOAD 000002b8: PUSH1 0xff 000002ba: AND 000002bb: DUP2 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH2 0x0180 000002c1: PUSH2 0x02cb 000002c4: CALLDATASIZE 000002c5: PUSH1 0x04 000002c7: PUSH2 0x10eb 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH1 0x01 000002ce: PUSH1 0x01 000002d0: PUSH1 0xa0 000002d2: SHL 000002d3: SUB 000002d4: SWAP2 000002d5: DUP3 000002d6: AND 000002d7: PUSH1 0x00 000002d9: SWAP1 000002da: DUP2 000002db: MSTORE 000002dc: PUSH1 0x01 000002de: PUSH1 0x20 000002e0: SWAP1 000002e1: DUP2 000002e2: MSTORE 000002e3: PUSH1 0x40 000002e5: DUP1 000002e6: DUP4 000002e7: KECCAK256 000002e8: SWAP4 000002e9: SWAP1 000002ea: SWAP5 000002eb: AND 000002ec: DUP3 000002ed: MSTORE 000002ee: SWAP2 000002ef: SWAP1 000002f0: SWAP2 000002f1: MSTORE 000002f2: KECCAK256 000002f3: SLOAD 000002f4: SWAP1 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH2 0x023e 000002fa: PUSH2 0x0304 000002fd: CALLDATASIZE 000002fe: PUSH1 0x04 00000300: PUSH2 0x108b 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH2 0x07cc 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x60 0000030c: PUSH1 0x03 0000030e: DUP1 0000030f: SLOAD 00000310: PUSH2 0x0318 00000313: SWAP1 00000314: PUSH2 0x111e 00000317: JUMP 00000318: JUMPDEST 00000319: DUP1 0000031a: PUSH1 0x1f 0000031c: ADD 0000031d: PUSH1 0x20 0000031f: DUP1 00000320: SWAP2 00000321: DIV 00000322: MUL 00000323: PUSH1 0x20 00000325: ADD 00000326: PUSH1 0x40 00000328: MLOAD 00000329: SWAP1 0000032a: DUP2 0000032b: ADD 0000032c: PUSH1 0x40 0000032e: MSTORE 0000032f: DUP1 00000330: SWAP3 00000331: SWAP2 00000332: SWAP1 00000333: DUP2 00000334: DUP2 00000335: MSTORE 00000336: PUSH1 0x20 00000338: ADD 00000339: DUP3 0000033a: DUP1 0000033b: SLOAD 0000033c: PUSH2 0x0344 0000033f: SWAP1 00000340: PUSH2 0x111e 00000343: JUMP 00000344: JUMPDEST 00000345: DUP1 00000346: ISZERO 00000347: PUSH2 0x0391 0000034a: JUMPI 0000034b: DUP1 0000034c: PUSH1 0x1f 0000034e: LT 0000034f: PUSH2 0x0366 00000352: JUMPI 00000353: PUSH2 0x0100 00000356: DUP1 00000357: DUP4 00000358: SLOAD 00000359: DIV 0000035a: MUL 0000035b: DUP4 0000035c: MSTORE 0000035d: SWAP2 0000035e: PUSH1 0x20 00000360: ADD 00000361: SWAP2 00000362: PUSH2 0x0391 00000365: JUMP 00000366: JUMPDEST 00000367: DUP3 00000368: ADD 00000369: SWAP2 0000036a: SWAP1 0000036b: PUSH1 0x00 0000036d: MSTORE 0000036e: PUSH1 0x20 00000370: PUSH1 0x00 00000372: KECCAK256 00000373: SWAP1 00000374: JUMPDEST 00000375: DUP2 00000376: SLOAD 00000377: DUP2 00000378: MSTORE 00000379: SWAP1 0000037a: PUSH1 0x01 0000037c: ADD 0000037d: SWAP1 0000037e: PUSH1 0x20 00000380: ADD 00000381: DUP1 00000382: DUP4 00000383: GT 00000384: PUSH2 0x0374 00000387: JUMPI 00000388: DUP3 00000389: SWAP1 0000038a: SUB 0000038b: PUSH1 0x1f 0000038d: AND 0000038e: DUP3 0000038f: ADD 00000390: SWAP2 00000391: JUMPDEST 00000392: POP 00000393: POP 00000394: POP 00000395: POP 00000396: POP 00000397: SWAP1 00000398: POP 00000399: SWAP1 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH1 0x00 0000039e: CALLER 0000039f: PUSH2 0x03a9 000003a2: DUP2 000003a3: DUP6 000003a4: DUP6 000003a5: PUSH2 0x08ae 000003a8: JUMP 000003a9: JUMPDEST 000003aa: PUSH1 0x01 000003ac: SWAP2 000003ad: POP 000003ae: POP 000003af: JUMPDEST 000003b0: SWAP3 000003b1: SWAP2 000003b2: POP 000003b3: POP 000003b4: JUMP 000003b5: JUMPDEST 000003b6: CALLER 000003b7: PUSH1 0x00 000003b9: SWAP1 000003ba: DUP2 000003bb: MSTORE 000003bc: PUSH1 0x06 000003be: PUSH1 0x20 000003c0: MSTORE 000003c1: PUSH1 0x40 000003c3: DUP2 000003c4: KECCAK256 000003c5: SLOAD 000003c6: PUSH1 0xff 000003c8: AND 000003c9: PUSH2 0x0419 000003cc: JUMPI 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: PUSH3 0x461bcd 000003d4: PUSH1 0xe5 000003d6: SHL 000003d7: DUP2 000003d8: MSTORE 000003d9: PUSH1 0x20 000003db: PUSH1 0x04 000003dd: DUP3 000003de: ADD 000003df: MSTORE 000003e0: PUSH1 0x14 000003e2: PUSH1 0x24 000003e4: DUP3 000003e5: ADD 000003e6: MSTORE 000003e7: PUSH32 0x63616c6c6572206973206e6f7420627269646765000000000000000000000000 00000408: PUSH1 0x44 0000040a: DUP3 0000040b: ADD 0000040c: MSTORE 0000040d: PUSH1 0x64 0000040f: ADD 00000410: JUMPDEST 00000411: PUSH1 0x40 00000413: MLOAD 00000414: DUP1 00000415: SWAP2 00000416: SUB 00000417: SWAP1 00000418: REVERT 00000419: JUMPDEST 0000041a: PUSH2 0x0423 0000041d: DUP4 0000041e: DUP4 0000041f: PUSH2 0x09d3 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH2 0x0458 00000427: PUSH1 0x01 00000429: PUSH1 0x01 0000042b: PUSH1 0xa0 0000042d: SHL 0000042e: SUB 0000042f: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000450: AND 00000451: DUP6 00000452: ADDRESS 00000453: DUP6 00000454: PUSH2 0x0ab2 00000457: JUMP 00000458: JUMPDEST 00000459: POP 0000045a: PUSH1 0x01 0000045c: JUMPDEST 0000045d: SWAP4 0000045e: SWAP3 0000045f: POP 00000460: POP 00000461: POP 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH1 0x00 00000466: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: SHL 0000048e: SUB 0000048f: AND 00000490: PUSH4 0x313ce567 00000495: PUSH1 0x40 00000497: MLOAD 00000498: DUP2 00000499: PUSH4 0xffffffff 0000049e: AND 0000049f: PUSH1 0xe0 000004a1: SHL 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x04 000004a6: ADD 000004a7: PUSH1 0x20 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: DUP1 000004ad: DUP4 000004ae: SUB 000004af: DUP2 000004b0: DUP7 000004b1: GAS 000004b2: STATICCALL 000004b3: ISZERO 000004b4: DUP1 000004b5: ISZERO 000004b6: PUSH2 0x04c3 000004b9: JUMPI 000004ba: RETURNDATASIZE 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: RETURNDATACOPY 000004bf: RETURNDATASIZE 000004c0: PUSH1 0x00 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: POP 000004c6: POP 000004c7: POP 000004c8: PUSH1 0x40 000004ca: MLOAD 000004cb: RETURNDATASIZE 000004cc: PUSH1 0x1f 000004ce: NOT 000004cf: PUSH1 0x1f 000004d1: DUP3 000004d2: ADD 000004d3: AND 000004d4: DUP3 000004d5: ADD 000004d6: DUP1 000004d7: PUSH1 0x40 000004d9: MSTORE 000004da: POP 000004db: DUP2 000004dc: ADD 000004dd: SWAP1 000004de: PUSH2 0x04e7 000004e1: SWAP2 000004e2: SWAP1 000004e3: PUSH2 0x1158 000004e6: JUMP 000004e7: JUMPDEST 000004e8: SWAP1 000004e9: POP 000004ea: SWAP1 000004eb: JUMP 000004ec: JUMPDEST 000004ed: CALLER 000004ee: PUSH1 0x00 000004f0: DUP2 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x01 000004f5: PUSH1 0x20 000004f7: SWAP1 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x40 000004fc: DUP1 000004fd: DUP4 000004fe: KECCAK256 000004ff: PUSH1 0x01 00000501: PUSH1 0x01 00000503: PUSH1 0xa0 00000505: SHL 00000506: SUB 00000507: DUP8 00000508: AND 00000509: DUP5 0000050a: MSTORE 0000050b: SWAP1 0000050c: SWAP2 0000050d: MSTORE 0000050e: DUP2 0000050f: KECCAK256 00000510: SLOAD 00000511: SWAP1 00000512: SWAP2 00000513: SWAP1 00000514: PUSH2 0x03a9 00000517: SWAP1 00000518: DUP3 00000519: SWAP1 0000051a: DUP7 0000051b: SWAP1 0000051c: PUSH2 0x0526 0000051f: SWAP1 00000520: DUP8 00000521: SWAP1 00000522: PUSH2 0x1191 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH2 0x08ae 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH1 0x05 0000052e: SLOAD 0000052f: PUSH1 0x01 00000531: PUSH1 0x01 00000533: PUSH1 0xa0 00000535: SHL 00000536: SUB 00000537: AND 00000538: CALLER 00000539: EQ 0000053a: PUSH2 0x0585 0000053d: JUMPI 0000053e: PUSH1 0x40 00000540: MLOAD 00000541: PUSH3 0x461bcd 00000545: PUSH1 0xe5 00000547: SHL 00000548: DUP2 00000549: MSTORE 0000054a: PUSH1 0x20 0000054c: PUSH1 0x04 0000054e: DUP3 0000054f: ADD 00000550: DUP2 00000551: SWAP1 00000552: MSTORE 00000553: PUSH1 0x24 00000555: DUP3 00000556: ADD 00000557: MSTORE 00000558: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000579: PUSH1 0x44 0000057b: DUP3 0000057c: ADD 0000057d: MSTORE 0000057e: PUSH1 0x64 00000580: ADD 00000581: PUSH2 0x0410 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH2 0x058f 00000589: PUSH1 0x00 0000058b: PUSH2 0x0b50 0000058e: JUMP 0000058f: JUMPDEST 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH1 0x05 00000594: SLOAD 00000595: PUSH1 0x01 00000597: PUSH1 0x01 00000599: PUSH1 0xa0 0000059b: SHL 0000059c: SUB 0000059d: AND 0000059e: CALLER 0000059f: EQ 000005a0: PUSH2 0x05eb 000005a3: JUMPI 000005a4: PUSH1 0x40 000005a6: MLOAD 000005a7: PUSH3 0x461bcd 000005ab: PUSH1 0xe5 000005ad: SHL 000005ae: DUP2 000005af: MSTORE 000005b0: PUSH1 0x20 000005b2: PUSH1 0x04 000005b4: DUP3 000005b5: ADD 000005b6: DUP2 000005b7: SWAP1 000005b8: MSTORE 000005b9: PUSH1 0x24 000005bb: DUP3 000005bc: ADD 000005bd: MSTORE 000005be: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000005df: PUSH1 0x44 000005e1: DUP3 000005e2: ADD 000005e3: MSTORE 000005e4: PUSH1 0x64 000005e6: ADD 000005e7: PUSH2 0x0410 000005ea: JUMP 000005eb: JUMPDEST 000005ec: PUSH1 0x01 000005ee: PUSH1 0x01 000005f0: PUSH1 0xa0 000005f2: SHL 000005f3: SUB 000005f4: DUP3 000005f5: AND 000005f6: PUSH1 0x00 000005f8: DUP2 000005f9: DUP2 000005fa: MSTORE 000005fb: PUSH1 0x06 000005fd: PUSH1 0x20 000005ff: SWAP1 00000600: DUP2 00000601: MSTORE 00000602: PUSH1 0x40 00000604: SWAP2 00000605: DUP3 00000606: SWAP1 00000607: KECCAK256 00000608: DUP1 00000609: SLOAD 0000060a: PUSH1 0xff 0000060c: NOT 0000060d: AND 0000060e: DUP6 0000060f: ISZERO 00000610: ISZERO 00000611: SWAP1 00000612: DUP2 00000613: OR 00000614: SWAP1 00000615: SWAP2 00000616: SSTORE 00000617: DUP3 00000618: MLOAD 00000619: SWAP4 0000061a: DUP5 0000061b: MSTORE 0000061c: SWAP1 0000061d: DUP4 0000061e: ADD 0000061f: MSTORE 00000620: PUSH32 0xc055b4e789c2063cb72e97133fc94c4af61fd9b04767fa06b1946698aa66ca40 00000641: SWAP2 00000642: ADD 00000643: PUSH1 0x40 00000645: MLOAD 00000646: DUP1 00000647: SWAP2 00000648: SUB 00000649: SWAP1 0000064a: LOG1 0000064b: POP 0000064c: POP 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH1 0x00 00000651: PUSH2 0x04e7 00000654: PUSH1 0x05 00000656: SLOAD 00000657: PUSH1 0x01 00000659: PUSH1 0x01 0000065b: PUSH1 0xa0 0000065d: SHL 0000065e: SUB 0000065f: AND 00000660: SWAP1 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH1 0x60 00000665: PUSH1 0x04 00000667: DUP1 00000668: SLOAD 00000669: PUSH2 0x0318 0000066c: SWAP1 0000066d: PUSH2 0x111e 00000670: JUMP 00000671: JUMPDEST 00000672: CALLER 00000673: PUSH1 0x00 00000675: DUP2 00000676: DUP2 00000677: MSTORE 00000678: PUSH1 0x01 0000067a: PUSH1 0x20 0000067c: SWAP1 0000067d: DUP2 0000067e: MSTORE 0000067f: PUSH1 0x40 00000681: DUP1 00000682: DUP4 00000683: KECCAK256 00000684: PUSH1 0x01 00000686: PUSH1 0x01 00000688: PUSH1 0xa0 0000068a: SHL 0000068b: SUB 0000068c: DUP8 0000068d: AND 0000068e: DUP5 0000068f: MSTORE 00000690: SWAP1 00000691: SWAP2 00000692: MSTORE 00000693: DUP2 00000694: KECCAK256 00000695: SLOAD 00000696: SWAP1 00000697: SWAP2 00000698: SWAP1 00000699: DUP4 0000069a: DUP2 0000069b: LT 0000069c: ISZERO 0000069d: PUSH2 0x070e 000006a0: JUMPI 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: PUSH3 0x461bcd 000006a8: PUSH1 0xe5 000006aa: SHL 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x20 000006af: PUSH1 0x04 000006b1: DUP3 000006b2: ADD 000006b3: MSTORE 000006b4: PUSH1 0x25 000006b6: PUSH1 0x24 000006b8: DUP3 000006b9: ADD 000006ba: MSTORE 000006bb: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77 000006dc: PUSH1 0x44 000006de: DUP3 000006df: ADD 000006e0: MSTORE 000006e1: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000 00000702: PUSH1 0x64 00000704: DUP3 00000705: ADD 00000706: MSTORE 00000707: PUSH1 0x84 00000709: ADD 0000070a: PUSH2 0x0410 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH2 0x071b 00000712: DUP3 00000713: DUP7 00000714: DUP7 00000715: DUP5 00000716: SUB 00000717: PUSH2 0x08ae 0000071a: JUMP 0000071b: JUMPDEST 0000071c: POP 0000071d: PUSH1 0x01 0000071f: SWAP5 00000720: SWAP4 00000721: POP 00000722: POP 00000723: POP 00000724: POP 00000725: JUMP 00000726: JUMPDEST 00000727: CALLER 00000728: PUSH1 0x00 0000072a: SWAP1 0000072b: DUP2 0000072c: MSTORE 0000072d: PUSH1 0x06 0000072f: PUSH1 0x20 00000731: MSTORE 00000732: PUSH1 0x40 00000734: DUP2 00000735: KECCAK256 00000736: SLOAD 00000737: PUSH1 0xff 00000739: AND 0000073a: PUSH2 0x0785 0000073d: JUMPI 0000073e: PUSH1 0x40 00000740: MLOAD 00000741: PUSH3 0x461bcd 00000745: PUSH1 0xe5 00000747: SHL 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x20 0000074c: PUSH1 0x04 0000074e: DUP3 0000074f: ADD 00000750: MSTORE 00000751: PUSH1 0x14 00000753: PUSH1 0x24 00000755: DUP3 00000756: ADD 00000757: MSTORE 00000758: PUSH32 0x63616c6c6572206973206e6f7420627269646765000000000000000000000000 00000779: PUSH1 0x44 0000077b: DUP3 0000077c: ADD 0000077d: MSTORE 0000077e: PUSH1 0x64 00000780: ADD 00000781: PUSH2 0x0410 00000784: JUMP 00000785: JUMPDEST 00000786: PUSH2 0x078f 00000789: CALLER 0000078a: DUP4 0000078b: PUSH2 0x0bba 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH2 0x07c3 00000793: PUSH1 0x01 00000795: PUSH1 0x01 00000797: PUSH1 0xa0 00000799: SHL 0000079a: SUB 0000079b: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000007bc: AND 000007bd: DUP5 000007be: DUP5 000007bf: PUSH2 0x0d05 000007c2: JUMP 000007c3: JUMPDEST 000007c4: POP 000007c5: PUSH1 0x01 000007c7: SWAP3 000007c8: SWAP2 000007c9: POP 000007ca: POP 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH1 0x05 000007cf: SLOAD 000007d0: PUSH1 0x01 000007d2: PUSH1 0x01 000007d4: PUSH1 0xa0 000007d6: SHL 000007d7: SUB 000007d8: AND 000007d9: CALLER 000007da: EQ 000007db: PUSH2 0x0826 000007de: JUMPI 000007df: PUSH1 0x40 000007e1: MLOAD 000007e2: PUSH3 0x461bcd 000007e6: PUSH1 0xe5 000007e8: SHL 000007e9: DUP2 000007ea: MSTORE 000007eb: PUSH1 0x20 000007ed: PUSH1 0x04 000007ef: DUP3 000007f0: ADD 000007f1: DUP2 000007f2: SWAP1 000007f3: MSTORE 000007f4: PUSH1 0x24 000007f6: DUP3 000007f7: ADD 000007f8: MSTORE 000007f9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000081a: PUSH1 0x44 0000081c: DUP3 0000081d: ADD 0000081e: MSTORE 0000081f: PUSH1 0x64 00000821: ADD 00000822: PUSH2 0x0410 00000825: JUMP 00000826: JUMPDEST 00000827: PUSH1 0x01 00000829: PUSH1 0x01 0000082b: PUSH1 0xa0 0000082d: SHL 0000082e: SUB 0000082f: DUP2 00000830: AND 00000831: PUSH2 0x08a2 00000834: JUMPI 00000835: PUSH1 0x40 00000837: MLOAD 00000838: PUSH3 0x461bcd 0000083c: PUSH1 0xe5 0000083e: SHL 0000083f: DUP2 00000840: MSTORE 00000841: PUSH1 0x20 00000843: PUSH1 0x04 00000845: DUP3 00000846: ADD 00000847: MSTORE 00000848: PUSH1 0x26 0000084a: PUSH1 0x24 0000084c: DUP3 0000084d: ADD 0000084e: MSTORE 0000084f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000870: PUSH1 0x44 00000872: DUP3 00000873: ADD 00000874: MSTORE 00000875: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000896: PUSH1 0x64 00000898: DUP3 00000899: ADD 0000089a: MSTORE 0000089b: PUSH1 0x84 0000089d: ADD 0000089e: PUSH2 0x0410 000008a1: JUMP 000008a2: JUMPDEST 000008a3: PUSH2 0x08ab 000008a6: DUP2 000008a7: PUSH2 0x0b50 000008aa: JUMP 000008ab: JUMPDEST 000008ac: POP 000008ad: JUMP 000008ae: JUMPDEST 000008af: PUSH1 0x01 000008b1: PUSH1 0x01 000008b3: PUSH1 0xa0 000008b5: SHL 000008b6: SUB 000008b7: DUP4 000008b8: AND 000008b9: PUSH2 0x0910 000008bc: JUMPI 000008bd: PUSH1 0x40 000008bf: MLOAD 000008c0: PUSH3 0x461bcd 000008c4: PUSH1 0xe5 000008c6: SHL 000008c7: DUP2 000008c8: MSTORE 000008c9: PUSH1 0x20 000008cb: PUSH1 0x04 000008cd: DUP3 000008ce: ADD 000008cf: MSTORE 000008d0: PUSH1 0x24 000008d2: DUP1 000008d3: DUP3 000008d4: ADD 000008d5: MSTORE 000008d6: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 000008f7: PUSH1 0x44 000008f9: DUP3 000008fa: ADD 000008fb: MSTORE 000008fc: PUSH4 0x72657373 00000901: PUSH1 0xe0 00000903: SHL 00000904: PUSH1 0x64 00000906: DUP3 00000907: ADD 00000908: MSTORE 00000909: PUSH1 0x84 0000090b: ADD 0000090c: PUSH2 0x0410 0000090f: JUMP 00000910: JUMPDEST 00000911: PUSH1 0x01 00000913: PUSH1 0x01 00000915: PUSH1 0xa0 00000917: SHL 00000918: SUB 00000919: DUP3 0000091a: AND 0000091b: PUSH2 0x0971 0000091e: JUMPI 0000091f: PUSH1 0x40 00000921: MLOAD 00000922: PUSH3 0x461bcd 00000926: PUSH1 0xe5 00000928: SHL 00000929: DUP2 0000092a: MSTORE 0000092b: PUSH1 0x20 0000092d: PUSH1 0x04 0000092f: DUP3 00000930: ADD 00000931: MSTORE 00000932: PUSH1 0x22 00000934: PUSH1 0x24 00000936: DUP3 00000937: ADD 00000938: MSTORE 00000939: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 0000095a: PUSH1 0x44 0000095c: DUP3 0000095d: ADD 0000095e: MSTORE 0000095f: PUSH2 0x7373 00000962: PUSH1 0xf0 00000964: SHL 00000965: PUSH1 0x64 00000967: DUP3 00000968: ADD 00000969: MSTORE 0000096a: PUSH1 0x84 0000096c: ADD 0000096d: PUSH2 0x0410 00000970: JUMP 00000971: JUMPDEST 00000972: PUSH1 0x01 00000974: PUSH1 0x01 00000976: PUSH1 0xa0 00000978: SHL 00000979: SUB 0000097a: DUP4 0000097b: DUP2 0000097c: AND 0000097d: PUSH1 0x00 0000097f: DUP2 00000980: DUP2 00000981: MSTORE 00000982: PUSH1 0x01 00000984: PUSH1 0x20 00000986: SWAP1 00000987: DUP2 00000988: MSTORE 00000989: PUSH1 0x40 0000098b: DUP1 0000098c: DUP4 0000098d: KECCAK256 0000098e: SWAP5 0000098f: DUP8 00000990: AND 00000991: DUP1 00000992: DUP5 00000993: MSTORE 00000994: SWAP5 00000995: DUP3 00000996: MSTORE 00000997: SWAP2 00000998: DUP3 00000999: SWAP1 0000099a: KECCAK256 0000099b: DUP6 0000099c: SWAP1 0000099d: SSTORE 0000099e: SWAP1 0000099f: MLOAD 000009a0: DUP5 000009a1: DUP2 000009a2: MSTORE 000009a3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000009c4: SWAP2 000009c5: ADD 000009c6: JUMPDEST 000009c7: PUSH1 0x40 000009c9: MLOAD 000009ca: DUP1 000009cb: SWAP2 000009cc: SUB 000009cd: SWAP1 000009ce: LOG3 000009cf: POP 000009d0: POP 000009d1: POP 000009d2: JUMP 000009d3: JUMPDEST 000009d4: PUSH1 0x01 000009d6: PUSH1 0x01 000009d8: PUSH1 0xa0 000009da: SHL 000009db: SUB 000009dc: DUP3 000009dd: AND 000009de: PUSH2 0x0a29 000009e1: JUMPI 000009e2: PUSH1 0x40 000009e4: MLOAD 000009e5: PUSH3 0x461bcd 000009e9: PUSH1 0xe5 000009eb: SHL 000009ec: DUP2 000009ed: MSTORE 000009ee: PUSH1 0x20 000009f0: PUSH1 0x04 000009f2: DUP3 000009f3: ADD 000009f4: MSTORE 000009f5: PUSH1 0x1f 000009f7: PUSH1 0x24 000009f9: DUP3 000009fa: ADD 000009fb: MSTORE 000009fc: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00000a1d: PUSH1 0x44 00000a1f: DUP3 00000a20: ADD 00000a21: MSTORE 00000a22: PUSH1 0x64 00000a24: ADD 00000a25: PUSH2 0x0410 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: DUP1 00000a2b: PUSH1 0x02 00000a2d: PUSH1 0x00 00000a2f: DUP3 00000a30: DUP3 00000a31: SLOAD 00000a32: PUSH2 0x0a3b 00000a35: SWAP2 00000a36: SWAP1 00000a37: PUSH2 0x1191 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: SWAP1 00000a3d: SWAP2 00000a3e: SSTORE 00000a3f: POP 00000a40: POP 00000a41: PUSH1 0x01 00000a43: PUSH1 0x01 00000a45: PUSH1 0xa0 00000a47: SHL 00000a48: SUB 00000a49: DUP3 00000a4a: AND 00000a4b: PUSH1 0x00 00000a4d: SWAP1 00000a4e: DUP2 00000a4f: MSTORE 00000a50: PUSH1 0x20 00000a52: DUP2 00000a53: SWAP1 00000a54: MSTORE 00000a55: PUSH1 0x40 00000a57: DUP2 00000a58: KECCAK256 00000a59: DUP1 00000a5a: SLOAD 00000a5b: DUP4 00000a5c: SWAP3 00000a5d: SWAP1 00000a5e: PUSH2 0x0a68 00000a61: SWAP1 00000a62: DUP5 00000a63: SWAP1 00000a64: PUSH2 0x1191 00000a67: JUMP 00000a68: JUMPDEST 00000a69: SWAP1 00000a6a: SWAP2 00000a6b: SSTORE 00000a6c: POP 00000a6d: POP 00000a6e: PUSH1 0x40 00000a70: MLOAD 00000a71: DUP2 00000a72: DUP2 00000a73: MSTORE 00000a74: PUSH1 0x01 00000a76: PUSH1 0x01 00000a78: PUSH1 0xa0 00000a7a: SHL 00000a7b: SUB 00000a7c: DUP4 00000a7d: AND 00000a7e: SWAP1 00000a7f: PUSH1 0x00 00000a81: SWAP1 00000a82: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000aa3: SWAP1 00000aa4: PUSH1 0x20 00000aa6: ADD 00000aa7: PUSH1 0x40 00000aa9: MLOAD 00000aaa: DUP1 00000aab: SWAP2 00000aac: SUB 00000aad: SWAP1 00000aae: LOG3 00000aaf: POP 00000ab0: POP 00000ab1: JUMP 00000ab2: JUMPDEST 00000ab3: PUSH1 0x40 00000ab5: MLOAD 00000ab6: PUSH1 0x01 00000ab8: PUSH1 0x01 00000aba: PUSH1 0xa0 00000abc: SHL 00000abd: SUB 00000abe: DUP1 00000abf: DUP6 00000ac0: AND 00000ac1: PUSH1 0x24 00000ac3: DUP4 00000ac4: ADD 00000ac5: MSTORE 00000ac6: DUP4 00000ac7: AND 00000ac8: PUSH1 0x44 00000aca: DUP3 00000acb: ADD 00000acc: MSTORE 00000acd: PUSH1 0x64 00000acf: DUP2 00000ad0: ADD 00000ad1: DUP3 00000ad2: SWAP1 00000ad3: MSTORE 00000ad4: PUSH2 0x0b4a 00000ad7: SWAP1 00000ad8: DUP6 00000ad9: SWAP1 00000ada: PUSH4 0x23b872dd 00000adf: PUSH1 0xe0 00000ae1: SHL 00000ae2: SWAP1 00000ae3: PUSH1 0x84 00000ae5: ADD 00000ae6: JUMPDEST 00000ae7: PUSH1 0x40 00000ae9: DUP1 00000aea: MLOAD 00000aeb: PUSH1 0x1f 00000aed: NOT 00000aee: DUP2 00000aef: DUP5 00000af0: SUB 00000af1: ADD 00000af2: DUP2 00000af3: MSTORE 00000af4: SWAP2 00000af5: SWAP1 00000af6: MSTORE 00000af7: PUSH1 0x20 00000af9: DUP2 00000afa: ADD 00000afb: DUP1 00000afc: MLOAD 00000afd: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000b1a: AND 00000b1b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000b3c: SWAP1 00000b3d: SWAP4 00000b3e: AND 00000b3f: SWAP3 00000b40: SWAP1 00000b41: SWAP3 00000b42: OR 00000b43: SWAP1 00000b44: SWAP2 00000b45: MSTORE 00000b46: PUSH2 0x0d35 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: POP 00000b4c: POP 00000b4d: POP 00000b4e: POP 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: PUSH1 0x05 00000b53: DUP1 00000b54: SLOAD 00000b55: PUSH1 0x01 00000b57: PUSH1 0x01 00000b59: PUSH1 0xa0 00000b5b: SHL 00000b5c: SUB 00000b5d: DUP4 00000b5e: DUP2 00000b5f: AND 00000b60: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000b81: DUP4 00000b82: AND 00000b83: DUP2 00000b84: OR 00000b85: SWAP1 00000b86: SWAP4 00000b87: SSTORE 00000b88: PUSH1 0x40 00000b8a: MLOAD 00000b8b: SWAP2 00000b8c: AND 00000b8d: SWAP2 00000b8e: SWAP1 00000b8f: DUP3 00000b90: SWAP1 00000b91: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000bb2: SWAP1 00000bb3: PUSH1 0x00 00000bb5: SWAP1 00000bb6: LOG3 00000bb7: POP 00000bb8: POP 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0x01 00000bbf: PUSH1 0xa0 00000bc1: SHL 00000bc2: SUB 00000bc3: DUP3 00000bc4: AND 00000bc5: PUSH2 0x0c1a 00000bc8: JUMPI 00000bc9: PUSH1 0x40 00000bcb: MLOAD 00000bcc: PUSH3 0x461bcd 00000bd0: PUSH1 0xe5 00000bd2: SHL 00000bd3: DUP2 00000bd4: MSTORE 00000bd5: PUSH1 0x20 00000bd7: PUSH1 0x04 00000bd9: DUP3 00000bda: ADD 00000bdb: MSTORE 00000bdc: PUSH1 0x21 00000bde: PUSH1 0x24 00000be0: DUP3 00000be1: ADD 00000be2: MSTORE 00000be3: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573 00000c04: PUSH1 0x44 00000c06: DUP3 00000c07: ADD 00000c08: MSTORE 00000c09: PUSH1 0x73 00000c0b: PUSH1 0xf8 00000c0d: SHL 00000c0e: PUSH1 0x64 00000c10: DUP3 00000c11: ADD 00000c12: MSTORE 00000c13: PUSH1 0x84 00000c15: ADD 00000c16: PUSH2 0x0410 00000c19: JUMP 00000c1a: JUMPDEST 00000c1b: PUSH1 0x01 00000c1d: PUSH1 0x01 00000c1f: PUSH1 0xa0 00000c21: SHL 00000c22: SUB 00000c23: DUP3 00000c24: AND 00000c25: PUSH1 0x00 00000c27: SWAP1 00000c28: DUP2 00000c29: MSTORE 00000c2a: PUSH1 0x20 00000c2c: DUP2 00000c2d: SWAP1 00000c2e: MSTORE 00000c2f: PUSH1 0x40 00000c31: SWAP1 00000c32: KECCAK256 00000c33: SLOAD 00000c34: DUP2 00000c35: DUP2 00000c36: LT 00000c37: ISZERO 00000c38: PUSH2 0x0c8e 00000c3b: JUMPI 00000c3c: PUSH1 0x40 00000c3e: MLOAD 00000c3f: PUSH3 0x461bcd 00000c43: PUSH1 0xe5 00000c45: SHL 00000c46: DUP2 00000c47: MSTORE 00000c48: PUSH1 0x20 00000c4a: PUSH1 0x04 00000c4c: DUP3 00000c4d: ADD 00000c4e: MSTORE 00000c4f: PUSH1 0x22 00000c51: PUSH1 0x24 00000c53: DUP3 00000c54: ADD 00000c55: MSTORE 00000c56: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e 00000c77: PUSH1 0x44 00000c79: DUP3 00000c7a: ADD 00000c7b: MSTORE 00000c7c: PUSH2 0x6365 00000c7f: PUSH1 0xf0 00000c81: SHL 00000c82: PUSH1 0x64 00000c84: DUP3 00000c85: ADD 00000c86: MSTORE 00000c87: PUSH1 0x84 00000c89: ADD 00000c8a: PUSH2 0x0410 00000c8d: JUMP 00000c8e: JUMPDEST 00000c8f: PUSH1 0x01 00000c91: PUSH1 0x01 00000c93: PUSH1 0xa0 00000c95: SHL 00000c96: SUB 00000c97: DUP4 00000c98: AND 00000c99: PUSH1 0x00 00000c9b: SWAP1 00000c9c: DUP2 00000c9d: MSTORE 00000c9e: PUSH1 0x20 00000ca0: DUP2 00000ca1: SWAP1 00000ca2: MSTORE 00000ca3: PUSH1 0x40 00000ca5: DUP2 00000ca6: KECCAK256 00000ca7: DUP4 00000ca8: DUP4 00000ca9: SUB 00000caa: SWAP1 00000cab: SSTORE 00000cac: PUSH1 0x02 00000cae: DUP1 00000caf: SLOAD 00000cb0: DUP5 00000cb1: SWAP3 00000cb2: SWAP1 00000cb3: PUSH2 0x0cbd 00000cb6: SWAP1 00000cb7: DUP5 00000cb8: SWAP1 00000cb9: PUSH2 0x11a4 00000cbc: JUMP 00000cbd: JUMPDEST 00000cbe: SWAP1 00000cbf: SWAP2 00000cc0: SSTORE 00000cc1: POP 00000cc2: POP 00000cc3: PUSH1 0x40 00000cc5: MLOAD 00000cc6: DUP3 00000cc7: DUP2 00000cc8: MSTORE 00000cc9: PUSH1 0x00 00000ccb: SWAP1 00000ccc: PUSH1 0x01 00000cce: PUSH1 0x01 00000cd0: PUSH1 0xa0 00000cd2: SHL 00000cd3: SUB 00000cd4: DUP6 00000cd5: AND 00000cd6: SWAP1 00000cd7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000cf8: SWAP1 00000cf9: PUSH1 0x20 00000cfb: ADD 00000cfc: PUSH2 0x09c6 00000cff: JUMP 00000d00: JUMPDEST 00000d01: POP 00000d02: POP 00000d03: POP 00000d04: JUMP 00000d05: JUMPDEST 00000d06: PUSH1 0x40 00000d08: MLOAD 00000d09: PUSH1 0x01 00000d0b: PUSH1 0x01 00000d0d: PUSH1 0xa0 00000d0f: SHL 00000d10: SUB 00000d11: DUP4 00000d12: AND 00000d13: PUSH1 0x24 00000d15: DUP3 00000d16: ADD 00000d17: MSTORE 00000d18: PUSH1 0x44 00000d1a: DUP2 00000d1b: ADD 00000d1c: DUP3 00000d1d: SWAP1 00000d1e: MSTORE 00000d1f: PUSH2 0x0d00 00000d22: SWAP1 00000d23: DUP5 00000d24: SWAP1 00000d25: PUSH4 0xa9059cbb 00000d2a: PUSH1 0xe0 00000d2c: SHL 00000d2d: SWAP1 00000d2e: PUSH1 0x64 00000d30: ADD 00000d31: PUSH2 0x0ae6 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH1 0x00 00000d38: PUSH2 0x0d8a 00000d3b: DUP3 00000d3c: PUSH1 0x40 00000d3e: MLOAD 00000d3f: DUP1 00000d40: PUSH1 0x40 00000d42: ADD 00000d43: PUSH1 0x40 00000d45: MSTORE 00000d46: DUP1 00000d47: PUSH1 0x20 00000d49: DUP2 00000d4a: MSTORE 00000d4b: PUSH1 0x20 00000d4d: ADD 00000d4e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000d6f: DUP2 00000d70: MSTORE 00000d71: POP 00000d72: DUP6 00000d73: PUSH1 0x01 00000d75: PUSH1 0x01 00000d77: PUSH1 0xa0 00000d79: SHL 00000d7a: SUB 00000d7b: AND 00000d7c: PUSH2 0x0e1a 00000d7f: SWAP1 00000d80: SWAP3 00000d81: SWAP2 00000d82: SWAP1 00000d83: PUSH4 0xffffffff 00000d88: AND 00000d89: JUMP 00000d8a: JUMPDEST 00000d8b: DUP1 00000d8c: MLOAD 00000d8d: SWAP1 00000d8e: SWAP2 00000d8f: POP 00000d90: ISZERO 00000d91: PUSH2 0x0d00 00000d94: JUMPI 00000d95: DUP1 00000d96: DUP1 00000d97: PUSH1 0x20 00000d99: ADD 00000d9a: SWAP1 00000d9b: MLOAD 00000d9c: DUP2 00000d9d: ADD 00000d9e: SWAP1 00000d9f: PUSH2 0x0da8 00000da2: SWAP2 00000da3: SWAP1 00000da4: PUSH2 0x11b7 00000da7: JUMP 00000da8: JUMPDEST 00000da9: PUSH2 0x0d00 00000dac: JUMPI 00000dad: PUSH1 0x40 00000daf: MLOAD 00000db0: PUSH3 0x461bcd 00000db4: PUSH1 0xe5 00000db6: SHL 00000db7: DUP2 00000db8: MSTORE 00000db9: PUSH1 0x20 00000dbb: PUSH1 0x04 00000dbd: DUP3 00000dbe: ADD 00000dbf: MSTORE 00000dc0: PUSH1 0x2a 00000dc2: PUSH1 0x24 00000dc4: DUP3 00000dc5: ADD 00000dc6: MSTORE 00000dc7: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000de8: PUSH1 0x44 00000dea: DUP3 00000deb: ADD 00000dec: MSTORE 00000ded: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00000e0e: PUSH1 0x64 00000e10: DUP3 00000e11: ADD 00000e12: MSTORE 00000e13: PUSH1 0x84 00000e15: ADD 00000e16: PUSH2 0x0410 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: PUSH1 0x60 00000e1d: PUSH2 0x0e29 00000e20: DUP5 00000e21: DUP5 00000e22: PUSH1 0x00 00000e24: DUP6 00000e25: PUSH2 0x0e31 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: SWAP5 00000e2b: SWAP4 00000e2c: POP 00000e2d: POP 00000e2e: POP 00000e2f: POP 00000e30: JUMP 00000e31: JUMPDEST 00000e32: PUSH1 0x60 00000e34: DUP3 00000e35: SELFBALANCE 00000e36: LT 00000e37: ISZERO 00000e38: PUSH2 0x0ea9 00000e3b: JUMPI 00000e3c: PUSH1 0x40 00000e3e: MLOAD 00000e3f: PUSH3 0x461bcd 00000e43: PUSH1 0xe5 00000e45: SHL 00000e46: DUP2 00000e47: MSTORE 00000e48: PUSH1 0x20 00000e4a: PUSH1 0x04 00000e4c: DUP3 00000e4d: ADD 00000e4e: MSTORE 00000e4f: PUSH1 0x26 00000e51: PUSH1 0x24 00000e53: DUP3 00000e54: ADD 00000e55: MSTORE 00000e56: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00000e77: PUSH1 0x44 00000e79: DUP3 00000e7a: ADD 00000e7b: MSTORE 00000e7c: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 00000e9d: PUSH1 0x64 00000e9f: DUP3 00000ea0: ADD 00000ea1: MSTORE 00000ea2: PUSH1 0x84 00000ea4: ADD 00000ea5: PUSH2 0x0410 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH1 0x01 00000eac: PUSH1 0x01 00000eae: PUSH1 0xa0 00000eb0: SHL 00000eb1: SUB 00000eb2: DUP6 00000eb3: AND 00000eb4: EXTCODESIZE 00000eb5: PUSH2 0x0f00 00000eb8: JUMPI 00000eb9: PUSH1 0x40 00000ebb: MLOAD 00000ebc: PUSH3 0x461bcd 00000ec0: PUSH1 0xe5 00000ec2: SHL 00000ec3: DUP2 00000ec4: MSTORE 00000ec5: PUSH1 0x20 00000ec7: PUSH1 0x04 00000ec9: DUP3 00000eca: ADD 00000ecb: MSTORE 00000ecc: PUSH1 0x1d 00000ece: PUSH1 0x24 00000ed0: DUP3 00000ed1: ADD 00000ed2: MSTORE 00000ed3: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000ef4: PUSH1 0x44 00000ef6: DUP3 00000ef7: ADD 00000ef8: MSTORE 00000ef9: PUSH1 0x64 00000efb: ADD 00000efc: PUSH2 0x0410 00000eff: JUMP 00000f00: JUMPDEST 00000f01: PUSH1 0x00 00000f03: DUP1 00000f04: DUP7 00000f05: PUSH1 0x01 00000f07: PUSH1 0x01 00000f09: PUSH1 0xa0 00000f0b: SHL 00000f0c: SUB 00000f0d: AND 00000f0e: DUP6 00000f0f: DUP8 00000f10: PUSH1 0x40 00000f12: MLOAD 00000f13: PUSH2 0x0f1c 00000f16: SWAP2 00000f17: SWAP1 00000f18: PUSH2 0x11d4 00000f1b: JUMP 00000f1c: JUMPDEST 00000f1d: PUSH1 0x00 00000f1f: PUSH1 0x40 00000f21: MLOAD 00000f22: DUP1 00000f23: DUP4 00000f24: SUB 00000f25: DUP2 00000f26: DUP6 00000f27: DUP8 00000f28: GAS 00000f29: CALL 00000f2a: SWAP3 00000f2b: POP 00000f2c: POP 00000f2d: POP 00000f2e: RETURNDATASIZE 00000f2f: DUP1 00000f30: PUSH1 0x00 00000f32: DUP2 00000f33: EQ 00000f34: PUSH2 0x0f59 00000f37: JUMPI 00000f38: PUSH1 0x40 00000f3a: MLOAD 00000f3b: SWAP2 00000f3c: POP 00000f3d: PUSH1 0x1f 00000f3f: NOT 00000f40: PUSH1 0x3f 00000f42: RETURNDATASIZE 00000f43: ADD 00000f44: AND 00000f45: DUP3 00000f46: ADD 00000f47: PUSH1 0x40 00000f49: MSTORE 00000f4a: RETURNDATASIZE 00000f4b: DUP3 00000f4c: MSTORE 00000f4d: RETURNDATASIZE 00000f4e: PUSH1 0x00 00000f50: PUSH1 0x20 00000f52: DUP5 00000f53: ADD 00000f54: RETURNDATACOPY 00000f55: PUSH2 0x0f5e 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: PUSH1 0x60 00000f5c: SWAP2 00000f5d: POP 00000f5e: JUMPDEST 00000f5f: POP 00000f60: SWAP2 00000f61: POP 00000f62: SWAP2 00000f63: POP 00000f64: PUSH2 0x0f6e 00000f67: DUP3 00000f68: DUP3 00000f69: DUP7 00000f6a: PUSH2 0x0f79 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: SWAP8 00000f70: SWAP7 00000f71: POP 00000f72: POP 00000f73: POP 00000f74: POP 00000f75: POP 00000f76: POP 00000f77: POP 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x60 00000f7c: DUP4 00000f7d: ISZERO 00000f7e: PUSH2 0x0f88 00000f81: JUMPI 00000f82: POP 00000f83: DUP2 00000f84: PUSH2 0x045c 00000f87: JUMP 00000f88: JUMPDEST 00000f89: DUP3 00000f8a: MLOAD 00000f8b: ISZERO 00000f8c: PUSH2 0x0f98 00000f8f: JUMPI 00000f90: DUP3 00000f91: MLOAD 00000f92: DUP1 00000f93: DUP5 00000f94: PUSH1 0x20 00000f96: ADD 00000f97: REVERT 00000f98: JUMPDEST 00000f99: DUP2 00000f9a: PUSH1 0x40 00000f9c: MLOAD 00000f9d: PUSH3 0x461bcd 00000fa1: PUSH1 0xe5 00000fa3: SHL 00000fa4: DUP2 00000fa5: MSTORE 00000fa6: PUSH1 0x04 00000fa8: ADD 00000fa9: PUSH2 0x0410 00000fac: SWAP2 00000fad: SWAP1 00000fae: PUSH2 0x0fd6 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: PUSH1 0x00 00000fb5: JUMPDEST 00000fb6: DUP4 00000fb7: DUP2 00000fb8: LT 00000fb9: ISZERO 00000fba: PUSH2 0x0fcd 00000fbd: JUMPI 00000fbe: DUP2 00000fbf: DUP2 00000fc0: ADD 00000fc1: MLOAD 00000fc2: DUP4 00000fc3: DUP3 00000fc4: ADD 00000fc5: MSTORE 00000fc6: PUSH1 0x20 00000fc8: ADD 00000fc9: PUSH2 0x0fb5 00000fcc: JUMP 00000fcd: JUMPDEST 00000fce: POP 00000fcf: POP 00000fd0: PUSH1 0x00 00000fd2: SWAP2 00000fd3: ADD 00000fd4: MSTORE 00000fd5: JUMP 00000fd6: JUMPDEST 00000fd7: PUSH1 0x20 00000fd9: DUP2 00000fda: MSTORE 00000fdb: PUSH1 0x00 00000fdd: DUP3 00000fde: MLOAD 00000fdf: DUP1 00000fe0: PUSH1 0x20 00000fe2: DUP5 00000fe3: ADD 00000fe4: MSTORE 00000fe5: PUSH2 0x0ff5 00000fe8: DUP2 00000fe9: PUSH1 0x40 00000feb: DUP6 00000fec: ADD 00000fed: PUSH1 0x20 00000fef: DUP8 00000ff0: ADD 00000ff1: PUSH2 0x0fb2 00000ff4: JUMP 00000ff5: JUMPDEST 00000ff6: PUSH1 0x1f 00000ff8: ADD 00000ff9: PUSH1 0x1f 00000ffb: NOT 00000ffc: AND 00000ffd: SWAP2 00000ffe: SWAP1 00000fff: SWAP2 00001000: ADD 00001001: PUSH1 0x40 00001003: ADD 00001004: SWAP3 00001005: SWAP2 00001006: POP 00001007: POP 00001008: JUMP 00001009: JUMPDEST 0000100a: DUP1 0000100b: CALLDATALOAD 0000100c: PUSH1 0x01 0000100e: PUSH1 0x01 00001010: PUSH1 0xa0 00001012: SHL 00001013: SUB 00001014: DUP2 00001015: AND 00001016: DUP2 00001017: EQ 00001018: PUSH2 0x1020 0000101b: JUMPI 0000101c: PUSH1 0x00 0000101e: DUP1 0000101f: REVERT 00001020: JUMPDEST 00001021: SWAP2 00001022: SWAP1 00001023: POP 00001024: JUMP 00001025: JUMPDEST 00001026: PUSH1 0x00 00001028: DUP1 00001029: PUSH1 0x40 0000102b: DUP4 0000102c: DUP6 0000102d: SUB 0000102e: SLT 0000102f: ISZERO 00001030: PUSH2 0x1038 00001033: JUMPI 00001034: PUSH1 0x00 00001036: DUP1 00001037: REVERT 00001038: JUMPDEST 00001039: PUSH2 0x1041 0000103c: DUP4 0000103d: PUSH2 0x1009 00001040: JUMP 00001041: JUMPDEST 00001042: SWAP5 00001043: PUSH1 0x20 00001045: SWAP4 00001046: SWAP1 00001047: SWAP4 00001048: ADD 00001049: CALLDATALOAD 0000104a: SWAP4 0000104b: POP 0000104c: POP 0000104d: POP 0000104e: JUMP 0000104f: JUMPDEST 00001050: PUSH1 0x00 00001052: DUP1 00001053: PUSH1 0x00 00001055: PUSH1 0x60 00001057: DUP5 00001058: DUP7 00001059: SUB 0000105a: SLT 0000105b: ISZERO 0000105c: PUSH2 0x1064 0000105f: JUMPI 00001060: PUSH1 0x00 00001062: DUP1 00001063: REVERT 00001064: JUMPDEST 00001065: PUSH2 0x106d 00001068: DUP5 00001069: PUSH2 0x1009 0000106c: JUMP 0000106d: JUMPDEST 0000106e: SWAP3 0000106f: POP 00001070: PUSH2 0x107b 00001073: PUSH1 0x20 00001075: DUP6 00001076: ADD 00001077: PUSH2 0x1009 0000107a: JUMP 0000107b: JUMPDEST 0000107c: SWAP2 0000107d: POP 0000107e: PUSH1 0x40 00001080: DUP5 00001081: ADD 00001082: CALLDATALOAD 00001083: SWAP1 00001084: POP 00001085: SWAP3 00001086: POP 00001087: SWAP3 00001088: POP 00001089: SWAP3 0000108a: JUMP 0000108b: JUMPDEST 0000108c: PUSH1 0x00 0000108e: PUSH1 0x20 00001090: DUP3 00001091: DUP5 00001092: SUB 00001093: SLT 00001094: ISZERO 00001095: PUSH2 0x109d 00001098: JUMPI 00001099: PUSH1 0x00 0000109b: DUP1 0000109c: REVERT 0000109d: JUMPDEST 0000109e: PUSH2 0x045c 000010a1: DUP3 000010a2: PUSH2 0x1009 000010a5: JUMP 000010a6: JUMPDEST 000010a7: DUP1 000010a8: ISZERO 000010a9: ISZERO 000010aa: DUP2 000010ab: EQ 000010ac: PUSH2 0x08ab 000010af: JUMPI 000010b0: PUSH1 0x00 000010b2: DUP1 000010b3: REVERT 000010b4: JUMPDEST 000010b5: PUSH1 0x00 000010b7: DUP1 000010b8: PUSH1 0x40 000010ba: DUP4 000010bb: DUP6 000010bc: SUB 000010bd: SLT 000010be: ISZERO 000010bf: PUSH2 0x10c7 000010c2: JUMPI 000010c3: PUSH1 0x00 000010c5: DUP1 000010c6: REVERT 000010c7: JUMPDEST 000010c8: PUSH2 0x10d0 000010cb: DUP4 000010cc: PUSH2 0x1009 000010cf: JUMP 000010d0: JUMPDEST 000010d1: SWAP2 000010d2: POP 000010d3: PUSH1 0x20 000010d5: DUP4 000010d6: ADD 000010d7: CALLDATALOAD 000010d8: PUSH2 0x10e0 000010db: DUP2 000010dc: PUSH2 0x10a6 000010df: JUMP 000010e0: JUMPDEST 000010e1: DUP1 000010e2: SWAP2 000010e3: POP 000010e4: POP 000010e5: SWAP3 000010e6: POP 000010e7: SWAP3 000010e8: SWAP1 000010e9: POP 000010ea: JUMP 000010eb: JUMPDEST 000010ec: PUSH1 0x00 000010ee: DUP1 000010ef: PUSH1 0x40 000010f1: DUP4 000010f2: DUP6 000010f3: SUB 000010f4: SLT 000010f5: ISZERO 000010f6: PUSH2 0x10fe 000010f9: JUMPI 000010fa: PUSH1 0x00 000010fc: DUP1 000010fd: REVERT 000010fe: JUMPDEST 000010ff: PUSH2 0x1107 00001102: DUP4 00001103: PUSH2 0x1009 00001106: JUMP 00001107: JUMPDEST 00001108: SWAP2 00001109: POP 0000110a: PUSH2 0x1115 0000110d: PUSH1 0x20 0000110f: DUP5 00001110: ADD 00001111: PUSH2 0x1009 00001114: JUMP 00001115: JUMPDEST 00001116: SWAP1 00001117: POP 00001118: SWAP3 00001119: POP 0000111a: SWAP3 0000111b: SWAP1 0000111c: POP 0000111d: JUMP 0000111e: JUMPDEST 0000111f: PUSH1 0x01 00001121: DUP2 00001122: DUP2 00001123: SHR 00001124: SWAP1 00001125: DUP3 00001126: AND 00001127: DUP1 00001128: PUSH2 0x1132 0000112b: JUMPI 0000112c: PUSH1 0x7f 0000112e: DUP3 0000112f: AND 00001130: SWAP2 00001131: POP 00001132: JUMPDEST 00001133: PUSH1 0x20 00001135: DUP3 00001136: LT 00001137: DUP2 00001138: SUB 00001139: PUSH2 0x1152 0000113c: JUMPI 0000113d: PUSH4 0x4e487b71 00001142: PUSH1 0xe0 00001144: SHL 00001145: PUSH1 0x00 00001147: MSTORE 00001148: PUSH1 0x22 0000114a: PUSH1 0x04 0000114c: MSTORE 0000114d: PUSH1 0x24 0000114f: PUSH1 0x00 00001151: REVERT 00001152: JUMPDEST 00001153: POP 00001154: SWAP2 00001155: SWAP1 00001156: POP 00001157: JUMP 00001158: JUMPDEST 00001159: PUSH1 0x00 0000115b: PUSH1 0x20 0000115d: DUP3 0000115e: DUP5 0000115f: SUB 00001160: SLT 00001161: ISZERO 00001162: PUSH2 0x116a 00001165: JUMPI 00001166: PUSH1 0x00 00001168: DUP1 00001169: REVERT 0000116a: JUMPDEST 0000116b: DUP2 0000116c: MLOAD 0000116d: PUSH1 0xff 0000116f: DUP2 00001170: AND 00001171: DUP2 00001172: EQ 00001173: PUSH2 0x045c 00001176: JUMPI 00001177: PUSH1 0x00 00001179: DUP1 0000117a: REVERT 0000117b: JUMPDEST 0000117c: PUSH4 0x4e487b71 00001181: PUSH1 0xe0 00001183: SHL 00001184: PUSH1 0x00 00001186: MSTORE 00001187: PUSH1 0x11 00001189: PUSH1 0x04 0000118b: MSTORE 0000118c: PUSH1 0x24 0000118e: PUSH1 0x00 00001190: REVERT 00001191: JUMPDEST 00001192: DUP1 00001193: DUP3 00001194: ADD 00001195: DUP1 00001196: DUP3 00001197: GT 00001198: ISZERO 00001199: PUSH2 0x03af 0000119c: JUMPI 0000119d: PUSH2 0x03af 000011a0: PUSH2 0x117b 000011a3: JUMP 000011a4: JUMPDEST 000011a5: DUP2 000011a6: DUP2 000011a7: SUB 000011a8: DUP2 000011a9: DUP2 000011aa: GT 000011ab: ISZERO 000011ac: PUSH2 0x03af 000011af: JUMPI 000011b0: PUSH2 0x03af 000011b3: PUSH2 0x117b 000011b6: JUMP 000011b7: JUMPDEST 000011b8: PUSH1 0x00 000011ba: PUSH1 0x20 000011bc: DUP3 000011bd: DUP5 000011be: SUB 000011bf: SLT 000011c0: ISZERO 000011c1: PUSH2 0x11c9 000011c4: JUMPI 000011c5: PUSH1 0x00 000011c7: DUP1 000011c8: REVERT 000011c9: JUMPDEST 000011ca: DUP2 000011cb: MLOAD 000011cc: PUSH2 0x045c 000011cf: DUP2 000011d0: PUSH2 0x10a6 000011d3: JUMP 000011d4: JUMPDEST 000011d5: PUSH1 0x00 000011d7: DUP3 000011d8: MLOAD 000011d9: PUSH2 0x11e6 000011dc: DUP2 000011dd: DUP5 000011de: PUSH1 0x20 000011e0: DUP8 000011e1: ADD 000011e2: PUSH2 0x0fb2 000011e5: JUMP 000011e6: JUMPDEST 000011e7: SWAP2 000011e8: SWAP1 000011e9: SWAP2 000011ea: ADD 000011eb: SWAP3 000011ec: SWAP2 000011ed: POP 000011ee: POP 000011ef: JUMP 000011f0: INVALID 000011f1: LOG2 000011f2: PUSH5 0x6970667358 000011f8: UNKNOWN(0x22) 000011f9: SLT 000011fa: KECCAK256 000011fb: UNKNOWN(0xAA) 000011fc: SDIV 000011fd: LOG2 000011fe: PUSH16 0x4f5eff8af6340468e844a198b6e41af6 0000120f: PUSH23
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x383aea5cd773751cc54903dddc236aa20b8b74cc14d758c752d5a638b8bf9b5f
call_targets:
0x6521c50810f0d882b2c64a235805d3f5241857dd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x383aea5cd773751cc54903dddc236aa20b8b74cc14d758c752d5a638b8bf9b5f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6521c50810f0d882b2c64a235805d3f5241857dd"
],
"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": "0xced67f0c",
"selector": "0xced67f0c",
"calldata_variants": [
"0xced67f0c",
"0xced67f0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x77a1c531",
"selector": "0x77a1c531",
"calldata_variants": [
"0x77a1c531",
"0x77a1c5310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x893d20e8",
"selector": "0x893d20e8",
"calldata_variants": [
"0x893d20e8",
"0x893d20e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3881,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x383aea5cd773751cc54903dddc236aa20b8b74cc14d758c752d5a638b8bf9b5f
call_targets:
0x6521c50810f0d882b2c64a235805d3f5241857dd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x383aea5cd773751cc54903dddc236aa20b8b74cc14d758c752d5a638b8bf9b5f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6521c50810f0d882b2c64a235805d3f5241857dd"
],
"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": "0xced67f0c",
"selector": "0xced67f0c",
"calldata_variants": [
"0xced67f0c",
"0xced67f0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x77a1c531",
"selector": "0x77a1c531",
"calldata_variants": [
"0x77a1c531",
"0x77a1c5310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x893d20e8",
"selector": "0x893d20e8",
"calldata_variants": [
"0x893d20e8",
"0x893d20e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3881,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|