d38c5715-7ce1-49fb-8c1f-da3657ed141f
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 |
|---|---|---|---|---|
| 31686 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 95539 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 95540 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 95541 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 95542 | capability.graph | complete | 1 / 3 | 1 week ago |
| 95543 | detector.run | complete | 1 / 3 | 1 week ago |
| 95544 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:415766] OpenAI Codex v0.77.0 (research preview)
[codex:415766] --------
[codex:415766] workdir: /tmp/codex-multi-nhquycqj
[codex:415766] model: gpt-5.2-codex
[codex:415766] provider: openai
[codex:415766] approval: never
[codex:415766] sandbox: read-only
[codex:415766] reasoning effort: xhigh
[codex:415766] reasoning summaries: auto
[codex:415766] session id: 019b8c6f-7542-7520-82ae-5b8288c6b0fd
[codex:415766] --------
[codex:415766] user
[codex:415766] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:415766]
[codex:415766] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:415766]
[codex:415766] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:415766] - Gas inefficiency, code quality, naming, or best practices
[codex:415766] - Theoretical vulnerabilities without a clear extraction path
[codex:415766] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:415766] - Front-running unless it enables theft beyond MEV
[codex:415766] - DoS, griefing, or issues that don't result in attacker profit
[codex:415766] - Missing events, view function issues, or informational findings
[codex:415766]
[codex:415766] HIGH-VALUE PATTERNS TO HUNT:
[codex:415766] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:415766] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:415766] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:415766] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:415766] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:415766] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:415766] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:415766] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:415766] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:415766]
[codex:415766] For each finding, you MUST provide:
[codex:415766] 1. Exact file and line numbers of vulnerable code
[codex:415766] 2. Step-by-step exploit transaction sequence
[codex:415766] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:415766]
[codex:415766] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:415766]
[codex:415766] Output MUST be valid JSON matching the provided schema.
[codex:415766] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:415766] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:415766] mcp startup: no servers
[codex:415766]
[codex:415766] thinking
[codex:415766] **Checking for skill usage instructions**
[codex:415766] exec
[codex:415766] /bin/bash -lc ls in /tmp/codex-multi-nhquycqj succeeded in 6ms:
[codex:415766] AUDIT_BUNDLE.txt
[codex:415766] codex-output-schema.json
[codex:415766] contracts
[codex:415766]
[codex:415766] thinking
[codex:415766] **Reading AUDIT_BUNDLE.txt**
[codex:415766] exec
[codex:415766] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-nhquycqj succeeded in 5ms:
[codex:415766] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:415766]
[codex:415766] ================================================================================
[codex:415766] FILE: contracts/Contract.sol
[codex:415766] ================================================================================
[codex:415766] // File: zeppelin-solidity/contracts/token/ERC20/ERC20Basic.sol
[codex:415766]
[codex:415766] pragma solidity ^0.4.24;
[codex:415766]
[codex:415766]
[codex:415766] /**
[codex:415766] * @title ERC20Basic
[codex:415766] * @dev Simpler version of ERC20 interface
[codex:415766] * See https://github.com/ethereum/EIPs/issues/179
[codex:415766] */
[codex:415766] contract ERC20Basic {
[codex:415766] function totalSupply() public view returns (uint256);
[codex:415766] function balanceOf(address who) public view returns (uint256);
[codex:415766] function transfer(address to, uint256 value) public returns (bool);
[codex:415766] event Transfer(address indexed from, address indexed to, uint256 value);
[codex:415766]
[codex:415766] thinking
[codex:415766] **Analyzing ERC20 token for exploits**
[codex:415766]
[codex:415766] I've thoroughly examined Contract.sol for any public functions that could let an attacker profit, focusing on minting, transferring, and controller privileges. Considering owner and controllers are secured and no unchecked paths like fallback abuses or visibility flaws appear, I find no exploit paths allowing unauthorized profit extraction. I'll produce a clean JSON output indicating no findings as per the user's guidelines.
[codex:415766] codex
[codex:415766] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` and did not find a concrete, exploitable path to extract value under the stated assumptions.","findings":[]}
[codex:415766] tokens used
[codex:415766] 7,048
[codex:415766] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` and did not find a concrete, exploitable path to extract value under the stated assumptions.","findings":[]}
{
"codex": {
"ran_at": "2026-01-05T04:35:02.538093+00:00",
"returncode": 0
},
"summary": "Reviewed `AUDIT_BUNDLE.txt` and did not find a concrete, exploitable path to extract value under the stated assumptions.",
"raw_final": {
"summary": "Reviewed `AUDIT_BUNDLE.txt` and did not find a concrete, exploitable path to extract value under the stated assumptions.",
"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 0x0153 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x048e62ca 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0155 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x05d2035b 00000046: EQ 00000047: PUSH2 0x01a1 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x06fdde03 00000051: EQ 00000052: PUSH2 0x01b6 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x095ea7b3 0000005c: EQ 0000005d: PUSH2 0x0240 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x12414198 00000067: EQ 00000068: PUSH2 0x0271 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x18160ddd 00000072: EQ 00000073: PUSH2 0x02af 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x1cc1472d 0000007d: EQ 0000007e: PUSH2 0x02d6 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x23b872dd 00000088: EQ 00000089: PUSH2 0x0307 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x313ce567 00000093: EQ 00000094: PUSH2 0x033e 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x40c10f19 0000009e: EQ 0000009f: PUSH2 0x0369 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x42966c68 000000a9: EQ 000000aa: PUSH2 0x039a 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x66188463 000000b4: EQ 000000b5: PUSH2 0x03b2 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x70a08231 000000bf: EQ 000000c0: PUSH2 0x03e3 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x715018a6 000000ca: EQ 000000cb: PUSH2 0x0411 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x7d64bcb4 000000d5: EQ 000000d6: PUSH2 0x0426 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x8a56a226 000000e0: EQ 000000e1: PUSH2 0x043b 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x8da5cb5b 000000eb: EQ 000000ec: PUSH2 0x0469 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x95d89b41 000000f6: EQ 000000f7: PUSH2 0x047e 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x9dc29fac 00000101: EQ 00000102: PUSH2 0x0493 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xa89b55da 0000010c: EQ 0000010d: PUSH2 0x04c4 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xa9059cbb 00000117: EQ 00000118: PUSH2 0x04d9 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xa91cf1c5 00000122: EQ 00000123: PUSH2 0x050a 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xc863bac1 0000012d: EQ 0000012e: PUSH2 0x0538 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xd73dd623 00000138: EQ 00000139: PUSH2 0x0570 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xdd62ed3e 00000143: EQ 00000144: PUSH2 0x05a1 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xf2fde38b 0000014e: EQ 0000014f: PUSH2 0x05d5 00000152: JUMPI 00000153: JUMPDEST 00000154: STOP 00000155: JUMPDEST 00000156: CALLVALUE 00000157: DUP1 00000158: ISZERO 00000159: PUSH2 0x0161 0000015c: JUMPI 0000015d: PUSH1 0x00 0000015f: DUP1 00000160: REVERT 00000161: JUMPDEST 00000162: POP 00000163: PUSH2 0x018d 00000166: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000017b: PUSH1 0x04 0000017d: CALLDATALOAD 0000017e: DUP2 0000017f: AND 00000180: SWAP1 00000181: PUSH1 0x24 00000183: CALLDATALOAD 00000184: SWAP1 00000185: PUSH1 0x44 00000187: CALLDATALOAD 00000188: AND 00000189: PUSH2 0x0603 0000018c: JUMP 0000018d: JUMPDEST 0000018e: PUSH1 0x40 00000190: DUP1 00000191: MLOAD 00000192: SWAP2 00000193: ISZERO 00000194: ISZERO 00000195: DUP3 00000196: MSTORE 00000197: MLOAD 00000198: SWAP1 00000199: DUP2 0000019a: SWAP1 0000019b: SUB 0000019c: PUSH1 0x20 0000019e: ADD 0000019f: SWAP1 000001a0: RETURN 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01ad 000001a8: JUMPI 000001a9: PUSH1 0x00 000001ab: DUP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: POP 000001af: PUSH2 0x018d 000001b2: PUSH2 0x07f2 000001b5: JUMP 000001b6: JUMPDEST 000001b7: CALLVALUE 000001b8: DUP1 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH2 0x01cb 000001c7: PUSH2 0x0814 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: DUP1 000001cf: MLOAD 000001d0: PUSH1 0x20 000001d2: DUP1 000001d3: DUP3 000001d4: MSTORE 000001d5: DUP4 000001d6: MLOAD 000001d7: DUP2 000001d8: DUP4 000001d9: ADD 000001da: MSTORE 000001db: DUP4 000001dc: MLOAD 000001dd: SWAP2 000001de: SWAP3 000001df: DUP4 000001e0: SWAP3 000001e1: SWAP1 000001e2: DUP4 000001e3: ADD 000001e4: SWAP2 000001e5: DUP6 000001e6: ADD 000001e7: SWAP1 000001e8: DUP1 000001e9: DUP4 000001ea: DUP4 000001eb: PUSH1 0x00 000001ed: JUMPDEST 000001ee: DUP4 000001ef: DUP2 000001f0: LT 000001f1: ISZERO 000001f2: PUSH2 0x0205 000001f5: JUMPI 000001f6: DUP2 000001f7: DUP2 000001f8: ADD 000001f9: MLOAD 000001fa: DUP4 000001fb: DUP3 000001fc: ADD 000001fd: MSTORE 000001fe: PUSH1 0x20 00000200: ADD 00000201: PUSH2 0x01ed 00000204: JUMP 00000205: JUMPDEST 00000206: POP 00000207: POP 00000208: POP 00000209: POP 0000020a: SWAP1 0000020b: POP 0000020c: SWAP1 0000020d: DUP2 0000020e: ADD 0000020f: SWAP1 00000210: PUSH1 0x1f 00000212: AND 00000213: DUP1 00000214: ISZERO 00000215: PUSH2 0x0232 00000218: JUMPI 00000219: DUP1 0000021a: DUP3 0000021b: SUB 0000021c: DUP1 0000021d: MLOAD 0000021e: PUSH1 0x01 00000220: DUP4 00000221: PUSH1 0x20 00000223: SUB 00000224: PUSH2 0x0100 00000227: EXP 00000228: SUB 00000229: NOT 0000022a: AND 0000022b: DUP2 0000022c: MSTORE 0000022d: PUSH1 0x20 0000022f: ADD 00000230: SWAP2 00000231: POP 00000232: JUMPDEST 00000233: POP 00000234: SWAP3 00000235: POP 00000236: POP 00000237: POP 00000238: PUSH1 0x40 0000023a: MLOAD 0000023b: DUP1 0000023c: SWAP2 0000023d: SUB 0000023e: SWAP1 0000023f: RETURN 00000240: JUMPDEST 00000241: CALLVALUE 00000242: DUP1 00000243: ISZERO 00000244: PUSH2 0x024c 00000247: JUMPI 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: POP 0000024e: PUSH2 0x018d 00000251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000266: PUSH1 0x04 00000268: CALLDATALOAD 00000269: AND 0000026a: PUSH1 0x24 0000026c: CALLDATALOAD 0000026d: PUSH2 0x08c0 00000270: JUMP 00000271: JUMPDEST 00000272: CALLVALUE 00000273: DUP1 00000274: ISZERO 00000275: PUSH2 0x027d 00000278: JUMPI 00000279: PUSH1 0x00 0000027b: DUP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: POP 0000027f: PUSH2 0x0286 00000282: PUSH2 0x0933 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH1 0x40 00000289: DUP1 0000028a: MLOAD 0000028b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a0: SWAP1 000002a1: SWAP3 000002a2: AND 000002a3: DUP3 000002a4: MSTORE 000002a5: MLOAD 000002a6: SWAP1 000002a7: DUP2 000002a8: SWAP1 000002a9: SUB 000002aa: PUSH1 0x20 000002ac: ADD 000002ad: SWAP1 000002ae: RETURN 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH2 0x02c4 000002c0: PUSH2 0x094f 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH1 0x40 000002c7: DUP1 000002c8: MLOAD 000002c9: SWAP2 000002ca: DUP3 000002cb: MSTORE 000002cc: MLOAD 000002cd: SWAP1 000002ce: DUP2 000002cf: SWAP1 000002d0: SUB 000002d1: PUSH1 0x20 000002d3: ADD 000002d4: SWAP1 000002d5: RETURN 000002d6: JUMPDEST 000002d7: CALLVALUE 000002d8: DUP1 000002d9: ISZERO 000002da: PUSH2 0x02e2 000002dd: JUMPI 000002de: PUSH1 0x00 000002e0: DUP1 000002e1: REVERT 000002e2: JUMPDEST 000002e3: POP 000002e4: PUSH2 0x0153 000002e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002fc: PUSH1 0x04 000002fe: CALLDATALOAD 000002ff: AND 00000300: PUSH1 0x24 00000302: CALLDATALOAD 00000303: PUSH2 0x0955 00000306: JUMP 00000307: JUMPDEST 00000308: CALLVALUE 00000309: DUP1 0000030a: ISZERO 0000030b: PUSH2 0x0313 0000030e: JUMPI 0000030f: PUSH1 0x00 00000311: DUP1 00000312: REVERT 00000313: JUMPDEST 00000314: POP 00000315: PUSH2 0x018d 00000318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000032d: PUSH1 0x04 0000032f: CALLDATALOAD 00000330: DUP2 00000331: AND 00000332: SWAP1 00000333: PUSH1 0x24 00000335: CALLDATALOAD 00000336: AND 00000337: PUSH1 0x44 00000339: CALLDATALOAD 0000033a: PUSH2 0x0a1a 0000033d: JUMP 0000033e: JUMPDEST 0000033f: CALLVALUE 00000340: DUP1 00000341: ISZERO 00000342: PUSH2 0x034a 00000345: JUMPI 00000346: PUSH1 0x00 00000348: DUP1 00000349: REVERT 0000034a: JUMPDEST 0000034b: POP 0000034c: PUSH2 0x0353 0000034f: PUSH2 0x0c49 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x40 00000356: DUP1 00000357: MLOAD 00000358: PUSH1 0xff 0000035a: SWAP1 0000035b: SWAP3 0000035c: AND 0000035d: DUP3 0000035e: MSTORE 0000035f: MLOAD 00000360: SWAP1 00000361: DUP2 00000362: SWAP1 00000363: SUB 00000364: PUSH1 0x20 00000366: ADD 00000367: SWAP1 00000368: RETURN 00000369: JUMPDEST 0000036a: CALLVALUE 0000036b: DUP1 0000036c: ISZERO 0000036d: PUSH2 0x0375 00000370: JUMPI 00000371: PUSH1 0x00 00000373: DUP1 00000374: REVERT 00000375: JUMPDEST 00000376: POP 00000377: PUSH2 0x018d 0000037a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038f: PUSH1 0x04 00000391: CALLDATALOAD 00000392: AND 00000393: PUSH1 0x24 00000395: CALLDATALOAD 00000396: PUSH2 0x0c52 00000399: JUMP 0000039a: JUMPDEST 0000039b: CALLVALUE 0000039c: DUP1 0000039d: ISZERO 0000039e: PUSH2 0x03a6 000003a1: JUMPI 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: REVERT 000003a6: JUMPDEST 000003a7: POP 000003a8: PUSH2 0x0153 000003ab: PUSH1 0x04 000003ad: CALLDATALOAD 000003ae: PUSH2 0x0ded 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x018d 000003c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d8: PUSH1 0x04 000003da: CALLDATALOAD 000003db: AND 000003dc: PUSH1 0x24 000003de: CALLDATALOAD 000003df: PUSH2 0x0df2 000003e2: JUMP 000003e3: JUMPDEST 000003e4: CALLVALUE 000003e5: DUP1 000003e6: ISZERO 000003e7: PUSH2 0x03ef 000003ea: JUMPI 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: REVERT 000003ef: JUMPDEST 000003f0: POP 000003f1: PUSH2 0x02c4 000003f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000409: PUSH1 0x04 0000040b: CALLDATALOAD 0000040c: AND 0000040d: PUSH2 0x0f16 00000410: JUMP 00000411: JUMPDEST 00000412: CALLVALUE 00000413: DUP1 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: POP 0000041f: PUSH2 0x0153 00000422: PUSH2 0x0f3e 00000425: JUMP 00000426: JUMPDEST 00000427: CALLVALUE 00000428: DUP1 00000429: ISZERO 0000042a: PUSH2 0x0432 0000042d: JUMPI 0000042e: PUSH1 0x00 00000430: DUP1 00000431: REVERT 00000432: JUMPDEST 00000433: POP 00000434: PUSH2 0x018d 00000437: PUSH2 0x0fda 0000043a: JUMP 0000043b: JUMPDEST 0000043c: CALLVALUE 0000043d: DUP1 0000043e: ISZERO 0000043f: PUSH2 0x0447 00000442: JUMPI 00000443: PUSH1 0x00 00000445: DUP1 00000446: REVERT 00000447: JUMPDEST 00000448: POP 00000449: PUSH2 0x0153 0000044c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000461: PUSH1 0x04 00000463: CALLDATALOAD 00000464: AND 00000465: PUSH2 0x109e 00000468: JUMP 00000469: JUMPDEST 0000046a: CALLVALUE 0000046b: DUP1 0000046c: ISZERO 0000046d: PUSH2 0x0475 00000470: JUMPI 00000471: PUSH1 0x00 00000473: DUP1 00000474: REVERT 00000475: JUMPDEST 00000476: POP 00000477: PUSH2 0x0286 0000047a: PUSH2 0x1130 0000047d: JUMP 0000047e: JUMPDEST 0000047f: CALLVALUE 00000480: DUP1 00000481: ISZERO 00000482: PUSH2 0x048a 00000485: JUMPI 00000486: PUSH1 0x00 00000488: DUP1 00000489: REVERT 0000048a: JUMPDEST 0000048b: POP 0000048c: PUSH2 0x01cb 0000048f: PUSH2 0x1151 00000492: JUMP 00000493: JUMPDEST 00000494: CALLVALUE 00000495: DUP1 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: POP 000004a1: PUSH2 0x0153 000004a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b9: PUSH1 0x04 000004bb: CALLDATALOAD 000004bc: AND 000004bd: PUSH1 0x24 000004bf: CALLDATALOAD 000004c0: PUSH2 0x11ca 000004c3: JUMP 000004c4: JUMPDEST 000004c5: CALLVALUE 000004c6: DUP1 000004c7: ISZERO 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: POP 000004d2: PUSH2 0x0286 000004d5: PUSH2 0x1247 000004d8: JUMP 000004d9: JUMPDEST 000004da: CALLVALUE 000004db: DUP1 000004dc: ISZERO 000004dd: PUSH2 0x04e5 000004e0: JUMPI 000004e1: PUSH1 0x00 000004e3: DUP1 000004e4: REVERT 000004e5: JUMPDEST 000004e6: POP 000004e7: PUSH2 0x018d 000004ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ff: PUSH1 0x04 00000501: CALLDATALOAD 00000502: AND 00000503: PUSH1 0x24 00000505: CALLDATALOAD 00000506: PUSH2 0x1263 00000509: JUMP 0000050a: JUMPDEST 0000050b: CALLVALUE 0000050c: DUP1 0000050d: ISZERO 0000050e: PUSH2 0x0516 00000511: JUMPI 00000512: PUSH1 0x00 00000514: DUP1 00000515: REVERT 00000516: JUMPDEST 00000517: POP 00000518: PUSH2 0x0153 0000051b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000530: PUSH1 0x04 00000532: CALLDATALOAD 00000533: AND 00000534: PUSH2 0x136b 00000537: JUMP 00000538: JUMPDEST 00000539: CALLVALUE 0000053a: DUP1 0000053b: ISZERO 0000053c: PUSH2 0x0544 0000053f: JUMPI 00000540: PUSH1 0x00 00000542: DUP1 00000543: REVERT 00000544: JUMPDEST 00000545: POP 00000546: PUSH2 0x018d 00000549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000055e: PUSH1 0x04 00000560: CALLDATALOAD 00000561: DUP2 00000562: AND 00000563: SWAP1 00000564: PUSH1 0x24 00000566: CALLDATALOAD 00000567: SWAP1 00000568: PUSH1 0x44 0000056a: CALLDATALOAD 0000056b: AND 0000056c: PUSH2 0x13fd 0000056f: JUMP 00000570: JUMPDEST 00000571: CALLVALUE 00000572: DUP1 00000573: ISZERO 00000574: PUSH2 0x057c 00000577: JUMPI 00000578: PUSH1 0x00 0000057a: DUP1 0000057b: REVERT 0000057c: JUMPDEST 0000057d: POP 0000057e: PUSH2 0x018d 00000581: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000596: PUSH1 0x04 00000598: CALLDATALOAD 00000599: AND 0000059a: PUSH1 0x24 0000059c: CALLDATALOAD 0000059d: PUSH2 0x1512 000005a0: JUMP 000005a1: JUMPDEST 000005a2: CALLVALUE 000005a3: DUP1 000005a4: ISZERO 000005a5: PUSH2 0x05ad 000005a8: JUMPI 000005a9: PUSH1 0x00 000005ab: DUP1 000005ac: REVERT 000005ad: JUMPDEST 000005ae: POP 000005af: PUSH2 0x02c4 000005b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c7: PUSH1 0x04 000005c9: CALLDATALOAD 000005ca: DUP2 000005cb: AND 000005cc: SWAP1 000005cd: PUSH1 0x24 000005cf: CALLDATALOAD 000005d0: AND 000005d1: PUSH2 0x15c5 000005d4: JUMP 000005d5: JUMPDEST 000005d6: CALLVALUE 000005d7: DUP1 000005d8: ISZERO 000005d9: PUSH2 0x05e1 000005dc: JUMPI 000005dd: PUSH1 0x00 000005df: DUP1 000005e0: REVERT 000005e1: JUMPDEST 000005e2: POP 000005e3: PUSH2 0x0153 000005e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fb: PUSH1 0x04 000005fd: CALLDATALOAD 000005fe: AND 000005ff: PUSH2 0x15fd 00000602: JUMP 00000603: JUMPDEST 00000604: PUSH1 0x07 00000606: SLOAD 00000607: PUSH1 0x00 00000609: SWAP1 0000060a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061f: AND 00000620: CALLER 00000621: EQ 00000622: DUP1 00000623: PUSH2 0x0643 00000626: JUMPI 00000627: POP 00000628: PUSH1 0x06 0000062a: SLOAD 0000062b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000640: AND 00000641: CALLER 00000642: EQ 00000643: JUMPDEST 00000644: DUP1 00000645: PUSH2 0x066a 00000648: JUMPI 00000649: POP 0000064a: PUSH1 0x05 0000064c: SLOAD 0000064d: PUSH2 0x0100 00000650: SWAP1 00000651: DIV 00000652: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000667: AND 00000668: CALLER 00000669: EQ 0000066a: JUMPDEST 0000066b: ISZERO 0000066c: ISZERO 0000066d: PUSH2 0x0675 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: PUSH1 0x40 00000678: DUP1 00000679: MLOAD 0000067a: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000069b: DUP2 0000069c: MSTORE 0000069d: ADDRESS 0000069e: PUSH1 0x04 000006a0: DUP3 000006a1: ADD 000006a2: MSTORE 000006a3: SWAP1 000006a4: MLOAD 000006a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ba: DUP5 000006bb: AND 000006bc: SWAP2 000006bd: PUSH4 0x70a08231 000006c2: SWAP2 000006c3: PUSH1 0x24 000006c5: DUP1 000006c6: DUP4 000006c7: ADD 000006c8: SWAP3 000006c9: PUSH1 0x20 000006cb: SWAP3 000006cc: SWAP2 000006cd: SWAP1 000006ce: DUP3 000006cf: SWAP1 000006d0: SUB 000006d1: ADD 000006d2: DUP2 000006d3: PUSH1 0x00 000006d5: DUP8 000006d6: DUP1 000006d7: EXTCODESIZE 000006d8: ISZERO 000006d9: DUP1 000006da: ISZERO 000006db: PUSH2 0x06e3 000006de: JUMPI 000006df: PUSH1 0x00 000006e1: DUP1 000006e2: REVERT 000006e3: JUMPDEST 000006e4: POP 000006e5: GAS 000006e6: CALL 000006e7: ISZERO 000006e8: DUP1 000006e9: ISZERO 000006ea: PUSH2 0x06f7 000006ed: JUMPI 000006ee: RETURNDATASIZE 000006ef: PUSH1 0x00 000006f1: DUP1 000006f2: RETURNDATACOPY 000006f3: RETURNDATASIZE 000006f4: PUSH1 0x00 000006f6: REVERT 000006f7: JUMPDEST 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: POP 000006fc: PUSH1 0x40 000006fe: MLOAD 000006ff: RETURNDATASIZE 00000700: PUSH1 0x20 00000702: DUP2 00000703: LT 00000704: ISZERO 00000705: PUSH2 0x070d 00000708: JUMPI 00000709: PUSH1 0x00 0000070b: DUP1 0000070c: REVERT 0000070d: JUMPDEST 0000070e: POP 0000070f: MLOAD 00000710: DUP4 00000711: GT 00000712: ISZERO 00000713: PUSH2 0x071b 00000716: JUMPI 00000717: PUSH1 0x00 00000719: DUP1 0000071a: REVERT 0000071b: JUMPDEST 0000071c: DUP2 0000071d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000732: AND 00000733: PUSH4 0xa9059cbb 00000738: DUP6 00000739: DUP6 0000073a: PUSH1 0x40 0000073c: MLOAD 0000073d: DUP4 0000073e: PUSH4 0xffffffff 00000743: AND 00000744: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000762: MUL 00000763: DUP2 00000764: MSTORE 00000765: PUSH1 0x04 00000767: ADD 00000768: DUP1 00000769: DUP4 0000076a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077f: AND 00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000795: AND 00000796: DUP2 00000797: MSTORE 00000798: PUSH1 0x20 0000079a: ADD 0000079b: DUP3 0000079c: DUP2 0000079d: MSTORE 0000079e: PUSH1 0x20 000007a0: ADD 000007a1: SWAP3 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: PUSH1 0x20 000007a7: PUSH1 0x40 000007a9: MLOAD 000007aa: DUP1 000007ab: DUP4 000007ac: SUB 000007ad: DUP2 000007ae: PUSH1 0x00 000007b0: DUP8 000007b1: DUP1 000007b2: EXTCODESIZE 000007b3: ISZERO 000007b4: DUP1 000007b5: ISZERO 000007b6: PUSH2 0x07be 000007b9: JUMPI 000007ba: PUSH1 0x00 000007bc: DUP1 000007bd: REVERT 000007be: JUMPDEST 000007bf: POP 000007c0: GAS 000007c1: CALL 000007c2: ISZERO 000007c3: DUP1 000007c4: ISZERO 000007c5: PUSH2 0x07d2 000007c8: JUMPI 000007c9: RETURNDATASIZE 000007ca: PUSH1 0x00 000007cc: DUP1 000007cd: RETURNDATACOPY 000007ce: RETURNDATASIZE 000007cf: PUSH1 0x00 000007d1: REVERT 000007d2: JUMPDEST 000007d3: POP 000007d4: POP 000007d5: POP 000007d6: POP 000007d7: PUSH1 0x40 000007d9: MLOAD 000007da: RETURNDATASIZE 000007db: PUSH1 0x20 000007dd: DUP2 000007de: LT 000007df: ISZERO 000007e0: PUSH2 0x07e8 000007e3: JUMPI 000007e4: PUSH1 0x00 000007e6: DUP1 000007e7: REVERT 000007e8: JUMPDEST 000007e9: POP 000007ea: MLOAD 000007eb: SWAP5 000007ec: SWAP4 000007ed: POP 000007ee: POP 000007ef: POP 000007f0: POP 000007f1: JUMP 000007f2: JUMPDEST 000007f3: PUSH1 0x05 000007f5: SLOAD 000007f6: PUSH22 0x01000000000000000000000000000000000000000000 0000080d: SWAP1 0000080e: DIV 0000080f: PUSH1 0xff 00000811: AND 00000812: DUP2 00000813: JUMP 00000814: JUMPDEST 00000815: PUSH1 0x03 00000817: DUP1 00000818: SLOAD 00000819: PUSH1 0x40 0000081b: DUP1 0000081c: MLOAD 0000081d: PUSH1 0x20 0000081f: PUSH1 0x02 00000821: PUSH1 0x01 00000823: DUP6 00000824: AND 00000825: ISZERO 00000826: PUSH2 0x0100 00000829: MUL 0000082a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000084b: ADD 0000084c: SWAP1 0000084d: SWAP5 0000084e: AND 0000084f: SWAP4 00000850: SWAP1 00000851: SWAP4 00000852: DIV 00000853: PUSH1 0x1f 00000855: DUP2 00000856: ADD 00000857: DUP5 00000858: SWAP1 00000859: DIV 0000085a: DUP5 0000085b: MUL 0000085c: DUP3 0000085d: ADD 0000085e: DUP5 0000085f: ADD 00000860: SWAP1 00000861: SWAP3 00000862: MSTORE 00000863: DUP2 00000864: DUP2 00000865: MSTORE 00000866: SWAP3 00000867: SWAP2 00000868: DUP4 00000869: ADD 0000086a: DUP3 0000086b: DUP3 0000086c: DUP1 0000086d: ISZERO 0000086e: PUSH2 0x08b8 00000871: JUMPI 00000872: DUP1 00000873: PUSH1 0x1f 00000875: LT 00000876: PUSH2 0x088d 00000879: JUMPI 0000087a: PUSH2 0x0100 0000087d: DUP1 0000087e: DUP4 0000087f: SLOAD 00000880: DIV 00000881: MUL 00000882: DUP4 00000883: MSTORE 00000884: SWAP2 00000885: PUSH1 0x20 00000887: ADD 00000888: SWAP2 00000889: PUSH2 0x08b8 0000088c: JUMP 0000088d: JUMPDEST 0000088e: DUP3 0000088f: ADD 00000890: SWAP2 00000891: SWAP1 00000892: PUSH1 0x00 00000894: MSTORE 00000895: PUSH1 0x20 00000897: PUSH1 0x00 00000899: KECCAK256 0000089a: SWAP1 0000089b: JUMPDEST 0000089c: DUP2 0000089d: SLOAD 0000089e: DUP2 0000089f: MSTORE 000008a0: SWAP1 000008a1: PUSH1 0x01 000008a3: ADD 000008a4: SWAP1 000008a5: PUSH1 0x20 000008a7: ADD 000008a8: DUP1 000008a9: DUP4 000008aa: GT 000008ab: PUSH2 0x089b 000008ae: JUMPI 000008af: DUP3 000008b0: SWAP1 000008b1: SUB 000008b2: PUSH1 0x1f 000008b4: AND 000008b5: DUP3 000008b6: ADD 000008b7: SWAP2 000008b8: JUMPDEST 000008b9: POP 000008ba: POP 000008bb: POP 000008bc: POP 000008bd: POP 000008be: DUP2 000008bf: JUMP 000008c0: JUMPDEST 000008c1: CALLER 000008c2: PUSH1 0x00 000008c4: DUP2 000008c5: DUP2 000008c6: MSTORE 000008c7: PUSH1 0x02 000008c9: PUSH1 0x20 000008cb: SWAP1 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x40 000008d0: DUP1 000008d1: DUP4 000008d2: KECCAK256 000008d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e8: DUP8 000008e9: AND 000008ea: DUP1 000008eb: DUP6 000008ec: MSTORE 000008ed: SWAP1 000008ee: DUP4 000008ef: MSTORE 000008f0: DUP2 000008f1: DUP5 000008f2: KECCAK256 000008f3: DUP7 000008f4: SWAP1 000008f5: SSTORE 000008f6: DUP2 000008f7: MLOAD 000008f8: DUP7 000008f9: DUP2 000008fa: MSTORE 000008fb: SWAP2 000008fc: MLOAD 000008fd: SWAP4 000008fe: SWAP5 000008ff: SWAP1 00000900: SWAP4 00000901: SWAP1 00000902: SWAP3 00000903: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000924: SWAP3 00000925: DUP3 00000926: SWAP1 00000927: SUB 00000928: ADD 00000929: SWAP1 0000092a: LOG3 0000092b: POP 0000092c: PUSH1 0x01 0000092e: SWAP3 0000092f: SWAP2 00000930: POP 00000931: POP 00000932: JUMP 00000933: JUMPDEST 00000934: PUSH1 0x06 00000936: SLOAD 00000937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094c: AND 0000094d: DUP2 0000094e: JUMP 0000094f: JUMPDEST 00000950: PUSH1 0x01 00000952: SLOAD 00000953: SWAP1 00000954: JUMP 00000955: JUMPDEST 00000956: PUSH1 0x07 00000958: SLOAD 00000959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096e: AND 0000096f: CALLER 00000970: EQ 00000971: DUP1 00000972: PUSH2 0x0992 00000975: JUMPI 00000976: POP 00000977: PUSH1 0x06 00000979: SLOAD 0000097a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098f: AND 00000990: CALLER 00000991: EQ 00000992: JUMPDEST 00000993: DUP1 00000994: PUSH2 0x09b9 00000997: JUMPI 00000998: POP 00000999: PUSH1 0x05 0000099b: SLOAD 0000099c: PUSH2 0x0100 0000099f: SWAP1 000009a0: DIV 000009a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b6: AND 000009b7: CALLER 000009b8: EQ 000009b9: JUMPDEST 000009ba: ISZERO 000009bb: ISZERO 000009bc: PUSH2 0x09c4 000009bf: JUMPI 000009c0: PUSH1 0x00 000009c2: DUP1 000009c3: REVERT 000009c4: JUMPDEST 000009c5: ADDRESS 000009c6: BALANCE 000009c7: DUP2 000009c8: GT 000009c9: ISZERO 000009ca: PUSH2 0x09d2 000009cd: JUMPI 000009ce: PUSH1 0x00 000009d0: DUP1 000009d1: REVERT 000009d2: JUMPDEST 000009d3: PUSH1 0x40 000009d5: MLOAD 000009d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009eb: DUP4 000009ec: AND 000009ed: SWAP1 000009ee: DUP3 000009ef: ISZERO 000009f0: PUSH2 0x08fc 000009f3: MUL 000009f4: SWAP1 000009f5: DUP4 000009f6: SWAP1 000009f7: PUSH1 0x00 000009f9: DUP2 000009fa: DUP2 000009fb: DUP2 000009fc: DUP6 000009fd: DUP9 000009fe: DUP9 000009ff: CALL 00000a00: SWAP4 00000a01: POP 00000a02: POP 00000a03: POP 00000a04: POP 00000a05: ISZERO 00000a06: DUP1 00000a07: ISZERO 00000a08: PUSH2 0x0a15 00000a0b: JUMPI 00000a0c: RETURNDATASIZE 00000a0d: PUSH1 0x00 00000a0f: DUP1 00000a10: RETURNDATACOPY 00000a11: RETURNDATASIZE 00000a12: PUSH1 0x00 00000a14: REVERT 00000a15: JUMPDEST 00000a16: POP 00000a17: POP 00000a18: POP 00000a19: JUMP 00000a1a: JUMPDEST 00000a1b: PUSH1 0x00 00000a1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a32: DUP4 00000a33: AND 00000a34: ISZERO 00000a35: ISZERO 00000a36: PUSH2 0x0a3e 00000a39: JUMPI 00000a3a: PUSH1 0x00 00000a3c: DUP1 00000a3d: REVERT 00000a3e: JUMPDEST 00000a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a54: DUP5 00000a55: AND 00000a56: PUSH1 0x00 00000a58: SWAP1 00000a59: DUP2 00000a5a: MSTORE 00000a5b: PUSH1 0x20 00000a5d: DUP2 00000a5e: SWAP1 00000a5f: MSTORE 00000a60: PUSH1 0x40 00000a62: SWAP1 00000a63: KECCAK256 00000a64: SLOAD 00000a65: DUP3 00000a66: GT 00000a67: ISZERO 00000a68: PUSH2 0x0a70 00000a6b: JUMPI 00000a6c: PUSH1 0x00 00000a6e: DUP1 00000a6f: REVERT 00000a70: JUMPDEST 00000a71: PUSH1 0x06 00000a73: SLOAD 00000a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a89: AND 00000a8a: CALLER 00000a8b: EQ 00000a8c: DUP1 00000a8d: ISZERO 00000a8e: SWAP1 00000a8f: PUSH2 0x0ab0 00000a92: JUMPI 00000a93: POP 00000a94: PUSH1 0x07 00000a96: SLOAD 00000a97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aac: AND 00000aad: CALLER 00000aae: EQ 00000aaf: ISZERO 00000ab0: JUMPDEST 00000ab1: ISZERO 00000ab2: PUSH2 0x0b65 00000ab5: JUMPI 00000ab6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acb: DUP5 00000acc: AND 00000acd: PUSH1 0x00 00000acf: SWAP1 00000ad0: DUP2 00000ad1: MSTORE 00000ad2: PUSH1 0x02 00000ad4: PUSH1 0x20 00000ad6: SWAP1 00000ad7: DUP2 00000ad8: MSTORE 00000ad9: PUSH1 0x40 00000adb: DUP1 00000adc: DUP4 00000add: KECCAK256 00000ade: CALLER 00000adf: DUP5 00000ae0: MSTORE 00000ae1: SWAP1 00000ae2: SWAP2 00000ae3: MSTORE 00000ae4: SWAP1 00000ae5: KECCAK256 00000ae6: SLOAD 00000ae7: DUP3 00000ae8: GT 00000ae9: ISZERO 00000aea: PUSH2 0x0af2 00000aed: JUMPI 00000aee: PUSH1 0x00 00000af0: DUP1 00000af1: REVERT 00000af2: JUMPDEST 00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b08: DUP5 00000b09: AND 00000b0a: PUSH1 0x00 00000b0c: SWAP1 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: PUSH1 0x02 00000b11: PUSH1 0x20 00000b13: SWAP1 00000b14: DUP2 00000b15: MSTORE 00000b16: PUSH1 0x40 00000b18: DUP1 00000b19: DUP4 00000b1a: KECCAK256 00000b1b: CALLER 00000b1c: DUP5 00000b1d: MSTORE 00000b1e: SWAP1 00000b1f: SWAP2 00000b20: MSTORE 00000b21: SWAP1 00000b22: KECCAK256 00000b23: SLOAD 00000b24: PUSH2 0x0b33 00000b27: SWAP1 00000b28: DUP4 00000b29: PUSH4 0xffffffff 00000b2e: PUSH2 0x1632 00000b31: AND 00000b32: JUMP 00000b33: JUMPDEST 00000b34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b49: DUP6 00000b4a: AND 00000b4b: PUSH1 0x00 00000b4d: SWAP1 00000b4e: DUP2 00000b4f: MSTORE 00000b50: PUSH1 0x02 00000b52: PUSH1 0x20 00000b54: SWAP1 00000b55: DUP2 00000b56: MSTORE 00000b57: PUSH1 0x40 00000b59: DUP1 00000b5a: DUP4 00000b5b: KECCAK256 00000b5c: CALLER 00000b5d: DUP5 00000b5e: MSTORE 00000b5f: SWAP1 00000b60: SWAP2 00000b61: MSTORE 00000b62: SWAP1 00000b63: KECCAK256 00000b64: SSTORE 00000b65: JUMPDEST 00000b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7b: DUP5 00000b7c: AND 00000b7d: PUSH1 0x00 00000b7f: SWAP1 00000b80: DUP2 00000b81: MSTORE 00000b82: PUSH1 0x20 00000b84: DUP2 00000b85: SWAP1 00000b86: MSTORE 00000b87: PUSH1 0x40 00000b89: SWAP1 00000b8a: KECCAK256 00000b8b: SLOAD 00000b8c: PUSH2 0x0b9b 00000b8f: SWAP1 00000b90: DUP4 00000b91: PUSH4 0xffffffff 00000b96: PUSH2 0x1632 00000b99: AND 00000b9a: JUMP 00000b9b: JUMPDEST 00000b9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb1: DUP1 00000bb2: DUP7 00000bb3: AND 00000bb4: PUSH1 0x00 00000bb6: SWAP1 00000bb7: DUP2 00000bb8: MSTORE 00000bb9: PUSH1 0x20 00000bbb: DUP2 00000bbc: SWAP1 00000bbd: MSTORE 00000bbe: PUSH1 0x40 00000bc0: DUP1 00000bc1: DUP3 00000bc2: KECCAK256 00000bc3: SWAP4 00000bc4: SWAP1 00000bc5: SWAP4 00000bc6: SSTORE 00000bc7: SWAP1 00000bc8: DUP6 00000bc9: AND 00000bca: DUP2 00000bcb: MSTORE 00000bcc: KECCAK256 00000bcd: SLOAD 00000bce: PUSH2 0x0bdd 00000bd1: SWAP1 00000bd2: DUP4 00000bd3: PUSH4 0xffffffff 00000bd8: PUSH2 0x1644 00000bdb: AND 00000bdc: JUMP 00000bdd: JUMPDEST 00000bde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf3: DUP1 00000bf4: DUP6 00000bf5: AND 00000bf6: PUSH1 0x00 00000bf8: DUP2 00000bf9: DUP2 00000bfa: MSTORE 00000bfb: PUSH1 0x20 00000bfd: DUP2 00000bfe: DUP2 00000bff: MSTORE 00000c00: PUSH1 0x40 00000c02: SWAP2 00000c03: DUP3 00000c04: SWAP1 00000c05: KECCAK256 00000c06: SWAP5 00000c07: SWAP1 00000c08: SWAP5 00000c09: SSTORE 00000c0a: DUP1 00000c0b: MLOAD 00000c0c: DUP7 00000c0d: DUP2 00000c0e: MSTORE 00000c0f: SWAP1 00000c10: MLOAD 00000c11: SWAP2 00000c12: SWAP4 00000c13: SWAP3 00000c14: DUP9 00000c15: AND 00000c16: SWAP3 00000c17: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000c38: SWAP3 00000c39: SWAP2 00000c3a: DUP3 00000c3b: SWAP1 00000c3c: SUB 00000c3d: ADD 00000c3e: SWAP1 00000c3f: LOG3 00000c40: POP 00000c41: PUSH1 0x01 00000c43: SWAP4 00000c44: SWAP3 00000c45: POP 00000c46: POP 00000c47: POP 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH1 0x05 00000c4c: SLOAD 00000c4d: PUSH1 0xff 00000c4f: AND 00000c50: DUP2 00000c51: JUMP 00000c52: JUMPDEST 00000c53: PUSH1 0x07 00000c55: SLOAD 00000c56: PUSH1 0x00 00000c58: SWAP1 00000c59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6e: AND 00000c6f: CALLER 00000c70: EQ 00000c71: DUP1 00000c72: PUSH2 0x0c92 00000c75: JUMPI 00000c76: POP 00000c77: PUSH1 0x06 00000c79: SLOAD 00000c7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8f: AND 00000c90: CALLER 00000c91: EQ 00000c92: JUMPDEST 00000c93: DUP1 00000c94: PUSH2 0x0cb9 00000c97: JUMPI 00000c98: POP 00000c99: PUSH1 0x05 00000c9b: SLOAD 00000c9c: PUSH2 0x0100 00000c9f: SWAP1 00000ca0: DIV 00000ca1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb6: AND 00000cb7: CALLER 00000cb8: EQ 00000cb9: JUMPDEST 00000cba: ISZERO 00000cbb: ISZERO 00000cbc: PUSH2 0x0cc4 00000cbf: JUMPI 00000cc0: PUSH1 0x00 00000cc2: DUP1 00000cc3: REVERT 00000cc4: JUMPDEST 00000cc5: PUSH1 0x05 00000cc7: SLOAD 00000cc8: PUSH22 0x01000000000000000000000000000000000000000000 00000cdf: SWAP1 00000ce0: DIV 00000ce1: PUSH1 0xff 00000ce3: AND 00000ce4: ISZERO 00000ce5: PUSH2 0x0ced 00000ce8: JUMPI 00000ce9: PUSH1 0x00 00000ceb: DUP1 00000cec: REVERT 00000ced: JUMPDEST 00000cee: PUSH1 0x01 00000cf0: SLOAD 00000cf1: PUSH2 0x0d00 00000cf4: SWAP1 00000cf5: DUP4 00000cf6: PUSH4 0xffffffff 00000cfb: PUSH2 0x1644 00000cfe: AND 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x01 00000d03: SSTORE 00000d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d19: DUP4 00000d1a: AND 00000d1b: PUSH1 0x00 00000d1d: SWAP1 00000d1e: DUP2 00000d1f: MSTORE 00000d20: PUSH1 0x20 00000d22: DUP2 00000d23: SWAP1 00000d24: MSTORE 00000d25: PUSH1 0x40 00000d27: SWAP1 00000d28: KECCAK256 00000d29: SLOAD 00000d2a: PUSH2 0x0d39 00000d2d: SWAP1 00000d2e: DUP4 00000d2f: PUSH4 0xffffffff 00000d34: PUSH2 0x1644 00000d37: AND 00000d38: JUMP 00000d39: JUMPDEST 00000d3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4f: DUP5 00000d50: AND 00000d51: PUSH1 0x00 00000d53: DUP2 00000d54: DUP2 00000d55: MSTORE 00000d56: PUSH1 0x20 00000d58: DUP2 00000d59: DUP2 00000d5a: MSTORE 00000d5b: PUSH1 0x40 00000d5d: SWAP2 00000d5e: DUP3 00000d5f: SWAP1 00000d60: KECCAK256 00000d61: SWAP4 00000d62: SWAP1 00000d63: SWAP4 00000d64: SSTORE 00000d65: DUP1 00000d66: MLOAD 00000d67: DUP6 00000d68: DUP2 00000d69: MSTORE 00000d6a: SWAP1 00000d6b: MLOAD 00000d6c: SWAP2 00000d6d: SWAP3 00000d6e: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885 00000d8f: SWAP3 00000d90: SWAP2 00000d91: DUP3 00000d92: SWAP1 00000d93: SUB 00000d94: ADD 00000d95: SWAP1 00000d96: LOG2 00000d97: PUSH1 0x40 00000d99: DUP1 00000d9a: MLOAD 00000d9b: DUP4 00000d9c: DUP2 00000d9d: MSTORE 00000d9e: SWAP1 00000d9f: MLOAD 00000da0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db5: DUP6 00000db6: AND 00000db7: SWAP2 00000db8: PUSH1 0x00 00000dba: SWAP2 00000dbb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000ddc: SWAP2 00000ddd: DUP2 00000dde: SWAP1 00000ddf: SUB 00000de0: PUSH1 0x20 00000de2: ADD 00000de3: SWAP1 00000de4: LOG3 00000de5: POP 00000de6: PUSH1 0x01 00000de8: SWAP3 00000de9: SWAP2 00000dea: POP 00000deb: POP 00000dec: JUMP 00000ded: JUMPDEST 00000dee: PUSH1 0x00 00000df0: DUP1 00000df1: REVERT 00000df2: JUMPDEST 00000df3: CALLER 00000df4: PUSH1 0x00 00000df6: SWAP1 00000df7: DUP2 00000df8: MSTORE 00000df9: PUSH1 0x02 00000dfb: PUSH1 0x20 00000dfd: SWAP1 00000dfe: DUP2 00000dff: MSTORE 00000e00: PUSH1 0x40 00000e02: DUP1 00000e03: DUP4 00000e04: KECCAK256 00000e05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1a: DUP7 00000e1b: AND 00000e1c: DUP5 00000e1d: MSTORE 00000e1e: SWAP1 00000e1f: SWAP2 00000e20: MSTORE 00000e21: DUP2 00000e22: KECCAK256 00000e23: SLOAD 00000e24: DUP1 00000e25: DUP4 00000e26: GT 00000e27: ISZERO 00000e28: PUSH2 0x0e61 00000e2b: JUMPI 00000e2c: CALLER 00000e2d: PUSH1 0x00 00000e2f: SWAP1 00000e30: DUP2 00000e31: MSTORE 00000e32: PUSH1 0x02 00000e34: PUSH1 0x20 00000e36: SWAP1 00000e37: DUP2 00000e38: MSTORE 00000e39: PUSH1 0x40 00000e3b: DUP1 00000e3c: DUP4 00000e3d: KECCAK256 00000e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e53: DUP9 00000e54: AND 00000e55: DUP5 00000e56: MSTORE 00000e57: SWAP1 00000e58: SWAP2 00000e59: MSTORE 00000e5a: DUP2 00000e5b: KECCAK256 00000e5c: SSTORE 00000e5d: PUSH2 0x0ea3 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH2 0x0e71 00000e65: DUP2 00000e66: DUP5 00000e67: PUSH4 0xffffffff 00000e6c: PUSH2 0x1632 00000e6f: AND 00000e70: JUMP 00000e71: JUMPDEST 00000e72: CALLER 00000e73: PUSH1 0x00 00000e75: SWAP1 00000e76: DUP2 00000e77: MSTORE 00000e78: PUSH1 0x02 00000e7a: PUSH1 0x20 00000e7c: SWAP1 00000e7d: DUP2 00000e7e: MSTORE 00000e7f: PUSH1 0x40 00000e81: DUP1 00000e82: DUP4 00000e83: KECCAK256 00000e84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e99: DUP10 00000e9a: AND 00000e9b: DUP5 00000e9c: MSTORE 00000e9d: SWAP1 00000e9e: SWAP2 00000e9f: MSTORE 00000ea0: SWAP1 00000ea1: KECCAK256 00000ea2: SSTORE 00000ea3: JUMPDEST 00000ea4: CALLER 00000ea5: PUSH1 0x00 00000ea7: DUP2 00000ea8: DUP2 00000ea9: MSTORE 00000eaa: PUSH1 0x02 00000eac: PUSH1 0x20 00000eae: SWAP1 00000eaf: DUP2 00000eb0: MSTORE 00000eb1: PUSH1 0x40 00000eb3: DUP1 00000eb4: DUP4 00000eb5: KECCAK256 00000eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ecb: DUP10 00000ecc: AND 00000ecd: DUP1 00000ece: DUP6 00000ecf: MSTORE 00000ed0: SWAP1 00000ed1: DUP4 00000ed2: MSTORE 00000ed3: SWAP3 00000ed4: DUP2 00000ed5: SWAP1 00000ed6: KECCAK256 00000ed7: SLOAD 00000ed8: DUP2 00000ed9: MLOAD 00000eda: SWAP1 00000edb: DUP2 00000edc: MSTORE 00000edd: SWAP1 00000ede: MLOAD 00000edf: SWAP3 00000ee0: SWAP4 00000ee1: SWAP3 00000ee2: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000f03: SWAP3 00000f04: SWAP2 00000f05: DUP2 00000f06: SWAP1 00000f07: SUB 00000f08: SWAP1 00000f09: SWAP2 00000f0a: ADD 00000f0b: SWAP1 00000f0c: LOG3 00000f0d: POP 00000f0e: PUSH1 0x01 00000f10: SWAP4 00000f11: SWAP3 00000f12: POP 00000f13: POP 00000f14: POP 00000f15: JUMP 00000f16: JUMPDEST 00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2c: AND 00000f2d: PUSH1 0x00 00000f2f: SWAP1 00000f30: DUP2 00000f31: MSTORE 00000f32: PUSH1 0x20 00000f34: DUP2 00000f35: SWAP1 00000f36: MSTORE 00000f37: PUSH1 0x40 00000f39: SWAP1 00000f3a: KECCAK256 00000f3b: SLOAD 00000f3c: SWAP1 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH1 0x05 00000f41: SLOAD 00000f42: PUSH2 0x0100 00000f45: SWAP1 00000f46: DIV 00000f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5c: AND 00000f5d: CALLER 00000f5e: EQ 00000f5f: PUSH2 0x0f67 00000f62: JUMPI 00000f63: PUSH1 0x00 00000f65: DUP1 00000f66: REVERT 00000f67: JUMPDEST 00000f68: PUSH1 0x05 00000f6a: SLOAD 00000f6b: PUSH1 0x40 00000f6d: MLOAD 00000f6e: PUSH2 0x0100 00000f71: SWAP1 00000f72: SWAP2 00000f73: DIV 00000f74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f89: AND 00000f8a: SWAP1 00000f8b: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 00000fac: SWAP1 00000fad: PUSH1 0x00 00000faf: SWAP1 00000fb0: LOG2 00000fb1: PUSH1 0x05 00000fb3: DUP1 00000fb4: SLOAD 00000fb5: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff 00000fd6: AND 00000fd7: SWAP1 00000fd8: SSTORE 00000fd9: JUMP 00000fda: JUMPDEST 00000fdb: PUSH1 0x05 00000fdd: SLOAD 00000fde: PUSH1 0x00 00000fe0: SWAP1 00000fe1: PUSH2 0x0100 00000fe4: SWAP1 00000fe5: DIV 00000fe6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffb: AND 00000ffc: CALLER 00000ffd: EQ 00000ffe: PUSH2 0x1006 00001001: JUMPI 00001002: PUSH1 0x00 00001004: DUP1 00001005: REVERT 00001006: JUMPDEST 00001007: PUSH1 0x05 00001009: SLOAD 0000100a: PUSH22 0x01000000000000000000000000000000000000000000 00001021: SWAP1 00001022: DIV 00001023: PUSH1 0xff 00001025: AND 00001026: ISZERO 00001027: PUSH2 0x102f 0000102a: JUMPI 0000102b: PUSH1 0x00 0000102d: DUP1 0000102e: REVERT 0000102f: JUMPDEST 00001030: PUSH1 0x05 00001032: DUP1 00001033: SLOAD 00001034: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 00001055: AND 00001056: PUSH22 0x01000000000000000000000000000000000000000000 0000106d: OR 0000106e: SWAP1 0000106f: SSTORE 00001070: PUSH1 0x40 00001072: MLOAD 00001073: PUSH32 0xae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa08 00001094: SWAP1 00001095: PUSH1 0x00 00001097: SWAP1 00001098: LOG1 00001099: POP 0000109a: PUSH1 0x01 0000109c: SWAP1 0000109d: JUMP 0000109e: JUMPDEST 0000109f: PUSH1 0x05 000010a1: SLOAD 000010a2: PUSH2 0x0100 000010a5: SWAP1 000010a6: DIV 000010a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010bc: AND 000010bd: CALLER 000010be: EQ 000010bf: PUSH2 0x10c7 000010c2: JUMPI 000010c3: PUSH1 0x00 000010c5: DUP1 000010c6: REVERT 000010c7: JUMPDEST 000010c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010dd: DUP2 000010de: AND 000010df: ISZERO 000010e0: ISZERO 000010e1: PUSH2 0x10e9 000010e4: JUMPI 000010e5: PUSH1 0x00 000010e7: DUP1 000010e8: REVERT 000010e9: JUMPDEST 000010ea: PUSH1 0x06 000010ec: DUP1 000010ed: SLOAD 000010ee: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000110f: AND 00001110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001125: SWAP3 00001126: SWAP1 00001127: SWAP3 00001128: AND 00001129: SWAP2 0000112a: SWAP1 0000112b: SWAP2 0000112c: OR 0000112d: SWAP1 0000112e: SSTORE 0000112f: JUMP 00001130: JUMPDEST 00001131: PUSH1 0x05 00001133: SLOAD 00001134: PUSH2 0x0100 00001137: SWAP1 00001138: DIV 00001139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000114e: AND 0000114f: DUP2 00001150: JUMP 00001151: JUMPDEST 00001152: PUSH1 0x04 00001154: DUP1 00001155: SLOAD 00001156: PUSH1 0x40 00001158: DUP1 00001159: MLOAD 0000115a: PUSH1 0x20 0000115c: PUSH1 0x02 0000115e: PUSH1 0x01 00001160: DUP6 00001161: AND 00001162: ISZERO 00001163: PUSH2 0x0100 00001166: MUL 00001167: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001188: ADD 00001189: SWAP1 0000118a: SWAP5 0000118b: AND 0000118c: SWAP4 0000118d: SWAP1 0000118e: SWAP4 0000118f: DIV 00001190: PUSH1 0x1f 00001192: DUP2 00001193: ADD 00001194: DUP5 00001195: SWAP1 00001196: DIV 00001197: DUP5 00001198: MUL 00001199: DUP3 0000119a: ADD 0000119b: DUP5 0000119c: ADD 0000119d: SWAP1 0000119e: SWAP3 0000119f: MSTORE 000011a0: DUP2 000011a1: DUP2 000011a2: MSTORE 000011a3: SWAP3 000011a4: SWAP2 000011a5: DUP4 000011a6: ADD 000011a7: DUP3 000011a8: DUP3 000011a9: DUP1 000011aa: ISZERO 000011ab: PUSH2 0x08b8 000011ae: JUMPI 000011af: DUP1 000011b0: PUSH1 0x1f 000011b2: LT 000011b3: PUSH2 0x088d 000011b6: JUMPI 000011b7: PUSH2 0x0100 000011ba: DUP1 000011bb: DUP4 000011bc: SLOAD 000011bd: DIV 000011be: MUL 000011bf: DUP4 000011c0: MSTORE 000011c1: SWAP2 000011c2: PUSH1 0x20 000011c4: ADD 000011c5: SWAP2 000011c6: PUSH2 0x08b8 000011c9: JUMP 000011ca: JUMPDEST 000011cb: PUSH1 0x07 000011cd: SLOAD 000011ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e3: AND 000011e4: CALLER 000011e5: EQ 000011e6: DUP1 000011e7: PUSH2 0x1207 000011ea: JUMPI 000011eb: POP 000011ec: PUSH1 0x06 000011ee: SLOAD 000011ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001204: AND 00001205: CALLER 00001206: EQ 00001207: JUMPDEST 00001208: DUP1 00001209: PUSH2 0x122e 0000120c: JUMPI 0000120d: POP 0000120e: PUSH1 0x05 00001210: SLOAD 00001211: PUSH2 0x0100 00001214: SWAP1 00001215: DIV 00001216: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122b: AND 0000122c: CALLER 0000122d: EQ 0000122e: JUMPDEST 0000122f: ISZERO 00001230: ISZERO 00001231: PUSH2 0x1239 00001234: JUMPI 00001235: PUSH1 0x00 00001237: DUP1 00001238: REVERT 00001239: JUMPDEST 0000123a: PUSH2 0x1243 0000123d: DUP3 0000123e: DUP3 0000123f: PUSH2 0x1657 00001242: JUMP 00001243: JUMPDEST 00001244: POP 00001245: POP 00001246: JUMP 00001247: JUMPDEST 00001248: PUSH1 0x07 0000124a: SLOAD 0000124b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001260: AND 00001261: DUP2 00001262: JUMP 00001263: JUMPDEST 00001264: PUSH1 0x00 00001266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127b: DUP4 0000127c: AND 0000127d: ISZERO 0000127e: ISZERO 0000127f: PUSH2 0x1287 00001282: JUMPI 00001283: PUSH1 0x00 00001285: DUP1 00001286: REVERT 00001287: JUMPDEST 00001288: CALLER 00001289: PUSH1 0x00 0000128b: SWAP1 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x20 00001290: DUP2 00001291: SWAP1 00001292: MSTORE 00001293: PUSH1 0x40 00001295: SWAP1 00001296: KECCAK256 00001297: SLOAD 00001298: DUP3 00001299: GT 0000129a: ISZERO 0000129b: PUSH2 0x12a3 0000129e: JUMPI 0000129f: PUSH1 0x00 000012a1: DUP1 000012a2: REVERT 000012a3: JUMPDEST 000012a4: CALLER 000012a5: PUSH1 0x00 000012a7: SWAP1 000012a8: DUP2 000012a9: MSTORE 000012aa: PUSH1 0x20 000012ac: DUP2 000012ad: SWAP1 000012ae: MSTORE 000012af: PUSH1 0x40 000012b1: SWAP1 000012b2: KECCAK256 000012b3: SLOAD 000012b4: PUSH2 0x12c3 000012b7: SWAP1 000012b8: DUP4 000012b9: PUSH4 0xffffffff 000012be: PUSH2 0x1632 000012c1: AND 000012c2: JUMP 000012c3: JUMPDEST 000012c4: CALLER 000012c5: PUSH1 0x00 000012c7: SWAP1 000012c8: DUP2 000012c9: MSTORE 000012ca: PUSH1 0x20 000012cc: DUP2 000012cd: SWAP1 000012ce: MSTORE 000012cf: PUSH1 0x40 000012d1: DUP1 000012d2: DUP3 000012d3: KECCAK256 000012d4: SWAP3 000012d5: SWAP1 000012d6: SWAP3 000012d7: SSTORE 000012d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ed: DUP6 000012ee: AND 000012ef: DUP2 000012f0: MSTORE 000012f1: KECCAK256 000012f2: SLOAD 000012f3: PUSH2 0x1302 000012f6: SWAP1 000012f7: DUP4 000012f8: PUSH4 0xffffffff 000012fd: PUSH2 0x1644 00001300: AND 00001301: JUMP 00001302: JUMPDEST 00001303: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001318: DUP5 00001319: AND 0000131a: PUSH1 0x00 0000131c: DUP2 0000131d: DUP2 0000131e: MSTORE 0000131f: PUSH1 0x20 00001321: DUP2 00001322: DUP2 00001323: MSTORE 00001324: PUSH1 0x40 00001326: SWAP2 00001327: DUP3 00001328: SWAP1 00001329: KECCAK256 0000132a: SWAP4 0000132b: SWAP1 0000132c: SWAP4 0000132d: SSTORE 0000132e: DUP1 0000132f: MLOAD 00001330: DUP6 00001331: DUP2 00001332: MSTORE 00001333: SWAP1 00001334: MLOAD 00001335: SWAP2 00001336: SWAP3 00001337: CALLER 00001338: SWAP3 00001339: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000135a: SWAP3 0000135b: DUP2 0000135c: SWAP1 0000135d: SUB 0000135e: SWAP1 0000135f: SWAP2 00001360: ADD 00001361: SWAP1 00001362: LOG3 00001363: POP 00001364: PUSH1 0x01 00001366: SWAP3 00001367: SWAP2 00001368: POP 00001369: POP 0000136a: JUMP 0000136b: JUMPDEST 0000136c: PUSH1 0x05 0000136e: SLOAD 0000136f: PUSH2 0x0100 00001372: SWAP1 00001373: DIV 00001374: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001389: AND 0000138a: CALLER 0000138b: EQ 0000138c: PUSH2 0x1394 0000138f: JUMPI 00001390: PUSH1 0x00 00001392: DUP1 00001393: REVERT 00001394: JUMPDEST 00001395: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013aa: DUP2 000013ab: AND 000013ac: ISZERO 000013ad: ISZERO 000013ae: PUSH2 0x13b6 000013b1: JUMPI 000013b2: PUSH1 0x00 000013b4: DUP1 000013b5: REVERT 000013b6: JUMPDEST 000013b7: PUSH1 0x07 000013b9: DUP1 000013ba: SLOAD 000013bb: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000013dc: AND 000013dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f2: SWAP3 000013f3: SWAP1 000013f4: SWAP3 000013f5: AND 000013f6: SWAP2 000013f7: SWAP1 000013f8: SWAP2 000013f9: OR 000013fa: SWAP1 000013fb: SSTORE 000013fc: JUMP 000013fd: JUMPDEST 000013fe: PUSH1 0x07 00001400: SLOAD 00001401: PUSH1 0x00 00001403: SWAP1 00001404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001419: AND 0000141a: CALLER 0000141b: EQ 0000141c: DUP1 0000141d: PUSH2 0x143d 00001420: JUMPI 00001421: POP 00001422: PUSH1 0x06 00001424: SLOAD 00001425: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000143a: AND 0000143b: CALLER 0000143c: EQ 0000143d: JUMPDEST 0000143e: DUP1 0000143f: PUSH2 0x1464 00001442: JUMPI 00001443: POP 00001444: PUSH1 0x05 00001446: SLOAD 00001447: PUSH2 0x0100 0000144a: SWAP1 0000144b: DIV 0000144c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001461: AND 00001462: CALLER 00001463: EQ 00001464: JUMPDEST 00001465: ISZERO 00001466: ISZERO 00001467: PUSH2 0x146f 0000146a: JUMPI 0000146b: PUSH1 0x00 0000146d: DUP1 0000146e: REVERT 0000146f: JUMPDEST 00001470: DUP2 00001471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001486: AND 00001487: PUSH4 0x095ea7b3 0000148c: DUP6 0000148d: DUP6 0000148e: PUSH1 0x40 00001490: MLOAD 00001491: DUP4 00001492: PUSH4 0xffffffff 00001497: AND 00001498: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000014b6: MUL 000014b7: DUP2 000014b8: MSTORE 000014b9: PUSH1 0x04 000014bb: ADD 000014bc: DUP1 000014bd: DUP4 000014be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d3: AND 000014d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e9: AND 000014ea: DUP2 000014eb: MSTORE 000014ec: PUSH1 0x20 000014ee: ADD 000014ef: DUP3 000014f0: DUP2 000014f1: MSTORE 000014f2: PUSH1 0x20 000014f4: ADD 000014f5: SWAP3 000014f6: POP 000014f7: POP 000014f8: POP 000014f9: PUSH1 0x20 000014fb: PUSH1 0x40 000014fd: MLOAD 000014fe: DUP1 000014ff: DUP4 00001500: SUB 00001501: DUP2 00001502: PUSH1 0x00 00001504: DUP8 00001505: DUP1 00001506: EXTCODESIZE 00001507: ISZERO 00001508: DUP1 00001509: ISZERO 0000150a: PUSH2 0x07be 0000150d: JUMPI 0000150e: PUSH1 0x00 00001510: DUP1 00001511: REVERT 00001512: JUMPDEST 00001513: CALLER 00001514: PUSH1 0x00 00001516: SWAP1 00001517: DUP2 00001518: MSTORE 00001519: PUSH1 0x02 0000151b: PUSH1 0x20 0000151d: SWAP1 0000151e: DUP2 0000151f: MSTORE 00001520: PUSH1 0x40 00001522: DUP1 00001523: DUP4 00001524: KECCAK256 00001525: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000153a: DUP7 0000153b: AND 0000153c: DUP5 0000153d: MSTORE 0000153e: SWAP1 0000153f: SWAP2 00001540: MSTORE 00001541: DUP2 00001542: KECCAK256 00001543: SLOAD 00001544: PUSH2 0x1553 00001547: SWAP1 00001548: DUP4 00001549: PUSH4 0xffffffff 0000154e: PUSH2 0x1644 00001551: AND 00001552: JUMP 00001553: JUMPDEST 00001554: CALLER 00001555: PUSH1 0x00 00001557: DUP2 00001558: DUP2 00001559: MSTORE 0000155a: PUSH1 0x02 0000155c: PUSH1 0x20 0000155e: SWAP1 0000155f: DUP2 00001560: MSTORE 00001561: PUSH1 0x40 00001563: DUP1 00001564: DUP4 00001565: KECCAK256 00001566: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000157b: DUP10 0000157c: AND 0000157d: DUP1 0000157e: DUP6 0000157f: MSTORE 00001580: SWAP1 00001581: DUP4 00001582: MSTORE 00001583: SWAP3 00001584: DUP2 00001585: SWAP1 00001586: KECCAK256 00001587: DUP6 00001588: SWAP1 00001589: SSTORE 0000158a: DUP1 0000158b: MLOAD 0000158c: SWAP5 0000158d: DUP6 0000158e: MSTORE 0000158f: MLOAD 00001590: SWAP2 00001591: SWAP4 00001592: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000015b3: SWAP3 000015b4: SWAP1 000015b5: DUP2 000015b6: SWAP1 000015b7: SUB 000015b8: SWAP1 000015b9: SWAP2 000015ba: ADD 000015bb: SWAP1 000015bc: LOG3 000015bd: POP 000015be: PUSH1 0x01 000015c0: SWAP3 000015c1: SWAP2 000015c2: POP 000015c3: POP 000015c4: JUMP 000015c5: JUMPDEST 000015c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015db: SWAP2 000015dc: DUP3 000015dd: AND 000015de: PUSH1 0x00 000015e0: SWAP1 000015e1: DUP2 000015e2: MSTORE 000015e3: PUSH1 0x02 000015e5: PUSH1 0x20 000015e7: SWAP1 000015e8: DUP2 000015e9: MSTORE 000015ea: PUSH1 0x40 000015ec: DUP1 000015ed: DUP4 000015ee: KECCAK256 000015ef: SWAP4 000015f0: SWAP1 000015f1: SWAP5 000015f2: AND 000015f3: DUP3 000015f4: MSTORE 000015f5: SWAP2 000015f6: SWAP1 000015f7: SWAP2 000015f8: MSTORE 000015f9: KECCAK256 000015fa: SLOAD 000015fb: SWAP1 000015fc: JUMP 000015fd: JUMPDEST 000015fe: PUSH1 0x05 00001600: SLOAD 00001601: PUSH2 0x0100 00001604: SWAP1 00001605: DIV 00001606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161b: AND 0000161c: CALLER 0000161d: EQ 0000161e: PUSH2 0x1626 00001621: JUMPI 00001622: PUSH1 0x00 00001624: DUP1 00001625: REVERT 00001626: JUMPDEST 00001627: PUSH2 0x162f 0000162a: DUP2 0000162b: PUSH2 0x1799 0000162e: JUMP 0000162f: JUMPDEST 00001630: POP 00001631: JUMP 00001632: JUMPDEST 00001633: PUSH1 0x00 00001635: DUP3 00001636: DUP3 00001637: GT 00001638: ISZERO 00001639: PUSH2 0x163e 0000163c: JUMPI 0000163d: INVALID 0000163e: JUMPDEST 0000163f: POP 00001640: SWAP1 00001641: SUB 00001642: SWAP1 00001643: JUMP 00001644: JUMPDEST 00001645: DUP2 00001646: DUP2 00001647: ADD 00001648: DUP3 00001649: DUP2 0000164a: LT 0000164b: ISZERO 0000164c: PUSH2 0x1651 0000164f: JUMPI 00001650: INVALID 00001651: JUMPDEST 00001652: SWAP3 00001653: SWAP2 00001654: POP 00001655: POP 00001656: JUMP 00001657: JUMPDEST 00001658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000166d: DUP3 0000166e: AND 0000166f: PUSH1 0x00 00001671: SWAP1 00001672: DUP2 00001673: MSTORE 00001674: PUSH1 0x20 00001676: DUP2 00001677: SWAP1 00001678: MSTORE 00001679: PUSH1 0x40 0000167b: SWAP1 0000167c: KECCAK256 0000167d: SLOAD 0000167e: DUP2 0000167f: GT 00001680: ISZERO 00001681: PUSH2 0x1689 00001684: JUMPI 00001685: PUSH1 0x00 00001687: DUP1 00001688: REVERT 00001689: JUMPDEST 0000168a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000169f: DUP3 000016a0: AND 000016a1: PUSH1 0x00 000016a3: SWAP1 000016a4: DUP2 000016a5: MSTORE 000016a6: PUSH1 0x20 000016a8: DUP2 000016a9: SWAP1 000016aa: MSTORE 000016ab: PUSH1 0x40 000016ad: SWAP1 000016ae: KECCAK256 000016af: SLOAD 000016b0: PUSH2 0x16bf 000016b3: SWAP1 000016b4: DUP3 000016b5: PUSH4 0xffffffff 000016ba: PUSH2 0x1632 000016bd: AND 000016be: JUMP 000016bf: JUMPDEST 000016c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d5: DUP4 000016d6: AND 000016d7: PUSH1 0x00 000016d9: SWAP1 000016da: DUP2 000016db: MSTORE 000016dc: PUSH1 0x20 000016de: DUP2 000016df: SWAP1 000016e0: MSTORE 000016e1: PUSH1 0x40 000016e3: SWAP1 000016e4: KECCAK256 000016e5: SSTORE 000016e6: PUSH1 0x01 000016e8: SLOAD 000016e9: PUSH2 0x16f8 000016ec: SWAP1 000016ed: DUP3 000016ee: PUSH4 0xffffffff 000016f3: PUSH2 0x1632 000016f6: AND 000016f7: JUMP 000016f8: JUMPDEST 000016f9: PUSH1 0x01 000016fb: SSTORE 000016fc: PUSH1 0x40 000016fe: DUP1 000016ff: MLOAD 00001700: DUP3 00001701: DUP2 00001702: MSTORE 00001703: SWAP1 00001704: MLOAD 00001705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000171a: DUP5 0000171b: AND 0000171c: SWAP2 0000171d: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 0000173e: SWAP2 0000173f: SWAP1 00001740: DUP2 00001741: SWAP1 00001742: SUB 00001743: PUSH1 0x20 00001745: ADD 00001746: SWAP1 00001747: LOG2 00001748: PUSH1 0x40 0000174a: DUP1 0000174b: MLOAD 0000174c: DUP3 0000174d: DUP2 0000174e: MSTORE 0000174f: SWAP1 00001750: MLOAD 00001751: PUSH1 0x00 00001753: SWAP2 00001754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001769: DUP6 0000176a: AND 0000176b: SWAP2 0000176c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000178d: SWAP2 0000178e: DUP2 0000178f: SWAP1 00001790: SUB 00001791: PUSH1 0x20 00001793: ADD 00001794: SWAP1 00001795: LOG3 00001796: POP 00001797: POP 00001798: JUMP 00001799: JUMPDEST 0000179a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017af: DUP2 000017b0: AND 000017b1: ISZERO 000017b2: ISZERO 000017b3: PUSH2 0x17bb 000017b6: JUMPI 000017b7: PUSH1 0x00 000017b9: DUP1 000017ba: REVERT 000017bb: JUMPDEST 000017bc: PUSH1 0x05 000017be: SLOAD 000017bf: PUSH1 0x40 000017c1: MLOAD 000017c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017d7: DUP1 000017d8: DUP5 000017d9: AND 000017da: SWAP3 000017db: PUSH2 0x0100 000017de: SWAP1 000017df: DIV 000017e0: AND 000017e1: SWAP1 000017e2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001803: SWAP1 00001804: PUSH1 0x00 00001806: SWAP1 00001807: LOG3 00001808: PUSH1 0x05 0000180a: DUP1 0000180b: SLOAD 0000180c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001821: SWAP1 00001822: SWAP3 00001823: AND 00001824: PUSH2 0x0100 00001827: MUL 00001828: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff 00001849: SWAP1 0000184a: SWAP3 0000184b: AND 0000184c: SWAP2 0000184d: SWAP1 0000184e: SWAP2 0000184f: OR 00001850: SWAP1 00001851: SSTORE 00001852: JUMP 00001853: STOP 00001854: LOG1 00001855: PUSH6 0x627a7a723058 0000185c: KECCAK256 0000185d: SELFBALANCE 0000185e: TIMESTAMP 0000185f: SWAP6 00001860: DELEGATECALL 00001861: CODESIZE 00001862: UNKNOWN(0xDD) 00001863: SELFBALANCE 00001864: CLZ 00001865: UNKNOWN(0xEC) 00001866: BLOCKHASH 00001867: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x23d412ffe479291e476352982d91a607c067cd8e433961f114a546b3c39e9bc0
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x23d412ffe479291e476352982d91a607c067cd8e433961f114a546b3c39e9bc0",
"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": "0x048e62ca",
"selector": "0x048e62ca",
"calldata_variants": [
"0x048e62ca",
"0x048e62ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12414198",
"selector": "0x12414198",
"calldata_variants": [
"0x12414198",
"0x124141980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1cc1472d",
"selector": "0x1cc1472d",
"calldata_variants": [
"0x1cc1472d",
"0x1cc1472d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6240,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x15715265c67a16f16ce9c6283dc0a214739b396a46abcdb46540bbd9910f671e
call_targets:
0x1a94656a6245379bc0d9c64c402197528edb2bd1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x15715265c67a16f16ce9c6283dc0a214739b396a46abcdb46540bbd9910f671e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1a94656a6245379bc0d9c64c402197528edb2bd1"
],
"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": "0x048e62ca",
"selector": "0x048e62ca",
"calldata_variants": [
"0x048e62ca",
"0x048e62ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12414198",
"selector": "0x12414198",
"calldata_variants": [
"0x12414198",
"0x124141980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1cc1472d",
"selector": "0x1cc1472d",
"calldata_variants": [
"0x1cc1472d",
"0x1cc1472d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1766,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1985,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2559,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x15715265c67a16f16ce9c6283dc0a214739b396a46abcdb46540bbd9910f671e
call_targets:
0x1a94656a6245379bc0d9c64c402197528edb2bd1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x15715265c67a16f16ce9c6283dc0a214739b396a46abcdb46540bbd9910f671e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1a94656a6245379bc0d9c64c402197528edb2bd1"
],
"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": "0x048e62ca",
"selector": "0x048e62ca",
"calldata_variants": [
"0x048e62ca",
"0x048e62ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12414198",
"selector": "0x12414198",
"calldata_variants": [
"0x12414198",
"0x124141980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1cc1472d",
"selector": "0x1cc1472d",
"calldata_variants": [
"0x1cc1472d",
"0x1cc1472d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1766,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1985,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2559,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|