cda15bfa-44d6-4180-bde8-ae3b8e9f18ab
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 |
|---|---|---|---|---|
| 31167 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 76816 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 76817 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 76818 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 76819 | capability.graph | complete | 1 / 3 | 1 week ago |
| 76820 | detector.run | complete | 1 / 3 | 1 week ago |
| 76821 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:745428] OpenAI Codex v0.77.0 (research preview)
[codex:745428] --------
[codex:745428] workdir: /tmp/codex-multi-699ahn8o
[codex:745428] model: gpt-5.2-codex
[codex:745428] provider: openai
[codex:745428] approval: never
[codex:745428] sandbox: read-only
[codex:745428] reasoning effort: xhigh
[codex:745428] reasoning summaries: auto
[codex:745428] session id: 019b7c3f-31e0-70d3-a000-d9e4c7169af6
[codex:745428] --------
[codex:745428] user
[codex:745428] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:745428]
[codex:745428] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:745428]
[codex:745428] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:745428] - Gas inefficiency, code quality, naming, or best practices
[codex:745428] - Theoretical vulnerabilities without a clear extraction path
[codex:745428] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:745428] - Front-running unless it enables theft beyond MEV
[codex:745428] - DoS, griefing, or issues that don't result in attacker profit
[codex:745428] - Missing events, view function issues, or informational findings
[codex:745428]
[codex:745428] HIGH-VALUE PATTERNS TO HUNT:
[codex:745428] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:745428] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:745428] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:745428] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:745428] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:745428] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:745428] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:745428] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:745428] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:745428]
[codex:745428] For each finding, you MUST provide:
[codex:745428] 1. Exact file and line numbers of vulnerable code
[codex:745428] 2. Step-by-step exploit transaction sequence
[codex:745428] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:745428]
[codex:745428] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:745428]
[codex:745428] Output MUST be valid JSON matching the provided schema.
[codex:745428] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:745428] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:745428] mcp startup: no servers
[codex:745428]
[codex:745428] thinking
[codex:745428] **Reviewing instructions and skills**
[codex:745428] exec
[codex:745428] /bin/bash -lc ls in /tmp/codex-multi-699ahn8o succeeded in 5ms:
[codex:745428] AUDIT_BUNDLE.txt
[codex:745428] codex-output-schema.json
[codex:745428] contracts
[codex:745428] exec
[codex:745428] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-699ahn8o succeeded in 5ms:
[codex:745428] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:745428]
[codex:745428] ================================================================================
[codex:745428] FILE: contracts/Address.sol
[codex:745428] ================================================================================
[codex:745428] // SPDX-License-Identifier: MIT
[codex:745428] // OpenZeppelin Contracts v4.4.1 (utils/Address.sol)
[codex:745428]
[codex:745428] pragma solidity ^0.8.0;
[codex:745428]
[codex:745428] /**
[codex:745428] * @dev Collection of functions related to the address type
[codex:745428] */
[codex:745428] library Address {
[codex:745428] /**
[codex:745428] * @dev Returns true if `account` is a contract.
[codex:745428] *
[codex:745428] * [IMPORTANT]
[codex:745428] * ====
[codex:745428] * It is unsafe to assume that an address for which this function returns
[codex:745428]
[codex:745428] thinking
[codex:745428] **Analyzing Redeem contract vulnerabilities**
[codex:745428] exec
[codex:745428] /bin/bash -lc 'rg --files' in /tmp/codex-multi-699ahn8o succeeded in 8ms:
[codex:745428] codex-output-schema.json
[codex:745428] AUDIT_BUNDLE.txt
[codex:745428] contracts/OwnableUpgradeable.sol
[codex:745428] contracts/iface.sol
[codex:745428] contracts/Address.sol
[codex:745428] contracts/Initializable.sol
[codex:745428] contracts/ContextUpgradeable.sol
[codex:745428] contracts/PausableUpgradeable.sol
[codex:745428] contracts/SafeERC20.sol
[codex:745428] contracts/redeem.sol
[codex:745428] contracts/IERC20.sol
[codex:745428] contracts/AddressUpgradeable.sol
[codex:745428] contracts/ReentrancyGuardUpgradeable.sol
[codex:745428]
[codex:745428] thinking
[codex:745428] **Analyzing Redeem contract for exploits**
[codex:745428] codex
[codex:745428] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contracts under the stated assumptions (trusted lib/@openzeppelin).","findings":[]}
[codex:745428] tokens used
[codex:745428] 14,762
[codex:745428] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contracts under the stated assumptions (trusted lib/@openzeppelin).","findings":[]}
{
"codex": {
"ran_at": "2026-01-02T01:08:19.522548+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path found in the provided contracts under the stated assumptions (trusted lib/@openzeppelin).",
"raw_final": {
"summary": "No concrete, exploitable profit path found in the provided contracts under the stated assumptions (trusted lib/@openzeppelin).",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00c2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70a08231 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x020f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x95d89b41 0000003a: EQ 0000003b: PUSH2 0x0237 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xaad3ec96 00000045: EQ 00000046: PUSH2 0x0269 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0289 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x70a08231 00000060: EQ 00000061: PUSH2 0x01af 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x715018a6 0000006b: EQ 0000006c: PUSH2 0x01e5 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8129fc1c 00000076: EQ 00000077: PUSH2 0x01fa 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x06fdde03 00000086: EQ 00000087: PUSH2 0x00c7 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x0c11dedd 00000091: EQ 00000092: PUSH2 0x0117 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x18160ddd 0000009c: EQ 0000009d: PUSH2 0x012c 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x313ce567 000000a7: EQ 000000a8: PUSH2 0x014b 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x379607f5 000000b2: EQ 000000b3: PUSH2 0x0167 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x5c975abb 000000bd: EQ 000000be: PUSH2 0x0197 000000c1: JUMPI 000000c2: JUMPDEST 000000c3: PUSH1 0x00 000000c5: DUP1 000000c6: REVERT 000000c7: JUMPDEST 000000c8: CALLVALUE 000000c9: DUP1 000000ca: ISZERO 000000cb: PUSH2 0x00d3 000000ce: JUMPI 000000cf: PUSH1 0x00 000000d1: DUP1 000000d2: REVERT 000000d3: JUMPDEST 000000d4: POP 000000d5: PUSH1 0x40 000000d7: DUP1 000000d8: MLOAD 000000d9: DUP1 000000da: DUP3 000000db: ADD 000000dc: SWAP1 000000dd: SWAP2 000000de: MSTORE 000000df: PUSH1 0x15 000000e1: DUP2 000000e2: MSTORE 000000e3: PUSH21 0x084cac8e4dec6d64086d8c2d2dac2c4d8ca408aa89 000000f9: PUSH1 0x5b 000000fb: SHL 000000fc: PUSH1 0x20 000000fe: DUP3 000000ff: ADD 00000100: MSTORE 00000101: JUMPDEST 00000102: PUSH1 0x40 00000104: MLOAD 00000105: PUSH2 0x010e 00000108: SWAP2 00000109: SWAP1 0000010a: PUSH2 0x0972 0000010d: JUMP 0000010e: JUMPDEST 0000010f: PUSH1 0x40 00000111: MLOAD 00000112: DUP1 00000113: SWAP2 00000114: SUB 00000115: SWAP1 00000116: RETURN 00000117: JUMPDEST 00000118: PUSH2 0x012a 0000011b: PUSH2 0x0125 0000011e: CALLDATASIZE 0000011f: PUSH1 0x04 00000121: PUSH2 0x09de 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH2 0x02a9 00000129: JUMP 0000012a: JUMPDEST 0000012b: STOP 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 0xca 0000013c: SLOAD 0000013d: JUMPDEST 0000013e: PUSH1 0x40 00000140: MLOAD 00000141: SWAP1 00000142: DUP2 00000143: MSTORE 00000144: PUSH1 0x20 00000146: ADD 00000147: PUSH2 0x010e 0000014a: JUMP 0000014b: JUMPDEST 0000014c: CALLVALUE 0000014d: DUP1 0000014e: ISZERO 0000014f: PUSH2 0x0157 00000152: JUMPI 00000153: PUSH1 0x00 00000155: DUP1 00000156: REVERT 00000157: JUMPDEST 00000158: POP 00000159: PUSH1 0x40 0000015b: MLOAD 0000015c: PUSH1 0x12 0000015e: DUP2 0000015f: MSTORE 00000160: PUSH1 0x20 00000162: ADD 00000163: PUSH2 0x010e 00000166: JUMP 00000167: JUMPDEST 00000168: CALLVALUE 00000169: DUP1 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH2 0x0187 00000178: PUSH2 0x0182 0000017b: CALLDATASIZE 0000017c: PUSH1 0x04 0000017e: PUSH2 0x0a00 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH2 0x0334 00000186: JUMP 00000187: JUMPDEST 00000188: PUSH1 0x40 0000018a: MLOAD 0000018b: SWAP1 0000018c: ISZERO 0000018d: ISZERO 0000018e: DUP2 0000018f: MSTORE 00000190: PUSH1 0x20 00000192: ADD 00000193: PUSH2 0x010e 00000196: JUMP 00000197: JUMPDEST 00000198: CALLVALUE 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x01a3 0000019e: JUMPI 0000019f: PUSH1 0x00 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: POP 000001a5: PUSH1 0x33 000001a7: SLOAD 000001a8: PUSH1 0xff 000001aa: AND 000001ab: PUSH2 0x0187 000001ae: JUMP 000001af: JUMPDEST 000001b0: CALLVALUE 000001b1: DUP1 000001b2: ISZERO 000001b3: PUSH2 0x01bb 000001b6: JUMPI 000001b7: PUSH1 0x00 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: POP 000001bd: PUSH2 0x013d 000001c0: PUSH2 0x01ca 000001c3: CALLDATASIZE 000001c4: PUSH1 0x04 000001c6: PUSH2 0x09de 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH1 0x01 000001cd: PUSH1 0x01 000001cf: PUSH1 0xa0 000001d1: SHL 000001d2: SUB 000001d3: AND 000001d4: PUSH1 0x00 000001d6: SWAP1 000001d7: DUP2 000001d8: MSTORE 000001d9: PUSH1 0xc9 000001db: PUSH1 0x20 000001dd: MSTORE 000001de: PUSH1 0x40 000001e0: SWAP1 000001e1: KECCAK256 000001e2: SLOAD 000001e3: SWAP1 000001e4: JUMP 000001e5: JUMPDEST 000001e6: CALLVALUE 000001e7: DUP1 000001e8: ISZERO 000001e9: PUSH2 0x01f1 000001ec: JUMPI 000001ed: PUSH1 0x00 000001ef: DUP1 000001f0: REVERT 000001f1: JUMPDEST 000001f2: POP 000001f3: PUSH2 0x012a 000001f6: PUSH2 0x0346 000001f9: JUMP 000001fa: JUMPDEST 000001fb: CALLVALUE 000001fc: DUP1 000001fd: ISZERO 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: POP 00000208: PUSH2 0x012a 0000020b: PUSH2 0x03b1 0000020e: JUMP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH1 0x97 0000021f: SLOAD 00000220: PUSH1 0x40 00000222: MLOAD 00000223: PUSH1 0x01 00000225: PUSH1 0x01 00000227: PUSH1 0xa0 00000229: SHL 0000022a: SUB 0000022b: SWAP1 0000022c: SWAP2 0000022d: AND 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x20 00000232: ADD 00000233: PUSH2 0x010e 00000236: JUMP 00000237: JUMPDEST 00000238: CALLVALUE 00000239: DUP1 0000023a: ISZERO 0000023b: PUSH2 0x0243 0000023e: JUMPI 0000023f: PUSH1 0x00 00000241: DUP1 00000242: REVERT 00000243: JUMPDEST 00000244: POP 00000245: PUSH1 0x40 00000247: DUP1 00000248: MLOAD 00000249: DUP1 0000024a: DUP3 0000024b: ADD 0000024c: SWAP1 0000024d: SWAP2 0000024e: MSTORE 0000024f: PUSH1 0x09 00000251: DUP2 00000252: MSTORE 00000253: PUSH9 0x0e4cac8cacada8aa89 0000025d: PUSH1 0xbb 0000025f: SHL 00000260: PUSH1 0x20 00000262: DUP3 00000263: ADD 00000264: MSTORE 00000265: PUSH2 0x0101 00000268: JUMP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x0275 00000270: JUMPI 00000271: PUSH1 0x00 00000273: DUP1 00000274: REVERT 00000275: JUMPDEST 00000276: POP 00000277: PUSH2 0x0187 0000027a: PUSH2 0x0284 0000027d: CALLDATASIZE 0000027e: PUSH1 0x04 00000280: PUSH2 0x0a19 00000283: JUMP 00000284: JUMPDEST 00000285: PUSH2 0x0432 00000288: JUMP 00000289: JUMPDEST 0000028a: CALLVALUE 0000028b: DUP1 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: POP 00000297: PUSH2 0x012a 0000029a: PUSH2 0x02a4 0000029d: CALLDATASIZE 0000029e: PUSH1 0x04 000002a0: PUSH2 0x09de 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH2 0x0580 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x01 000002ac: PUSH1 0x01 000002ae: PUSH1 0xa0 000002b0: SHL 000002b1: SUB 000002b2: DUP2 000002b3: AND 000002b4: PUSH1 0x00 000002b6: SWAP1 000002b7: DUP2 000002b8: MSTORE 000002b9: PUSH1 0xc9 000002bb: PUSH1 0x20 000002bd: MSTORE 000002be: PUSH1 0x40 000002c0: DUP2 000002c1: KECCAK256 000002c2: DUP1 000002c3: SLOAD 000002c4: CALLVALUE 000002c5: SWAP3 000002c6: SWAP1 000002c7: PUSH2 0x02d1 000002ca: SWAP1 000002cb: DUP5 000002cc: SWAP1 000002cd: PUSH2 0x0a59 000002d0: JUMP 000002d1: JUMPDEST 000002d2: SWAP3 000002d3: POP 000002d4: POP 000002d5: DUP2 000002d6: SWAP1 000002d7: SSTORE 000002d8: POP 000002d9: CALLVALUE 000002da: PUSH1 0xca 000002dc: PUSH1 0x00 000002de: DUP3 000002df: DUP3 000002e0: SLOAD 000002e1: PUSH2 0x02ea 000002e4: SWAP2 000002e5: SWAP1 000002e6: PUSH2 0x0a59 000002e9: JUMP 000002ea: JUMPDEST 000002eb: SWAP1 000002ec: SWAP2 000002ed: SSTORE 000002ee: POP 000002ef: POP 000002f0: PUSH1 0x40 000002f2: DUP1 000002f3: MLOAD 000002f4: PUSH1 0x01 000002f6: PUSH1 0x01 000002f8: PUSH1 0xa0 000002fa: SHL 000002fb: SUB 000002fc: DUP4 000002fd: AND 000002fe: DUP2 000002ff: MSTORE 00000300: CALLVALUE 00000301: PUSH1 0x20 00000303: DUP3 00000304: ADD 00000305: MSTORE 00000306: PUSH32 0x6ba9df9d92498f70e3ce503a61655f967479ba67129d4333e347a87c5c29b894 00000327: SWAP2 00000328: ADD 00000329: JUMPDEST 0000032a: PUSH1 0x40 0000032c: MLOAD 0000032d: DUP1 0000032e: SWAP2 0000032f: SUB 00000330: SWAP1 00000331: LOG1 00000332: POP 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH1 0x00 00000337: PUSH2 0x0340 0000033a: CALLER 0000033b: DUP4 0000033c: PUSH2 0x0432 0000033f: JUMP 00000340: JUMPDEST 00000341: SWAP3 00000342: SWAP2 00000343: POP 00000344: POP 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH1 0x97 00000349: SLOAD 0000034a: PUSH1 0x01 0000034c: PUSH1 0x01 0000034e: PUSH1 0xa0 00000350: SHL 00000351: SUB 00000352: AND 00000353: CALLER 00000354: EQ 00000355: PUSH2 0x03a5 00000358: JUMPI 00000359: PUSH1 0x40 0000035b: MLOAD 0000035c: PUSH3 0x461bcd 00000360: PUSH1 0xe5 00000362: SHL 00000363: DUP2 00000364: MSTORE 00000365: PUSH1 0x20 00000367: PUSH1 0x04 00000369: DUP3 0000036a: ADD 0000036b: DUP2 0000036c: SWAP1 0000036d: MSTORE 0000036e: PUSH1 0x24 00000370: DUP3 00000371: ADD 00000372: MSTORE 00000373: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000394: PUSH1 0x44 00000396: DUP3 00000397: ADD 00000398: MSTORE 00000399: PUSH1 0x64 0000039b: ADD 0000039c: JUMPDEST 0000039d: PUSH1 0x40 0000039f: MLOAD 000003a0: DUP1 000003a1: SWAP2 000003a2: SUB 000003a3: SWAP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: PUSH2 0x03af 000003a9: PUSH1 0x00 000003ab: PUSH2 0x0657 000003ae: JUMP 000003af: JUMPDEST 000003b0: JUMP 000003b1: JUMPDEST 000003b2: PUSH1 0x00 000003b4: PUSH2 0x03bd 000003b7: PUSH1 0x01 000003b9: PUSH2 0x06a9 000003bc: JUMP 000003bd: JUMPDEST 000003be: SWAP1 000003bf: POP 000003c0: DUP1 000003c1: ISZERO 000003c2: PUSH2 0x03d5 000003c5: JUMPI 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: SLOAD 000003ca: PUSH2 0xff00 000003cd: NOT 000003ce: AND 000003cf: PUSH2 0x0100 000003d2: OR 000003d3: SWAP1 000003d4: SSTORE 000003d5: JUMPDEST 000003d6: PUSH2 0x03dd 000003d9: PUSH2 0x0736 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH2 0x03e5 000003e1: PUSH2 0x0765 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH2 0x03ed 000003e9: PUSH2 0x0794 000003ec: JUMP 000003ed: JUMPDEST 000003ee: DUP1 000003ef: ISZERO 000003f0: PUSH2 0x042f 000003f3: JUMPI 000003f4: PUSH1 0x00 000003f6: DUP1 000003f7: SLOAD 000003f8: PUSH2 0xff00 000003fb: NOT 000003fc: AND 000003fd: SWAP1 000003fe: SSTORE 000003ff: PUSH1 0x40 00000401: MLOAD 00000402: PUSH1 0x01 00000404: DUP2 00000405: MSTORE 00000406: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000427: SWAP1 00000428: PUSH1 0x20 0000042a: ADD 0000042b: PUSH2 0x0329 0000042e: JUMP 0000042f: JUMPDEST 00000430: POP 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH1 0x00 00000435: PUSH1 0x02 00000437: PUSH1 0x65 00000439: SLOAD 0000043a: EQ 0000043b: ISZERO 0000043c: PUSH2 0x0487 0000043f: JUMPI 00000440: PUSH1 0x40 00000442: MLOAD 00000443: PUSH3 0x461bcd 00000447: PUSH1 0xe5 00000449: SHL 0000044a: DUP2 0000044b: MSTORE 0000044c: PUSH1 0x20 0000044e: PUSH1 0x04 00000450: DUP3 00000451: ADD 00000452: MSTORE 00000453: PUSH1 0x1f 00000455: PUSH1 0x24 00000457: DUP3 00000458: ADD 00000459: MSTORE 0000045a: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000047b: PUSH1 0x44 0000047d: DUP3 0000047e: ADD 0000047f: MSTORE 00000480: PUSH1 0x64 00000482: ADD 00000483: PUSH2 0x039c 00000486: JUMP 00000487: JUMPDEST 00000488: PUSH1 0x02 0000048a: PUSH1 0x65 0000048c: SSTORE 0000048d: CALLER 0000048e: PUSH1 0x00 00000490: SWAP1 00000491: DUP2 00000492: MSTORE 00000493: PUSH1 0xc9 00000495: PUSH1 0x20 00000497: MSTORE 00000498: PUSH1 0x40 0000049a: SWAP1 0000049b: KECCAK256 0000049c: SLOAD 0000049d: DUP3 0000049e: GT 0000049f: ISZERO 000004a0: PUSH2 0x04e2 000004a3: JUMPI 000004a4: PUSH1 0x40 000004a6: MLOAD 000004a7: PUSH3 0x461bcd 000004ab: PUSH1 0xe5 000004ad: SHL 000004ae: DUP2 000004af: MSTORE 000004b0: PUSH1 0x20 000004b2: PUSH1 0x04 000004b4: DUP3 000004b5: ADD 000004b6: MSTORE 000004b7: PUSH1 0x14 000004b9: PUSH1 0x24 000004bb: DUP3 000004bc: ADD 000004bd: MSTORE 000004be: PUSH20 0x494e53554646494349454e545f42414c414e4345 000004d3: PUSH1 0x60 000004d5: SHL 000004d6: PUSH1 0x44 000004d8: DUP3 000004d9: ADD 000004da: MSTORE 000004db: PUSH1 0x64 000004dd: ADD 000004de: PUSH2 0x039c 000004e1: JUMP 000004e2: JUMPDEST 000004e3: CALLER 000004e4: PUSH1 0x00 000004e6: SWAP1 000004e7: DUP2 000004e8: MSTORE 000004e9: PUSH1 0xc9 000004eb: PUSH1 0x20 000004ed: MSTORE 000004ee: PUSH1 0x40 000004f0: DUP2 000004f1: KECCAK256 000004f2: DUP1 000004f3: SLOAD 000004f4: DUP5 000004f5: SWAP3 000004f6: SWAP1 000004f7: PUSH2 0x0501 000004fa: SWAP1 000004fb: DUP5 000004fc: SWAP1 000004fd: PUSH2 0x0a71 00000500: JUMP 00000501: JUMPDEST 00000502: SWAP3 00000503: POP 00000504: POP 00000505: DUP2 00000506: SWAP1 00000507: SSTORE 00000508: POP 00000509: DUP2 0000050a: PUSH1 0xca 0000050c: PUSH1 0x00 0000050e: DUP3 0000050f: DUP3 00000510: SLOAD 00000511: PUSH2 0x051a 00000514: SWAP2 00000515: SWAP1 00000516: PUSH2 0x0a71 00000519: JUMP 0000051a: JUMPDEST 0000051b: SWAP1 0000051c: SWAP2 0000051d: SSTORE 0000051e: POP 0000051f: PUSH2 0x0533 00000522: SWAP1 00000523: POP 00000524: PUSH1 0x01 00000526: PUSH1 0x01 00000528: PUSH1 0xa0 0000052a: SHL 0000052b: SUB 0000052c: DUP5 0000052d: AND 0000052e: DUP4 0000052f: PUSH2 0x07c3 00000532: JUMP 00000533: JUMPDEST 00000534: PUSH1 0x40 00000536: MLOAD 00000537: DUP3 00000538: DUP2 00000539: MSTORE 0000053a: PUSH1 0x01 0000053c: PUSH1 0x01 0000053e: PUSH1 0xa0 00000540: SHL 00000541: SUB 00000542: DUP5 00000543: AND 00000544: SWAP1 00000545: CALLER 00000546: SWAP1 00000547: PUSH32 0xf7a40077ff7a04c7e61f6f26fb13774259ddf1b6bce9ecf26a8276cdd3992683 00000568: SWAP1 00000569: PUSH1 0x20 0000056b: ADD 0000056c: PUSH1 0x40 0000056e: MLOAD 0000056f: DUP1 00000570: SWAP2 00000571: SUB 00000572: SWAP1 00000573: LOG3 00000574: POP 00000575: PUSH1 0x01 00000577: DUP1 00000578: PUSH1 0x65 0000057a: SSTORE 0000057b: SWAP3 0000057c: SWAP2 0000057d: POP 0000057e: POP 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH1 0x97 00000583: SLOAD 00000584: PUSH1 0x01 00000586: PUSH1 0x01 00000588: PUSH1 0xa0 0000058a: SHL 0000058b: SUB 0000058c: AND 0000058d: CALLER 0000058e: EQ 0000058f: PUSH2 0x05da 00000592: JUMPI 00000593: PUSH1 0x40 00000595: MLOAD 00000596: PUSH3 0x461bcd 0000059a: PUSH1 0xe5 0000059c: SHL 0000059d: DUP2 0000059e: MSTORE 0000059f: PUSH1 0x20 000005a1: PUSH1 0x04 000005a3: DUP3 000005a4: ADD 000005a5: DUP2 000005a6: SWAP1 000005a7: MSTORE 000005a8: PUSH1 0x24 000005aa: DUP3 000005ab: ADD 000005ac: MSTORE 000005ad: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000005ce: PUSH1 0x44 000005d0: DUP3 000005d1: ADD 000005d2: MSTORE 000005d3: PUSH1 0x64 000005d5: ADD 000005d6: PUSH2 0x039c 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x01 000005dd: PUSH1 0x01 000005df: PUSH1 0xa0 000005e1: SHL 000005e2: SUB 000005e3: DUP2 000005e4: AND 000005e5: PUSH2 0x063f 000005e8: JUMPI 000005e9: PUSH1 0x40 000005eb: MLOAD 000005ec: PUSH3 0x461bcd 000005f0: PUSH1 0xe5 000005f2: SHL 000005f3: DUP2 000005f4: MSTORE 000005f5: PUSH1 0x20 000005f7: PUSH1 0x04 000005f9: DUP3 000005fa: ADD 000005fb: MSTORE 000005fc: PUSH1 0x26 000005fe: PUSH1 0x24 00000600: DUP3 00000601: ADD 00000602: MSTORE 00000603: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000624: PUSH1 0x44 00000626: DUP3 00000627: ADD 00000628: MSTORE 00000629: PUSH6 0x646472657373 00000630: PUSH1 0xd0 00000632: SHL 00000633: PUSH1 0x64 00000635: DUP3 00000636: ADD 00000637: MSTORE 00000638: PUSH1 0x84 0000063a: ADD 0000063b: PUSH2 0x039c 0000063e: JUMP 0000063f: JUMPDEST 00000640: PUSH2 0x042f 00000643: DUP2 00000644: PUSH2 0x0657 00000647: JUMP 00000648: JUMPDEST 00000649: PUSH1 0x01 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: SHL 00000650: SUB 00000651: AND 00000652: EXTCODESIZE 00000653: ISZERO 00000654: ISZERO 00000655: SWAP1 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH1 0x97 0000065a: DUP1 0000065b: SLOAD 0000065c: PUSH1 0x01 0000065e: PUSH1 0x01 00000660: PUSH1 0xa0 00000662: SHL 00000663: SUB 00000664: DUP4 00000665: DUP2 00000666: AND 00000667: PUSH1 0x01 00000669: PUSH1 0x01 0000066b: PUSH1 0xa0 0000066d: SHL 0000066e: SUB 0000066f: NOT 00000670: DUP4 00000671: AND 00000672: DUP2 00000673: OR 00000674: SWAP1 00000675: SWAP4 00000676: SSTORE 00000677: PUSH1 0x40 00000679: MLOAD 0000067a: SWAP2 0000067b: AND 0000067c: SWAP2 0000067d: SWAP1 0000067e: DUP3 0000067f: SWAP1 00000680: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000006a1: SWAP1 000006a2: PUSH1 0x00 000006a4: SWAP1 000006a5: LOG3 000006a6: POP 000006a7: POP 000006a8: JUMP 000006a9: JUMPDEST 000006aa: PUSH1 0x00 000006ac: DUP1 000006ad: SLOAD 000006ae: PUSH2 0x0100 000006b1: SWAP1 000006b2: DIV 000006b3: PUSH1 0xff 000006b5: AND 000006b6: ISZERO 000006b7: PUSH2 0x06f0 000006ba: JUMPI 000006bb: DUP2 000006bc: PUSH1 0xff 000006be: AND 000006bf: PUSH1 0x01 000006c1: EQ 000006c2: DUP1 000006c3: ISZERO 000006c4: PUSH2 0x06cc 000006c7: JUMPI 000006c8: POP 000006c9: ADDRESS 000006ca: EXTCODESIZE 000006cb: ISZERO 000006cc: JUMPDEST 000006cd: PUSH2 0x06e8 000006d0: JUMPI 000006d1: PUSH1 0x40 000006d3: MLOAD 000006d4: PUSH3 0x461bcd 000006d8: PUSH1 0xe5 000006da: SHL 000006db: DUP2 000006dc: MSTORE 000006dd: PUSH1 0x04 000006df: ADD 000006e0: PUSH2 0x039c 000006e3: SWAP1 000006e4: PUSH2 0x0a88 000006e7: JUMP 000006e8: JUMPDEST 000006e9: POP 000006ea: PUSH1 0x00 000006ec: SWAP2 000006ed: SWAP1 000006ee: POP 000006ef: JUMP 000006f0: JUMPDEST 000006f1: PUSH1 0x00 000006f3: SLOAD 000006f4: PUSH1 0xff 000006f6: DUP1 000006f7: DUP5 000006f8: AND 000006f9: SWAP2 000006fa: AND 000006fb: LT 000006fc: PUSH2 0x0717 000006ff: JUMPI 00000700: PUSH1 0x40 00000702: MLOAD 00000703: PUSH3 0x461bcd 00000707: PUSH1 0xe5 00000709: SHL 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x04 0000070e: ADD 0000070f: PUSH2 0x039c 00000712: SWAP1 00000713: PUSH2 0x0a88 00000716: JUMP 00000717: JUMPDEST 00000718: POP 00000719: PUSH1 0x00 0000071b: DUP1 0000071c: SLOAD 0000071d: PUSH1 0xff 0000071f: NOT 00000720: AND 00000721: PUSH1 0xff 00000723: SWAP3 00000724: SWAP1 00000725: SWAP3 00000726: AND 00000727: SWAP2 00000728: SWAP1 00000729: SWAP2 0000072a: OR 0000072b: SWAP1 0000072c: SSTORE 0000072d: PUSH1 0x01 0000072f: SWAP1 00000730: JUMP 00000731: JUMPDEST 00000732: SWAP2 00000733: SWAP1 00000734: POP 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH1 0x00 00000739: SLOAD 0000073a: PUSH2 0x0100 0000073d: SWAP1 0000073e: DIV 0000073f: PUSH1 0xff 00000741: AND 00000742: PUSH2 0x075d 00000745: JUMPI 00000746: PUSH1 0x40 00000748: MLOAD 00000749: PUSH3 0x461bcd 0000074d: PUSH1 0xe5 0000074f: SHL 00000750: DUP2 00000751: MSTORE 00000752: PUSH1 0x04 00000754: ADD 00000755: PUSH2 0x039c 00000758: SWAP1 00000759: PUSH2 0x0ad6 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH2 0x03af 00000761: PUSH2 0x08e1 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x00 00000768: SLOAD 00000769: PUSH2 0x0100 0000076c: SWAP1 0000076d: DIV 0000076e: PUSH1 0xff 00000770: AND 00000771: PUSH2 0x078c 00000774: JUMPI 00000775: PUSH1 0x40 00000777: MLOAD 00000778: PUSH3 0x461bcd 0000077c: PUSH1 0xe5 0000077e: SHL 0000077f: DUP2 00000780: MSTORE 00000781: PUSH1 0x04 00000783: ADD 00000784: PUSH2 0x039c 00000787: SWAP1 00000788: PUSH2 0x0ad6 0000078b: JUMP 0000078c: JUMPDEST 0000078d: PUSH2 0x03af 00000790: PUSH2 0x0911 00000793: JUMP 00000794: JUMPDEST 00000795: PUSH1 0x00 00000797: SLOAD 00000798: PUSH2 0x0100 0000079b: SWAP1 0000079c: DIV 0000079d: PUSH1 0xff 0000079f: AND 000007a0: PUSH2 0x07bb 000007a3: JUMPI 000007a4: PUSH1 0x40 000007a6: MLOAD 000007a7: PUSH3 0x461bcd 000007ab: PUSH1 0xe5 000007ad: SHL 000007ae: DUP2 000007af: MSTORE 000007b0: PUSH1 0x04 000007b2: ADD 000007b3: PUSH2 0x039c 000007b6: SWAP1 000007b7: PUSH2 0x0ad6 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH2 0x03af 000007bf: PUSH2 0x0944 000007c2: JUMP 000007c3: JUMPDEST 000007c4: DUP1 000007c5: SELFBALANCE 000007c6: LT 000007c7: ISZERO 000007c8: PUSH2 0x0813 000007cb: JUMPI 000007cc: PUSH1 0x40 000007ce: MLOAD 000007cf: PUSH3 0x461bcd 000007d3: PUSH1 0xe5 000007d5: SHL 000007d6: DUP2 000007d7: MSTORE 000007d8: PUSH1 0x20 000007da: PUSH1 0x04 000007dc: DUP3 000007dd: ADD 000007de: MSTORE 000007df: PUSH1 0x1d 000007e1: PUSH1 0x24 000007e3: DUP3 000007e4: ADD 000007e5: MSTORE 000007e6: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000807: PUSH1 0x44 00000809: DUP3 0000080a: ADD 0000080b: MSTORE 0000080c: PUSH1 0x64 0000080e: ADD 0000080f: PUSH2 0x039c 00000812: JUMP 00000813: JUMPDEST 00000814: PUSH1 0x00 00000816: DUP3 00000817: PUSH1 0x01 00000819: PUSH1 0x01 0000081b: PUSH1 0xa0 0000081d: SHL 0000081e: SUB 0000081f: AND 00000820: DUP3 00000821: PUSH1 0x40 00000823: MLOAD 00000824: PUSH1 0x00 00000826: PUSH1 0x40 00000828: MLOAD 00000829: DUP1 0000082a: DUP4 0000082b: SUB 0000082c: DUP2 0000082d: DUP6 0000082e: DUP8 0000082f: GAS 00000830: CALL 00000831: SWAP3 00000832: POP 00000833: POP 00000834: POP 00000835: RETURNDATASIZE 00000836: DUP1 00000837: PUSH1 0x00 00000839: DUP2 0000083a: EQ 0000083b: PUSH2 0x0860 0000083e: JUMPI 0000083f: PUSH1 0x40 00000841: MLOAD 00000842: SWAP2 00000843: POP 00000844: PUSH1 0x1f 00000846: NOT 00000847: PUSH1 0x3f 00000849: RETURNDATASIZE 0000084a: ADD 0000084b: AND 0000084c: DUP3 0000084d: ADD 0000084e: PUSH1 0x40 00000850: MSTORE 00000851: RETURNDATASIZE 00000852: DUP3 00000853: MSTORE 00000854: RETURNDATASIZE 00000855: PUSH1 0x00 00000857: PUSH1 0x20 00000859: DUP5 0000085a: ADD 0000085b: RETURNDATACOPY 0000085c: PUSH2 0x0865 0000085f: JUMP 00000860: JUMPDEST 00000861: PUSH1 0x60 00000863: SWAP2 00000864: POP 00000865: JUMPDEST 00000866: POP 00000867: POP 00000868: SWAP1 00000869: POP 0000086a: DUP1 0000086b: PUSH2 0x08dc 0000086e: JUMPI 0000086f: PUSH1 0x40 00000871: MLOAD 00000872: PUSH3 0x461bcd 00000876: PUSH1 0xe5 00000878: SHL 00000879: DUP2 0000087a: MSTORE 0000087b: PUSH1 0x20 0000087d: PUSH1 0x04 0000087f: DUP3 00000880: ADD 00000881: MSTORE 00000882: PUSH1 0x3a 00000884: PUSH1 0x24 00000886: DUP3 00000887: ADD 00000888: MSTORE 00000889: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 000008aa: PUSH1 0x44 000008ac: DUP3 000008ad: ADD 000008ae: MSTORE 000008af: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 000008d0: PUSH1 0x64 000008d2: DUP3 000008d3: ADD 000008d4: MSTORE 000008d5: PUSH1 0x84 000008d7: ADD 000008d8: PUSH2 0x039c 000008db: JUMP 000008dc: JUMPDEST 000008dd: POP 000008de: POP 000008df: POP 000008e0: JUMP 000008e1: JUMPDEST 000008e2: PUSH1 0x00 000008e4: SLOAD 000008e5: PUSH2 0x0100 000008e8: SWAP1 000008e9: DIV 000008ea: PUSH1 0xff 000008ec: AND 000008ed: PUSH2 0x0908 000008f0: JUMPI 000008f1: PUSH1 0x40 000008f3: MLOAD 000008f4: PUSH3 0x461bcd 000008f8: PUSH1 0xe5 000008fa: SHL 000008fb: DUP2 000008fc: MSTORE 000008fd: PUSH1 0x04 000008ff: ADD 00000900: PUSH2 0x039c 00000903: SWAP1 00000904: PUSH2 0x0ad6 00000907: JUMP 00000908: JUMPDEST 00000909: PUSH2 0x03af 0000090c: CALLER 0000090d: PUSH2 0x0657 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH1 0x00 00000914: SLOAD 00000915: PUSH2 0x0100 00000918: SWAP1 00000919: DIV 0000091a: PUSH1 0xff 0000091c: AND 0000091d: PUSH2 0x0938 00000920: JUMPI 00000921: PUSH1 0x40 00000923: MLOAD 00000924: PUSH3 0x461bcd 00000928: PUSH1 0xe5 0000092a: SHL 0000092b: DUP2 0000092c: MSTORE 0000092d: PUSH1 0x04 0000092f: ADD 00000930: PUSH2 0x039c 00000933: SWAP1 00000934: PUSH2 0x0ad6 00000937: JUMP 00000938: JUMPDEST 00000939: PUSH1 0x33 0000093b: DUP1 0000093c: SLOAD 0000093d: PUSH1 0xff 0000093f: NOT 00000940: AND 00000941: SWAP1 00000942: SSTORE 00000943: JUMP 00000944: JUMPDEST 00000945: PUSH1 0x00 00000947: SLOAD 00000948: PUSH2 0x0100 0000094b: SWAP1 0000094c: DIV 0000094d: PUSH1 0xff 0000094f: AND 00000950: PUSH2 0x096b 00000953: JUMPI 00000954: PUSH1 0x40 00000956: MLOAD 00000957: PUSH3 0x461bcd 0000095b: PUSH1 0xe5 0000095d: SHL 0000095e: DUP2 0000095f: MSTORE 00000960: PUSH1 0x04 00000962: ADD 00000963: PUSH2 0x039c 00000966: SWAP1 00000967: PUSH2 0x0ad6 0000096a: JUMP 0000096b: JUMPDEST 0000096c: PUSH1 0x01 0000096e: PUSH1 0x65 00000970: SSTORE 00000971: JUMP 00000972: JUMPDEST 00000973: PUSH1 0x00 00000975: PUSH1 0x20 00000977: DUP1 00000978: DUP4 00000979: MSTORE 0000097a: DUP4 0000097b: MLOAD 0000097c: DUP1 0000097d: DUP3 0000097e: DUP6 0000097f: ADD 00000980: MSTORE 00000981: PUSH1 0x00 00000983: JUMPDEST 00000984: DUP2 00000985: DUP2 00000986: LT 00000987: ISZERO 00000988: PUSH2 0x099f 0000098b: JUMPI 0000098c: DUP6 0000098d: DUP2 0000098e: ADD 0000098f: DUP4 00000990: ADD 00000991: MLOAD 00000992: DUP6 00000993: DUP3 00000994: ADD 00000995: PUSH1 0x40 00000997: ADD 00000998: MSTORE 00000999: DUP3 0000099a: ADD 0000099b: PUSH2 0x0983 0000099e: JUMP 0000099f: JUMPDEST 000009a0: DUP2 000009a1: DUP2 000009a2: GT 000009a3: ISZERO 000009a4: PUSH2 0x09b1 000009a7: JUMPI 000009a8: PUSH1 0x00 000009aa: PUSH1 0x40 000009ac: DUP4 000009ad: DUP8 000009ae: ADD 000009af: ADD 000009b0: MSTORE 000009b1: JUMPDEST 000009b2: POP 000009b3: PUSH1 0x1f 000009b5: ADD 000009b6: PUSH1 0x1f 000009b8: NOT 000009b9: AND 000009ba: SWAP3 000009bb: SWAP1 000009bc: SWAP3 000009bd: ADD 000009be: PUSH1 0x40 000009c0: ADD 000009c1: SWAP4 000009c2: SWAP3 000009c3: POP 000009c4: POP 000009c5: POP 000009c6: JUMP 000009c7: JUMPDEST 000009c8: DUP1 000009c9: CALLDATALOAD 000009ca: PUSH1 0x01 000009cc: PUSH1 0x01 000009ce: PUSH1 0xa0 000009d0: SHL 000009d1: SUB 000009d2: DUP2 000009d3: AND 000009d4: DUP2 000009d5: EQ 000009d6: PUSH2 0x0731 000009d9: JUMPI 000009da: PUSH1 0x00 000009dc: DUP1 000009dd: REVERT 000009de: JUMPDEST 000009df: PUSH1 0x00 000009e1: PUSH1 0x20 000009e3: DUP3 000009e4: DUP5 000009e5: SUB 000009e6: SLT 000009e7: ISZERO 000009e8: PUSH2 0x09f0 000009eb: JUMPI 000009ec: PUSH1 0x00 000009ee: DUP1 000009ef: REVERT 000009f0: JUMPDEST 000009f1: PUSH2 0x09f9 000009f4: DUP3 000009f5: PUSH2 0x09c7 000009f8: JUMP 000009f9: JUMPDEST 000009fa: SWAP4 000009fb: SWAP3 000009fc: POP 000009fd: POP 000009fe: POP 000009ff: JUMP 00000a00: JUMPDEST 00000a01: PUSH1 0x00 00000a03: PUSH1 0x20 00000a05: DUP3 00000a06: DUP5 00000a07: SUB 00000a08: SLT 00000a09: ISZERO 00000a0a: PUSH2 0x0a12 00000a0d: JUMPI 00000a0e: PUSH1 0x00 00000a10: DUP1 00000a11: REVERT 00000a12: JUMPDEST 00000a13: POP 00000a14: CALLDATALOAD 00000a15: SWAP2 00000a16: SWAP1 00000a17: POP 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: PUSH1 0x00 00000a1c: DUP1 00000a1d: PUSH1 0x40 00000a1f: DUP4 00000a20: DUP6 00000a21: SUB 00000a22: SLT 00000a23: ISZERO 00000a24: PUSH2 0x0a2c 00000a27: JUMPI 00000a28: PUSH1 0x00 00000a2a: DUP1 00000a2b: REVERT 00000a2c: JUMPDEST 00000a2d: PUSH2 0x0a35 00000a30: DUP4 00000a31: PUSH2 0x09c7 00000a34: JUMP 00000a35: JUMPDEST 00000a36: SWAP5 00000a37: PUSH1 0x20 00000a39: SWAP4 00000a3a: SWAP1 00000a3b: SWAP4 00000a3c: ADD 00000a3d: CALLDATALOAD 00000a3e: SWAP4 00000a3f: POP 00000a40: POP 00000a41: POP 00000a42: JUMP 00000a43: JUMPDEST 00000a44: PUSH4 0x4e487b71 00000a49: PUSH1 0xe0 00000a4b: SHL 00000a4c: PUSH1 0x00 00000a4e: MSTORE 00000a4f: PUSH1 0x11 00000a51: PUSH1 0x04 00000a53: MSTORE 00000a54: PUSH1 0x24 00000a56: PUSH1 0x00 00000a58: REVERT 00000a59: JUMPDEST 00000a5a: PUSH1 0x00 00000a5c: DUP3 00000a5d: NOT 00000a5e: DUP3 00000a5f: GT 00000a60: ISZERO 00000a61: PUSH2 0x0a6c 00000a64: JUMPI 00000a65: PUSH2 0x0a6c 00000a68: PUSH2 0x0a43 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: POP 00000a6e: ADD 00000a6f: SWAP1 00000a70: JUMP 00000a71: JUMPDEST 00000a72: PUSH1 0x00 00000a74: DUP3 00000a75: DUP3 00000a76: LT 00000a77: ISZERO 00000a78: PUSH2 0x0a83 00000a7b: JUMPI 00000a7c: PUSH2 0x0a83 00000a7f: PUSH2 0x0a43 00000a82: JUMP 00000a83: JUMPDEST 00000a84: POP 00000a85: SUB 00000a86: SWAP1 00000a87: JUMP 00000a88: JUMPDEST 00000a89: PUSH1 0x20 00000a8b: DUP1 00000a8c: DUP3 00000a8d: MSTORE 00000a8e: PUSH1 0x2e 00000a90: SWAP1 00000a91: DUP3 00000a92: ADD 00000a93: MSTORE 00000a94: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00000ab5: PUSH1 0x40 00000ab7: DUP3 00000ab8: ADD 00000ab9: MSTORE 00000aba: PUSH14 0x191e481a5b9a5d1a585b1a5e9959 00000ac9: PUSH1 0x92 00000acb: SHL 00000acc: PUSH1 0x60 00000ace: DUP3 00000acf: ADD 00000ad0: MSTORE 00000ad1: PUSH1 0x80 00000ad3: ADD 00000ad4: SWAP1 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH1 0x20 00000ad9: DUP1 00000ada: DUP3 00000adb: MSTORE 00000adc: PUSH1 0x2b 00000ade: SWAP1 00000adf: DUP3 00000ae0: ADD 00000ae1: MSTORE 00000ae2: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00000b03: PUSH1 0x40 00000b05: DUP3 00000b06: ADD 00000b07: MSTORE 00000b08: PUSH11 0x6e697469616c697a696e67 00000b14: PUSH1 0xa8 00000b16: SHL 00000b17: PUSH1 0x60 00000b19: DUP3 00000b1a: ADD 00000b1b: MSTORE 00000b1c: PUSH1 0x80 00000b1e: ADD 00000b1f: SWAP1 00000b20: JUMP 00000b21: INVALID 00000b22: LOG2 00000b23: PUSH5 0x6970667358 00000b29: UNKNOWN(0x22) 00000b2a: SLT 00000b2b: KECCAK256 00000b2c: UNKNOWN(0xAC) 00000b2d: CALLCODE 00000b2e: COINBASE 00000b2f: DUP14 00000b30: UNKNOWN(0xB5) 00000b31: MSIZE 00000b32: CHAINID 00000b33: SAR 00000b34: PC 00000b35: ADDRESS 00000b36: PUSH25 0x41ec71accf57dc01cac72260daa4979a58439001ba64736f6c 00000b50: PUSH4 0x4300080c 00000b55: STOP 00000b56: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x696664bbdb4a628e281f3312841a0aa3844f64e824fb8bab38af915dac71ab3c
call_targets:
0x9ca778c263cfae78a5f7d10f12e6be25cb3c5f8c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x696664bbdb4a628e281f3312841a0aa3844f64e824fb8bab38af915dac71ab3c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9ca778c263cfae78a5f7d10f12e6be25cb3c5f8c"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaad3ec96",
"selector": "0xaad3ec96",
"calldata_variants": [
"0xaad3ec96",
"0xaad3ec960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2096,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2861,
"opcode": "CALLCODE",
"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 |
viewtrace_id: 0x696664bbdb4a628e281f3312841a0aa3844f64e824fb8bab38af915dac71ab3c
call_targets:
0x9ca778c263cfae78a5f7d10f12e6be25cb3c5f8c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x696664bbdb4a628e281f3312841a0aa3844f64e824fb8bab38af915dac71ab3c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9ca778c263cfae78a5f7d10f12e6be25cb3c5f8c"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaad3ec96",
"selector": "0xaad3ec96",
"calldata_variants": [
"0xaad3ec96",
"0xaad3ec960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8129fc1c",
"selector": "0x8129fc1c",
"calldata_variants": [
"0x8129fc1c",
"0x8129fc1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2096,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2861,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|