14a6fac9-34c2-42da-b874-9beec57eba87
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 |
|---|---|---|---|---|
| 31103 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 76432 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 76433 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 76434 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 76435 | capability.graph | complete | 1 / 3 | 1 week ago |
| 76436 | detector.run | complete | 1 / 3 | 1 week ago |
| 76437 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:782938] OpenAI Codex v0.77.0 (research preview)
[codex:782938] --------
[codex:782938] workdir: /tmp/codex-multi-7p7rii17
[codex:782938] model: gpt-5.2-codex
[codex:782938] provider: openai
[codex:782938] approval: never
[codex:782938] sandbox: read-only
[codex:782938] reasoning effort: xhigh
[codex:782938] reasoning summaries: auto
[codex:782938] session id: 019b7ac3-5f7d-7421-b33f-618230933ffd
[codex:782938] --------
[codex:782938] user
[codex:782938] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:782938]
[codex:782938] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:782938]
[codex:782938] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:782938] - Gas inefficiency, code quality, naming, or best practices
[codex:782938] - Theoretical vulnerabilities without a clear extraction path
[codex:782938] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:782938] - Front-running unless it enables theft beyond MEV
[codex:782938] - DoS, griefing, or issues that don't result in attacker profit
[codex:782938] - Missing events, view function issues, or informational findings
[codex:782938]
[codex:782938] HIGH-VALUE PATTERNS TO HUNT:
[codex:782938] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:782938] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:782938] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:782938] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:782938] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:782938] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:782938] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:782938] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:782938] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:782938]
[codex:782938] For each finding, you MUST provide:
[codex:782938] 1. Exact file and line numbers of vulnerable code
[codex:782938] 2. Step-by-step exploit transaction sequence
[codex:782938] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:782938]
[codex:782938] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:782938]
[codex:782938] Output MUST be valid JSON matching the provided schema.
[codex:782938] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:782938] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:782938] mcp startup: no servers
[codex:782938]
[codex:782938] thinking
[codex:782938] **Searching for files with ripgrep**
[codex:782938] exec
[codex:782938] /bin/bash -lc ls in /tmp/codex-multi-7p7rii17 succeeded in 5ms:
[codex:782938] AUDIT_BUNDLE.txt
[codex:782938] codex-output-schema.json
[codex:782938] contracts
[codex:782938] exec
[codex:782938] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-7p7rii17 succeeded in 5ms:
[codex:782938] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:782938]
[codex:782938] ================================================================================
[codex:782938] FILE: contracts/contracts/pool/BlurPool.sol
[codex:782938] ================================================================================
[codex:782938] // SPDX-License-Identifier: MIT
[codex:782938] pragma solidity 0.8.17;
[codex:782938]
[codex:782938] import "lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/UUPSUpgradeable.sol";
[codex:782938] import "lib/openzeppelin-contracts-upgradeable/contracts/access/OwnableUpgradeable.sol";
[codex:782938]
[codex:782938] import "./interfaces/IBlurPool.sol";
[codex:782938]
[codex:782938] /**
[codex:782938] * @title BlurPool
[codex:782938] * @dev ETH pool; funds can only be transferred by Exchange, ExchangeV2, Swap or Blend
[codex:782938] */
[codex:782938] contract BlurPool is IBlurPool, OwnableUpgradeable, UUPSUpgradeable {
[codex:782938] address private immutable EXCHANGE;
[codex:782938] address private immutable EXCHANGE_V2;
[codex:782938]
[codex:782938] thinking
[codex:782938] **Analyzing potential exploits and initialization risks**
[codex:782938]
[codex:782938] I’m examining if the contract has any concrete exploit to extract value, focusing on reentrancy, access control, and uninitialized proxy risks. The unprotected initializer in the UUPS proxy pattern could be exploitable if left uninitialized, allowing an attacker to gain ownership and upgrade to malicious code. However, this depends on deployment errors and is not evident from the code alone. Other access controls seem sound, and no reentrancy or accounting bugs appear exploitable. Overall, I see no concrete exploit path here and will prepare a JSON indicating no findings per instructions.
[codex:782938] codex
[codex:782938] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided sources.","findings":[]}
[codex:782938] tokens used
[codex:782938] 7,332
[codex:782938] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided sources.","findings":[]}
{
"codex": {
"ran_at": "2026-01-01T18:13:30.546365+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path found in the provided sources.",
"raw_final": {
"summary": "No concrete, exploitable profit path found in the provided sources.",
"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 0x00f7 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70a08231 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9555a942 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9555a942 0000002f: EQ 00000030: PUSH2 0x02dd 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd0e30db0 0000003a: EQ 0000003b: PUSH2 0x02fd 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0305 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf340fa01 00000050: EQ 00000051: PUSH2 0x0325 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x70a08231 00000060: EQ 00000061: PUSH2 0x023b 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x715018a6 0000006b: EQ 0000006c: PUSH2 0x027e 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8129fc1c 00000076: EQ 00000077: PUSH2 0x0293 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x02a8 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x313ce567 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x313ce567 0000009c: EQ 0000009d: PUSH2 0x01d7 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x3659cfe6 000000a7: EQ 000000a8: PUSH2 0x01f3 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x4f1ef286 000000b2: EQ 000000b3: PUSH2 0x0213 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x52d1902d 000000bd: EQ 000000be: PUSH2 0x0226 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x06fdde03 000000cd: EQ 000000ce: PUSH2 0x010b 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x18160ddd 000000d8: EQ 000000d9: PUSH2 0x016a 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x23b872dd 000000e3: EQ 000000e4: PUSH2 0x0187 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x2e1a7d4d 000000ee: EQ 000000ef: PUSH2 0x01b7 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: CALLDATASIZE 000000f9: PUSH2 0x0106 000000fc: JUMPI 000000fd: PUSH2 0x0104 00000100: PUSH2 0x0338 00000103: JUMP 00000104: JUMPDEST 00000105: STOP 00000106: JUMPDEST 00000107: PUSH1 0x00 00000109: DUP1 0000010a: REVERT 0000010b: JUMPDEST 0000010c: CALLVALUE 0000010d: DUP1 0000010e: ISZERO 0000010f: PUSH2 0x0117 00000112: JUMPI 00000113: PUSH1 0x00 00000115: DUP1 00000116: REVERT 00000117: JUMPDEST 00000118: POP 00000119: PUSH2 0x0154 0000011c: PUSH1 0x40 0000011e: MLOAD 0000011f: DUP1 00000120: PUSH1 0x40 00000122: ADD 00000123: PUSH1 0x40 00000125: MSTORE 00000126: DUP1 00000127: PUSH1 0x09 00000129: DUP2 0000012a: MSTORE 0000012b: PUSH1 0x20 0000012d: ADD 0000012e: PUSH32 0x426c757220506f6f6c0000000000000000000000000000000000000000000000 0000014f: DUP2 00000150: MSTORE 00000151: POP 00000152: DUP2 00000153: JUMP 00000154: JUMPDEST 00000155: PUSH1 0x40 00000157: MLOAD 00000158: PUSH2 0x0161 0000015b: SWAP2 0000015c: SWAP1 0000015d: PUSH2 0x18bd 00000160: JUMP 00000161: JUMPDEST 00000162: PUSH1 0x40 00000164: MLOAD 00000165: DUP1 00000166: SWAP2 00000167: SUB 00000168: SWAP1 00000169: RETURN 0000016a: JUMPDEST 0000016b: CALLVALUE 0000016c: DUP1 0000016d: ISZERO 0000016e: PUSH2 0x0176 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: POP 00000178: SELFBALANCE 00000179: JUMPDEST 0000017a: PUSH1 0x40 0000017c: MLOAD 0000017d: SWAP1 0000017e: DUP2 0000017f: MSTORE 00000180: PUSH1 0x20 00000182: ADD 00000183: PUSH2 0x0161 00000186: JUMP 00000187: JUMPDEST 00000188: CALLVALUE 00000189: DUP1 0000018a: ISZERO 0000018b: PUSH2 0x0193 0000018e: JUMPI 0000018f: PUSH1 0x00 00000191: DUP1 00000192: REVERT 00000193: JUMPDEST 00000194: POP 00000195: PUSH2 0x01a7 00000198: PUSH2 0x01a2 0000019b: CALLDATASIZE 0000019c: PUSH1 0x04 0000019e: PUSH2 0x1937 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH2 0x0396 000001a6: JUMP 000001a7: JUMPDEST 000001a8: PUSH1 0x40 000001aa: MLOAD 000001ab: SWAP1 000001ac: ISZERO 000001ad: ISZERO 000001ae: DUP2 000001af: MSTORE 000001b0: PUSH1 0x20 000001b2: ADD 000001b3: PUSH2 0x0161 000001b6: JUMP 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: DUP1 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: POP 000001c5: PUSH2 0x0104 000001c8: PUSH2 0x01d2 000001cb: CALLDATASIZE 000001cc: PUSH1 0x04 000001ce: PUSH2 0x1973 000001d1: JUMP 000001d2: JUMPDEST 000001d3: PUSH2 0x0500 000001d6: JUMP 000001d7: JUMPDEST 000001d8: CALLVALUE 000001d9: DUP1 000001da: ISZERO 000001db: PUSH2 0x01e3 000001de: JUMPI 000001df: PUSH1 0x00 000001e1: DUP1 000001e2: REVERT 000001e3: JUMPDEST 000001e4: POP 000001e5: PUSH1 0x40 000001e7: MLOAD 000001e8: PUSH1 0x12 000001ea: DUP2 000001eb: MSTORE 000001ec: PUSH1 0x20 000001ee: ADD 000001ef: PUSH2 0x0161 000001f2: JUMP 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: DUP1 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH2 0x0104 00000204: PUSH2 0x020e 00000207: CALLDATASIZE 00000208: PUSH1 0x04 0000020a: PUSH2 0x198c 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH2 0x0646 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH2 0x0104 00000217: PUSH2 0x0221 0000021a: CALLDATASIZE 0000021b: PUSH1 0x04 0000021d: PUSH2 0x19d6 00000220: JUMP 00000221: JUMPDEST 00000222: PUSH2 0x0817 00000225: JUMP 00000226: JUMPDEST 00000227: CALLVALUE 00000228: DUP1 00000229: ISZERO 0000022a: PUSH2 0x0232 0000022d: JUMPI 0000022e: PUSH1 0x00 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: POP 00000234: PUSH2 0x0179 00000237: PUSH2 0x09d9 0000023a: JUMP 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: DUP1 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: PUSH2 0x0179 0000024c: PUSH2 0x0256 0000024f: CALLDATASIZE 00000250: PUSH1 0x04 00000252: PUSH2 0x198c 00000255: JUMP 00000256: JUMPDEST 00000257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026c: AND 0000026d: PUSH1 0x00 0000026f: SWAP1 00000270: DUP2 00000271: MSTORE 00000272: PUSH1 0xc9 00000274: PUSH1 0x20 00000276: MSTORE 00000277: PUSH1 0x40 00000279: SWAP1 0000027a: KECCAK256 0000027b: SLOAD 0000027c: SWAP1 0000027d: JUMP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x028a 00000285: JUMPI 00000286: PUSH1 0x00 00000288: DUP1 00000289: REVERT 0000028a: JUMPDEST 0000028b: POP 0000028c: PUSH2 0x0104 0000028f: PUSH2 0x0aab 00000292: JUMP 00000293: JUMPDEST 00000294: CALLVALUE 00000295: DUP1 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: PUSH2 0x0104 000002a4: PUSH2 0x0abf 000002a7: JUMP 000002a8: JUMPDEST 000002a9: CALLVALUE 000002aa: DUP1 000002ab: ISZERO 000002ac: PUSH2 0x02b4 000002af: JUMPI 000002b0: PUSH1 0x00 000002b2: DUP1 000002b3: REVERT 000002b4: JUMPDEST 000002b5: POP 000002b6: PUSH1 0x33 000002b8: SLOAD 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d1: SWAP1 000002d2: SWAP2 000002d3: AND 000002d4: DUP2 000002d5: MSTORE 000002d6: PUSH1 0x20 000002d8: ADD 000002d9: PUSH2 0x0161 000002dc: JUMP 000002dd: JUMPDEST 000002de: CALLVALUE 000002df: DUP1 000002e0: ISZERO 000002e1: PUSH2 0x02e9 000002e4: JUMPI 000002e5: PUSH1 0x00 000002e7: DUP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: POP 000002eb: PUSH2 0x0104 000002ee: PUSH2 0x02f8 000002f1: CALLDATASIZE 000002f2: PUSH1 0x04 000002f4: PUSH2 0x1937 000002f7: JUMP 000002f8: JUMPDEST 000002f9: PUSH2 0x0c36 000002fc: JUMP 000002fd: JUMPDEST 000002fe: PUSH2 0x0104 00000301: PUSH2 0x0338 00000304: JUMP 00000305: JUMPDEST 00000306: CALLVALUE 00000307: DUP1 00000308: ISZERO 00000309: PUSH2 0x0311 0000030c: JUMPI 0000030d: PUSH1 0x00 0000030f: DUP1 00000310: REVERT 00000311: JUMPDEST 00000312: POP 00000313: PUSH2 0x0104 00000316: PUSH2 0x0320 00000319: CALLDATASIZE 0000031a: PUSH1 0x04 0000031c: PUSH2 0x198c 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH2 0x0e8c 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH2 0x0104 00000329: PUSH2 0x0333 0000032c: CALLDATASIZE 0000032d: PUSH1 0x04 0000032f: PUSH2 0x198c 00000332: JUMP 00000333: JUMPDEST 00000334: PUSH2 0x0f26 00000337: JUMP 00000338: JUMPDEST 00000339: CALLER 0000033a: PUSH1 0x00 0000033c: SWAP1 0000033d: DUP2 0000033e: MSTORE 0000033f: PUSH1 0xc9 00000341: PUSH1 0x20 00000343: MSTORE 00000344: PUSH1 0x40 00000346: DUP2 00000347: KECCAK256 00000348: DUP1 00000349: SLOAD 0000034a: CALLVALUE 0000034b: SWAP3 0000034c: SWAP1 0000034d: PUSH2 0x0357 00000350: SWAP1 00000351: DUP5 00000352: SWAP1 00000353: PUSH2 0x1ab6 00000356: JUMP 00000357: JUMPDEST 00000358: SWAP1 00000359: SWAP2 0000035a: SSTORE 0000035b: POP 0000035c: POP 0000035d: PUSH1 0x40 0000035f: MLOAD 00000360: CALLVALUE 00000361: DUP2 00000362: MSTORE 00000363: CALLER 00000364: SWAP1 00000365: PUSH1 0x00 00000367: SWAP1 00000368: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000389: SWAP1 0000038a: PUSH1 0x20 0000038c: ADD 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: DUP1 00000391: SWAP2 00000392: SUB 00000393: SWAP1 00000394: LOG3 00000395: JUMP 00000396: JUMPDEST 00000397: PUSH1 0x00 00000399: CALLER 0000039a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003af: PUSH32 0x000000000000000000000000000000000000ad05ccc4f10045630fb830b95127 000003d0: AND 000003d1: EQ 000003d2: DUP1 000003d3: ISZERO 000003d4: SWAP1 000003d5: PUSH2 0x0414 000003d8: JUMPI 000003d9: POP 000003da: CALLER 000003db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f0: PUSH32 0x000000000000000000000000b2ecfe4e4d61f8790bbb9de2d1259b9e2410cea5 00000411: AND 00000412: EQ 00000413: ISZERO 00000414: JUMPDEST 00000415: DUP1 00000416: ISZERO 00000417: PUSH2 0x0456 0000041a: JUMPI 0000041b: POP 0000041c: CALLER 0000041d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000432: PUSH32 0x00000000000000000000000039da41747a83aee658334415666f3ef92dd0d541 00000453: AND 00000454: EQ 00000455: ISZERO 00000456: JUMPDEST 00000457: DUP1 00000458: ISZERO 00000459: PUSH2 0x0498 0000045c: JUMPI 0000045d: POP 0000045e: CALLER 0000045f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000474: PUSH32 0x00000000000000000000000029469395eaf6f95920e59f858042f0e28d98a20b 00000495: AND 00000496: EQ 00000497: ISZERO 00000498: JUMPDEST 00000499: ISZERO 0000049a: PUSH2 0x04ea 0000049d: JUMPI 0000049e: PUSH1 0x40 000004a0: MLOAD 000004a1: PUSH3 0x461bcd 000004a5: PUSH1 0xe5 000004a7: SHL 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x20 000004ac: PUSH1 0x04 000004ae: DUP3 000004af: ADD 000004b0: MSTORE 000004b1: PUSH1 0x15 000004b3: PUSH1 0x24 000004b5: DUP3 000004b6: ADD 000004b7: MSTORE 000004b8: PUSH32 0x556e617574686f72697a6564207472616e736665720000000000000000000000 000004d9: PUSH1 0x44 000004db: DUP3 000004dc: ADD 000004dd: MSTORE 000004de: PUSH1 0x64 000004e0: ADD 000004e1: JUMPDEST 000004e2: PUSH1 0x40 000004e4: MLOAD 000004e5: DUP1 000004e6: SWAP2 000004e7: SUB 000004e8: SWAP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: PUSH2 0x04f5 000004ee: DUP5 000004ef: DUP5 000004f0: DUP5 000004f1: PUSH2 0x107a 000004f4: JUMP 000004f5: JUMPDEST 000004f6: POP 000004f7: PUSH1 0x01 000004f9: JUMPDEST 000004fa: SWAP4 000004fb: SWAP3 000004fc: POP 000004fd: POP 000004fe: POP 000004ff: JUMP 00000500: JUMPDEST 00000501: CALLER 00000502: PUSH1 0x00 00000504: SWAP1 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0xc9 00000509: PUSH1 0x20 0000050b: MSTORE 0000050c: PUSH1 0x40 0000050e: SWAP1 0000050f: KECCAK256 00000510: SLOAD 00000511: DUP2 00000512: DUP2 00000513: LT 00000514: ISZERO 00000515: PUSH2 0x0560 00000518: JUMPI 00000519: PUSH1 0x40 0000051b: MLOAD 0000051c: PUSH3 0x461bcd 00000520: PUSH1 0xe5 00000522: SHL 00000523: DUP2 00000524: MSTORE 00000525: PUSH1 0x20 00000527: PUSH1 0x04 00000529: DUP3 0000052a: ADD 0000052b: MSTORE 0000052c: PUSH1 0x12 0000052e: PUSH1 0x24 00000530: DUP3 00000531: ADD 00000532: MSTORE 00000533: PUSH32 0x496e73756666696369656e742066756e64730000000000000000000000000000 00000554: PUSH1 0x44 00000556: DUP3 00000557: ADD 00000558: MSTORE 00000559: PUSH1 0x64 0000055b: ADD 0000055c: PUSH2 0x04e1 0000055f: JUMP 00000560: JUMPDEST 00000561: CALLER 00000562: PUSH1 0x00 00000564: DUP2 00000565: DUP2 00000566: MSTORE 00000567: PUSH1 0xc9 00000569: PUSH1 0x20 0000056b: MSTORE 0000056c: PUSH1 0x40 0000056e: DUP1 0000056f: DUP3 00000570: KECCAK256 00000571: DUP6 00000572: DUP6 00000573: SUB 00000574: SWAP1 00000575: SSTORE 00000576: MLOAD 00000577: SWAP1 00000578: SWAP2 00000579: SWAP1 0000057a: DUP5 0000057b: SWAP1 0000057c: DUP4 0000057d: DUP2 0000057e: DUP2 0000057f: DUP2 00000580: DUP6 00000581: DUP8 00000582: GAS 00000583: CALL 00000584: SWAP3 00000585: POP 00000586: POP 00000587: POP 00000588: RETURNDATASIZE 00000589: DUP1 0000058a: PUSH1 0x00 0000058c: DUP2 0000058d: EQ 0000058e: PUSH2 0x05b3 00000591: JUMPI 00000592: PUSH1 0x40 00000594: MLOAD 00000595: SWAP2 00000596: POP 00000597: PUSH1 0x1f 00000599: NOT 0000059a: PUSH1 0x3f 0000059c: RETURNDATASIZE 0000059d: ADD 0000059e: AND 0000059f: DUP3 000005a0: ADD 000005a1: PUSH1 0x40 000005a3: MSTORE 000005a4: RETURNDATASIZE 000005a5: DUP3 000005a6: MSTORE 000005a7: RETURNDATASIZE 000005a8: PUSH1 0x00 000005aa: PUSH1 0x20 000005ac: DUP5 000005ad: ADD 000005ae: RETURNDATACOPY 000005af: PUSH2 0x05b8 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH1 0x60 000005b6: SWAP2 000005b7: POP 000005b8: JUMPDEST 000005b9: POP 000005ba: POP 000005bb: SWAP1 000005bc: POP 000005bd: DUP1 000005be: PUSH2 0x0609 000005c1: JUMPI 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: PUSH3 0x461bcd 000005c9: PUSH1 0xe5 000005cb: SHL 000005cc: DUP2 000005cd: MSTORE 000005ce: PUSH1 0x20 000005d0: PUSH1 0x04 000005d2: DUP3 000005d3: ADD 000005d4: MSTORE 000005d5: PUSH1 0x0f 000005d7: PUSH1 0x24 000005d9: DUP3 000005da: ADD 000005db: MSTORE 000005dc: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 000005fd: PUSH1 0x44 000005ff: DUP3 00000600: ADD 00000601: MSTORE 00000602: PUSH1 0x64 00000604: ADD 00000605: PUSH2 0x04e1 00000608: JUMP 00000609: JUMPDEST 0000060a: PUSH1 0x40 0000060c: MLOAD 0000060d: DUP4 0000060e: DUP2 0000060f: MSTORE 00000610: PUSH1 0x00 00000612: SWAP1 00000613: CALLER 00000614: SWAP1 00000615: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000636: SWAP1 00000637: PUSH1 0x20 00000639: ADD 0000063a: PUSH1 0x40 0000063c: MLOAD 0000063d: DUP1 0000063e: SWAP2 0000063f: SUB 00000640: SWAP1 00000641: LOG3 00000642: POP 00000643: POP 00000644: POP 00000645: JUMP 00000646: JUMPDEST 00000647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065c: PUSH32 0x00000000000000000000000001a656024de4b89e2d0198bf4d468e8fd2358b17 0000067d: AND 0000067e: ADDRESS 0000067f: SUB 00000680: PUSH2 0x06f1 00000683: JUMPI 00000684: PUSH1 0x40 00000686: MLOAD 00000687: PUSH3 0x461bcd 0000068b: PUSH1 0xe5 0000068d: SHL 0000068e: DUP2 0000068f: MSTORE 00000690: PUSH1 0x20 00000692: PUSH1 0x04 00000694: DUP3 00000695: ADD 00000696: MSTORE 00000697: PUSH1 0x2c 00000699: PUSH1 0x24 0000069b: DUP3 0000069c: ADD 0000069d: MSTORE 0000069e: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 000006bf: PUSH1 0x44 000006c1: DUP3 000006c2: ADD 000006c3: MSTORE 000006c4: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000 000006e5: PUSH1 0x64 000006e7: DUP3 000006e8: ADD 000006e9: MSTORE 000006ea: PUSH1 0x84 000006ec: ADD 000006ed: PUSH2 0x04e1 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH32 0x00000000000000000000000001a656024de4b89e2d0198bf4d468e8fd2358b17 00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000728: AND 00000729: PUSH2 0x0766 0000072c: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000074d: SLOAD 0000074e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000763: AND 00000764: SWAP1 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077c: AND 0000077d: EQ 0000077e: PUSH2 0x07ef 00000781: JUMPI 00000782: PUSH1 0x40 00000784: MLOAD 00000785: PUSH3 0x461bcd 00000789: PUSH1 0xe5 0000078b: SHL 0000078c: DUP2 0000078d: MSTORE 0000078e: PUSH1 0x20 00000790: PUSH1 0x04 00000792: DUP3 00000793: ADD 00000794: MSTORE 00000795: PUSH1 0x2c 00000797: PUSH1 0x24 00000799: DUP3 0000079a: ADD 0000079b: MSTORE 0000079c: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 000007bd: PUSH1 0x44 000007bf: DUP3 000007c0: ADD 000007c1: MSTORE 000007c2: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000 000007e3: PUSH1 0x64 000007e5: DUP3 000007e6: ADD 000007e7: MSTORE 000007e8: PUSH1 0x84 000007ea: ADD 000007eb: PUSH2 0x04e1 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH2 0x07f8 000007f3: DUP2 000007f4: PUSH2 0x120b 000007f7: JUMP 000007f8: JUMPDEST 000007f9: PUSH1 0x40 000007fb: DUP1 000007fc: MLOAD 000007fd: PUSH1 0x00 000007ff: DUP1 00000800: DUP3 00000801: MSTORE 00000802: PUSH1 0x20 00000804: DUP3 00000805: ADD 00000806: SWAP1 00000807: SWAP3 00000808: MSTORE 00000809: PUSH2 0x0814 0000080c: SWAP2 0000080d: DUP4 0000080e: SWAP2 0000080f: SWAP1 00000810: PUSH2 0x1213 00000813: JUMP 00000814: JUMPDEST 00000815: POP 00000816: JUMP 00000817: JUMPDEST 00000818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082d: PUSH32 0x00000000000000000000000001a656024de4b89e2d0198bf4d468e8fd2358b17 0000084e: AND 0000084f: ADDRESS 00000850: SUB 00000851: PUSH2 0x08c2 00000854: JUMPI 00000855: PUSH1 0x40 00000857: MLOAD 00000858: PUSH3 0x461bcd 0000085c: PUSH1 0xe5 0000085e: SHL 0000085f: DUP2 00000860: MSTORE 00000861: PUSH1 0x20 00000863: PUSH1 0x04 00000865: DUP3 00000866: ADD 00000867: MSTORE 00000868: PUSH1 0x2c 0000086a: PUSH1 0x24 0000086c: DUP3 0000086d: ADD 0000086e: MSTORE 0000086f: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00000890: PUSH1 0x44 00000892: DUP3 00000893: ADD 00000894: MSTORE 00000895: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000 000008b6: PUSH1 0x64 000008b8: DUP3 000008b9: ADD 000008ba: MSTORE 000008bb: PUSH1 0x84 000008bd: ADD 000008be: PUSH2 0x04e1 000008c1: JUMP 000008c2: JUMPDEST 000008c3: PUSH32 0x00000000000000000000000001a656024de4b89e2d0198bf4d468e8fd2358b17 000008e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f9: AND 000008fa: PUSH2 0x0937 000008fd: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000091e: SLOAD 0000091f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000934: AND 00000935: SWAP1 00000936: JUMP 00000937: JUMPDEST 00000938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094d: AND 0000094e: EQ 0000094f: PUSH2 0x09c0 00000952: JUMPI 00000953: PUSH1 0x40 00000955: MLOAD 00000956: PUSH3 0x461bcd 0000095a: PUSH1 0xe5 0000095c: SHL 0000095d: DUP2 0000095e: MSTORE 0000095f: PUSH1 0x20 00000961: PUSH1 0x04 00000963: DUP3 00000964: ADD 00000965: MSTORE 00000966: PUSH1 0x2c 00000968: PUSH1 0x24 0000096a: DUP3 0000096b: ADD 0000096c: MSTORE 0000096d: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 0000098e: PUSH1 0x44 00000990: DUP3 00000991: ADD 00000992: MSTORE 00000993: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000 000009b4: PUSH1 0x64 000009b6: DUP3 000009b7: ADD 000009b8: MSTORE 000009b9: PUSH1 0x84 000009bb: ADD 000009bc: PUSH2 0x04e1 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH2 0x09c9 000009c4: DUP3 000009c5: PUSH2 0x120b 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH2 0x09d5 000009cd: DUP3 000009ce: DUP3 000009cf: PUSH1 0x01 000009d1: PUSH2 0x1213 000009d4: JUMP 000009d5: JUMPDEST 000009d6: POP 000009d7: POP 000009d8: JUMP 000009d9: JUMPDEST 000009da: PUSH1 0x00 000009dc: ADDRESS 000009dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f2: PUSH32 0x00000000000000000000000001a656024de4b89e2d0198bf4d468e8fd2358b17 00000a13: AND 00000a14: EQ 00000a15: PUSH2 0x0a86 00000a18: JUMPI 00000a19: PUSH1 0x40 00000a1b: MLOAD 00000a1c: PUSH3 0x461bcd 00000a20: PUSH1 0xe5 00000a22: SHL 00000a23: DUP2 00000a24: MSTORE 00000a25: PUSH1 0x20 00000a27: PUSH1 0x04 00000a29: DUP3 00000a2a: ADD 00000a2b: MSTORE 00000a2c: PUSH1 0x38 00000a2e: PUSH1 0x24 00000a30: DUP3 00000a31: ADD 00000a32: MSTORE 00000a33: PUSH32 0x555550535570677261646561626c653a206d757374206e6f742062652063616c 00000a54: PUSH1 0x44 00000a56: DUP3 00000a57: ADD 00000a58: MSTORE 00000a59: PUSH32 0x6c6564207468726f7567682064656c656761746563616c6c0000000000000000 00000a7a: PUSH1 0x64 00000a7c: DUP3 00000a7d: ADD 00000a7e: MSTORE 00000a7f: PUSH1 0x84 00000a81: ADD 00000a82: PUSH2 0x04e1 00000a85: JUMP 00000a86: JUMPDEST 00000a87: POP 00000a88: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000aa9: SWAP1 00000aaa: JUMP 00000aab: JUMPDEST 00000aac: PUSH2 0x0ab3 00000aaf: PUSH2 0x13e3 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: PUSH2 0x0abd 00000ab7: PUSH1 0x00 00000ab9: PUSH2 0x144a 00000abc: JUMP 00000abd: JUMPDEST 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: PUSH1 0x00 00000ac2: SLOAD 00000ac3: PUSH2 0x0100 00000ac6: SWAP1 00000ac7: DIV 00000ac8: PUSH1 0xff 00000aca: AND 00000acb: ISZERO 00000acc: DUP1 00000acd: DUP1 00000ace: ISZERO 00000acf: PUSH2 0x0adf 00000ad2: JUMPI 00000ad3: POP 00000ad4: PUSH1 0x00 00000ad6: SLOAD 00000ad7: PUSH1 0x01 00000ad9: PUSH1 0xff 00000adb: SWAP1 00000adc: SWAP2 00000add: AND 00000ade: LT 00000adf: JUMPDEST 00000ae0: DUP1 00000ae1: PUSH2 0x0af9 00000ae4: JUMPI 00000ae5: POP 00000ae6: ADDRESS 00000ae7: EXTCODESIZE 00000ae8: ISZERO 00000ae9: DUP1 00000aea: ISZERO 00000aeb: PUSH2 0x0af9 00000aee: JUMPI 00000aef: POP 00000af0: PUSH1 0x00 00000af2: SLOAD 00000af3: PUSH1 0xff 00000af5: AND 00000af6: PUSH1 0x01 00000af8: EQ 00000af9: JUMPDEST 00000afa: PUSH2 0x0b6b 00000afd: JUMPI 00000afe: PUSH1 0x40 00000b00: MLOAD 00000b01: PUSH3 0x461bcd 00000b05: PUSH1 0xe5 00000b07: SHL 00000b08: DUP2 00000b09: MSTORE 00000b0a: PUSH1 0x20 00000b0c: PUSH1 0x04 00000b0e: DUP3 00000b0f: ADD 00000b10: MSTORE 00000b11: PUSH1 0x2e 00000b13: PUSH1 0x24 00000b15: DUP3 00000b16: ADD 00000b17: MSTORE 00000b18: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00000b39: PUSH1 0x44 00000b3b: DUP3 00000b3c: ADD 00000b3d: MSTORE 00000b3e: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00000b5f: PUSH1 0x64 00000b61: DUP3 00000b62: ADD 00000b63: MSTORE 00000b64: PUSH1 0x84 00000b66: ADD 00000b67: PUSH2 0x04e1 00000b6a: JUMP 00000b6b: JUMPDEST 00000b6c: PUSH1 0x00 00000b6e: DUP1 00000b6f: SLOAD 00000b70: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000b91: AND 00000b92: PUSH1 0x01 00000b94: OR 00000b95: SWAP1 00000b96: SSTORE 00000b97: DUP1 00000b98: ISZERO 00000b99: PUSH2 0x0bc9 00000b9c: JUMPI 00000b9d: PUSH1 0x00 00000b9f: DUP1 00000ba0: SLOAD 00000ba1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00000bc2: AND 00000bc3: PUSH2 0x0100 00000bc6: OR 00000bc7: SWAP1 00000bc8: SSTORE 00000bc9: JUMPDEST 00000bca: PUSH2 0x0bd1 00000bcd: PUSH2 0x14c1 00000bd0: JUMP 00000bd1: JUMPDEST 00000bd2: DUP1 00000bd3: ISZERO 00000bd4: PUSH2 0x0814 00000bd7: JUMPI 00000bd8: PUSH1 0x00 00000bda: DUP1 00000bdb: SLOAD 00000bdc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00000bfd: AND 00000bfe: SWAP1 00000bff: SSTORE 00000c00: PUSH1 0x40 00000c02: MLOAD 00000c03: PUSH1 0x01 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000c28: SWAP1 00000c29: PUSH1 0x20 00000c2b: ADD 00000c2c: PUSH1 0x40 00000c2e: MLOAD 00000c2f: DUP1 00000c30: SWAP2 00000c31: SUB 00000c32: SWAP1 00000c33: LOG1 00000c34: POP 00000c35: JUMP 00000c36: JUMPDEST 00000c37: CALLER 00000c38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4d: PUSH32 0x00000000000000000000000029469395eaf6f95920e59f858042f0e28d98a20b 00000c6e: AND 00000c6f: EQ 00000c70: DUP1 00000c71: ISZERO 00000c72: SWAP1 00000c73: PUSH2 0x0cb2 00000c76: JUMPI 00000c77: POP 00000c78: CALLER 00000c79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8e: PUSH32 0x000000000000000000000000b2ecfe4e4d61f8790bbb9de2d1259b9e2410cea5 00000caf: AND 00000cb0: EQ 00000cb1: ISZERO 00000cb2: JUMPDEST 00000cb3: ISZERO 00000cb4: PUSH2 0x0cff 00000cb7: JUMPI 00000cb8: PUSH1 0x40 00000cba: MLOAD 00000cbb: PUSH3 0x461bcd 00000cbf: PUSH1 0xe5 00000cc1: SHL 00000cc2: DUP2 00000cc3: MSTORE 00000cc4: PUSH1 0x20 00000cc6: PUSH1 0x04 00000cc8: DUP3 00000cc9: ADD 00000cca: MSTORE 00000ccb: PUSH1 0x15 00000ccd: PUSH1 0x24 00000ccf: DUP3 00000cd0: ADD 00000cd1: MSTORE 00000cd2: PUSH32 0x556e617574686f72697a6564207472616e736665720000000000000000000000 00000cf3: PUSH1 0x44 00000cf5: DUP3 00000cf6: ADD 00000cf7: MSTORE 00000cf8: PUSH1 0x64 00000cfa: ADD 00000cfb: PUSH2 0x04e1 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d15: DUP4 00000d16: AND 00000d17: PUSH1 0x00 00000d19: SWAP1 00000d1a: DUP2 00000d1b: MSTORE 00000d1c: PUSH1 0xc9 00000d1e: PUSH1 0x20 00000d20: MSTORE 00000d21: PUSH1 0x40 00000d23: SWAP1 00000d24: KECCAK256 00000d25: SLOAD 00000d26: DUP2 00000d27: DUP2 00000d28: LT 00000d29: ISZERO 00000d2a: PUSH2 0x0d75 00000d2d: JUMPI 00000d2e: PUSH1 0x40 00000d30: MLOAD 00000d31: PUSH3 0x461bcd 00000d35: PUSH1 0xe5 00000d37: SHL 00000d38: DUP2 00000d39: MSTORE 00000d3a: PUSH1 0x20 00000d3c: PUSH1 0x04 00000d3e: DUP3 00000d3f: ADD 00000d40: MSTORE 00000d41: PUSH1 0x14 00000d43: PUSH1 0x24 00000d45: DUP3 00000d46: ADD 00000d47: MSTORE 00000d48: PUSH32 0x496e73756666696369656e742062616c616e6365000000000000000000000000 00000d69: PUSH1 0x44 00000d6b: DUP3 00000d6c: ADD 00000d6d: MSTORE 00000d6e: PUSH1 0x64 00000d70: ADD 00000d71: PUSH2 0x04e1 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8b: DUP5 00000d8c: DUP2 00000d8d: AND 00000d8e: PUSH1 0x00 00000d90: SWAP1 00000d91: DUP2 00000d92: MSTORE 00000d93: PUSH1 0xc9 00000d95: PUSH1 0x20 00000d97: MSTORE 00000d98: PUSH1 0x40 00000d9a: DUP1 00000d9b: DUP3 00000d9c: KECCAK256 00000d9d: DUP6 00000d9e: DUP6 00000d9f: SUB 00000da0: SWAP1 00000da1: SSTORE 00000da2: MLOAD 00000da3: SWAP1 00000da4: SWAP2 00000da5: DUP6 00000da6: AND 00000da7: SWAP1 00000da8: DUP5 00000da9: SWAP1 00000daa: DUP4 00000dab: DUP2 00000dac: DUP2 00000dad: DUP2 00000dae: DUP6 00000daf: DUP8 00000db0: GAS 00000db1: CALL 00000db2: SWAP3 00000db3: POP 00000db4: POP 00000db5: POP 00000db6: RETURNDATASIZE 00000db7: DUP1 00000db8: PUSH1 0x00 00000dba: DUP2 00000dbb: EQ 00000dbc: PUSH2 0x0de1 00000dbf: JUMPI 00000dc0: PUSH1 0x40 00000dc2: MLOAD 00000dc3: SWAP2 00000dc4: POP 00000dc5: PUSH1 0x1f 00000dc7: NOT 00000dc8: PUSH1 0x3f 00000dca: RETURNDATASIZE 00000dcb: ADD 00000dcc: AND 00000dcd: DUP3 00000dce: ADD 00000dcf: PUSH1 0x40 00000dd1: MSTORE 00000dd2: RETURNDATASIZE 00000dd3: DUP3 00000dd4: MSTORE 00000dd5: RETURNDATASIZE 00000dd6: PUSH1 0x00 00000dd8: PUSH1 0x20 00000dda: DUP5 00000ddb: ADD 00000ddc: RETURNDATACOPY 00000ddd: PUSH2 0x0de6 00000de0: JUMP 00000de1: JUMPDEST 00000de2: PUSH1 0x60 00000de4: SWAP2 00000de5: POP 00000de6: JUMPDEST 00000de7: POP 00000de8: POP 00000de9: SWAP1 00000dea: POP 00000deb: DUP1 00000dec: PUSH2 0x0e37 00000def: JUMPI 00000df0: PUSH1 0x40 00000df2: MLOAD 00000df3: PUSH3 0x461bcd 00000df7: PUSH1 0xe5 00000df9: SHL 00000dfa: DUP2 00000dfb: MSTORE 00000dfc: PUSH1 0x20 00000dfe: PUSH1 0x04 00000e00: DUP3 00000e01: ADD 00000e02: MSTORE 00000e03: PUSH1 0x0f 00000e05: PUSH1 0x24 00000e07: DUP3 00000e08: ADD 00000e09: MSTORE 00000e0a: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 00000e2b: PUSH1 0x44 00000e2d: DUP3 00000e2e: ADD 00000e2f: MSTORE 00000e30: PUSH1 0x64 00000e32: ADD 00000e33: PUSH2 0x04e1 00000e36: JUMP 00000e37: JUMPDEST 00000e38: PUSH1 0x40 00000e3a: MLOAD 00000e3b: DUP4 00000e3c: DUP2 00000e3d: MSTORE 00000e3e: PUSH1 0x00 00000e40: SWAP1 00000e41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e56: DUP8 00000e57: AND 00000e58: SWAP1 00000e59: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000e7a: SWAP1 00000e7b: PUSH1 0x20 00000e7d: ADD 00000e7e: PUSH1 0x40 00000e80: MLOAD 00000e81: DUP1 00000e82: SWAP2 00000e83: SUB 00000e84: SWAP1 00000e85: LOG3 00000e86: POP 00000e87: POP 00000e88: POP 00000e89: POP 00000e8a: POP 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH2 0x0e94 00000e90: PUSH2 0x13e3 00000e93: JUMP 00000e94: JUMPDEST 00000e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eaa: DUP2 00000eab: AND 00000eac: PUSH2 0x0f1d 00000eaf: JUMPI 00000eb0: PUSH1 0x40 00000eb2: MLOAD 00000eb3: PUSH3 0x461bcd 00000eb7: PUSH1 0xe5 00000eb9: SHL 00000eba: DUP2 00000ebb: MSTORE 00000ebc: PUSH1 0x20 00000ebe: PUSH1 0x04 00000ec0: DUP3 00000ec1: ADD 00000ec2: MSTORE 00000ec3: PUSH1 0x26 00000ec5: PUSH1 0x24 00000ec7: DUP3 00000ec8: ADD 00000ec9: MSTORE 00000eca: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000eeb: PUSH1 0x44 00000eed: DUP3 00000eee: ADD 00000eef: MSTORE 00000ef0: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000f11: PUSH1 0x64 00000f13: DUP3 00000f14: ADD 00000f15: MSTORE 00000f16: PUSH1 0x84 00000f18: ADD 00000f19: PUSH2 0x04e1 00000f1c: JUMP 00000f1d: JUMPDEST 00000f1e: PUSH2 0x0814 00000f21: DUP2 00000f22: PUSH2 0x144a 00000f25: JUMP 00000f26: JUMPDEST 00000f27: CALLER 00000f28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3d: PUSH32 0x00000000000000000000000029469395eaf6f95920e59f858042f0e28d98a20b 00000f5e: AND 00000f5f: EQ 00000f60: DUP1 00000f61: ISZERO 00000f62: SWAP1 00000f63: PUSH2 0x0fa2 00000f66: JUMPI 00000f67: POP 00000f68: CALLER 00000f69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7e: PUSH32 0x000000000000000000000000b2ecfe4e4d61f8790bbb9de2d1259b9e2410cea5 00000f9f: AND 00000fa0: EQ 00000fa1: ISZERO 00000fa2: JUMPDEST 00000fa3: ISZERO 00000fa4: PUSH2 0x0fef 00000fa7: JUMPI 00000fa8: PUSH1 0x40 00000faa: MLOAD 00000fab: PUSH3 0x461bcd 00000faf: PUSH1 0xe5 00000fb1: SHL 00000fb2: DUP2 00000fb3: MSTORE 00000fb4: PUSH1 0x20 00000fb6: PUSH1 0x04 00000fb8: DUP3 00000fb9: ADD 00000fba: MSTORE 00000fbb: PUSH1 0x14 00000fbd: PUSH1 0x24 00000fbf: DUP3 00000fc0: ADD 00000fc1: MSTORE 00000fc2: PUSH32 0x556e617574686f72697a6564206465706f736974000000000000000000000000 00000fe3: PUSH1 0x44 00000fe5: DUP3 00000fe6: ADD 00000fe7: MSTORE 00000fe8: PUSH1 0x64 00000fea: ADD 00000feb: PUSH2 0x04e1 00000fee: JUMP 00000fef: JUMPDEST 00000ff0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001005: DUP2 00001006: AND 00001007: PUSH1 0x00 00001009: SWAP1 0000100a: DUP2 0000100b: MSTORE 0000100c: PUSH1 0xc9 0000100e: PUSH1 0x20 00001010: MSTORE 00001011: PUSH1 0x40 00001013: DUP2 00001014: KECCAK256 00001015: DUP1 00001016: SLOAD 00001017: CALLVALUE 00001018: SWAP3 00001019: SWAP1 0000101a: PUSH2 0x1024 0000101d: SWAP1 0000101e: DUP5 0000101f: SWAP1 00001020: PUSH2 0x1ab6 00001023: JUMP 00001024: JUMPDEST 00001025: SWAP1 00001026: SWAP2 00001027: SSTORE 00001028: POP 00001029: POP 0000102a: PUSH1 0x40 0000102c: MLOAD 0000102d: CALLVALUE 0000102e: DUP2 0000102f: MSTORE 00001030: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001045: DUP3 00001046: AND 00001047: SWAP1 00001048: PUSH1 0x00 0000104a: SWAP1 0000104b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000106c: SWAP1 0000106d: PUSH1 0x20 0000106f: ADD 00001070: PUSH1 0x40 00001072: MLOAD 00001073: DUP1 00001074: SWAP2 00001075: SUB 00001076: SWAP1 00001077: LOG3 00001078: POP 00001079: JUMP 0000107a: JUMPDEST 0000107b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001090: DUP3 00001091: AND 00001092: PUSH2 0x10dd 00001095: JUMPI 00001096: PUSH1 0x40 00001098: MLOAD 00001099: PUSH3 0x461bcd 0000109d: PUSH1 0xe5 0000109f: SHL 000010a0: DUP2 000010a1: MSTORE 000010a2: PUSH1 0x20 000010a4: PUSH1 0x04 000010a6: DUP3 000010a7: ADD 000010a8: MSTORE 000010a9: PUSH1 0x1c 000010ab: PUSH1 0x24 000010ad: DUP3 000010ae: ADD 000010af: MSTORE 000010b0: PUSH32 0x43616e6e6f74207472616e7366657220746f2030206164647265737300000000 000010d1: PUSH1 0x44 000010d3: DUP3 000010d4: ADD 000010d5: MSTORE 000010d6: PUSH1 0x64 000010d8: ADD 000010d9: PUSH2 0x04e1 000010dc: JUMP 000010dd: JUMPDEST 000010de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f3: DUP4 000010f4: AND 000010f5: PUSH1 0x00 000010f7: SWAP1 000010f8: DUP2 000010f9: MSTORE 000010fa: PUSH1 0xc9 000010fc: PUSH1 0x20 000010fe: MSTORE 000010ff: PUSH1 0x40 00001101: SWAP1 00001102: KECCAK256 00001103: SLOAD 00001104: DUP2 00001105: DUP2 00001106: LT 00001107: ISZERO 00001108: PUSH2 0x1153 0000110b: JUMPI 0000110c: PUSH1 0x40 0000110e: MLOAD 0000110f: PUSH3 0x461bcd 00001113: PUSH1 0xe5 00001115: SHL 00001116: DUP2 00001117: MSTORE 00001118: PUSH1 0x20 0000111a: PUSH1 0x04 0000111c: DUP3 0000111d: ADD 0000111e: MSTORE 0000111f: PUSH1 0x14 00001121: PUSH1 0x24 00001123: DUP3 00001124: ADD 00001125: MSTORE 00001126: PUSH32 0x496e73756666696369656e742062616c616e6365000000000000000000000000 00001147: PUSH1 0x44 00001149: DUP3 0000114a: ADD 0000114b: MSTORE 0000114c: PUSH1 0x64 0000114e: ADD 0000114f: PUSH2 0x04e1 00001152: JUMP 00001153: JUMPDEST 00001154: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001169: DUP1 0000116a: DUP6 0000116b: AND 0000116c: PUSH1 0x00 0000116e: SWAP1 0000116f: DUP2 00001170: MSTORE 00001171: PUSH1 0xc9 00001173: PUSH1 0x20 00001175: MSTORE 00001176: PUSH1 0x40 00001178: DUP1 00001179: DUP3 0000117a: KECCAK256 0000117b: DUP6 0000117c: DUP6 0000117d: SUB 0000117e: SWAP1 0000117f: SSTORE 00001180: SWAP2 00001181: DUP6 00001182: AND 00001183: DUP2 00001184: MSTORE 00001185: SWAP1 00001186: DUP2 00001187: KECCAK256 00001188: DUP1 00001189: SLOAD 0000118a: DUP5 0000118b: SWAP3 0000118c: SWAP1 0000118d: PUSH2 0x1197 00001190: SWAP1 00001191: DUP5 00001192: SWAP1 00001193: PUSH2 0x1ab6 00001196: JUMP 00001197: JUMPDEST 00001198: SWAP3 00001199: POP 0000119a: POP 0000119b: DUP2 0000119c: SWAP1 0000119d: SSTORE 0000119e: POP 0000119f: DUP3 000011a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b5: AND 000011b6: DUP5 000011b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011cc: AND 000011cd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000011ee: DUP5 000011ef: PUSH1 0x40 000011f1: MLOAD 000011f2: PUSH2 0x11fd 000011f5: SWAP2 000011f6: DUP2 000011f7: MSTORE 000011f8: PUSH1 0x20 000011fa: ADD 000011fb: SWAP1 000011fc: JUMP 000011fd: JUMPDEST 000011fe: PUSH1 0x40 00001200: MLOAD 00001201: DUP1 00001202: SWAP2 00001203: SUB 00001204: SWAP1 00001205: LOG3 00001206: POP 00001207: POP 00001208: POP 00001209: POP 0000120a: JUMP 0000120b: JUMPDEST 0000120c: PUSH2 0x0814 0000120f: PUSH2 0x13e3 00001212: JUMP 00001213: JUMPDEST 00001214: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143 00001235: SLOAD 00001236: PUSH1 0xff 00001238: AND 00001239: ISZERO 0000123a: PUSH2 0x124b 0000123d: JUMPI 0000123e: PUSH2 0x1246 00001241: DUP4 00001242: PUSH2 0x1546 00001245: JUMP 00001246: JUMPDEST 00001247: POP 00001248: POP 00001249: POP 0000124a: JUMP 0000124b: JUMPDEST 0000124c: DUP3 0000124d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001262: AND 00001263: PUSH4 0x52d1902d 00001268: PUSH1 0x40 0000126a: MLOAD 0000126b: DUP2 0000126c: PUSH4 0xffffffff 00001271: AND 00001272: PUSH1 0xe0 00001274: SHL 00001275: DUP2 00001276: MSTORE 00001277: PUSH1 0x04 00001279: ADD 0000127a: PUSH1 0x20 0000127c: PUSH1 0x40 0000127e: MLOAD 0000127f: DUP1 00001280: DUP4 00001281: SUB 00001282: DUP2 00001283: DUP7 00001284: GAS 00001285: STATICCALL 00001286: SWAP3 00001287: POP 00001288: POP 00001289: POP 0000128a: DUP1 0000128b: ISZERO 0000128c: PUSH2 0x12d0 0000128f: JUMPI 00001290: POP 00001291: PUSH1 0x40 00001293: DUP1 00001294: MLOAD 00001295: PUSH1 0x1f 00001297: RETURNDATASIZE 00001298: SWAP1 00001299: DUP2 0000129a: ADD 0000129b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000012bc: AND 000012bd: DUP3 000012be: ADD 000012bf: SWAP1 000012c0: SWAP3 000012c1: MSTORE 000012c2: PUSH2 0x12cd 000012c5: SWAP2 000012c6: DUP2 000012c7: ADD 000012c8: SWAP1 000012c9: PUSH2 0x1af0 000012cc: JUMP 000012cd: JUMPDEST 000012ce: PUSH1 0x01 000012d0: JUMPDEST 000012d1: PUSH2 0x1342 000012d4: JUMPI 000012d5: PUSH1 0x40 000012d7: MLOAD 000012d8: PUSH3 0x461bcd 000012dc: PUSH1 0xe5 000012de: SHL 000012df: DUP2 000012e0: MSTORE 000012e1: PUSH1 0x20 000012e3: PUSH1 0x04 000012e5: DUP3 000012e6: ADD 000012e7: MSTORE 000012e8: PUSH1 0x2e 000012ea: PUSH1 0x24 000012ec: DUP3 000012ed: ADD 000012ee: MSTORE 000012ef: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469 00001310: PUSH1 0x44 00001312: DUP3 00001313: ADD 00001314: MSTORE 00001315: PUSH32 0x6f6e206973206e6f742055555053000000000000000000000000000000000000 00001336: PUSH1 0x64 00001338: DUP3 00001339: ADD 0000133a: MSTORE 0000133b: PUSH1 0x84 0000133d: ADD 0000133e: PUSH2 0x04e1 00001341: JUMP 00001342: JUMPDEST 00001343: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00001364: DUP2 00001365: EQ 00001366: PUSH2 0x13d7 00001369: JUMPI 0000136a: PUSH1 0x40 0000136c: MLOAD 0000136d: PUSH3 0x461bcd 00001371: PUSH1 0xe5 00001373: SHL 00001374: DUP2 00001375: MSTORE 00001376: PUSH1 0x20 00001378: PUSH1 0x04 0000137a: DUP3 0000137b: ADD 0000137c: MSTORE 0000137d: PUSH1 0x29 0000137f: PUSH1 0x24 00001381: DUP3 00001382: ADD 00001383: MSTORE 00001384: PUSH32 0x45524331393637557067726164653a20756e737570706f727465642070726f78 000013a5: PUSH1 0x44 000013a7: DUP3 000013a8: ADD 000013a9: MSTORE 000013aa: PUSH32 0x6961626c65555549440000000000000000000000000000000000000000000000 000013cb: PUSH1 0x64 000013cd: DUP3 000013ce: ADD 000013cf: MSTORE 000013d0: PUSH1 0x84 000013d2: ADD 000013d3: PUSH2 0x04e1 000013d6: JUMP 000013d7: JUMPDEST 000013d8: POP 000013d9: PUSH2 0x1246 000013dc: DUP4 000013dd: DUP4 000013de: DUP4 000013df: PUSH2 0x1636 000013e2: JUMP 000013e3: JUMPDEST 000013e4: PUSH1 0x33 000013e6: SLOAD 000013e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fc: AND 000013fd: CALLER 000013fe: EQ 000013ff: PUSH2 0x0abd 00001402: JUMPI 00001403: PUSH1 0x40 00001405: MLOAD 00001406: PUSH3 0x461bcd 0000140a: PUSH1 0xe5 0000140c: SHL 0000140d: DUP2 0000140e: MSTORE 0000140f: PUSH1 0x20 00001411: PUSH1 0x04 00001413: DUP3 00001414: ADD 00001415: DUP2 00001416: SWAP1 00001417: MSTORE 00001418: PUSH1 0x24 0000141a: DUP3 0000141b: ADD 0000141c: MSTORE 0000141d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000143e: PUSH1 0x44 00001440: DUP3 00001441: ADD 00001442: MSTORE 00001443: PUSH1 0x64 00001445: ADD 00001446: PUSH2 0x04e1 00001449: JUMP 0000144a: JUMPDEST 0000144b: PUSH1 0x33 0000144d: DUP1 0000144e: SLOAD 0000144f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001464: DUP4 00001465: DUP2 00001466: AND 00001467: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001488: DUP4 00001489: AND 0000148a: DUP2 0000148b: OR 0000148c: SWAP1 0000148d: SWAP4 0000148e: SSTORE 0000148f: PUSH1 0x40 00001491: MLOAD 00001492: SWAP2 00001493: AND 00001494: SWAP2 00001495: SWAP1 00001496: DUP3 00001497: SWAP1 00001498: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000014b9: SWAP1 000014ba: PUSH1 0x00 000014bc: SWAP1 000014bd: LOG3 000014be: POP 000014bf: POP 000014c0: JUMP 000014c1: JUMPDEST 000014c2: PUSH1 0x00 000014c4: SLOAD 000014c5: PUSH2 0x0100 000014c8: SWAP1 000014c9: DIV 000014ca: PUSH1 0xff 000014cc: AND 000014cd: PUSH2 0x153e 000014d0: JUMPI 000014d1: PUSH1 0x40 000014d3: MLOAD 000014d4: PUSH3 0x461bcd 000014d8: PUSH1 0xe5 000014da: SHL 000014db: DUP2 000014dc: MSTORE 000014dd: PUSH1 0x20 000014df: PUSH1 0x04 000014e1: DUP3 000014e2: ADD 000014e3: MSTORE 000014e4: PUSH1 0x2b 000014e6: PUSH1 0x24 000014e8: DUP3 000014e9: ADD 000014ea: MSTORE 000014eb: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 0000150c: PUSH1 0x44 0000150e: DUP3 0000150f: ADD 00001510: MSTORE 00001511: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 00001532: PUSH1 0x64 00001534: DUP3 00001535: ADD 00001536: MSTORE 00001537: PUSH1 0x84 00001539: ADD 0000153a: PUSH2 0x04e1 0000153d: JUMP 0000153e: JUMPDEST 0000153f: PUSH2 0x0abd 00001542: PUSH2 0x1661 00001545: JUMP 00001546: JUMPDEST 00001547: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155c: DUP2 0000155d: AND 0000155e: EXTCODESIZE 0000155f: PUSH2 0x15d0 00001562: JUMPI 00001563: PUSH1 0x40 00001565: MLOAD 00001566: PUSH3 0x461bcd 0000156a: PUSH1 0xe5 0000156c: SHL 0000156d: DUP2 0000156e: MSTORE 0000156f: PUSH1 0x20 00001571: PUSH1 0x04 00001573: DUP3 00001574: ADD 00001575: MSTORE 00001576: PUSH1 0x2d 00001578: PUSH1 0x24 0000157a: DUP3 0000157b: ADD 0000157c: MSTORE 0000157d: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 0000159e: PUSH1 0x44 000015a0: DUP3 000015a1: ADD 000015a2: MSTORE 000015a3: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000 000015c4: PUSH1 0x64 000015c6: DUP3 000015c7: ADD 000015c8: MSTORE 000015c9: PUSH1 0x84 000015cb: ADD 000015cc: PUSH2 0x04e1 000015cf: JUMP 000015d0: JUMPDEST 000015d1: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000015f2: DUP1 000015f3: SLOAD 000015f4: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001615: AND 00001616: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000162b: SWAP3 0000162c: SWAP1 0000162d: SWAP3 0000162e: AND 0000162f: SWAP2 00001630: SWAP1 00001631: SWAP2 00001632: OR 00001633: SWAP1 00001634: SSTORE 00001635: JUMP 00001636: JUMPDEST 00001637: PUSH2 0x163f 0000163a: DUP4 0000163b: PUSH2 0x16e7 0000163e: JUMP 0000163f: JUMPDEST 00001640: PUSH1 0x00 00001642: DUP3 00001643: MLOAD 00001644: GT 00001645: DUP1 00001646: PUSH2 0x164c 00001649: JUMPI 0000164a: POP 0000164b: DUP1 0000164c: JUMPDEST 0000164d: ISZERO 0000164e: PUSH2 0x1246 00001651: JUMPI 00001652: PUSH2 0x165b 00001655: DUP4 00001656: DUP4 00001657: PUSH2 0x1734 0000165a: JUMP 0000165b: JUMPDEST 0000165c: POP 0000165d: POP 0000165e: POP 0000165f: POP 00001660: JUMP 00001661: JUMPDEST 00001662: PUSH1 0x00 00001664: SLOAD 00001665: PUSH2 0x0100 00001668: SWAP1 00001669: DIV 0000166a: PUSH1 0xff 0000166c: AND 0000166d: PUSH2 0x16de 00001670: JUMPI 00001671: PUSH1 0x40 00001673: MLOAD 00001674: PUSH3 0x461bcd 00001678: PUSH1 0xe5 0000167a: SHL 0000167b: DUP2 0000167c: MSTORE 0000167d: PUSH1 0x20 0000167f: PUSH1 0x04 00001681: DUP3 00001682: ADD 00001683: MSTORE 00001684: PUSH1 0x2b 00001686: PUSH1 0x24 00001688: DUP3 00001689: ADD 0000168a: MSTORE 0000168b: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 000016ac: PUSH1 0x44 000016ae: DUP3 000016af: ADD 000016b0: MSTORE 000016b1: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 000016d2: PUSH1 0x64 000016d4: DUP3 000016d5: ADD 000016d6: MSTORE 000016d7: PUSH1 0x84 000016d9: ADD 000016da: PUSH2 0x04e1 000016dd: JUMP 000016de: JUMPDEST 000016df: PUSH2 0x0abd 000016e2: CALLER 000016e3: PUSH2 0x144a 000016e6: JUMP 000016e7: JUMPDEST 000016e8: PUSH2 0x16f0 000016eb: DUP2 000016ec: PUSH2 0x1546 000016ef: JUMP 000016f0: JUMPDEST 000016f1: PUSH1 0x40 000016f3: MLOAD 000016f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001709: DUP3 0000170a: AND 0000170b: SWAP1 0000170c: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 0000172d: SWAP1 0000172e: PUSH1 0x00 00001730: SWAP1 00001731: LOG2 00001732: POP 00001733: JUMP 00001734: JUMPDEST 00001735: PUSH1 0x60 00001737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000174c: DUP4 0000174d: AND 0000174e: EXTCODESIZE 0000174f: PUSH2 0x17c0 00001752: JUMPI 00001753: PUSH1 0x40 00001755: MLOAD 00001756: PUSH3 0x461bcd 0000175a: PUSH1 0xe5 0000175c: SHL 0000175d: DUP2 0000175e: MSTORE 0000175f: PUSH1 0x20 00001761: PUSH1 0x04 00001763: DUP3 00001764: ADD 00001765: MSTORE 00001766: PUSH1 0x26 00001768: PUSH1 0x24 0000176a: DUP3 0000176b: ADD 0000176c: MSTORE 0000176d: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f 0000178e: PUSH1 0x44 00001790: DUP3 00001791: ADD 00001792: MSTORE 00001793: PUSH32 0x6e74726163740000000000000000000000000000000000000000000000000000 000017b4: PUSH1 0x64 000017b6: DUP3 000017b7: ADD 000017b8: MSTORE 000017b9: PUSH1 0x84 000017bb: ADD 000017bc: PUSH2 0x04e1 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH1 0x00 000017c3: DUP1 000017c4: DUP5 000017c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017da: AND 000017db: DUP5 000017dc: PUSH1 0x40 000017de: MLOAD 000017df: PUSH2 0x17e8 000017e2: SWAP2 000017e3: SWAP1 000017e4: PUSH2 0x1b09 000017e7: JUMP 000017e8: JUMPDEST 000017e9: PUSH1 0x00 000017eb: PUSH1 0x40 000017ed: MLOAD 000017ee: DUP1 000017ef: DUP4 000017f0: SUB 000017f1: DUP2 000017f2: DUP6 000017f3: GAS 000017f4: DELEGATECALL 000017f5: SWAP2 000017f6: POP 000017f7: POP 000017f8: RETURNDATASIZE 000017f9: DUP1 000017fa: PUSH1 0x00 000017fc: DUP2 000017fd: EQ 000017fe: PUSH2 0x1823 00001801: JUMPI 00001802: PUSH1 0x40 00001804: MLOAD 00001805: SWAP2 00001806: POP 00001807: PUSH1 0x1f 00001809: NOT 0000180a: PUSH1 0x3f 0000180c: RETURNDATASIZE 0000180d: ADD 0000180e: AND 0000180f: DUP3 00001810: ADD 00001811: PUSH1 0x40 00001813: MSTORE 00001814: RETURNDATASIZE 00001815: DUP3 00001816: MSTORE 00001817: RETURNDATASIZE 00001818: PUSH1 0x00 0000181a: PUSH1 0x20 0000181c: DUP5 0000181d: ADD 0000181e: RETURNDATACOPY 0000181f: PUSH2 0x1828 00001822: JUMP 00001823: JUMPDEST 00001824: PUSH1 0x60 00001826: SWAP2 00001827: POP 00001828: JUMPDEST 00001829: POP 0000182a: SWAP2 0000182b: POP 0000182c: SWAP2 0000182d: POP 0000182e: PUSH2 0x1850 00001831: DUP3 00001832: DUP3 00001833: PUSH1 0x40 00001835: MLOAD 00001836: DUP1 00001837: PUSH1 0x60 00001839: ADD 0000183a: PUSH1 0x40 0000183c: MSTORE 0000183d: DUP1 0000183e: PUSH1 0x27 00001840: DUP2 00001841: MSTORE 00001842: PUSH1 0x20 00001844: ADD 00001845: PUSH2 0x1b26 00001848: PUSH1 0x27 0000184a: SWAP2 0000184b: CODECOPY 0000184c: PUSH2 0x185b 0000184f: JUMP 00001850: JUMPDEST 00001851: SWAP3 00001852: POP 00001853: POP 00001854: POP 00001855: JUMPDEST 00001856: SWAP3 00001857: SWAP2 00001858: POP 00001859: POP 0000185a: JUMP 0000185b: JUMPDEST 0000185c: PUSH1 0x60 0000185e: DUP4 0000185f: ISZERO 00001860: PUSH2 0x186a 00001863: JUMPI 00001864: POP 00001865: DUP2 00001866: PUSH2 0x04f9 00001869: JUMP 0000186a: JUMPDEST 0000186b: PUSH2 0x04f9 0000186e: DUP4 0000186f: DUP4 00001870: DUP2 00001871: MLOAD 00001872: ISZERO 00001873: PUSH2 0x187f 00001876: JUMPI 00001877: DUP2 00001878: MLOAD 00001879: DUP1 0000187a: DUP4 0000187b: PUSH1 0x20 0000187d: ADD 0000187e: REVERT 0000187f: JUMPDEST 00001880: DUP1 00001881: PUSH1 0x40 00001883: MLOAD 00001884: PUSH3 0x461bcd 00001888: PUSH1 0xe5 0000188a: SHL 0000188b: DUP2 0000188c: MSTORE 0000188d: PUSH1 0x04 0000188f: ADD 00001890: PUSH2 0x04e1 00001893: SWAP2 00001894: SWAP1 00001895: PUSH2 0x18bd 00001898: JUMP 00001899: JUMPDEST 0000189a: PUSH1 0x00 0000189c: JUMPDEST 0000189d: DUP4 0000189e: DUP2 0000189f: LT 000018a0: ISZERO 000018a1: PUSH2 0x18b4 000018a4: JUMPI 000018a5: DUP2 000018a6: DUP2 000018a7: ADD 000018a8: MLOAD 000018a9: DUP4 000018aa: DUP3 000018ab: ADD 000018ac: MSTORE 000018ad: PUSH1 0x20 000018af: ADD 000018b0: PUSH2 0x189c 000018b3: JUMP 000018b4: JUMPDEST 000018b5: POP 000018b6: POP 000018b7: PUSH1 0x00 000018b9: SWAP2 000018ba: ADD 000018bb: MSTORE 000018bc: JUMP 000018bd: JUMPDEST 000018be: PUSH1 0x20 000018c0: DUP2 000018c1: MSTORE 000018c2: PUSH1 0x00 000018c4: DUP3 000018c5: MLOAD 000018c6: DUP1 000018c7: PUSH1 0x20 000018c9: DUP5 000018ca: ADD 000018cb: MSTORE 000018cc: PUSH2 0x18dc 000018cf: DUP2 000018d0: PUSH1 0x40 000018d2: DUP6 000018d3: ADD 000018d4: PUSH1 0x20 000018d6: DUP8 000018d7: ADD 000018d8: PUSH2 0x1899 000018db: JUMP 000018dc: JUMPDEST 000018dd: PUSH1 0x1f 000018df: ADD 000018e0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001901: AND 00001902: SWAP2 00001903: SWAP1 00001904: SWAP2 00001905: ADD 00001906: PUSH1 0x40 00001908: ADD 00001909: SWAP3 0000190a: SWAP2 0000190b: POP 0000190c: POP 0000190d: JUMP 0000190e: JUMPDEST 0000190f: DUP1 00001910: CALLDATALOAD 00001911: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001926: DUP2 00001927: AND 00001928: DUP2 00001929: EQ 0000192a: PUSH2 0x1932 0000192d: JUMPI 0000192e: PUSH1 0x00 00001930: DUP1 00001931: REVERT 00001932: JUMPDEST 00001933: SWAP2 00001934: SWAP1 00001935: POP 00001936: JUMP 00001937: JUMPDEST 00001938: PUSH1 0x00 0000193a: DUP1 0000193b: PUSH1 0x00 0000193d: PUSH1 0x60 0000193f: DUP5 00001940: DUP7 00001941: SUB 00001942: SLT 00001943: ISZERO 00001944: PUSH2 0x194c 00001947: JUMPI 00001948: PUSH1 0x00 0000194a: DUP1 0000194b: REVERT 0000194c: JUMPDEST 0000194d: PUSH2 0x1955 00001950: DUP5 00001951: PUSH2 0x190e 00001954: JUMP 00001955: JUMPDEST 00001956: SWAP3 00001957: POP 00001958: PUSH2 0x1963 0000195b: PUSH1 0x20 0000195d: DUP6 0000195e: ADD 0000195f: PUSH2 0x190e 00001962: JUMP 00001963: JUMPDEST 00001964: SWAP2 00001965: POP 00001966: PUSH1 0x40 00001968: DUP5 00001969: ADD 0000196a: CALLDATALOAD 0000196b: SWAP1 0000196c: POP 0000196d: SWAP3 0000196e: POP 0000196f: SWAP3 00001970: POP 00001971: SWAP3 00001972: JUMP 00001973: JUMPDEST 00001974: PUSH1 0x00 00001976: PUSH1 0x20 00001978: DUP3 00001979: DUP5 0000197a: SUB 0000197b: SLT 0000197c: ISZERO 0000197d: PUSH2 0x1985 00001980: JUMPI 00001981: PUSH1 0x00 00001983: DUP1 00001984: REVERT 00001985: JUMPDEST 00001986: POP 00001987: CALLDATALOAD 00001988: SWAP2 00001989: SWAP1 0000198a: POP 0000198b: JUMP 0000198c: JUMPDEST 0000198d: PUSH1 0x00 0000198f: PUSH1 0x20 00001991: DUP3 00001992: DUP5 00001993: SUB 00001994: SLT 00001995: ISZERO 00001996: PUSH2 0x199e 00001999: JUMPI 0000199a: PUSH1 0x00 0000199c: DUP1 0000199d: REVERT 0000199e: JUMPDEST 0000199f: PUSH2 0x04f9 000019a2: DUP3 000019a3: PUSH2 0x190e 000019a6: JUMP 000019a7: JUMPDEST 000019a8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000019c9: PUSH1 0x00 000019cb: MSTORE 000019cc: PUSH1 0x41 000019ce: PUSH1 0x04 000019d0: MSTORE 000019d1: PUSH1 0x24 000019d3: PUSH1 0x00 000019d5: REVERT 000019d6: JUMPDEST 000019d7: PUSH1 0x00 000019d9: DUP1 000019da: PUSH1 0x40 000019dc: DUP4 000019dd: DUP6 000019de: SUB 000019df: SLT 000019e0: ISZERO 000019e1: PUSH2 0x19e9 000019e4: JUMPI 000019e5: PUSH1 0x00 000019e7: DUP1 000019e8: REVERT 000019e9: JUMPDEST 000019ea: PUSH2 0x19f2 000019ed: DUP4 000019ee: PUSH2 0x190e 000019f1: JUMP 000019f2: JUMPDEST 000019f3: SWAP2 000019f4: POP 000019f5: PUSH1 0x20 000019f7: DUP4 000019f8: ADD 000019f9: CALLDATALOAD 000019fa: PUSH8 0xffffffffffffffff 00001a03: DUP1 00001a04: DUP3 00001a05: GT 00001a06: ISZERO 00001a07: PUSH2 0x1a0f 00001a0a: JUMPI 00001a0b: PUSH1 0x00 00001a0d: DUP1 00001a0e: REVERT 00001a0f: JUMPDEST 00001a10: DUP2 00001a11: DUP6 00001a12: ADD 00001a13: SWAP2 00001a14: POP 00001a15: DUP6 00001a16: PUSH1 0x1f 00001a18: DUP4 00001a19: ADD 00001a1a: SLT 00001a1b: PUSH2 0x1a23 00001a1e: JUMPI 00001a1f: PUSH1 0x00 00001a21: DUP1 00001a22: REVERT 00001a23: JUMPDEST 00001a24: DUP2 00001a25: CALLDATALOAD 00001a26: DUP2 00001a27: DUP2 00001a28: GT 00001a29: ISZERO 00001a2a: PUSH2 0x1a35 00001a2d: JUMPI 00001a2e: PUSH2 0x1a35 00001a31: PUSH2 0x19a7 00001a34: JUMP 00001a35: JUMPDEST 00001a36: PUSH1 0x40 00001a38: MLOAD 00001a39: PUSH1 0x1f 00001a3b: DUP3 00001a3c: ADD 00001a3d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001a5e: SWAP1 00001a5f: DUP2 00001a60: AND 00001a61: PUSH1 0x3f 00001a63: ADD 00001a64: AND 00001a65: DUP2 00001a66: ADD 00001a67: SWAP1 00001a68: DUP4 00001a69: DUP3 00001a6a: GT 00001a6b: DUP2 00001a6c: DUP4 00001a6d: LT 00001a6e: OR 00001a6f: ISZERO 00001a70: PUSH2 0x1a7b 00001a73: JUMPI 00001a74: PUSH2 0x1a7b 00001a77: PUSH2 0x19a7 00001a7a: JUMP 00001a7b: JUMPDEST 00001a7c: DUP2 00001a7d: PUSH1 0x40 00001a7f: MSTORE 00001a80: DUP3 00001a81: DUP2 00001a82: MSTORE 00001a83: DUP9 00001a84: PUSH1 0x20 00001a86: DUP5 00001a87: DUP8 00001a88: ADD 00001a89: ADD 00001a8a: GT 00001a8b: ISZERO 00001a8c: PUSH2 0x1a94 00001a8f: JUMPI 00001a90: PUSH1 0x00 00001a92: DUP1 00001a93: REVERT 00001a94: JUMPDEST 00001a95: DUP3 00001a96: PUSH1 0x20 00001a98: DUP7 00001a99: ADD 00001a9a: PUSH1 0x20 00001a9c: DUP4 00001a9d: ADD 00001a9e: CALLDATACOPY 00001a9f: PUSH1 0x00 00001aa1: PUSH1 0x20 00001aa3: DUP5 00001aa4: DUP4 00001aa5: ADD 00001aa6: ADD 00001aa7: MSTORE 00001aa8: DUP1 00001aa9: SWAP6 00001aaa: POP 00001aab: POP 00001aac: POP 00001aad: POP 00001aae: POP 00001aaf: POP 00001ab0: SWAP3 00001ab1: POP 00001ab2: SWAP3 00001ab3: SWAP1 00001ab4: POP 00001ab5: JUMP 00001ab6: JUMPDEST 00001ab7: DUP1 00001ab8: DUP3 00001ab9: ADD 00001aba: DUP1 00001abb: DUP3 00001abc: GT 00001abd: ISZERO 00001abe: PUSH2 0x1855 00001ac1: JUMPI 00001ac2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001ae3: PUSH1 0x00 00001ae5: MSTORE 00001ae6: PUSH1 0x11 00001ae8: PUSH1 0x04 00001aea: MSTORE 00001aeb: PUSH1 0x24 00001aed: PUSH1 0x00 00001aef: REVERT 00001af0: JUMPDEST 00001af1: PUSH1 0x00 00001af3: PUSH1 0x20 00001af5: DUP3 00001af6: DUP5 00001af7: SUB 00001af8: SLT 00001af9: ISZERO 00001afa: PUSH2 0x1b02 00001afd: JUMPI 00001afe: PUSH1 0x00 00001b00: DUP1 00001b01: REVERT 00001b02: JUMPDEST 00001b03: POP 00001b04: MLOAD 00001b05: SWAP2 00001b06: SWAP1 00001b07: POP 00001b08: JUMP 00001b09: JUMPDEST 00001b0a: PUSH1 0x00 00001b0c: DUP3 00001b0d: MLOAD 00001b0e: PUSH2 0x1b1b 00001b11: DUP2 00001b12: DUP5 00001b13: PUSH1 0x20 00001b15: DUP8 00001b16: ADD 00001b17: PUSH2 0x1899 00001b1a: JUMP 00001b1b: JUMPDEST 00001b1c: SWAP2 00001b1d: SWAP1 00001b1e: SWAP2 00001b1f: ADD 00001b20: SWAP3 00001b21: SWAP2 00001b22: POP 00001b23: POP 00001b24: JUMP 00001b25: INVALID 00001b26: COINBASE 00001b27: PUSH5 0x6472657373 00001b2d: GASPRICE 00001b2e: KECCAK256 00001b2f: PUSH13 0x6f772d6c6576656c2064656c65 00001b3d: PUSH8 0x6174652063616c6c 00001b46: KECCAK256 00001b47: PUSH7 0x61696c6564a164 00001b4f: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x655d103a182e73f0c523a6fb35f03001aa5bc37a8812cfc38047e0ede79749d1
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x655d103a182e73f0c523a6fb35f03001aa5bc37a8812cfc38047e0ede79749d1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9555a942",
"selector": "0x9555a942",
"calldata_variants": [
"0x9555a942",
"0x9555a9420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6132,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 921,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 986,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1052,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1118,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3127,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3192,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3879,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3944,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x181165cf2b7da7b126b7586543d3cbfd3cc00e913b91a276d44c5bc8330aa3f0
call_targets:
0x01a656024de4b89e2d0198bf4d468e8fd2358b17
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x181165cf2b7da7b126b7586543d3cbfd3cc00e913b91a276d44c5bc8330aa3f0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x01a656024de4b89e2d0198bf4d468e8fd2358b17"
],
"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": "0x9555a942",
"selector": "0x9555a942",
"calldata_variants": [
"0x9555a942",
"0x9555a9420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1411,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3505,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 921,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 986,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1052,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1118,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3127,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3192,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3879,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3944,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x181165cf2b7da7b126b7586543d3cbfd3cc00e913b91a276d44c5bc8330aa3f0
call_targets:
0x01a656024de4b89e2d0198bf4d468e8fd2358b17
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x181165cf2b7da7b126b7586543d3cbfd3cc00e913b91a276d44c5bc8330aa3f0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x01a656024de4b89e2d0198bf4d468e8fd2358b17"
],
"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": "0x9555a942",
"selector": "0x9555a942",
"calldata_variants": [
"0x9555a942",
"0x9555a9420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1411,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3505,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 921,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 986,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1052,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1118,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3127,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3192,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3879,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3944,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|