3c33f7ec-c20a-4a7d-a643-400d4871da3f
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 |
|---|---|---|---|---|
| 30815 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 104549 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 104550 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 104551 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 104552 | capability.graph | complete | 1 / 3 | 1 week ago |
| 104553 | detector.run | complete | 1 / 3 | 1 week ago |
| 104554 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:541754] OpenAI Codex v0.77.0 (research preview)
[codex:541754] --------
[codex:541754] workdir: /tmp/codex-multi-9pz9es_4
[codex:541754] model: gpt-5.2-codex
[codex:541754] provider: openai
[codex:541754] approval: never
[codex:541754] sandbox: read-only
[codex:541754] reasoning effort: xhigh
[codex:541754] reasoning summaries: auto
[codex:541754] session id: 019b7187-f59b-7ec3-bc00-e93855b70e27
[codex:541754] --------
[codex:541754] user
[codex:541754] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:541754] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:541754] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:541754]
[codex:541754] Scope rules:
[codex:541754] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:541754] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:541754]
[codex:541754] Output MUST be valid JSON matching the provided schema.
[codex:541754] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:541754] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:541754]
[codex:541754] Output constraints (IMPORTANT):
[codex:541754] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:541754] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:541754] mcp startup: no servers
[codex:541754]
[codex:541754] thinking
[codex:541754] **Preparing to audit with shell command**
[codex:541754] exec
[codex:541754] /bin/bash -lc ls in /tmp/codex-multi-9pz9es_4 succeeded in 6ms:
[codex:541754] AUDIT_BUNDLE.txt
[codex:541754] codex-output-schema.json
[codex:541754] contracts
[codex:541754] exec
[codex:541754] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-9pz9es_4 succeeded in 5ms:
[codex:541754] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:541754]
[codex:541754] ================================================================================
[codex:541754] FILE: contracts/@openzeppelin/contracts/access/Ownable.sol
[codex:541754] ================================================================================
[codex:541754] // SPDX-License-Identifier: MIT
[codex:541754]
[codex:541754] pragma solidity >=0.6.0 <0.8.0;
[codex:541754]
[codex:541754] import "../utils/Context.sol";
[codex:541754] /**
[codex:541754] * @dev Contract module which provides a basic access control mechanism, where
[codex:541754] * there is an account (an owner) that can be granted exclusive access to
[codex:541754] * specific functions.
[codex:541754] *
[codex:541754] * By default, the owner account will be the one that deploys the contract. This
[codex:541754] * can later be changed with {transferOwnership}.
[codex:541754] *
[codex:541754] * This module is used through inheritance. It will make available the modifier
[codex:541754] * `onlyOwner`, which can be applied to your functions to restrict their use to
[codex:541754]
[codex:541754] thinking
[codex:541754] **Performing detailed security audit**
[codex:541754]
[codex:541754] I’m carefully analyzing the first-party contracts for security issues like reentrancy, access control, accounting errors, and upgradeability concerns, focusing on how token transfers, reward calculations, and fee handling are implemented to spot any vulnerabilities or risks. There are no critical exploits found, but I’m noting a minor risk where the rewardRate can be set without ensuring the contract has enough tokens, which may cause denial of service in claiming rewards if misconfigured by a privileged admin. Overall, the code looks secure assuming correct admin behavior and mainnet deployment.
[codex:541754] exec
[codex:541754] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-9pz9es_4 succeeded in 5ms:
[codex:541754] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:541754]
[codex:541754] thinking
[codex:541754] **Analyzing contract vulnerabilities and preparing audit summary**
[codex:541754]
[codex:541754] I’m evaluating possible vulnerabilities in GenesisWethPool and related contracts, focusing on reward calculations, view function underflows, reentrancy risks, and admin misconfigurations. After careful review, I see no exploitable issues, just a minor view function underflow that could revert before start time but doesn’t pose a real threat. I’ll prepare a simple JSON summary marking no findings and include a concise explanation covering privileges and assumptions about external dependencies.
[codex:541754] codex
[codex:541754] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts within scope.","findings":[]}
[codex:541754] tokens used
[codex:541754] 19,148
[codex:541754] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts within scope.","findings":[]}
{
"codex": {
"ran_at": "2025-12-30T23:13:38.053684+00:00",
"returncode": 0
},
"summary": "No exploitable vulnerabilities identified in the first-party contracts within scope.",
"raw_final": {
"summary": "No exploitable vulnerabilities identified in the first-party contracts within scope.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x01ad 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x80faa57d 00000026: GT 00000027: PUSH2 0x00ee 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xcd3daf9d 00000031: GT 00000032: PUSH2 0x0097 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xebe2b12b 0000003c: GT 0000003d: PUSH2 0x0071 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xebe2b12b 00000047: EQ 00000048: PUSH2 0x0367 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xf2fde38b 00000052: EQ 00000053: PUSH2 0x036f 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xfafd2678 0000005d: EQ 0000005e: PUSH2 0x0395 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xfc7e286d 00000068: EQ 00000069: PUSH2 0x039d 0000006c: JUMPI 0000006d: PUSH2 0x01ad 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0xcd3daf9d 00000078: EQ 00000079: PUSH2 0x034f 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xdf136d65 00000083: EQ 00000084: PUSH2 0x0357 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xe9fad8ee 0000008e: EQ 0000008f: PUSH2 0x035f 00000092: JUMPI 00000093: PUSH2 0x01ad 00000096: JUMP 00000097: JUMPDEST 00000098: DUP1 00000099: PUSH4 0x8da5cb5b 0000009e: GT 0000009f: PUSH2 0x00c8 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8da5cb5b 000000a9: EQ 000000aa: PUSH2 0x0322 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa694fc3a 000000b4: EQ 000000b5: PUSH2 0x032a 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xc8f33c91 000000bf: EQ 000000c0: PUSH2 0x0347 000000c3: JUMPI 000000c4: PUSH2 0x01ad 000000c7: JUMP 000000c8: JUMPDEST 000000c9: DUP1 000000ca: PUSH4 0x80faa57d 000000cf: EQ 000000d0: PUSH2 0x02ec 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x8b876347 000000da: EQ 000000db: PUSH2 0x02f4 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x8da58897 000000e5: EQ 000000e6: PUSH2 0x031a 000000e9: JUMPI 000000ea: PUSH2 0x01ad 000000ed: JUMP 000000ee: JUMPDEST 000000ef: DUP1 000000f0: PUSH4 0x2e1a7d4d 000000f5: GT 000000f6: PUSH2 0x015b 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x3fc8cef3 00000100: GT 00000101: PUSH2 0x0135 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x3fc8cef3 0000010b: EQ 0000010c: PUSH2 0x02ae 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x70a08231 00000116: EQ 00000117: PUSH2 0x02b6 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x715018a6 00000121: EQ 00000122: PUSH2 0x02dc 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x7b0a47ee 0000012c: EQ 0000012d: PUSH2 0x02e4 00000130: JUMPI 00000131: PUSH2 0x01ad 00000134: JUMP 00000135: JUMPDEST 00000136: DUP1 00000137: PUSH4 0x2e1a7d4d 0000013c: EQ 0000013d: PUSH2 0x026c 00000140: JUMPI 00000141: DUP1 00000142: PUSH4 0x3c6b16ab 00000147: EQ 00000148: PUSH2 0x0289 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x3d18b912 00000152: EQ 00000153: PUSH2 0x02a6 00000156: JUMPI 00000157: PUSH2 0x01ad 0000015a: JUMP 0000015b: JUMPDEST 0000015c: DUP1 0000015d: PUSH4 0x101114cf 00000162: GT 00000163: PUSH2 0x018c 00000166: JUMPI 00000167: DUP1 00000168: PUSH4 0x101114cf 0000016d: EQ 0000016e: PUSH2 0x0238 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0x18160ddd 00000178: EQ 00000179: PUSH2 0x025c 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x1be05289 00000183: EQ 00000184: PUSH2 0x0264 00000187: JUMPI 00000188: PUSH2 0x01ad 0000018b: JUMP 0000018c: JUMPDEST 0000018d: DUP1 0000018e: PUSH3 0x8cc262 00000192: EQ 00000193: PUSH2 0x01b2 00000196: JUMPI 00000197: DUP1 00000198: PUSH4 0x0700037d 0000019d: EQ 0000019e: PUSH2 0x01ea 000001a1: JUMPI 000001a2: DUP1 000001a3: PUSH4 0x0d68b761 000001a8: EQ 000001a9: PUSH2 0x0210 000001ac: JUMPI 000001ad: JUMPDEST 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: PUSH2 0x01d8 000001b6: PUSH1 0x04 000001b8: DUP1 000001b9: CALLDATASIZE 000001ba: SUB 000001bb: PUSH1 0x20 000001bd: DUP2 000001be: LT 000001bf: ISZERO 000001c0: PUSH2 0x01c8 000001c3: JUMPI 000001c4: PUSH1 0x00 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: POP 000001ca: CALLDATALOAD 000001cb: PUSH1 0x01 000001cd: PUSH1 0x01 000001cf: PUSH1 0xa0 000001d1: SHL 000001d2: SUB 000001d3: AND 000001d4: PUSH2 0x03c3 000001d7: JUMP 000001d8: JUMPDEST 000001d9: PUSH1 0x40 000001db: DUP1 000001dc: MLOAD 000001dd: SWAP2 000001de: DUP3 000001df: MSTORE 000001e0: MLOAD 000001e1: SWAP1 000001e2: DUP2 000001e3: SWAP1 000001e4: SUB 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: SWAP1 000001e9: RETURN 000001ea: JUMPDEST 000001eb: PUSH2 0x01d8 000001ee: PUSH1 0x04 000001f0: DUP1 000001f1: CALLDATASIZE 000001f2: SUB 000001f3: PUSH1 0x20 000001f5: DUP2 000001f6: LT 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: CALLDATALOAD 00000203: PUSH1 0x01 00000205: PUSH1 0x01 00000207: PUSH1 0xa0 00000209: SHL 0000020a: SUB 0000020b: AND 0000020c: PUSH2 0x0449 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH2 0x0236 00000214: PUSH1 0x04 00000216: DUP1 00000217: CALLDATASIZE 00000218: SUB 00000219: PUSH1 0x20 0000021b: DUP2 0000021c: LT 0000021d: ISZERO 0000021e: PUSH2 0x0226 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: POP 00000228: CALLDATALOAD 00000229: PUSH1 0x01 0000022b: PUSH1 0x01 0000022d: PUSH1 0xa0 0000022f: SHL 00000230: SUB 00000231: AND 00000232: PUSH2 0x045b 00000235: JUMP 00000236: JUMPDEST 00000237: STOP 00000238: JUMPDEST 00000239: PUSH2 0x0240 0000023c: PUSH2 0x04f1 0000023f: JUMP 00000240: JUMPDEST 00000241: PUSH1 0x40 00000243: DUP1 00000244: MLOAD 00000245: PUSH1 0x01 00000247: PUSH1 0x01 00000249: PUSH1 0xa0 0000024b: SHL 0000024c: SUB 0000024d: SWAP1 0000024e: SWAP3 0000024f: AND 00000250: DUP3 00000251: MSTORE 00000252: MLOAD 00000253: SWAP1 00000254: DUP2 00000255: SWAP1 00000256: SUB 00000257: PUSH1 0x20 00000259: ADD 0000025a: SWAP1 0000025b: RETURN 0000025c: JUMPDEST 0000025d: PUSH2 0x01d8 00000260: PUSH2 0x0500 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH2 0x01d8 00000268: PUSH2 0x0507 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH2 0x0236 00000270: PUSH1 0x04 00000272: DUP1 00000273: CALLDATASIZE 00000274: SUB 00000275: PUSH1 0x20 00000277: DUP2 00000278: LT 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: POP 00000284: CALLDATALOAD 00000285: PUSH2 0x050e 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH2 0x0236 0000028d: PUSH1 0x04 0000028f: DUP1 00000290: CALLDATASIZE 00000291: SUB 00000292: PUSH1 0x20 00000294: DUP2 00000295: LT 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: CALLDATALOAD 000002a2: PUSH2 0x061b 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH2 0x0236 000002aa: PUSH2 0x080c 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH2 0x0240 000002b2: PUSH2 0x0956 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH2 0x01d8 000002ba: PUSH1 0x04 000002bc: DUP1 000002bd: CALLDATASIZE 000002be: SUB 000002bf: PUSH1 0x20 000002c1: DUP2 000002c2: LT 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: CALLDATALOAD 000002cf: PUSH1 0x01 000002d1: PUSH1 0x01 000002d3: PUSH1 0xa0 000002d5: SHL 000002d6: SUB 000002d7: AND 000002d8: PUSH2 0x096e 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH2 0x0236 000002e0: PUSH2 0x0989 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH2 0x01d8 000002e8: PUSH2 0x0a47 000002eb: JUMP 000002ec: JUMPDEST 000002ed: PUSH2 0x01d8 000002f0: PUSH2 0x0a4d 000002f3: JUMP 000002f4: JUMPDEST 000002f5: PUSH2 0x01d8 000002f8: PUSH1 0x04 000002fa: DUP1 000002fb: CALLDATASIZE 000002fc: SUB 000002fd: PUSH1 0x20 000002ff: DUP2 00000300: LT 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: POP 0000030c: CALLDATALOAD 0000030d: PUSH1 0x01 0000030f: PUSH1 0x01 00000311: PUSH1 0xa0 00000313: SHL 00000314: SUB 00000315: AND 00000316: PUSH2 0x0a60 00000319: JUMP 0000031a: JUMPDEST 0000031b: PUSH2 0x01d8 0000031e: PUSH2 0x0a72 00000321: JUMP 00000322: JUMPDEST 00000323: PUSH2 0x0240 00000326: PUSH2 0x0a78 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH2 0x0236 0000032e: PUSH1 0x04 00000330: DUP1 00000331: CALLDATASIZE 00000332: SUB 00000333: PUSH1 0x20 00000335: DUP2 00000336: LT 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: CALLDATALOAD 00000343: PUSH2 0x0a87 00000346: JUMP 00000347: JUMPDEST 00000348: PUSH2 0x01d8 0000034b: PUSH2 0x0c70 0000034e: JUMP 0000034f: JUMPDEST 00000350: PUSH2 0x01d8 00000353: PUSH2 0x0c76 00000356: JUMP 00000357: JUMPDEST 00000358: PUSH2 0x01d8 0000035b: PUSH2 0x0cca 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH2 0x0236 00000363: PUSH2 0x0cd0 00000366: JUMP 00000367: JUMPDEST 00000368: PUSH2 0x01d8 0000036b: PUSH2 0x0ceb 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH2 0x0236 00000373: PUSH1 0x04 00000375: DUP1 00000376: CALLDATASIZE 00000377: SUB 00000378: PUSH1 0x20 0000037a: DUP2 0000037b: LT 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: CALLDATALOAD 00000388: PUSH1 0x01 0000038a: PUSH1 0x01 0000038c: PUSH1 0xa0 0000038e: SHL 0000038f: SUB 00000390: AND 00000391: PUSH2 0x0cf1 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH2 0x0240 00000399: PUSH2 0x0e06 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH2 0x01d8 000003a1: PUSH1 0x04 000003a3: DUP1 000003a4: CALLDATASIZE 000003a5: SUB 000003a6: PUSH1 0x20 000003a8: DUP2 000003a9: LT 000003aa: ISZERO 000003ab: PUSH2 0x03b3 000003ae: JUMPI 000003af: PUSH1 0x00 000003b1: DUP1 000003b2: REVERT 000003b3: JUMPDEST 000003b4: POP 000003b5: CALLDATALOAD 000003b6: PUSH1 0x01 000003b8: PUSH1 0x01 000003ba: PUSH1 0xa0 000003bc: SHL 000003bd: SUB 000003be: AND 000003bf: PUSH2 0x0e2a 000003c2: JUMP 000003c3: JUMPDEST 000003c4: PUSH1 0x01 000003c6: PUSH1 0x01 000003c8: PUSH1 0xa0 000003ca: SHL 000003cb: SUB 000003cc: DUP2 000003cd: AND 000003ce: PUSH1 0x00 000003d0: SWAP1 000003d1: DUP2 000003d2: MSTORE 000003d3: PUSH1 0x0a 000003d5: PUSH1 0x20 000003d7: SWAP1 000003d8: DUP2 000003d9: MSTORE 000003da: PUSH1 0x40 000003dc: DUP1 000003dd: DUP4 000003de: KECCAK256 000003df: SLOAD 000003e0: PUSH1 0x09 000003e2: SWAP1 000003e3: SWAP3 000003e4: MSTORE 000003e5: DUP3 000003e6: KECCAK256 000003e7: SLOAD 000003e8: PUSH2 0x0443 000003eb: SWAP2 000003ec: SWAP1 000003ed: PUSH2 0x0437 000003f0: SWAP1 000003f1: PUSH8 0x0de0b6b3a7640000 000003fa: SWAP1 000003fb: PUSH2 0x042b 000003fe: SWAP1 000003ff: PUSH2 0x0416 00000402: SWAP1 00000403: PUSH2 0x040a 00000406: PUSH2 0x0c76 00000409: JUMP 0000040a: JUMPDEST 0000040b: SWAP1 0000040c: PUSH4 0xffffffff 00000411: PUSH2 0x0e3c 00000414: AND 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH2 0x041f 0000041a: DUP9 0000041b: PUSH2 0x096e 0000041e: JUMP 0000041f: JUMPDEST 00000420: SWAP1 00000421: PUSH4 0xffffffff 00000426: PUSH2 0x0e99 00000429: AND 0000042a: JUMP 0000042b: JUMPDEST 0000042c: SWAP1 0000042d: PUSH4 0xffffffff 00000432: PUSH2 0x0ef9 00000435: AND 00000436: JUMP 00000437: JUMPDEST 00000438: SWAP1 00000439: PUSH4 0xffffffff 0000043e: PUSH2 0x0f60 00000441: AND 00000442: JUMP 00000443: JUMPDEST 00000444: SWAP3 00000445: SWAP2 00000446: POP 00000447: POP 00000448: JUMP 00000449: JUMPDEST 0000044a: PUSH1 0x0a 0000044c: PUSH1 0x20 0000044e: MSTORE 0000044f: PUSH1 0x00 00000451: SWAP1 00000452: DUP2 00000453: MSTORE 00000454: PUSH1 0x40 00000456: SWAP1 00000457: KECCAK256 00000458: SLOAD 00000459: DUP2 0000045a: JUMP 0000045b: JUMPDEST 0000045c: PUSH2 0x0463 0000045f: PUSH2 0x0fba 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH1 0x01 00000466: PUSH1 0x01 00000468: PUSH1 0xa0 0000046a: SHL 0000046b: SUB 0000046c: AND 0000046d: PUSH2 0x0474 00000470: PUSH2 0x0a78 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH1 0x01 00000477: PUSH1 0x01 00000479: PUSH1 0xa0 0000047b: SHL 0000047c: SUB 0000047d: AND 0000047e: EQ 0000047f: PUSH2 0x04cf 00000482: JUMPI 00000483: PUSH1 0x40 00000485: DUP1 00000486: MLOAD 00000487: PUSH3 0x461bcd 0000048b: PUSH1 0xe5 0000048d: SHL 0000048e: DUP2 0000048f: MSTORE 00000490: PUSH1 0x20 00000492: PUSH1 0x04 00000494: DUP3 00000495: ADD 00000496: DUP2 00000497: SWAP1 00000498: MSTORE 00000499: PUSH1 0x24 0000049b: DUP3 0000049c: ADD 0000049d: MSTORE 0000049e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000004bf: PUSH1 0x44 000004c1: DUP3 000004c2: ADD 000004c3: MSTORE 000004c4: SWAP1 000004c5: MLOAD 000004c6: SWAP1 000004c7: DUP2 000004c8: SWAP1 000004c9: SUB 000004ca: PUSH1 0x64 000004cc: ADD 000004cd: SWAP1 000004ce: REVERT 000004cf: JUMPDEST 000004d0: PUSH1 0x03 000004d2: DUP1 000004d3: SLOAD 000004d4: PUSH1 0x01 000004d6: PUSH1 0x01 000004d8: PUSH1 0xa0 000004da: SHL 000004db: SUB 000004dc: NOT 000004dd: AND 000004de: PUSH1 0x01 000004e0: PUSH1 0x01 000004e2: PUSH1 0xa0 000004e4: SHL 000004e5: SUB 000004e6: SWAP3 000004e7: SWAP1 000004e8: SWAP3 000004e9: AND 000004ea: SWAP2 000004eb: SWAP1 000004ec: SWAP2 000004ed: OR 000004ee: SWAP1 000004ef: SSTORE 000004f0: JUMP 000004f1: JUMPDEST 000004f2: PUSH1 0x03 000004f4: SLOAD 000004f5: PUSH1 0x01 000004f7: PUSH1 0x01 000004f9: PUSH1 0xa0 000004fb: SHL 000004fc: SUB 000004fd: AND 000004fe: DUP2 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH1 0x00 00000503: SLOAD 00000504: JUMPDEST 00000505: SWAP1 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH3 0x0d2f00 0000050c: DUP2 0000050d: JUMP 0000050e: JUMPDEST 0000050f: CALLER 00000510: PUSH2 0x0517 00000513: PUSH2 0x0c76 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH1 0x08 0000051a: SSTORE 0000051b: PUSH2 0x0522 0000051e: PUSH2 0x0a4d 00000521: JUMP 00000522: JUMPDEST 00000523: PUSH1 0x07 00000525: SSTORE 00000526: PUSH1 0x01 00000528: PUSH1 0x01 0000052a: PUSH1 0xa0 0000052c: SHL 0000052d: SUB 0000052e: DUP2 0000052f: AND 00000530: ISZERO 00000531: PUSH2 0x0569 00000534: JUMPI 00000535: PUSH2 0x053d 00000538: DUP2 00000539: PUSH2 0x03c3 0000053c: JUMP 0000053d: JUMPDEST 0000053e: PUSH1 0x01 00000540: PUSH1 0x01 00000542: PUSH1 0xa0 00000544: SHL 00000545: SUB 00000546: DUP3 00000547: AND 00000548: PUSH1 0x00 0000054a: SWAP1 0000054b: DUP2 0000054c: MSTORE 0000054d: PUSH1 0x0a 0000054f: PUSH1 0x20 00000551: SWAP1 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x40 00000556: DUP1 00000557: DUP4 00000558: KECCAK256 00000559: SWAP4 0000055a: SWAP1 0000055b: SWAP4 0000055c: SSTORE 0000055d: PUSH1 0x08 0000055f: SLOAD 00000560: PUSH1 0x09 00000562: SWAP1 00000563: SWAP2 00000564: MSTORE 00000565: SWAP2 00000566: SWAP1 00000567: KECCAK256 00000568: SSTORE 00000569: JUMPDEST 0000056a: PUSH1 0x00 0000056c: DUP3 0000056d: GT 0000056e: PUSH2 0x05a8 00000571: JUMPI 00000572: PUSH1 0x40 00000574: MLOAD 00000575: PUSH3 0x461bcd 00000579: PUSH1 0xe5 0000057b: SHL 0000057c: DUP2 0000057d: MSTORE 0000057e: PUSH1 0x04 00000580: ADD 00000581: DUP1 00000582: DUP1 00000583: PUSH1 0x20 00000585: ADD 00000586: DUP3 00000587: DUP2 00000588: SUB 00000589: DUP3 0000058a: MSTORE 0000058b: PUSH1 0x22 0000058d: DUP2 0000058e: MSTORE 0000058f: PUSH1 0x20 00000591: ADD 00000592: DUP1 00000593: PUSH2 0x143a 00000596: PUSH1 0x22 00000598: SWAP2 00000599: CODECOPY 0000059a: PUSH1 0x40 0000059c: ADD 0000059d: SWAP2 0000059e: POP 0000059f: POP 000005a0: PUSH1 0x40 000005a2: MLOAD 000005a3: DUP1 000005a4: SWAP2 000005a5: SUB 000005a6: SWAP1 000005a7: REVERT 000005a8: JUMPDEST 000005a9: CALLER 000005aa: PUSH1 0x00 000005ac: SWAP1 000005ad: DUP2 000005ae: MSTORE 000005af: PUSH1 0x0b 000005b1: PUSH1 0x20 000005b3: MSTORE 000005b4: PUSH1 0x40 000005b6: SWAP1 000005b7: KECCAK256 000005b8: SLOAD 000005b9: PUSH2 0x05c8 000005bc: SWAP1 000005bd: DUP4 000005be: PUSH4 0xffffffff 000005c3: PUSH2 0x0e3c 000005c6: AND 000005c7: JUMP 000005c8: JUMPDEST 000005c9: CALLER 000005ca: PUSH1 0x00 000005cc: SWAP1 000005cd: DUP2 000005ce: MSTORE 000005cf: PUSH1 0x0b 000005d1: PUSH1 0x20 000005d3: MSTORE 000005d4: PUSH1 0x40 000005d6: SWAP1 000005d7: KECCAK256 000005d8: SSTORE 000005d9: PUSH2 0x05e1 000005dc: DUP3 000005dd: PUSH2 0x0fbe 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH1 0x40 000005e4: DUP1 000005e5: MLOAD 000005e6: DUP4 000005e7: DUP2 000005e8: MSTORE 000005e9: SWAP1 000005ea: MLOAD 000005eb: CALLER 000005ec: SWAP2 000005ed: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 0000060e: SWAP2 0000060f: SWAP1 00000610: DUP2 00000611: SWAP1 00000612: SUB 00000613: PUSH1 0x20 00000615: ADD 00000616: SWAP1 00000617: LOG2 00000618: POP 00000619: POP 0000061a: JUMP 0000061b: JUMPDEST 0000061c: PUSH1 0x03 0000061e: SLOAD 0000061f: PUSH1 0x01 00000621: PUSH1 0x01 00000623: PUSH1 0xa0 00000625: SHL 00000626: SUB 00000627: AND 00000628: PUSH2 0x062f 0000062b: PUSH2 0x0fba 0000062e: JUMP 0000062f: JUMPDEST 00000630: PUSH1 0x01 00000632: PUSH1 0x01 00000634: PUSH1 0xa0 00000636: SHL 00000637: SUB 00000638: AND 00000639: EQ 0000063a: PUSH2 0x0674 0000063d: JUMPI 0000063e: PUSH1 0x40 00000640: MLOAD 00000641: PUSH3 0x461bcd 00000645: PUSH1 0xe5 00000647: SHL 00000648: DUP2 00000649: MSTORE 0000064a: PUSH1 0x04 0000064c: ADD 0000064d: DUP1 0000064e: DUP1 0000064f: PUSH1 0x20 00000651: ADD 00000652: DUP3 00000653: DUP2 00000654: SUB 00000655: DUP3 00000656: MSTORE 00000657: PUSH1 0x21 00000659: DUP2 0000065a: MSTORE 0000065b: PUSH1 0x20 0000065d: ADD 0000065e: DUP1 0000065f: PUSH2 0x14c9 00000662: PUSH1 0x21 00000664: SWAP2 00000665: CODECOPY 00000666: PUSH1 0x40 00000668: ADD 00000669: SWAP2 0000066a: POP 0000066b: POP 0000066c: PUSH1 0x40 0000066e: MLOAD 0000066f: DUP1 00000670: SWAP2 00000671: SUB 00000672: SWAP1 00000673: REVERT 00000674: JUMPDEST 00000675: PUSH1 0x00 00000677: PUSH2 0x067e 0000067a: PUSH2 0x0c76 0000067d: JUMP 0000067e: JUMPDEST 0000067f: PUSH1 0x08 00000681: SSTORE 00000682: PUSH2 0x0689 00000685: PUSH2 0x0a4d 00000688: JUMP 00000689: JUMPDEST 0000068a: PUSH1 0x07 0000068c: SSTORE 0000068d: PUSH1 0x01 0000068f: PUSH1 0x01 00000691: PUSH1 0xa0 00000693: SHL 00000694: SUB 00000695: DUP2 00000696: AND 00000697: ISZERO 00000698: PUSH2 0x06d0 0000069b: JUMPI 0000069c: PUSH2 0x06a4 0000069f: DUP2 000006a0: PUSH2 0x03c3 000006a3: JUMP 000006a4: JUMPDEST 000006a5: PUSH1 0x01 000006a7: PUSH1 0x01 000006a9: PUSH1 0xa0 000006ab: SHL 000006ac: SUB 000006ad: DUP3 000006ae: AND 000006af: PUSH1 0x00 000006b1: SWAP1 000006b2: DUP2 000006b3: MSTORE 000006b4: PUSH1 0x0a 000006b6: PUSH1 0x20 000006b8: SWAP1 000006b9: DUP2 000006ba: MSTORE 000006bb: PUSH1 0x40 000006bd: DUP1 000006be: DUP4 000006bf: KECCAK256 000006c0: SWAP4 000006c1: SWAP1 000006c2: SWAP4 000006c3: SSTORE 000006c4: PUSH1 0x08 000006c6: SLOAD 000006c7: PUSH1 0x09 000006c9: SWAP1 000006ca: SWAP2 000006cb: MSTORE 000006cc: SWAP2 000006cd: SWAP1 000006ce: KECCAK256 000006cf: SSTORE 000006d0: JUMPDEST 000006d1: PUSH1 0x04 000006d3: SLOAD 000006d4: TIMESTAMP 000006d5: GT 000006d6: ISZERO 000006d7: PUSH2 0x07a0 000006da: JUMPI 000006db: PUSH1 0x05 000006dd: SLOAD 000006de: TIMESTAMP 000006df: LT 000006e0: PUSH2 0x06fe 000006e3: JUMPI 000006e4: PUSH2 0x06f6 000006e7: DUP3 000006e8: PUSH3 0x0d2f00 000006ec: PUSH4 0xffffffff 000006f1: PUSH2 0x0ef9 000006f4: AND 000006f5: JUMP 000006f6: JUMPDEST 000006f7: PUSH1 0x06 000006f9: SSTORE 000006fa: PUSH2 0x074c 000006fd: JUMP 000006fe: JUMPDEST 000006ff: PUSH1 0x05 00000701: SLOAD 00000702: PUSH1 0x00 00000704: SWAP1 00000705: PUSH2 0x0714 00000708: SWAP1 00000709: TIMESTAMP 0000070a: PUSH4 0xffffffff 0000070f: PUSH2 0x0e3c 00000712: AND 00000713: JUMP 00000714: JUMPDEST 00000715: SWAP1 00000716: POP 00000717: PUSH1 0x00 00000719: PUSH2 0x072d 0000071c: PUSH1 0x06 0000071e: SLOAD 0000071f: DUP4 00000720: PUSH2 0x0e99 00000723: SWAP1 00000724: SWAP2 00000725: SWAP1 00000726: PUSH4 0xffffffff 0000072b: AND 0000072c: JUMP 0000072d: JUMPDEST 0000072e: SWAP1 0000072f: POP 00000730: PUSH2 0x0746 00000733: PUSH3 0x0d2f00 00000737: PUSH2 0x042b 0000073a: DUP7 0000073b: DUP5 0000073c: PUSH4 0xffffffff 00000741: PUSH2 0x0f60 00000744: AND 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH1 0x06 00000749: SSTORE 0000074a: POP 0000074b: POP 0000074c: JUMPDEST 0000074d: TIMESTAMP 0000074e: PUSH1 0x07 00000750: DUP2 00000751: SWAP1 00000752: SSTORE 00000753: PUSH2 0x0765 00000756: SWAP1 00000757: PUSH3 0x0d2f00 0000075b: PUSH4 0xffffffff 00000760: PUSH2 0x0f60 00000763: AND 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x05 00000768: SSTORE 00000769: PUSH1 0x40 0000076b: DUP1 0000076c: MLOAD 0000076d: DUP4 0000076e: DUP2 0000076f: MSTORE 00000770: SWAP1 00000771: MLOAD 00000772: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 00000793: SWAP2 00000794: DUP2 00000795: SWAP1 00000796: SUB 00000797: PUSH1 0x20 00000799: ADD 0000079a: SWAP1 0000079b: LOG1 0000079c: PUSH2 0x0808 0000079f: JUMP 000007a0: JUMPDEST 000007a1: PUSH2 0x07b3 000007a4: DUP3 000007a5: PUSH3 0x0d2f00 000007a9: PUSH4 0xffffffff 000007ae: PUSH2 0x0ef9 000007b1: AND 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH1 0x06 000007b6: SSTORE 000007b7: PUSH1 0x04 000007b9: SLOAD 000007ba: PUSH1 0x07 000007bc: DUP2 000007bd: SWAP1 000007be: SSTORE 000007bf: PUSH2 0x07d1 000007c2: SWAP1 000007c3: PUSH3 0x0d2f00 000007c7: PUSH4 0xffffffff 000007cc: PUSH2 0x0f60 000007cf: AND 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x05 000007d4: SSTORE 000007d5: PUSH1 0x40 000007d7: DUP1 000007d8: MLOAD 000007d9: DUP4 000007da: DUP2 000007db: MSTORE 000007dc: SWAP1 000007dd: MLOAD 000007de: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 000007ff: SWAP2 00000800: DUP2 00000801: SWAP1 00000802: SUB 00000803: PUSH1 0x20 00000805: ADD 00000806: SWAP1 00000807: LOG1 00000808: JUMPDEST 00000809: POP 0000080a: POP 0000080b: JUMP 0000080c: JUMPDEST 0000080d: CALLER 0000080e: PUSH2 0x0815 00000811: PUSH2 0x0c76 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH1 0x08 00000818: SSTORE 00000819: PUSH2 0x0820 0000081c: PUSH2 0x0a4d 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x07 00000823: SSTORE 00000824: PUSH1 0x01 00000826: PUSH1 0x01 00000828: PUSH1 0xa0 0000082a: SHL 0000082b: SUB 0000082c: DUP2 0000082d: AND 0000082e: ISZERO 0000082f: PUSH2 0x0867 00000832: JUMPI 00000833: PUSH2 0x083b 00000836: DUP2 00000837: PUSH2 0x03c3 0000083a: JUMP 0000083b: JUMPDEST 0000083c: PUSH1 0x01 0000083e: PUSH1 0x01 00000840: PUSH1 0xa0 00000842: SHL 00000843: SUB 00000844: DUP3 00000845: AND 00000846: PUSH1 0x00 00000848: SWAP1 00000849: DUP2 0000084a: MSTORE 0000084b: PUSH1 0x0a 0000084d: PUSH1 0x20 0000084f: SWAP1 00000850: DUP2 00000851: MSTORE 00000852: PUSH1 0x40 00000854: DUP1 00000855: DUP4 00000856: KECCAK256 00000857: SWAP4 00000858: SWAP1 00000859: SWAP4 0000085a: SSTORE 0000085b: PUSH1 0x08 0000085d: SLOAD 0000085e: PUSH1 0x09 00000860: SWAP1 00000861: SWAP2 00000862: MSTORE 00000863: SWAP2 00000864: SWAP1 00000865: KECCAK256 00000866: SSTORE 00000867: JUMPDEST 00000868: PUSH1 0x04 0000086a: SLOAD 0000086b: TIMESTAMP 0000086c: LT 0000086d: ISZERO 0000086e: PUSH2 0x08be 00000871: JUMPI 00000872: PUSH1 0x40 00000874: DUP1 00000875: MLOAD 00000876: PUSH3 0x461bcd 0000087a: PUSH1 0xe5 0000087c: SHL 0000087d: DUP2 0000087e: MSTORE 0000087f: PUSH1 0x20 00000881: PUSH1 0x04 00000883: DUP3 00000884: ADD 00000885: MSTORE 00000886: PUSH1 0x1a 00000888: PUSH1 0x24 0000088a: DUP3 0000088b: ADD 0000088c: MSTORE 0000088d: PUSH32 0x47656e6573697357657468506f6f6c3a206e6f74207374617274000000000000 000008ae: PUSH1 0x44 000008b0: DUP3 000008b1: ADD 000008b2: MSTORE 000008b3: SWAP1 000008b4: MLOAD 000008b5: SWAP1 000008b6: DUP2 000008b7: SWAP1 000008b8: SUB 000008b9: PUSH1 0x64 000008bb: ADD 000008bc: SWAP1 000008bd: REVERT 000008be: JUMPDEST 000008bf: PUSH1 0x00 000008c1: PUSH2 0x08c9 000008c4: CALLER 000008c5: PUSH2 0x03c3 000008c8: JUMP 000008c9: JUMPDEST 000008ca: SWAP1 000008cb: POP 000008cc: DUP1 000008cd: ISZERO 000008ce: PUSH2 0x0808 000008d1: JUMPI 000008d2: CALLER 000008d3: PUSH1 0x00 000008d5: DUP2 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x0a 000008da: PUSH1 0x20 000008dc: MSTORE 000008dd: PUSH1 0x40 000008df: DUP2 000008e0: KECCAK256 000008e1: SSTORE 000008e2: PUSH2 0x091c 000008e5: SWAP1 000008e6: PUSH32 0x0000000000000000000000004c44f9183d99df69b1b5fa2484bec6efcffa5c98 00000907: PUSH1 0x01 00000909: PUSH1 0x01 0000090b: PUSH1 0xa0 0000090d: SHL 0000090e: SUB 0000090f: AND 00000910: SWAP1 00000911: DUP4 00000912: PUSH4 0xffffffff 00000917: PUSH2 0x102f 0000091a: AND 0000091b: JUMP 0000091c: JUMPDEST 0000091d: PUSH1 0x40 0000091f: DUP1 00000920: MLOAD 00000921: DUP3 00000922: DUP2 00000923: MSTORE 00000924: SWAP1 00000925: MLOAD 00000926: CALLER 00000927: SWAP2 00000928: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 00000949: SWAP2 0000094a: SWAP1 0000094b: DUP2 0000094c: SWAP1 0000094d: SUB 0000094e: PUSH1 0x20 00000950: ADD 00000951: SWAP1 00000952: LOG2 00000953: POP 00000954: POP 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000096c: DUP2 0000096d: JUMP 0000096e: JUMPDEST 0000096f: PUSH1 0x01 00000971: PUSH1 0x01 00000973: PUSH1 0xa0 00000975: SHL 00000976: SUB 00000977: AND 00000978: PUSH1 0x00 0000097a: SWAP1 0000097b: DUP2 0000097c: MSTORE 0000097d: PUSH1 0x01 0000097f: PUSH1 0x20 00000981: MSTORE 00000982: PUSH1 0x40 00000984: SWAP1 00000985: KECCAK256 00000986: SLOAD 00000987: SWAP1 00000988: JUMP 00000989: JUMPDEST 0000098a: PUSH2 0x0991 0000098d: PUSH2 0x0fba 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x01 00000994: PUSH1 0x01 00000996: PUSH1 0xa0 00000998: SHL 00000999: SUB 0000099a: AND 0000099b: PUSH2 0x09a2 0000099e: PUSH2 0x0a78 000009a1: JUMP 000009a2: JUMPDEST 000009a3: PUSH1 0x01 000009a5: PUSH1 0x01 000009a7: PUSH1 0xa0 000009a9: SHL 000009aa: SUB 000009ab: AND 000009ac: EQ 000009ad: PUSH2 0x09fd 000009b0: JUMPI 000009b1: PUSH1 0x40 000009b3: DUP1 000009b4: MLOAD 000009b5: PUSH3 0x461bcd 000009b9: PUSH1 0xe5 000009bb: SHL 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x20 000009c0: PUSH1 0x04 000009c2: DUP3 000009c3: ADD 000009c4: DUP2 000009c5: SWAP1 000009c6: MSTORE 000009c7: PUSH1 0x24 000009c9: DUP3 000009ca: ADD 000009cb: MSTORE 000009cc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000009ed: PUSH1 0x44 000009ef: DUP3 000009f0: ADD 000009f1: MSTORE 000009f2: SWAP1 000009f3: MLOAD 000009f4: SWAP1 000009f5: DUP2 000009f6: SWAP1 000009f7: SUB 000009f8: PUSH1 0x64 000009fa: ADD 000009fb: SWAP1 000009fc: REVERT 000009fd: JUMPDEST 000009fe: PUSH1 0x02 00000a00: SLOAD 00000a01: PUSH1 0x40 00000a03: MLOAD 00000a04: PUSH1 0x00 00000a06: SWAP2 00000a07: PUSH1 0x01 00000a09: PUSH1 0x01 00000a0b: PUSH1 0xa0 00000a0d: SHL 00000a0e: SUB 00000a0f: AND 00000a10: SWAP1 00000a11: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000a32: SWAP1 00000a33: DUP4 00000a34: SWAP1 00000a35: LOG3 00000a36: PUSH1 0x02 00000a38: DUP1 00000a39: SLOAD 00000a3a: PUSH1 0x01 00000a3c: PUSH1 0x01 00000a3e: PUSH1 0xa0 00000a40: SHL 00000a41: SUB 00000a42: NOT 00000a43: AND 00000a44: SWAP1 00000a45: SSTORE 00000a46: JUMP 00000a47: JUMPDEST 00000a48: PUSH1 0x06 00000a4a: SLOAD 00000a4b: DUP2 00000a4c: JUMP 00000a4d: JUMPDEST 00000a4e: PUSH1 0x00 00000a50: PUSH2 0x0a5b 00000a53: TIMESTAMP 00000a54: PUSH1 0x05 00000a56: SLOAD 00000a57: PUSH2 0x1086 00000a5a: JUMP 00000a5b: JUMPDEST 00000a5c: SWAP1 00000a5d: POP 00000a5e: SWAP1 00000a5f: JUMP 00000a60: JUMPDEST 00000a61: PUSH1 0x09 00000a63: PUSH1 0x20 00000a65: MSTORE 00000a66: PUSH1 0x00 00000a68: SWAP1 00000a69: DUP2 00000a6a: MSTORE 00000a6b: PUSH1 0x40 00000a6d: SWAP1 00000a6e: KECCAK256 00000a6f: SLOAD 00000a70: DUP2 00000a71: JUMP 00000a72: JUMPDEST 00000a73: PUSH1 0x04 00000a75: SLOAD 00000a76: DUP2 00000a77: JUMP 00000a78: JUMPDEST 00000a79: PUSH1 0x02 00000a7b: SLOAD 00000a7c: PUSH1 0x01 00000a7e: PUSH1 0x01 00000a80: PUSH1 0xa0 00000a82: SHL 00000a83: SUB 00000a84: AND 00000a85: SWAP1 00000a86: JUMP 00000a87: JUMPDEST 00000a88: CALLER 00000a89: PUSH2 0x0a90 00000a8c: PUSH2 0x0c76 00000a8f: JUMP 00000a90: JUMPDEST 00000a91: PUSH1 0x08 00000a93: SSTORE 00000a94: PUSH2 0x0a9b 00000a97: PUSH2 0x0a4d 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: PUSH1 0x07 00000a9e: SSTORE 00000a9f: PUSH1 0x01 00000aa1: PUSH1 0x01 00000aa3: PUSH1 0xa0 00000aa5: SHL 00000aa6: SUB 00000aa7: DUP2 00000aa8: AND 00000aa9: ISZERO 00000aaa: PUSH2 0x0ae2 00000aad: JUMPI 00000aae: PUSH2 0x0ab6 00000ab1: DUP2 00000ab2: PUSH2 0x03c3 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: PUSH1 0x01 00000ab9: PUSH1 0x01 00000abb: PUSH1 0xa0 00000abd: SHL 00000abe: SUB 00000abf: DUP3 00000ac0: AND 00000ac1: PUSH1 0x00 00000ac3: SWAP1 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x0a 00000ac8: PUSH1 0x20 00000aca: SWAP1 00000acb: DUP2 00000acc: MSTORE 00000acd: PUSH1 0x40 00000acf: DUP1 00000ad0: DUP4 00000ad1: KECCAK256 00000ad2: SWAP4 00000ad3: SWAP1 00000ad4: SWAP4 00000ad5: SSTORE 00000ad6: PUSH1 0x08 00000ad8: SLOAD 00000ad9: PUSH1 0x09 00000adb: SWAP1 00000adc: SWAP2 00000add: MSTORE 00000ade: SWAP2 00000adf: SWAP1 00000ae0: KECCAK256 00000ae1: SSTORE 00000ae2: JUMPDEST 00000ae3: PUSH1 0x04 00000ae5: SLOAD 00000ae6: TIMESTAMP 00000ae7: LT 00000ae8: ISZERO 00000ae9: PUSH2 0x0b39 00000aec: JUMPI 00000aed: PUSH1 0x40 00000aef: DUP1 00000af0: MLOAD 00000af1: PUSH3 0x461bcd 00000af5: PUSH1 0xe5 00000af7: SHL 00000af8: DUP2 00000af9: MSTORE 00000afa: PUSH1 0x20 00000afc: PUSH1 0x04 00000afe: DUP3 00000aff: ADD 00000b00: MSTORE 00000b01: PUSH1 0x1a 00000b03: PUSH1 0x24 00000b05: DUP3 00000b06: ADD 00000b07: MSTORE 00000b08: PUSH32 0x47656e6573697357657468506f6f6c3a206e6f74207374617274000000000000 00000b29: PUSH1 0x44 00000b2b: DUP3 00000b2c: ADD 00000b2d: MSTORE 00000b2e: SWAP1 00000b2f: MLOAD 00000b30: SWAP1 00000b31: DUP2 00000b32: SWAP1 00000b33: SUB 00000b34: PUSH1 0x64 00000b36: ADD 00000b37: SWAP1 00000b38: REVERT 00000b39: JUMPDEST 00000b3a: PUSH1 0x00 00000b3c: DUP3 00000b3d: GT 00000b3e: PUSH2 0x0b8e 00000b41: JUMPI 00000b42: PUSH1 0x40 00000b44: DUP1 00000b45: MLOAD 00000b46: PUSH3 0x461bcd 00000b4a: PUSH1 0xe5 00000b4c: SHL 00000b4d: DUP2 00000b4e: MSTORE 00000b4f: PUSH1 0x20 00000b51: PUSH1 0x04 00000b53: DUP3 00000b54: ADD 00000b55: MSTORE 00000b56: PUSH1 0x1f 00000b58: PUSH1 0x24 00000b5a: DUP3 00000b5b: ADD 00000b5c: MSTORE 00000b5d: PUSH32 0x47656e6573697357657468506f6f6c3a2043616e6e6f74207374616b65203000 00000b7e: PUSH1 0x44 00000b80: DUP3 00000b81: ADD 00000b82: MSTORE 00000b83: SWAP1 00000b84: MLOAD 00000b85: SWAP1 00000b86: DUP2 00000b87: SWAP1 00000b88: SUB 00000b89: PUSH1 0x64 00000b8b: ADD 00000b8c: SWAP1 00000b8d: REVERT 00000b8e: JUMPDEST 00000b8f: PUSH1 0x00 00000b91: PUSH2 0x0ba7 00000b94: PUSH2 0x03e8 00000b97: PUSH2 0x042b 00000b9a: DUP6 00000b9b: PUSH1 0x06 00000b9d: PUSH4 0xffffffff 00000ba2: PUSH2 0x0e99 00000ba5: AND 00000ba6: JUMP 00000ba7: JUMPDEST 00000ba8: SWAP1 00000ba9: POP 00000baa: PUSH2 0x0be3 00000bad: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000bc2: CALLER 00000bc3: PUSH20 0xd0da67f38ea511e795f8f8be97da7b3eca47b3c5 00000bd8: DUP5 00000bd9: PUSH4 0xffffffff 00000bde: PUSH2 0x109c 00000be1: AND 00000be2: JUMP 00000be3: JUMPDEST 00000be4: PUSH2 0x0bf3 00000be7: DUP4 00000be8: DUP3 00000be9: PUSH4 0xffffffff 00000bee: PUSH2 0x0e3c 00000bf1: AND 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: CALLER 00000bf5: PUSH1 0x00 00000bf7: SWAP1 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: PUSH1 0x0b 00000bfc: PUSH1 0x20 00000bfe: MSTORE 00000bff: PUSH1 0x40 00000c01: DUP2 00000c02: KECCAK256 00000c03: SLOAD 00000c04: SWAP2 00000c05: SWAP5 00000c06: POP 00000c07: SWAP1 00000c08: PUSH2 0x0c17 00000c0b: SWAP1 00000c0c: DUP6 00000c0d: PUSH4 0xffffffff 00000c12: PUSH2 0x0f60 00000c15: AND 00000c16: JUMP 00000c17: JUMPDEST 00000c18: CALLER 00000c19: PUSH1 0x00 00000c1b: SWAP1 00000c1c: DUP2 00000c1d: MSTORE 00000c1e: PUSH1 0x0b 00000c20: PUSH1 0x20 00000c22: MSTORE 00000c23: PUSH1 0x40 00000c25: SWAP1 00000c26: KECCAK256 00000c27: DUP2 00000c28: SWAP1 00000c29: SSTORE 00000c2a: SWAP1 00000c2b: POP 00000c2c: PUSH2 0x0c34 00000c2f: DUP5 00000c30: PUSH2 0x10fc 00000c33: JUMP 00000c34: JUMPDEST 00000c35: PUSH1 0x40 00000c37: DUP1 00000c38: MLOAD 00000c39: DUP6 00000c3a: DUP2 00000c3b: MSTORE 00000c3c: SWAP1 00000c3d: MLOAD 00000c3e: CALLER 00000c3f: SWAP2 00000c40: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d 00000c61: SWAP2 00000c62: SWAP1 00000c63: DUP2 00000c64: SWAP1 00000c65: SUB 00000c66: PUSH1 0x20 00000c68: ADD 00000c69: SWAP1 00000c6a: LOG2 00000c6b: POP 00000c6c: POP 00000c6d: POP 00000c6e: POP 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: PUSH1 0x07 00000c73: SLOAD 00000c74: DUP2 00000c75: JUMP 00000c76: JUMPDEST 00000c77: PUSH1 0x00 00000c79: PUSH2 0x0c80 00000c7c: PUSH2 0x0500 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: PUSH2 0x0c8d 00000c84: JUMPI 00000c85: POP 00000c86: PUSH1 0x08 00000c88: SLOAD 00000c89: PUSH2 0x0504 00000c8c: JUMP 00000c8d: JUMPDEST 00000c8e: PUSH2 0x0a5b 00000c91: PUSH2 0x0cbb 00000c94: PUSH2 0x0c9b 00000c97: PUSH2 0x0500 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: PUSH2 0x042b 00000c9f: PUSH8 0x0de0b6b3a7640000 00000ca8: PUSH2 0x041f 00000cab: PUSH1 0x06 00000cad: SLOAD 00000cae: PUSH2 0x041f 00000cb1: PUSH1 0x07 00000cb3: SLOAD 00000cb4: PUSH2 0x040a 00000cb7: PUSH2 0x0a4d 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x08 00000cbe: SLOAD 00000cbf: SWAP1 00000cc0: PUSH4 0xffffffff 00000cc5: PUSH2 0x0f60 00000cc8: AND 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: PUSH1 0x08 00000ccd: SLOAD 00000cce: DUP2 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: PUSH2 0x0ce1 00000cd4: PUSH2 0x0cdc 00000cd7: CALLER 00000cd8: PUSH2 0x096e 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: PUSH2 0x050e 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: PUSH2 0x0ce9 00000ce5: PUSH2 0x080c 00000ce8: JUMP 00000ce9: JUMPDEST 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: PUSH1 0x05 00000cee: SLOAD 00000cef: DUP2 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH2 0x0cf9 00000cf5: PUSH2 0x0fba 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: PUSH1 0x01 00000cfc: PUSH1 0x01 00000cfe: PUSH1 0xa0 00000d00: SHL 00000d01: SUB 00000d02: AND 00000d03: PUSH2 0x0d0a 00000d06: PUSH2 0x0a78 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: PUSH1 0x01 00000d0d: PUSH1 0x01 00000d0f: PUSH1 0xa0 00000d11: SHL 00000d12: SUB 00000d13: AND 00000d14: EQ 00000d15: PUSH2 0x0d65 00000d18: JUMPI 00000d19: PUSH1 0x40 00000d1b: DUP1 00000d1c: MLOAD 00000d1d: PUSH3 0x461bcd 00000d21: PUSH1 0xe5 00000d23: SHL 00000d24: DUP2 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: PUSH1 0x04 00000d2a: DUP3 00000d2b: ADD 00000d2c: DUP2 00000d2d: SWAP1 00000d2e: MSTORE 00000d2f: PUSH1 0x24 00000d31: DUP3 00000d32: ADD 00000d33: MSTORE 00000d34: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000d55: PUSH1 0x44 00000d57: DUP3 00000d58: ADD 00000d59: MSTORE 00000d5a: SWAP1 00000d5b: MLOAD 00000d5c: SWAP1 00000d5d: DUP2 00000d5e: SWAP1 00000d5f: SUB 00000d60: PUSH1 0x64 00000d62: ADD 00000d63: SWAP1 00000d64: REVERT 00000d65: JUMPDEST 00000d66: PUSH1 0x01 00000d68: PUSH1 0x01 00000d6a: PUSH1 0xa0 00000d6c: SHL 00000d6d: SUB 00000d6e: DUP2 00000d6f: AND 00000d70: PUSH2 0x0daa 00000d73: JUMPI 00000d74: PUSH1 0x40 00000d76: MLOAD 00000d77: PUSH3 0x461bcd 00000d7b: PUSH1 0xe5 00000d7d: SHL 00000d7e: DUP2 00000d7f: MSTORE 00000d80: PUSH1 0x04 00000d82: ADD 00000d83: DUP1 00000d84: DUP1 00000d85: PUSH1 0x20 00000d87: ADD 00000d88: DUP3 00000d89: DUP2 00000d8a: SUB 00000d8b: DUP3 00000d8c: MSTORE 00000d8d: PUSH1 0x26 00000d8f: DUP2 00000d90: MSTORE 00000d91: PUSH1 0x20 00000d93: ADD 00000d94: DUP1 00000d95: PUSH2 0x145c 00000d98: PUSH1 0x26 00000d9a: SWAP2 00000d9b: CODECOPY 00000d9c: PUSH1 0x40 00000d9e: ADD 00000d9f: SWAP2 00000da0: POP 00000da1: POP 00000da2: PUSH1 0x40 00000da4: MLOAD 00000da5: DUP1 00000da6: SWAP2 00000da7: SUB 00000da8: SWAP1 00000da9: REVERT 00000daa: JUMPDEST 00000dab: PUSH1 0x02 00000dad: SLOAD 00000dae: PUSH1 0x40 00000db0: MLOAD 00000db1: PUSH1 0x01 00000db3: PUSH1 0x01 00000db5: PUSH1 0xa0 00000db7: SHL 00000db8: SUB 00000db9: DUP1 00000dba: DUP5 00000dbb: AND 00000dbc: SWAP3 00000dbd: AND 00000dbe: SWAP1 00000dbf: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000de0: SWAP1 00000de1: PUSH1 0x00 00000de3: SWAP1 00000de4: LOG3 00000de5: PUSH1 0x02 00000de7: DUP1 00000de8: SLOAD 00000de9: PUSH1 0x01 00000deb: PUSH1 0x01 00000ded: PUSH1 0xa0 00000def: SHL 00000df0: SUB 00000df1: NOT 00000df2: AND 00000df3: PUSH1 0x01 00000df5: PUSH1 0x01 00000df7: PUSH1 0xa0 00000df9: SHL 00000dfa: SUB 00000dfb: SWAP3 00000dfc: SWAP1 00000dfd: SWAP3 00000dfe: AND 00000dff: SWAP2 00000e00: SWAP1 00000e01: SWAP2 00000e02: OR 00000e03: SWAP1 00000e04: SSTORE 00000e05: JUMP 00000e06: JUMPDEST 00000e07: PUSH32 0x0000000000000000000000004c44f9183d99df69b1b5fa2484bec6efcffa5c98 00000e28: DUP2 00000e29: JUMP 00000e2a: JUMPDEST 00000e2b: PUSH1 0x0b 00000e2d: PUSH1 0x20 00000e2f: MSTORE 00000e30: PUSH1 0x00 00000e32: SWAP1 00000e33: DUP2 00000e34: MSTORE 00000e35: PUSH1 0x40 00000e37: SWAP1 00000e38: KECCAK256 00000e39: SLOAD 00000e3a: DUP2 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: PUSH1 0x00 00000e3f: DUP3 00000e40: DUP3 00000e41: GT 00000e42: ISZERO 00000e43: PUSH2 0x0e93 00000e46: JUMPI 00000e47: PUSH1 0x40 00000e49: DUP1 00000e4a: MLOAD 00000e4b: PUSH3 0x461bcd 00000e4f: PUSH1 0xe5 00000e51: SHL 00000e52: DUP2 00000e53: MSTORE 00000e54: PUSH1 0x20 00000e56: PUSH1 0x04 00000e58: DUP3 00000e59: ADD 00000e5a: MSTORE 00000e5b: PUSH1 0x1e 00000e5d: PUSH1 0x24 00000e5f: DUP3 00000e60: ADD 00000e61: MSTORE 00000e62: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000e83: PUSH1 0x44 00000e85: DUP3 00000e86: ADD 00000e87: MSTORE 00000e88: SWAP1 00000e89: MLOAD 00000e8a: SWAP1 00000e8b: DUP2 00000e8c: SWAP1 00000e8d: SUB 00000e8e: PUSH1 0x64 00000e90: ADD 00000e91: SWAP1 00000e92: REVERT 00000e93: JUMPDEST 00000e94: POP 00000e95: SWAP1 00000e96: SUB 00000e97: SWAP1 00000e98: JUMP 00000e99: JUMPDEST 00000e9a: PUSH1 0x00 00000e9c: DUP3 00000e9d: PUSH2 0x0ea8 00000ea0: JUMPI 00000ea1: POP 00000ea2: PUSH1 0x00 00000ea4: PUSH2 0x0443 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: DUP3 00000eaa: DUP3 00000eab: MUL 00000eac: DUP3 00000ead: DUP5 00000eae: DUP3 00000eaf: DUP2 00000eb0: PUSH2 0x0eb5 00000eb3: JUMPI 00000eb4: INVALID 00000eb5: JUMPDEST 00000eb6: DIV 00000eb7: EQ 00000eb8: PUSH2 0x0ef2 00000ebb: JUMPI 00000ebc: PUSH1 0x40 00000ebe: MLOAD 00000ebf: PUSH3 0x461bcd 00000ec3: PUSH1 0xe5 00000ec5: SHL 00000ec6: DUP2 00000ec7: MSTORE 00000ec8: PUSH1 0x04 00000eca: ADD 00000ecb: DUP1 00000ecc: DUP1 00000ecd: PUSH1 0x20 00000ecf: ADD 00000ed0: DUP3 00000ed1: DUP2 00000ed2: SUB 00000ed3: DUP3 00000ed4: MSTORE 00000ed5: PUSH1 0x21 00000ed7: DUP2 00000ed8: MSTORE 00000ed9: PUSH1 0x20 00000edb: ADD 00000edc: DUP1 00000edd: PUSH2 0x14a8 00000ee0: PUSH1 0x21 00000ee2: SWAP2 00000ee3: CODECOPY 00000ee4: PUSH1 0x40 00000ee6: ADD 00000ee7: SWAP2 00000ee8: POP 00000ee9: POP 00000eea: PUSH1 0x40 00000eec: MLOAD 00000eed: DUP1 00000eee: SWAP2 00000eef: SUB 00000ef0: SWAP1 00000ef1: REVERT 00000ef2: JUMPDEST 00000ef3: SWAP4 00000ef4: SWAP3 00000ef5: POP 00000ef6: POP 00000ef7: POP 00000ef8: JUMP 00000ef9: JUMPDEST 00000efa: PUSH1 0x00 00000efc: DUP1 00000efd: DUP3 00000efe: GT 00000eff: PUSH2 0x0f4f 00000f02: JUMPI 00000f03: PUSH1 0x40 00000f05: DUP1 00000f06: MLOAD 00000f07: PUSH3 0x461bcd 00000f0b: PUSH1 0xe5 00000f0d: SHL 00000f0e: DUP2 00000f0f: MSTORE 00000f10: PUSH1 0x20 00000f12: PUSH1 0x04 00000f14: DUP3 00000f15: ADD 00000f16: MSTORE 00000f17: PUSH1 0x1a 00000f19: PUSH1 0x24 00000f1b: DUP3 00000f1c: ADD 00000f1d: MSTORE 00000f1e: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000f3f: PUSH1 0x44 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: SWAP1 00000f45: MLOAD 00000f46: SWAP1 00000f47: DUP2 00000f48: SWAP1 00000f49: SUB 00000f4a: PUSH1 0x64 00000f4c: ADD 00000f4d: SWAP1 00000f4e: REVERT 00000f4f: JUMPDEST 00000f50: DUP2 00000f51: DUP4 00000f52: DUP2 00000f53: PUSH2 0x0f58 00000f56: JUMPI 00000f57: INVALID 00000f58: JUMPDEST 00000f59: DIV 00000f5a: SWAP4 00000f5b: SWAP3 00000f5c: POP 00000f5d: POP 00000f5e: POP 00000f5f: JUMP 00000f60: JUMPDEST 00000f61: PUSH1 0x00 00000f63: DUP3 00000f64: DUP3 00000f65: ADD 00000f66: DUP4 00000f67: DUP2 00000f68: LT 00000f69: ISZERO 00000f6a: PUSH2 0x0ef2 00000f6d: JUMPI 00000f6e: PUSH1 0x40 00000f70: DUP1 00000f71: MLOAD 00000f72: PUSH3 0x461bcd 00000f76: PUSH1 0xe5 00000f78: SHL 00000f79: DUP2 00000f7a: MSTORE 00000f7b: PUSH1 0x20 00000f7d: PUSH1 0x04 00000f7f: DUP3 00000f80: ADD 00000f81: MSTORE 00000f82: PUSH1 0x1b 00000f84: PUSH1 0x24 00000f86: DUP3 00000f87: ADD 00000f88: MSTORE 00000f89: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000faa: PUSH1 0x44 00000fac: DUP3 00000fad: ADD 00000fae: MSTORE 00000faf: SWAP1 00000fb0: MLOAD 00000fb1: SWAP1 00000fb2: DUP2 00000fb3: SWAP1 00000fb4: SUB 00000fb5: PUSH1 0x64 00000fb7: ADD 00000fb8: SWAP1 00000fb9: REVERT 00000fba: JUMPDEST 00000fbb: CALLER 00000fbc: SWAP1 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH1 0x00 00000fc1: SLOAD 00000fc2: PUSH2 0x0fd1 00000fc5: SWAP1 00000fc6: DUP3 00000fc7: PUSH4 0xffffffff 00000fcc: PUSH2 0x0e3c 00000fcf: AND 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: PUSH1 0x00 00000fd4: SWAP1 00000fd5: DUP2 00000fd6: SSTORE 00000fd7: CALLER 00000fd8: DUP2 00000fd9: MSTORE 00000fda: PUSH1 0x01 00000fdc: PUSH1 0x20 00000fde: MSTORE 00000fdf: PUSH1 0x40 00000fe1: SWAP1 00000fe2: KECCAK256 00000fe3: SLOAD 00000fe4: PUSH2 0x0ff3 00000fe7: SWAP1 00000fe8: DUP3 00000fe9: PUSH4 0xffffffff 00000fee: PUSH2 0x0e3c 00000ff1: AND 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: CALLER 00000ff5: PUSH1 0x00 00000ff7: DUP2 00000ff8: DUP2 00000ff9: MSTORE 00000ffa: PUSH1 0x01 00000ffc: PUSH1 0x20 00000ffe: MSTORE 00000fff: PUSH1 0x40 00001001: SWAP1 00001002: KECCAK256 00001003: SWAP2 00001004: SWAP1 00001005: SWAP2 00001006: SSTORE 00001007: PUSH2 0x102c 0000100a: SWAP1 0000100b: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001020: SWAP1 00001021: DUP4 00001022: PUSH4 0xffffffff 00001027: PUSH2 0x102f 0000102a: AND 0000102b: JUMP 0000102c: JUMPDEST 0000102d: POP 0000102e: JUMP 0000102f: JUMPDEST 00001030: PUSH1 0x40 00001032: DUP1 00001033: MLOAD 00001034: PUSH1 0x01 00001036: PUSH1 0x01 00001038: PUSH1 0xa0 0000103a: SHL 0000103b: SUB 0000103c: DUP5 0000103d: AND 0000103e: PUSH1 0x24 00001040: DUP3 00001041: ADD 00001042: MSTORE 00001043: PUSH1 0x44 00001045: DUP1 00001046: DUP3 00001047: ADD 00001048: DUP5 00001049: SWAP1 0000104a: MSTORE 0000104b: DUP3 0000104c: MLOAD 0000104d: DUP1 0000104e: DUP4 0000104f: SUB 00001050: SWAP1 00001051: SWAP2 00001052: ADD 00001053: DUP2 00001054: MSTORE 00001055: PUSH1 0x64 00001057: SWAP1 00001058: SWAP2 00001059: ADD 0000105a: SWAP1 0000105b: SWAP2 0000105c: MSTORE 0000105d: PUSH1 0x20 0000105f: DUP2 00001060: ADD 00001061: DUP1 00001062: MLOAD 00001063: PUSH1 0x01 00001065: PUSH1 0x01 00001067: PUSH1 0xe0 00001069: SHL 0000106a: SUB 0000106b: AND 0000106c: PUSH4 0xa9059cbb 00001071: PUSH1 0xe0 00001073: SHL 00001074: OR 00001075: SWAP1 00001076: MSTORE 00001077: PUSH2 0x1081 0000107a: SWAP1 0000107b: DUP5 0000107c: SWAP1 0000107d: PUSH2 0x116b 00001080: JUMP 00001081: JUMPDEST 00001082: POP 00001083: POP 00001084: POP 00001085: JUMP 00001086: JUMPDEST 00001087: PUSH1 0x00 00001089: DUP2 0000108a: DUP4 0000108b: LT 0000108c: PUSH2 0x1095 0000108f: JUMPI 00001090: DUP2 00001091: PUSH2 0x0ef2 00001094: JUMP 00001095: JUMPDEST 00001096: POP 00001097: SWAP1 00001098: SWAP2 00001099: SWAP1 0000109a: POP 0000109b: JUMP 0000109c: JUMPDEST 0000109d: PUSH1 0x40 0000109f: DUP1 000010a0: MLOAD 000010a1: PUSH1 0x01 000010a3: PUSH1 0x01 000010a5: PUSH1 0xa0 000010a7: SHL 000010a8: SUB 000010a9: DUP1 000010aa: DUP7 000010ab: AND 000010ac: PUSH1 0x24 000010ae: DUP4 000010af: ADD 000010b0: MSTORE 000010b1: DUP5 000010b2: AND 000010b3: PUSH1 0x44 000010b5: DUP3 000010b6: ADD 000010b7: MSTORE 000010b8: PUSH1 0x64 000010ba: DUP1 000010bb: DUP3 000010bc: ADD 000010bd: DUP5 000010be: SWAP1 000010bf: MSTORE 000010c0: DUP3 000010c1: MLOAD 000010c2: DUP1 000010c3: DUP4 000010c4: SUB 000010c5: SWAP1 000010c6: SWAP2 000010c7: ADD 000010c8: DUP2 000010c9: MSTORE 000010ca: PUSH1 0x84 000010cc: SWAP1 000010cd: SWAP2 000010ce: ADD 000010cf: SWAP1 000010d0: SWAP2 000010d1: MSTORE 000010d2: PUSH1 0x20 000010d4: DUP2 000010d5: ADD 000010d6: DUP1 000010d7: MLOAD 000010d8: PUSH1 0x01 000010da: PUSH1 0x01 000010dc: PUSH1 0xe0 000010de: SHL 000010df: SUB 000010e0: AND 000010e1: PUSH4 0x23b872dd 000010e6: PUSH1 0xe0 000010e8: SHL 000010e9: OR 000010ea: SWAP1 000010eb: MSTORE 000010ec: PUSH2 0x10f6 000010ef: SWAP1 000010f0: DUP6 000010f1: SWAP1 000010f2: PUSH2 0x116b 000010f5: JUMP 000010f6: JUMPDEST 000010f7: POP 000010f8: POP 000010f9: POP 000010fa: POP 000010fb: JUMP 000010fc: JUMPDEST 000010fd: PUSH1 0x00 000010ff: SLOAD 00001100: PUSH2 0x110f 00001103: SWAP1 00001104: DUP3 00001105: PUSH4 0xffffffff 0000110a: PUSH2 0x0f60 0000110d: AND 0000110e: JUMP 0000110f: JUMPDEST 00001110: PUSH1 0x00 00001112: SWAP1 00001113: DUP2 00001114: SSTORE 00001115: CALLER 00001116: DUP2 00001117: MSTORE 00001118: PUSH1 0x01 0000111a: PUSH1 0x20 0000111c: MSTORE 0000111d: PUSH1 0x40 0000111f: SWAP1 00001120: KECCAK256 00001121: SLOAD 00001122: PUSH2 0x1131 00001125: SWAP1 00001126: DUP3 00001127: PUSH4 0xffffffff 0000112c: PUSH2 0x0f60 0000112f: AND 00001130: JUMP 00001131: JUMPDEST 00001132: CALLER 00001133: PUSH1 0x00 00001135: DUP2 00001136: DUP2 00001137: MSTORE 00001138: PUSH1 0x01 0000113a: PUSH1 0x20 0000113c: MSTORE 0000113d: PUSH1 0x40 0000113f: SWAP1 00001140: KECCAK256 00001141: SWAP2 00001142: SWAP1 00001143: SWAP2 00001144: SSTORE 00001145: PUSH2 0x102c 00001148: SWAP1 00001149: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000115e: SWAP1 0000115f: ADDRESS 00001160: DUP5 00001161: PUSH4 0xffffffff 00001166: PUSH2 0x109c 00001169: AND 0000116a: JUMP 0000116b: JUMPDEST 0000116c: PUSH1 0x60 0000116e: PUSH2 0x11c0 00001171: DUP3 00001172: PUSH1 0x40 00001174: MLOAD 00001175: DUP1 00001176: PUSH1 0x40 00001178: ADD 00001179: PUSH1 0x40 0000117b: MSTORE 0000117c: DUP1 0000117d: PUSH1 0x20 0000117f: DUP2 00001180: MSTORE 00001181: PUSH1 0x20 00001183: ADD 00001184: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000011a5: DUP2 000011a6: MSTORE 000011a7: POP 000011a8: DUP6 000011a9: PUSH1 0x01 000011ab: PUSH1 0x01 000011ad: PUSH1 0xa0 000011af: SHL 000011b0: SUB 000011b1: AND 000011b2: PUSH2 0x121c 000011b5: SWAP1 000011b6: SWAP3 000011b7: SWAP2 000011b8: SWAP1 000011b9: PUSH4 0xffffffff 000011be: AND 000011bf: JUMP 000011c0: JUMPDEST 000011c1: DUP1 000011c2: MLOAD 000011c3: SWAP1 000011c4: SWAP2 000011c5: POP 000011c6: ISZERO 000011c7: PUSH2 0x1081 000011ca: JUMPI 000011cb: DUP1 000011cc: DUP1 000011cd: PUSH1 0x20 000011cf: ADD 000011d0: SWAP1 000011d1: MLOAD 000011d2: PUSH1 0x20 000011d4: DUP2 000011d5: LT 000011d6: ISZERO 000011d7: PUSH2 0x11df 000011da: JUMPI 000011db: PUSH1 0x00 000011dd: DUP1 000011de: REVERT 000011df: JUMPDEST 000011e0: POP 000011e1: MLOAD 000011e2: PUSH2 0x1081 000011e5: JUMPI 000011e6: PUSH1 0x40 000011e8: MLOAD 000011e9: PUSH3 0x461bcd 000011ed: PUSH1 0xe5 000011ef: SHL 000011f0: DUP2 000011f1: MSTORE 000011f2: PUSH1 0x04 000011f4: ADD 000011f5: DUP1 000011f6: DUP1 000011f7: PUSH1 0x20 000011f9: ADD 000011fa: DUP3 000011fb: DUP2 000011fc: SUB 000011fd: DUP3 000011fe: MSTORE 000011ff: PUSH1 0x2a 00001201: DUP2 00001202: MSTORE 00001203: PUSH1 0x20 00001205: ADD 00001206: DUP1 00001207: PUSH2 0x14ea 0000120a: PUSH1 0x2a 0000120c: SWAP2 0000120d: CODECOPY 0000120e: PUSH1 0x40 00001210: ADD 00001211: SWAP2 00001212: POP 00001213: POP 00001214: PUSH1 0x40 00001216: MLOAD 00001217: DUP1 00001218: SWAP2 00001219: SUB 0000121a: SWAP1 0000121b: REVERT 0000121c: JUMPDEST 0000121d: PUSH1 0x60 0000121f: PUSH2 0x122b 00001222: DUP5 00001223: DUP5 00001224: PUSH1 0x00 00001226: DUP6 00001227: PUSH2 0x1233 0000122a: JUMP 0000122b: JUMPDEST 0000122c: SWAP5 0000122d: SWAP4 0000122e: POP 0000122f: POP 00001230: POP 00001231: POP 00001232: JUMP 00001233: JUMPDEST 00001234: PUSH1 0x60 00001236: DUP3 00001237: SELFBALANCE 00001238: LT 00001239: ISZERO 0000123a: PUSH2 0x1274 0000123d: JUMPI 0000123e: PUSH1 0x40 00001240: MLOAD 00001241: PUSH3 0x461bcd 00001245: PUSH1 0xe5 00001247: SHL 00001248: DUP2 00001249: MSTORE 0000124a: PUSH1 0x04 0000124c: ADD 0000124d: DUP1 0000124e: DUP1 0000124f: PUSH1 0x20 00001251: ADD 00001252: DUP3 00001253: DUP2 00001254: SUB 00001255: DUP3 00001256: MSTORE 00001257: PUSH1 0x26 00001259: DUP2 0000125a: MSTORE 0000125b: PUSH1 0x20 0000125d: ADD 0000125e: DUP1 0000125f: PUSH2 0x1482 00001262: PUSH1 0x26 00001264: SWAP2 00001265: CODECOPY 00001266: PUSH1 0x40 00001268: ADD 00001269: SWAP2 0000126a: POP 0000126b: POP 0000126c: PUSH1 0x40 0000126e: MLOAD 0000126f: DUP1 00001270: SWAP2 00001271: SUB 00001272: SWAP1 00001273: REVERT 00001274: JUMPDEST 00001275: PUSH2 0x127d 00001278: DUP6 00001279: PUSH2 0x138f 0000127c: JUMP 0000127d: JUMPDEST 0000127e: PUSH2 0x12ce 00001281: JUMPI 00001282: PUSH1 0x40 00001284: DUP1 00001285: MLOAD 00001286: PUSH3 0x461bcd 0000128a: PUSH1 0xe5 0000128c: SHL 0000128d: DUP2 0000128e: MSTORE 0000128f: PUSH1 0x20 00001291: PUSH1 0x04 00001293: DUP3 00001294: ADD 00001295: MSTORE 00001296: PUSH1 0x1d 00001298: PUSH1 0x24 0000129a: DUP3 0000129b: ADD 0000129c: MSTORE 0000129d: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000012be: PUSH1 0x44 000012c0: DUP3 000012c1: ADD 000012c2: MSTORE 000012c3: SWAP1 000012c4: MLOAD 000012c5: SWAP1 000012c6: DUP2 000012c7: SWAP1 000012c8: SUB 000012c9: PUSH1 0x64 000012cb: ADD 000012cc: SWAP1 000012cd: REVERT 000012ce: JUMPDEST 000012cf: PUSH1 0x00 000012d1: PUSH1 0x60 000012d3: DUP7 000012d4: PUSH1 0x01 000012d6: PUSH1 0x01 000012d8: PUSH1 0xa0 000012da: SHL 000012db: SUB 000012dc: AND 000012dd: DUP6 000012de: DUP8 000012df: PUSH1 0x40 000012e1: MLOAD 000012e2: DUP1 000012e3: DUP3 000012e4: DUP1 000012e5: MLOAD 000012e6: SWAP1 000012e7: PUSH1 0x20 000012e9: ADD 000012ea: SWAP1 000012eb: DUP1 000012ec: DUP4 000012ed: DUP4 000012ee: JUMPDEST 000012ef: PUSH1 0x20 000012f1: DUP4 000012f2: LT 000012f3: PUSH2 0x130d 000012f6: JUMPI 000012f7: DUP1 000012f8: MLOAD 000012f9: DUP3 000012fa: MSTORE 000012fb: PUSH1 0x1f 000012fd: NOT 000012fe: SWAP1 000012ff: SWAP3 00001300: ADD 00001301: SWAP2 00001302: PUSH1 0x20 00001304: SWAP2 00001305: DUP3 00001306: ADD 00001307: SWAP2 00001308: ADD 00001309: PUSH2 0x12ee 0000130c: JUMP 0000130d: JUMPDEST 0000130e: PUSH1 0x01 00001310: DUP4 00001311: PUSH1 0x20 00001313: SUB 00001314: PUSH2 0x0100 00001317: EXP 00001318: SUB 00001319: DUP1 0000131a: NOT 0000131b: DUP3 0000131c: MLOAD 0000131d: AND 0000131e: DUP2 0000131f: DUP5 00001320: MLOAD 00001321: AND 00001322: DUP1 00001323: DUP3 00001324: OR 00001325: DUP6 00001326: MSTORE 00001327: POP 00001328: POP 00001329: POP 0000132a: POP 0000132b: POP 0000132c: POP 0000132d: SWAP1 0000132e: POP 0000132f: ADD 00001330: SWAP2 00001331: POP 00001332: POP 00001333: PUSH1 0x00 00001335: PUSH1 0x40 00001337: MLOAD 00001338: DUP1 00001339: DUP4 0000133a: SUB 0000133b: DUP2 0000133c: DUP6 0000133d: DUP8 0000133e: GAS 0000133f: CALL 00001340: SWAP3 00001341: POP 00001342: POP 00001343: POP 00001344: RETURNDATASIZE 00001345: DUP1 00001346: PUSH1 0x00 00001348: DUP2 00001349: EQ 0000134a: PUSH2 0x136f 0000134d: JUMPI 0000134e: PUSH1 0x40 00001350: MLOAD 00001351: SWAP2 00001352: POP 00001353: PUSH1 0x1f 00001355: NOT 00001356: PUSH1 0x3f 00001358: RETURNDATASIZE 00001359: ADD 0000135a: AND 0000135b: DUP3 0000135c: ADD 0000135d: PUSH1 0x40 0000135f: MSTORE 00001360: RETURNDATASIZE 00001361: DUP3 00001362: MSTORE 00001363: RETURNDATASIZE 00001364: PUSH1 0x00 00001366: PUSH1 0x20 00001368: DUP5 00001369: ADD 0000136a: RETURNDATACOPY 0000136b: PUSH2 0x1374 0000136e: JUMP 0000136f: JUMPDEST 00001370: PUSH1 0x60 00001372: SWAP2 00001373: POP 00001374: JUMPDEST 00001375: POP 00001376: SWAP2 00001377: POP 00001378: SWAP2 00001379: POP 0000137a: PUSH2 0x1384 0000137d: DUP3 0000137e: DUP3 0000137f: DUP7 00001380: PUSH2 0x1395 00001383: JUMP 00001384: JUMPDEST 00001385: SWAP8 00001386: SWAP7 00001387: POP 00001388: POP 00001389: POP 0000138a: POP 0000138b: POP 0000138c: POP 0000138d: POP 0000138e: JUMP 0000138f: JUMPDEST 00001390: EXTCODESIZE 00001391: ISZERO 00001392: ISZERO 00001393: SWAP1 00001394: JUMP 00001395: JUMPDEST 00001396: PUSH1 0x60 00001398: DUP4 00001399: ISZERO 0000139a: PUSH2 0x13a4 0000139d: JUMPI 0000139e: POP 0000139f: DUP2 000013a0: PUSH2 0x0ef2 000013a3: JUMP 000013a4: JUMPDEST 000013a5: DUP3 000013a6: MLOAD 000013a7: ISZERO 000013a8: PUSH2 0x13b4 000013ab: JUMPI 000013ac: DUP3 000013ad: MLOAD 000013ae: DUP1 000013af: DUP5 000013b0: PUSH1 0x20 000013b2: ADD 000013b3: REVERT 000013b4: JUMPDEST 000013b5: DUP2 000013b6: PUSH1 0x40 000013b8: MLOAD 000013b9: PUSH3 0x461bcd 000013bd: PUSH1 0xe5 000013bf: SHL 000013c0: DUP2 000013c1: MSTORE 000013c2: PUSH1 0x04 000013c4: ADD 000013c5: DUP1 000013c6: DUP1 000013c7: PUSH1 0x20 000013c9: ADD 000013ca: DUP3 000013cb: DUP2 000013cc: SUB 000013cd: DUP3 000013ce: MSTORE 000013cf: DUP4 000013d0: DUP2 000013d1: DUP2 000013d2: MLOAD 000013d3: DUP2 000013d4: MSTORE 000013d5: PUSH1 0x20 000013d7: ADD 000013d8: SWAP2 000013d9: POP 000013da: DUP1 000013db: MLOAD 000013dc: SWAP1 000013dd: PUSH1 0x20 000013df: ADD 000013e0: SWAP1 000013e1: DUP1 000013e2: DUP4 000013e3: DUP4 000013e4: PUSH1 0x00 000013e6: JUMPDEST 000013e7: DUP4 000013e8: DUP2 000013e9: LT 000013ea: ISZERO 000013eb: PUSH2 0x13fe 000013ee: JUMPI 000013ef: DUP2 000013f0: DUP2 000013f1: ADD 000013f2: MLOAD 000013f3: DUP4 000013f4: DUP3 000013f5: ADD 000013f6: MSTORE 000013f7: PUSH1 0x20 000013f9: ADD 000013fa: PUSH2 0x13e6 000013fd: JUMP 000013fe: JUMPDEST 000013ff: POP 00001400: POP 00001401: POP 00001402: POP 00001403: SWAP1 00001404: POP 00001405: SWAP1 00001406: DUP2 00001407: ADD 00001408: SWAP1 00001409: PUSH1 0x1f 0000140b: AND 0000140c: DUP1 0000140d: ISZERO 0000140e: PUSH2 0x142b 00001411: JUMPI 00001412: DUP1 00001413: DUP3 00001414: SUB 00001415: DUP1 00001416: MLOAD 00001417: PUSH1 0x01 00001419: DUP4 0000141a: PUSH1 0x20 0000141c: SUB 0000141d: PUSH2 0x0100 00001420: EXP 00001421: SUB 00001422: NOT 00001423: AND 00001424: DUP2 00001425: MSTORE 00001426: PUSH1 0x20 00001428: ADD 00001429: SWAP2 0000142a: POP 0000142b: JUMPDEST 0000142c: POP 0000142d: SWAP3 0000142e: POP 0000142f: POP 00001430: POP 00001431: PUSH1 0x40 00001433: MLOAD 00001434: DUP1 00001435: SWAP2 00001436: SUB 00001437: SWAP1 00001438: REVERT 00001439: INVALID 0000143a: SELFBALANCE 0000143b: PUSH6 0x6e6573697357 00001442: PUSH6 0x7468506f6f6c 00001449: GASPRICE 0000144a: KECCAK256 0000144b: NUMBER 0000144c: PUSH2 0x6e6e 0000144f: PUSH16 0x7420776974686472617720304f776e61 00001460: PUSH3 0x6c653a 00001464: KECCAK256 00001465: PUSH15 0x6577206f776e657220697320746865 00001475: KECCAK256 00001476: PUSH27 0x65726f2061646472657373416464726573733a20696e7375666669 00001492: PUSH4 0x69656e74 00001497: KECCAK256 00001498: PUSH3 0x616c61 0000149c: PUSH15 0x636520666f722063616c6c53616665 000014ac: UNKNOWN(0x4D) 000014ad: PUSH2 0x7468 000014b0: GASPRICE 000014b1: KECCAK256 000014b2: PUSH14 0x756c7469706c69636174696f6e20 000014c1: PUSH16 0x766572666c6f7743616c6c6572206973 000014d2: KECCAK256 000014d3: PUSH15 0x6f7420726577617264206469737472 000014e3: PUSH10 0x627574696f6e53616665 000014ee: GASLIMIT 000014ef: MSTORE 000014f0: NUMBER 000014f1: ORIGIN 000014f2: ADDRESS 000014f3: GASPRICE 000014f4: KECCAK256 000014f5: GASLIMIT 000014f6: MSTORE 000014f7: NUMBER 000014f8: ORIGIN 000014f9: ADDRESS 000014fa: KECCAK256 000014fb: PUSH16 0x7065726174696f6e20646964206e6f74 0000150c: KECCAK256 0000150d: PUSH20 0x756363656564a26469706673582212200e2fcc8e 00001522: BLOCKHASH 00001523: SAR 00001524: TSTORE 00001525: SLT 00001526: DUP15 00001527: RETURN 00001528: UNKNOWN(0xCC) 00001529: CALL 0000152a: PUSH26 0x4bed2c8044de9e4f9608d8064fa9fbc0a52e0364736f6c634300 00001545: MOD 00001546: MOD 00001547: STOP 00001548: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfafd2678",
"selector": "0xfafd2678",
"calldata_variants": [
"0xfafd2678",
"0xfafd26780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7e286d",
"selector": "0xfc7e286d",
"calldata_variants": [
"0xfc7e286d",
"0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5361,
"type": "tx_origin_used"
},
{
"pc": 5368,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x90b28fa82ab890c1abbfce234177ebc46d66c75afbe7ef0aecff5b6614cacf2f
call_targets:
0x6b1803a257298292517668a5832bc5a27cb012fb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x90b28fa82ab890c1abbfce234177ebc46d66c75afbe7ef0aecff5b6614cacf2f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6b1803a257298292517668a5832bc5a27cb012fb"
],
"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": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfafd2678",
"selector": "0xfafd2678",
"calldata_variants": [
"0xfafd2678",
"0xfafd26780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7e286d",
"selector": "0xfc7e286d",
"calldata_variants": [
"0xfc7e286d",
"0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4927,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5417,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 5361,
"type": "tx_origin_used"
},
{
"pc": 5368,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x90b28fa82ab890c1abbfce234177ebc46d66c75afbe7ef0aecff5b6614cacf2f
call_targets:
0x6b1803a257298292517668a5832bc5a27cb012fb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x90b28fa82ab890c1abbfce234177ebc46d66c75afbe7ef0aecff5b6614cacf2f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6b1803a257298292517668a5832bc5a27cb012fb"
],
"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": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfafd2678",
"selector": "0xfafd2678",
"calldata_variants": [
"0xfafd2678",
"0xfafd26780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc7e286d",
"selector": "0xfc7e286d",
"calldata_variants": [
"0xfc7e286d",
"0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4927,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5417,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 5361,
"type": "tx_origin_used"
},
{
"pc": 5368,
"type": "tx_origin_used"
}
]
}
|