8d46be5e-c002-436c-85a8-59fcd4d3d536
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 |
|---|---|---|---|---|
| 31005 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 75844 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 75845 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 75846 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 75847 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 75848 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 75849 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:479653] OpenAI Codex v0.77.0 (research preview)
[codex:479653] --------
[codex:479653] workdir: /tmp/codex-multi-6q4hvj49
[codex:479653] model: gpt-5.2-codex
[codex:479653] provider: openai
[codex:479653] approval: never
[codex:479653] sandbox: read-only
[codex:479653] reasoning effort: xhigh
[codex:479653] reasoning summaries: auto
[codex:479653] session id: 019b770c-901a-7392-90d6-36de42a688f9
[codex:479653] --------
[codex:479653] user
[codex:479653] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:479653]
[codex:479653] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:479653]
[codex:479653] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:479653] - Gas inefficiency, code quality, naming, or best practices
[codex:479653] - Theoretical vulnerabilities without a clear extraction path
[codex:479653] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:479653] - Front-running unless it enables theft beyond MEV
[codex:479653] - DoS, griefing, or issues that don't result in attacker profit
[codex:479653] - Missing events, view function issues, or informational findings
[codex:479653]
[codex:479653] HIGH-VALUE PATTERNS TO HUNT:
[codex:479653] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:479653] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:479653] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:479653] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:479653] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:479653] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:479653] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:479653] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:479653] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:479653]
[codex:479653] For each finding, you MUST provide:
[codex:479653] 1. Exact file and line numbers of vulnerable code
[codex:479653] 2. Step-by-step exploit transaction sequence
[codex:479653] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:479653]
[codex:479653] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:479653]
[codex:479653] Output MUST be valid JSON matching the provided schema.
[codex:479653] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:479653] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:479653] mcp startup: no servers
[codex:479653]
[codex:479653] thinking
[codex:479653] **Preparing to check instructions**
[codex:479653] exec
[codex:479653] /bin/bash -lc 'rg --files' in /tmp/codex-multi-6q4hvj49 succeeded in 9ms:
[codex:479653] codex-output-schema.json
[codex:479653] AUDIT_BUNDLE.txt
[codex:479653] contracts/Contract.sol
[codex:479653] exec
[codex:479653] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-6q4hvj49 succeeded in 6ms:
[codex:479653] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:479653]
[codex:479653] ================================================================================
[codex:479653] FILE: contracts/Contract.sol
[codex:479653] ================================================================================
[codex:479653] /**
[codex:479653] *Submitted for verification at Etherscan.io on 2020-08-11
[codex:479653] */
[codex:479653]
[codex:479653] /**
[codex:479653] *Submitted for verification at Etherscan.io on 2020-07-17
[codex:479653] */
[codex:479653]
[codex:479653] /*
[codex:479653] ____ __ __ __ _
[codex:479653] / __/__ __ ___ / /_ / / ___ / /_ (_)__ __
[codex:479653] _\ \ / // // _ \/ __// _ \/ -_)/ __// / \ \ /
[codex:479653] /___/ \_, //_//_/\__//_//_/\__/ \__//_/ /_\_\
[codex:479653] /___/
[codex:479653]
[codex:479653]
[codex:479653] thinking
[codex:479653] **Evaluating exploit possibilities**
[codex:479653]
[codex:479653] I'm analyzing the staking pool contract's structure, focusing on potential profit exploits like reentrancy, external calls to YAM's scaling factor, and flash loan stake/withdraw interactions. After detailed review, no concrete exploit paths stand out given the trusted tokens, state update order, and typical constraints. I'll prepare a JSON summary declaring no findings with a concise explanation.
[codex:479653] codex
[codex:479653] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contract code.","findings":[]}
[codex:479653] tokens used
[codex:479653] 9,190
[codex:479653] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contract code.","findings":[]}
{
"codex": {
"ran_at": "2026-01-01T00:55:04.574473+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path found in the provided contract code.",
"raw_final": {
"summary": "No concrete, exploitable profit path found in the provided contract code.",
"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 0x018d 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x7b0a47ee 00000026: GT 00000027: PUSH2 0x00de 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xa694fc3a 00000031: GT 00000032: PUSH2 0x0097 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xdf136d65 0000003c: GT 0000003d: PUSH2 0x0071 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xdf136d65 00000047: EQ 00000048: PUSH2 0x035b 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xe9fad8ee 00000052: EQ 00000053: PUSH2 0x0363 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xebe2b12b 0000005d: EQ 0000005e: PUSH2 0x036b 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xf2fde38b 00000068: EQ 00000069: PUSH2 0x0373 0000006c: JUMPI 0000006d: PUSH2 0x018d 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0xa694fc3a 00000078: EQ 00000079: PUSH2 0x032e 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xc8f33c91 00000083: EQ 00000084: PUSH2 0x034b 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xcd3daf9d 0000008e: EQ 0000008f: PUSH2 0x0353 00000092: JUMPI 00000093: PUSH2 0x018d 00000096: JUMP 00000097: JUMPDEST 00000098: DUP1 00000099: PUSH4 0x7b0a47ee 0000009e: EQ 0000009f: PUSH2 0x02cc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x80faa57d 000000a9: EQ 000000aa: PUSH2 0x02d4 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8b876347 000000b4: EQ 000000b5: PUSH2 0x02dc 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8da58897 000000bf: EQ 000000c0: PUSH2 0x0302 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x8da5cb5b 000000ca: EQ 000000cb: PUSH2 0x030a 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x8f32d59b 000000d5: EQ 000000d6: PUSH2 0x0312 000000d9: JUMPI 000000da: PUSH2 0x018d 000000dd: JUMP 000000de: JUMPDEST 000000df: DUP1 000000e0: PUSH4 0x1be05289 000000e5: GT 000000e6: PUSH2 0x014b 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x3d18b912 000000f0: GT 000000f1: PUSH2 0x0125 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0x3d18b912 000000fb: EQ 000000fc: PUSH2 0x028e 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x3fc8cef3 00000106: EQ 00000107: PUSH2 0x0296 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0x70a08231 00000111: EQ 00000112: PUSH2 0x029e 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x715018a6 0000011c: EQ 0000011d: PUSH2 0x02c4 00000120: JUMPI 00000121: PUSH2 0x018d 00000124: JUMP 00000125: JUMPDEST 00000126: DUP1 00000127: PUSH4 0x1be05289 0000012c: EQ 0000012d: PUSH2 0x024c 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x2e1a7d4d 00000137: EQ 00000138: PUSH2 0x0254 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x3c6b16ab 00000142: EQ 00000143: PUSH2 0x0271 00000146: JUMPI 00000147: PUSH2 0x018d 0000014a: JUMP 0000014b: JUMPDEST 0000014c: DUP1 0000014d: PUSH3 0x8cc262 00000151: EQ 00000152: PUSH2 0x0192 00000155: JUMPI 00000156: DUP1 00000157: PUSH4 0x0700037d 0000015c: EQ 0000015d: PUSH2 0x01ca 00000160: JUMPI 00000161: DUP1 00000162: PUSH4 0x071c0332 00000167: EQ 00000168: PUSH2 0x01f0 0000016b: JUMPI 0000016c: DUP1 0000016d: PUSH4 0x0d68b761 00000172: EQ 00000173: PUSH2 0x0214 00000176: JUMPI 00000177: DUP1 00000178: PUSH4 0x101114cf 0000017d: EQ 0000017e: PUSH2 0x023c 00000181: JUMPI 00000182: DUP1 00000183: PUSH4 0x18160ddd 00000188: EQ 00000189: PUSH2 0x0244 0000018c: JUMPI 0000018d: JUMPDEST 0000018e: PUSH1 0x00 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: PUSH2 0x01b8 00000196: PUSH1 0x04 00000198: DUP1 00000199: CALLDATASIZE 0000019a: SUB 0000019b: PUSH1 0x20 0000019d: DUP2 0000019e: LT 0000019f: ISZERO 000001a0: PUSH2 0x01a8 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: POP 000001aa: CALLDATALOAD 000001ab: PUSH1 0x01 000001ad: PUSH1 0x01 000001af: PUSH1 0xa0 000001b1: SHL 000001b2: SUB 000001b3: AND 000001b4: PUSH2 0x0399 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: DUP1 000001bc: MLOAD 000001bd: SWAP2 000001be: DUP3 000001bf: MSTORE 000001c0: MLOAD 000001c1: SWAP1 000001c2: DUP2 000001c3: SWAP1 000001c4: SUB 000001c5: PUSH1 0x20 000001c7: ADD 000001c8: SWAP1 000001c9: RETURN 000001ca: JUMPDEST 000001cb: PUSH2 0x01b8 000001ce: PUSH1 0x04 000001d0: DUP1 000001d1: CALLDATASIZE 000001d2: SUB 000001d3: PUSH1 0x20 000001d5: DUP2 000001d6: LT 000001d7: ISZERO 000001d8: PUSH2 0x01e0 000001db: JUMPI 000001dc: PUSH1 0x00 000001de: DUP1 000001df: REVERT 000001e0: JUMPDEST 000001e1: POP 000001e2: CALLDATALOAD 000001e3: PUSH1 0x01 000001e5: PUSH1 0x01 000001e7: PUSH1 0xa0 000001e9: SHL 000001ea: SUB 000001eb: AND 000001ec: PUSH2 0x041f 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH2 0x01f8 000001f4: PUSH2 0x0431 000001f7: JUMP 000001f8: JUMPDEST 000001f9: PUSH1 0x40 000001fb: DUP1 000001fc: MLOAD 000001fd: PUSH1 0x01 000001ff: PUSH1 0x01 00000201: PUSH1 0xa0 00000203: SHL 00000204: SUB 00000205: SWAP1 00000206: SWAP3 00000207: AND 00000208: DUP3 00000209: MSTORE 0000020a: MLOAD 0000020b: SWAP1 0000020c: DUP2 0000020d: SWAP1 0000020e: SUB 0000020f: PUSH1 0x20 00000211: ADD 00000212: SWAP1 00000213: RETURN 00000214: JUMPDEST 00000215: PUSH2 0x023a 00000218: PUSH1 0x04 0000021a: DUP1 0000021b: CALLDATASIZE 0000021c: SUB 0000021d: PUSH1 0x20 0000021f: DUP2 00000220: LT 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: CALLDATALOAD 0000022d: PUSH1 0x01 0000022f: PUSH1 0x01 00000231: PUSH1 0xa0 00000233: SHL 00000234: SUB 00000235: AND 00000236: PUSH2 0x0440 00000239: JUMP 0000023a: JUMPDEST 0000023b: STOP 0000023c: JUMPDEST 0000023d: PUSH2 0x01f8 00000240: PUSH2 0x04bb 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x01b8 00000248: PUSH2 0x04ca 0000024b: JUMP 0000024c: JUMPDEST 0000024d: PUSH2 0x01b8 00000250: PUSH2 0x04d1 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH2 0x023a 00000258: PUSH1 0x04 0000025a: DUP1 0000025b: CALLDATASIZE 0000025c: SUB 0000025d: PUSH1 0x20 0000025f: DUP2 00000260: LT 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: CALLDATALOAD 0000026d: PUSH2 0x04d8 00000270: JUMP 00000271: JUMPDEST 00000272: PUSH2 0x023a 00000275: PUSH1 0x04 00000277: DUP1 00000278: CALLDATASIZE 00000279: SUB 0000027a: PUSH1 0x20 0000027c: DUP2 0000027d: LT 0000027e: ISZERO 0000027f: PUSH2 0x0287 00000282: JUMPI 00000283: PUSH1 0x00 00000285: DUP1 00000286: REVERT 00000287: JUMPDEST 00000288: POP 00000289: CALLDATALOAD 0000028a: PUSH2 0x0602 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH2 0x023a 00000292: PUSH2 0x07f3 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH2 0x01f8 0000029a: PUSH2 0x09a0 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH2 0x01b8 000002a2: PUSH1 0x04 000002a4: DUP1 000002a5: CALLDATASIZE 000002a6: SUB 000002a7: PUSH1 0x20 000002a9: DUP2 000002aa: LT 000002ab: ISZERO 000002ac: PUSH2 0x02b4 000002af: JUMPI 000002b0: PUSH1 0x00 000002b2: DUP1 000002b3: REVERT 000002b4: JUMPDEST 000002b5: POP 000002b6: CALLDATALOAD 000002b7: PUSH1 0x01 000002b9: PUSH1 0x01 000002bb: PUSH1 0xa0 000002bd: SHL 000002be: SUB 000002bf: AND 000002c0: PUSH2 0x09af 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH2 0x023a 000002c8: PUSH2 0x09ca 000002cb: JUMP 000002cc: JUMPDEST 000002cd: PUSH2 0x01b8 000002d0: PUSH2 0x0a6d 000002d3: JUMP 000002d4: JUMPDEST 000002d5: PUSH2 0x01b8 000002d8: PUSH2 0x0a73 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH2 0x01b8 000002e0: PUSH1 0x04 000002e2: DUP1 000002e3: CALLDATASIZE 000002e4: SUB 000002e5: PUSH1 0x20 000002e7: DUP2 000002e8: LT 000002e9: ISZERO 000002ea: PUSH2 0x02f2 000002ed: JUMPI 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: REVERT 000002f2: JUMPDEST 000002f3: POP 000002f4: CALLDATALOAD 000002f5: PUSH1 0x01 000002f7: PUSH1 0x01 000002f9: PUSH1 0xa0 000002fb: SHL 000002fc: SUB 000002fd: AND 000002fe: PUSH2 0x0a86 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH2 0x01b8 00000306: PUSH2 0x0a98 00000309: JUMP 0000030a: JUMPDEST 0000030b: PUSH2 0x01f8 0000030e: PUSH2 0x0a9e 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH2 0x031a 00000316: PUSH2 0x0aad 00000319: JUMP 0000031a: JUMPDEST 0000031b: PUSH1 0x40 0000031d: DUP1 0000031e: MLOAD 0000031f: SWAP2 00000320: ISZERO 00000321: ISZERO 00000322: DUP3 00000323: MSTORE 00000324: MLOAD 00000325: SWAP1 00000326: DUP2 00000327: SWAP1 00000328: SUB 00000329: PUSH1 0x20 0000032b: ADD 0000032c: SWAP1 0000032d: RETURN 0000032e: JUMPDEST 0000032f: PUSH2 0x023a 00000332: PUSH1 0x04 00000334: DUP1 00000335: CALLDATASIZE 00000336: SUB 00000337: PUSH1 0x20 00000339: DUP2 0000033a: LT 0000033b: ISZERO 0000033c: PUSH2 0x0344 0000033f: JUMPI 00000340: PUSH1 0x00 00000342: DUP1 00000343: REVERT 00000344: JUMPDEST 00000345: POP 00000346: CALLDATALOAD 00000347: PUSH2 0x0ad3 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH2 0x01b8 0000034f: PUSH2 0x0bfa 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH2 0x01b8 00000357: PUSH2 0x0c00 0000035a: JUMP 0000035b: JUMPDEST 0000035c: PUSH2 0x01b8 0000035f: PUSH2 0x0c54 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH2 0x023a 00000367: PUSH2 0x0c5a 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH2 0x01b8 0000036f: PUSH2 0x0c75 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH2 0x023a 00000377: PUSH1 0x04 00000379: DUP1 0000037a: CALLDATASIZE 0000037b: SUB 0000037c: PUSH1 0x20 0000037e: DUP2 0000037f: LT 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: POP 0000038b: CALLDATALOAD 0000038c: PUSH1 0x01 0000038e: PUSH1 0x01 00000390: PUSH1 0xa0 00000392: SHL 00000393: SUB 00000394: AND 00000395: PUSH2 0x0c7b 00000398: JUMP 00000399: JUMPDEST 0000039a: PUSH1 0x01 0000039c: PUSH1 0x01 0000039e: PUSH1 0xa0 000003a0: SHL 000003a1: SUB 000003a2: DUP2 000003a3: AND 000003a4: PUSH1 0x00 000003a6: SWAP1 000003a7: DUP2 000003a8: MSTORE 000003a9: PUSH1 0x0c 000003ab: PUSH1 0x20 000003ad: SWAP1 000003ae: DUP2 000003af: MSTORE 000003b0: PUSH1 0x40 000003b2: DUP1 000003b3: DUP4 000003b4: KECCAK256 000003b5: SLOAD 000003b6: PUSH1 0x0b 000003b8: SWAP1 000003b9: SWAP3 000003ba: MSTORE 000003bb: DUP3 000003bc: KECCAK256 000003bd: SLOAD 000003be: PUSH2 0x0419 000003c1: SWAP2 000003c2: SWAP1 000003c3: PUSH2 0x040d 000003c6: SWAP1 000003c7: PUSH8 0x0de0b6b3a7640000 000003d0: SWAP1 000003d1: PUSH2 0x0401 000003d4: SWAP1 000003d5: PUSH2 0x03ec 000003d8: SWAP1 000003d9: PUSH2 0x03e0 000003dc: PUSH2 0x0c00 000003df: JUMP 000003e0: JUMPDEST 000003e1: SWAP1 000003e2: PUSH4 0xffffffff 000003e7: PUSH2 0x0ce0 000003ea: AND 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH2 0x03f5 000003f0: DUP9 000003f1: PUSH2 0x09af 000003f4: JUMP 000003f5: JUMPDEST 000003f6: SWAP1 000003f7: PUSH4 0xffffffff 000003fc: PUSH2 0x0d29 000003ff: AND 00000400: JUMP 00000401: JUMPDEST 00000402: SWAP1 00000403: PUSH4 0xffffffff 00000408: PUSH2 0x0d82 0000040b: AND 0000040c: JUMP 0000040d: JUMPDEST 0000040e: SWAP1 0000040f: PUSH4 0xffffffff 00000414: PUSH2 0x0dc4 00000417: AND 00000418: JUMP 00000419: JUMPDEST 0000041a: SWAP3 0000041b: SWAP2 0000041c: POP 0000041d: POP 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH1 0x0c 00000422: PUSH1 0x20 00000424: MSTORE 00000425: PUSH1 0x00 00000427: SWAP1 00000428: DUP2 00000429: MSTORE 0000042a: PUSH1 0x40 0000042c: SWAP1 0000042d: KECCAK256 0000042e: SLOAD 0000042f: DUP2 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH1 0x05 00000434: SLOAD 00000435: PUSH1 0x01 00000437: PUSH1 0x01 00000439: PUSH1 0xa0 0000043b: SHL 0000043c: SUB 0000043d: AND 0000043e: DUP2 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH2 0x0448 00000444: PUSH2 0x0aad 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH2 0x0499 0000044c: JUMPI 0000044d: PUSH1 0x40 0000044f: DUP1 00000450: MLOAD 00000451: PUSH3 0x461bcd 00000455: PUSH1 0xe5 00000457: SHL 00000458: DUP2 00000459: MSTORE 0000045a: PUSH1 0x20 0000045c: PUSH1 0x04 0000045e: DUP3 0000045f: ADD 00000460: DUP2 00000461: SWAP1 00000462: MSTORE 00000463: PUSH1 0x24 00000465: DUP3 00000466: ADD 00000467: MSTORE 00000468: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000489: PUSH1 0x44 0000048b: DUP3 0000048c: ADD 0000048d: MSTORE 0000048e: SWAP1 0000048f: MLOAD 00000490: SWAP1 00000491: DUP2 00000492: SWAP1 00000493: SUB 00000494: PUSH1 0x64 00000496: ADD 00000497: SWAP1 00000498: REVERT 00000499: JUMPDEST 0000049a: PUSH1 0x04 0000049c: DUP1 0000049d: SLOAD 0000049e: PUSH1 0x01 000004a0: PUSH1 0x01 000004a2: PUSH1 0xa0 000004a4: SHL 000004a5: SUB 000004a6: NOT 000004a7: AND 000004a8: PUSH1 0x01 000004aa: PUSH1 0x01 000004ac: PUSH1 0xa0 000004ae: SHL 000004af: SUB 000004b0: SWAP3 000004b1: SWAP1 000004b2: SWAP3 000004b3: AND 000004b4: SWAP2 000004b5: SWAP1 000004b6: SWAP2 000004b7: OR 000004b8: SWAP1 000004b9: SSTORE 000004ba: JUMP 000004bb: JUMPDEST 000004bc: PUSH1 0x04 000004be: SLOAD 000004bf: PUSH1 0x01 000004c1: PUSH1 0x01 000004c3: PUSH1 0xa0 000004c5: SHL 000004c6: SUB 000004c7: AND 000004c8: DUP2 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x01 000004cd: SLOAD 000004ce: JUMPDEST 000004cf: SWAP1 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH3 0x098968 000004d6: DUP2 000004d7: JUMP 000004d8: JUMPDEST 000004d9: CALLER 000004da: PUSH2 0x04e1 000004dd: PUSH2 0x0c00 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x0a 000004e4: SSTORE 000004e5: PUSH2 0x04ec 000004e8: PUSH2 0x0a73 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH1 0x09 000004ef: SSTORE 000004f0: PUSH1 0x01 000004f2: PUSH1 0x01 000004f4: PUSH1 0xa0 000004f6: SHL 000004f7: SUB 000004f8: DUP2 000004f9: AND 000004fa: ISZERO 000004fb: PUSH2 0x0533 000004fe: JUMPI 000004ff: PUSH2 0x0507 00000502: DUP2 00000503: PUSH2 0x0399 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x01 0000050a: PUSH1 0x01 0000050c: PUSH1 0xa0 0000050e: SHL 0000050f: SUB 00000510: DUP3 00000511: AND 00000512: PUSH1 0x00 00000514: SWAP1 00000515: DUP2 00000516: MSTORE 00000517: PUSH1 0x0c 00000519: PUSH1 0x20 0000051b: SWAP1 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x40 00000520: DUP1 00000521: DUP4 00000522: KECCAK256 00000523: SWAP4 00000524: SWAP1 00000525: SWAP4 00000526: SSTORE 00000527: PUSH1 0x0a 00000529: SLOAD 0000052a: PUSH1 0x0b 0000052c: SWAP1 0000052d: SWAP2 0000052e: MSTORE 0000052f: SWAP2 00000530: SWAP1 00000531: KECCAK256 00000532: SSTORE 00000533: JUMPDEST 00000534: PUSH1 0x06 00000536: SLOAD 00000537: TIMESTAMP 00000538: LT 00000539: ISZERO 0000053a: PUSH2 0x0576 0000053d: JUMPI 0000053e: PUSH1 0x40 00000540: DUP1 00000541: MLOAD 00000542: PUSH3 0x461bcd 00000546: PUSH1 0xe5 00000548: SHL 00000549: DUP2 0000054a: MSTORE 0000054b: PUSH1 0x20 0000054d: PUSH1 0x04 0000054f: DUP3 00000550: ADD 00000551: MSTORE 00000552: PUSH1 0x09 00000554: PUSH1 0x24 00000556: DUP3 00000557: ADD 00000558: MSTORE 00000559: PUSH9 0x1b9bdd081cdd185c9d 00000563: PUSH1 0xba 00000565: SHL 00000566: PUSH1 0x44 00000568: DUP3 00000569: ADD 0000056a: MSTORE 0000056b: SWAP1 0000056c: MLOAD 0000056d: SWAP1 0000056e: DUP2 0000056f: SWAP1 00000570: SUB 00000571: PUSH1 0x64 00000573: ADD 00000574: SWAP1 00000575: REVERT 00000576: JUMPDEST 00000577: PUSH1 0x00 00000579: DUP3 0000057a: GT 0000057b: PUSH2 0x05bf 0000057e: JUMPI 0000057f: PUSH1 0x40 00000581: DUP1 00000582: MLOAD 00000583: PUSH3 0x461bcd 00000587: PUSH1 0xe5 00000589: SHL 0000058a: DUP2 0000058b: MSTORE 0000058c: PUSH1 0x20 0000058e: PUSH1 0x04 00000590: DUP3 00000591: ADD 00000592: MSTORE 00000593: PUSH1 0x11 00000595: PUSH1 0x24 00000597: DUP3 00000598: ADD 00000599: MSTORE 0000059a: PUSH17 0x043616e6e6f74207769746864726177203 000005ac: PUSH1 0x7c 000005ae: SHL 000005af: PUSH1 0x44 000005b1: DUP3 000005b2: ADD 000005b3: MSTORE 000005b4: SWAP1 000005b5: MLOAD 000005b6: SWAP1 000005b7: DUP2 000005b8: SWAP1 000005b9: SUB 000005ba: PUSH1 0x64 000005bc: ADD 000005bd: SWAP1 000005be: REVERT 000005bf: JUMPDEST 000005c0: PUSH2 0x05c8 000005c3: DUP3 000005c4: PUSH2 0x0e1e 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH1 0x40 000005cb: DUP1 000005cc: MLOAD 000005cd: DUP4 000005ce: DUP2 000005cf: MSTORE 000005d0: SWAP1 000005d1: MLOAD 000005d2: CALLER 000005d3: SWAP2 000005d4: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 000005f5: SWAP2 000005f6: SWAP1 000005f7: DUP2 000005f8: SWAP1 000005f9: SUB 000005fa: PUSH1 0x20 000005fc: ADD 000005fd: SWAP1 000005fe: LOG2 000005ff: POP 00000600: POP 00000601: JUMP 00000602: JUMPDEST 00000603: PUSH1 0x04 00000605: SLOAD 00000606: PUSH1 0x01 00000608: PUSH1 0x01 0000060a: PUSH1 0xa0 0000060c: SHL 0000060d: SUB 0000060e: AND 0000060f: PUSH2 0x0616 00000612: PUSH2 0x0e7f 00000615: JUMP 00000616: JUMPDEST 00000617: PUSH1 0x01 00000619: PUSH1 0x01 0000061b: PUSH1 0xa0 0000061d: SHL 0000061e: SUB 0000061f: AND 00000620: EQ 00000621: PUSH2 0x065b 00000624: JUMPI 00000625: PUSH1 0x40 00000627: MLOAD 00000628: PUSH3 0x461bcd 0000062c: PUSH1 0xe5 0000062e: SHL 0000062f: DUP2 00000630: MSTORE 00000631: PUSH1 0x04 00000633: ADD 00000634: DUP1 00000635: DUP1 00000636: PUSH1 0x20 00000638: ADD 00000639: DUP3 0000063a: DUP2 0000063b: SUB 0000063c: DUP3 0000063d: MSTORE 0000063e: PUSH1 0x21 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x20 00000644: ADD 00000645: DUP1 00000646: PUSH2 0x138b 00000649: PUSH1 0x21 0000064b: SWAP2 0000064c: CODECOPY 0000064d: PUSH1 0x40 0000064f: ADD 00000650: SWAP2 00000651: POP 00000652: POP 00000653: PUSH1 0x40 00000655: MLOAD 00000656: DUP1 00000657: SWAP2 00000658: SUB 00000659: SWAP1 0000065a: REVERT 0000065b: JUMPDEST 0000065c: PUSH1 0x00 0000065e: PUSH2 0x0665 00000661: PUSH2 0x0c00 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH1 0x0a 00000668: SSTORE 00000669: PUSH2 0x0670 0000066c: PUSH2 0x0a73 0000066f: JUMP 00000670: JUMPDEST 00000671: PUSH1 0x09 00000673: SSTORE 00000674: PUSH1 0x01 00000676: PUSH1 0x01 00000678: PUSH1 0xa0 0000067a: SHL 0000067b: SUB 0000067c: DUP2 0000067d: AND 0000067e: ISZERO 0000067f: PUSH2 0x06b7 00000682: JUMPI 00000683: PUSH2 0x068b 00000686: DUP2 00000687: PUSH2 0x0399 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH1 0x01 0000068e: PUSH1 0x01 00000690: PUSH1 0xa0 00000692: SHL 00000693: SUB 00000694: DUP3 00000695: AND 00000696: PUSH1 0x00 00000698: SWAP1 00000699: DUP2 0000069a: MSTORE 0000069b: PUSH1 0x0c 0000069d: PUSH1 0x20 0000069f: SWAP1 000006a0: DUP2 000006a1: MSTORE 000006a2: PUSH1 0x40 000006a4: DUP1 000006a5: DUP4 000006a6: KECCAK256 000006a7: SWAP4 000006a8: SWAP1 000006a9: SWAP4 000006aa: SSTORE 000006ab: PUSH1 0x0a 000006ad: SLOAD 000006ae: PUSH1 0x0b 000006b0: SWAP1 000006b1: SWAP2 000006b2: MSTORE 000006b3: SWAP2 000006b4: SWAP1 000006b5: KECCAK256 000006b6: SSTORE 000006b7: JUMPDEST 000006b8: PUSH1 0x06 000006ba: SLOAD 000006bb: TIMESTAMP 000006bc: GT 000006bd: ISZERO 000006be: PUSH2 0x0787 000006c1: JUMPI 000006c2: PUSH1 0x07 000006c4: SLOAD 000006c5: TIMESTAMP 000006c6: LT 000006c7: PUSH2 0x06e5 000006ca: JUMPI 000006cb: PUSH2 0x06dd 000006ce: DUP3 000006cf: PUSH3 0x098968 000006d3: PUSH4 0xffffffff 000006d8: PUSH2 0x0d82 000006db: AND 000006dc: JUMP 000006dd: JUMPDEST 000006de: PUSH1 0x08 000006e0: SSTORE 000006e1: PUSH2 0x0733 000006e4: JUMP 000006e5: JUMPDEST 000006e6: PUSH1 0x07 000006e8: SLOAD 000006e9: PUSH1 0x00 000006eb: SWAP1 000006ec: PUSH2 0x06fb 000006ef: SWAP1 000006f0: TIMESTAMP 000006f1: PUSH4 0xffffffff 000006f6: PUSH2 0x0ce0 000006f9: AND 000006fa: JUMP 000006fb: JUMPDEST 000006fc: SWAP1 000006fd: POP 000006fe: PUSH1 0x00 00000700: PUSH2 0x0714 00000703: PUSH1 0x08 00000705: SLOAD 00000706: DUP4 00000707: PUSH2 0x0d29 0000070a: SWAP1 0000070b: SWAP2 0000070c: SWAP1 0000070d: PUSH4 0xffffffff 00000712: AND 00000713: JUMP 00000714: JUMPDEST 00000715: SWAP1 00000716: POP 00000717: PUSH2 0x072d 0000071a: PUSH3 0x098968 0000071e: PUSH2 0x0401 00000721: DUP7 00000722: DUP5 00000723: PUSH4 0xffffffff 00000728: PUSH2 0x0dc4 0000072b: AND 0000072c: JUMP 0000072d: JUMPDEST 0000072e: PUSH1 0x08 00000730: SSTORE 00000731: POP 00000732: POP 00000733: JUMPDEST 00000734: TIMESTAMP 00000735: PUSH1 0x09 00000737: DUP2 00000738: SWAP1 00000739: SSTORE 0000073a: PUSH2 0x074c 0000073d: SWAP1 0000073e: PUSH3 0x098968 00000742: PUSH4 0xffffffff 00000747: PUSH2 0x0dc4 0000074a: AND 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x07 0000074f: SSTORE 00000750: PUSH1 0x40 00000752: DUP1 00000753: MLOAD 00000754: DUP4 00000755: DUP2 00000756: MSTORE 00000757: SWAP1 00000758: MLOAD 00000759: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 0000077a: SWAP2 0000077b: DUP2 0000077c: SWAP1 0000077d: SUB 0000077e: PUSH1 0x20 00000780: ADD 00000781: SWAP1 00000782: LOG1 00000783: PUSH2 0x07ef 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH2 0x079a 0000078b: DUP3 0000078c: PUSH3 0x098968 00000790: PUSH4 0xffffffff 00000795: PUSH2 0x0d82 00000798: AND 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x08 0000079d: SSTORE 0000079e: PUSH1 0x06 000007a0: SLOAD 000007a1: PUSH1 0x09 000007a3: DUP2 000007a4: SWAP1 000007a5: SSTORE 000007a6: PUSH2 0x07b8 000007a9: SWAP1 000007aa: PUSH3 0x098968 000007ae: PUSH4 0xffffffff 000007b3: PUSH2 0x0dc4 000007b6: AND 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH1 0x07 000007bb: SSTORE 000007bc: PUSH1 0x40 000007be: DUP1 000007bf: MLOAD 000007c0: DUP4 000007c1: DUP2 000007c2: MSTORE 000007c3: SWAP1 000007c4: MLOAD 000007c5: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 000007e6: SWAP2 000007e7: DUP2 000007e8: SWAP1 000007e9: SUB 000007ea: PUSH1 0x20 000007ec: ADD 000007ed: SWAP1 000007ee: LOG1 000007ef: JUMPDEST 000007f0: POP 000007f1: POP 000007f2: JUMP 000007f3: JUMPDEST 000007f4: CALLER 000007f5: PUSH2 0x07fc 000007f8: PUSH2 0x0c00 000007fb: JUMP 000007fc: JUMPDEST 000007fd: PUSH1 0x0a 000007ff: SSTORE 00000800: PUSH2 0x0807 00000803: PUSH2 0x0a73 00000806: JUMP 00000807: JUMPDEST 00000808: PUSH1 0x09 0000080a: SSTORE 0000080b: PUSH1 0x01 0000080d: PUSH1 0x01 0000080f: PUSH1 0xa0 00000811: SHL 00000812: SUB 00000813: DUP2 00000814: AND 00000815: ISZERO 00000816: PUSH2 0x084e 00000819: JUMPI 0000081a: PUSH2 0x0822 0000081d: DUP2 0000081e: PUSH2 0x0399 00000821: JUMP 00000822: JUMPDEST 00000823: PUSH1 0x01 00000825: PUSH1 0x01 00000827: PUSH1 0xa0 00000829: SHL 0000082a: SUB 0000082b: DUP3 0000082c: AND 0000082d: PUSH1 0x00 0000082f: SWAP1 00000830: DUP2 00000831: MSTORE 00000832: PUSH1 0x0c 00000834: PUSH1 0x20 00000836: SWAP1 00000837: DUP2 00000838: MSTORE 00000839: PUSH1 0x40 0000083b: DUP1 0000083c: DUP4 0000083d: KECCAK256 0000083e: SWAP4 0000083f: SWAP1 00000840: SWAP4 00000841: SSTORE 00000842: PUSH1 0x0a 00000844: SLOAD 00000845: PUSH1 0x0b 00000847: SWAP1 00000848: SWAP2 00000849: MSTORE 0000084a: SWAP2 0000084b: SWAP1 0000084c: KECCAK256 0000084d: SSTORE 0000084e: JUMPDEST 0000084f: PUSH1 0x06 00000851: SLOAD 00000852: TIMESTAMP 00000853: LT 00000854: ISZERO 00000855: PUSH2 0x0891 00000858: JUMPI 00000859: PUSH1 0x40 0000085b: DUP1 0000085c: MLOAD 0000085d: PUSH3 0x461bcd 00000861: PUSH1 0xe5 00000863: SHL 00000864: DUP2 00000865: MSTORE 00000866: PUSH1 0x20 00000868: PUSH1 0x04 0000086a: DUP3 0000086b: ADD 0000086c: MSTORE 0000086d: PUSH1 0x09 0000086f: PUSH1 0x24 00000871: DUP3 00000872: ADD 00000873: MSTORE 00000874: PUSH9 0x1b9bdd081cdd185c9d 0000087e: PUSH1 0xba 00000880: SHL 00000881: PUSH1 0x44 00000883: DUP3 00000884: ADD 00000885: MSTORE 00000886: SWAP1 00000887: MLOAD 00000888: SWAP1 00000889: DUP2 0000088a: SWAP1 0000088b: SUB 0000088c: PUSH1 0x64 0000088e: ADD 0000088f: SWAP1 00000890: REVERT 00000891: JUMPDEST 00000892: PUSH1 0x00 00000894: PUSH2 0x089c 00000897: CALLER 00000898: PUSH2 0x0399 0000089b: JUMP 0000089c: JUMPDEST 0000089d: SWAP1 0000089e: POP 0000089f: DUP1 000008a0: ISZERO 000008a1: PUSH2 0x07ef 000008a4: JUMPI 000008a5: CALLER 000008a6: PUSH1 0x00 000008a8: SWAP1 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x0c 000008ad: PUSH1 0x20 000008af: SWAP1 000008b0: DUP2 000008b1: MSTORE 000008b2: PUSH1 0x40 000008b4: DUP1 000008b5: DUP4 000008b6: KECCAK256 000008b7: DUP4 000008b8: SWAP1 000008b9: SSTORE 000008ba: PUSH1 0x05 000008bc: SLOAD 000008bd: DUP2 000008be: MLOAD 000008bf: PUSH4 0x5b7d42bb 000008c4: PUSH1 0xe1 000008c6: SHL 000008c7: DUP2 000008c8: MSTORE 000008c9: SWAP2 000008ca: MLOAD 000008cb: PUSH1 0x01 000008cd: PUSH1 0x01 000008cf: PUSH1 0xa0 000008d1: SHL 000008d2: SUB 000008d3: SWAP1 000008d4: SWAP2 000008d5: AND 000008d6: SWAP3 000008d7: PUSH4 0xb6fa8576 000008dc: SWAP3 000008dd: PUSH1 0x04 000008df: DUP1 000008e0: DUP3 000008e1: ADD 000008e2: SWAP4 000008e3: SWAP2 000008e4: DUP3 000008e5: SWAP1 000008e6: SUB 000008e7: ADD 000008e8: DUP2 000008e9: DUP8 000008ea: DUP8 000008eb: DUP1 000008ec: EXTCODESIZE 000008ed: ISZERO 000008ee: DUP1 000008ef: ISZERO 000008f0: PUSH2 0x08f8 000008f3: JUMPI 000008f4: PUSH1 0x00 000008f6: DUP1 000008f7: REVERT 000008f8: JUMPDEST 000008f9: POP 000008fa: GAS 000008fb: CALL 000008fc: ISZERO 000008fd: DUP1 000008fe: ISZERO 000008ff: PUSH2 0x090c 00000902: JUMPI 00000903: RETURNDATASIZE 00000904: PUSH1 0x00 00000906: DUP1 00000907: RETURNDATACOPY 00000908: RETURNDATASIZE 00000909: PUSH1 0x00 0000090b: REVERT 0000090c: JUMPDEST 0000090d: POP 0000090e: POP 0000090f: POP 00000910: POP 00000911: PUSH1 0x40 00000913: MLOAD 00000914: RETURNDATASIZE 00000915: PUSH1 0x20 00000917: DUP2 00000918: LT 00000919: ISZERO 0000091a: PUSH2 0x0922 0000091d: JUMPI 0000091e: PUSH1 0x00 00000920: DUP1 00000921: REVERT 00000922: JUMPDEST 00000923: POP 00000924: MLOAD 00000925: SWAP1 00000926: POP 00000927: PUSH1 0x00 00000929: PUSH2 0x0944 0000092c: PUSH8 0x0de0b6b3a7640000 00000935: PUSH2 0x0401 00000938: DUP6 00000939: DUP6 0000093a: PUSH4 0xffffffff 0000093f: PUSH2 0x0d29 00000942: AND 00000943: JUMP 00000944: JUMPDEST 00000945: PUSH1 0x05 00000947: SLOAD 00000948: SWAP1 00000949: SWAP2 0000094a: POP 0000094b: PUSH2 0x0964 0000094e: SWAP1 0000094f: PUSH1 0x01 00000951: PUSH1 0x01 00000953: PUSH1 0xa0 00000955: SHL 00000956: SUB 00000957: AND 00000958: CALLER 00000959: DUP4 0000095a: PUSH4 0xffffffff 0000095f: PUSH2 0x0e83 00000962: AND 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH1 0x40 00000967: DUP1 00000968: MLOAD 00000969: DUP3 0000096a: DUP2 0000096b: MSTORE 0000096c: SWAP1 0000096d: MLOAD 0000096e: CALLER 0000096f: SWAP2 00000970: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 00000991: SWAP2 00000992: SWAP1 00000993: DUP2 00000994: SWAP1 00000995: SUB 00000996: PUSH1 0x20 00000998: ADD 00000999: SWAP1 0000099a: LOG2 0000099b: POP 0000099c: POP 0000099d: POP 0000099e: POP 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x00 000009a3: SLOAD 000009a4: PUSH1 0x01 000009a6: PUSH1 0x01 000009a8: PUSH1 0xa0 000009aa: SHL 000009ab: SUB 000009ac: AND 000009ad: DUP2 000009ae: JUMP 000009af: JUMPDEST 000009b0: PUSH1 0x01 000009b2: PUSH1 0x01 000009b4: PUSH1 0xa0 000009b6: SHL 000009b7: SUB 000009b8: AND 000009b9: PUSH1 0x00 000009bb: SWAP1 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x02 000009c0: PUSH1 0x20 000009c2: MSTORE 000009c3: PUSH1 0x40 000009c5: SWAP1 000009c6: KECCAK256 000009c7: SLOAD 000009c8: SWAP1 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH2 0x09d2 000009ce: PUSH2 0x0aad 000009d1: JUMP 000009d2: JUMPDEST 000009d3: PUSH2 0x0a23 000009d6: JUMPI 000009d7: PUSH1 0x40 000009d9: DUP1 000009da: MLOAD 000009db: PUSH3 0x461bcd 000009df: PUSH1 0xe5 000009e1: SHL 000009e2: DUP2 000009e3: MSTORE 000009e4: PUSH1 0x20 000009e6: PUSH1 0x04 000009e8: DUP3 000009e9: ADD 000009ea: DUP2 000009eb: SWAP1 000009ec: MSTORE 000009ed: PUSH1 0x24 000009ef: DUP3 000009f0: ADD 000009f1: MSTORE 000009f2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000a13: PUSH1 0x44 00000a15: DUP3 00000a16: ADD 00000a17: MSTORE 00000a18: SWAP1 00000a19: MLOAD 00000a1a: SWAP1 00000a1b: DUP2 00000a1c: SWAP1 00000a1d: SUB 00000a1e: PUSH1 0x64 00000a20: ADD 00000a21: SWAP1 00000a22: REVERT 00000a23: JUMPDEST 00000a24: PUSH1 0x03 00000a26: SLOAD 00000a27: PUSH1 0x40 00000a29: MLOAD 00000a2a: PUSH1 0x00 00000a2c: SWAP2 00000a2d: PUSH1 0x01 00000a2f: PUSH1 0x01 00000a31: PUSH1 0xa0 00000a33: SHL 00000a34: SUB 00000a35: AND 00000a36: SWAP1 00000a37: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000a58: SWAP1 00000a59: DUP4 00000a5a: SWAP1 00000a5b: LOG3 00000a5c: PUSH1 0x03 00000a5e: DUP1 00000a5f: SLOAD 00000a60: PUSH1 0x01 00000a62: PUSH1 0x01 00000a64: PUSH1 0xa0 00000a66: SHL 00000a67: SUB 00000a68: NOT 00000a69: AND 00000a6a: SWAP1 00000a6b: SSTORE 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH1 0x08 00000a70: SLOAD 00000a71: DUP2 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH1 0x00 00000a76: PUSH2 0x0a81 00000a79: TIMESTAMP 00000a7a: PUSH1 0x07 00000a7c: SLOAD 00000a7d: PUSH2 0x0eda 00000a80: JUMP 00000a81: JUMPDEST 00000a82: SWAP1 00000a83: POP 00000a84: SWAP1 00000a85: JUMP 00000a86: JUMPDEST 00000a87: PUSH1 0x0b 00000a89: PUSH1 0x20 00000a8b: MSTORE 00000a8c: PUSH1 0x00 00000a8e: SWAP1 00000a8f: DUP2 00000a90: MSTORE 00000a91: PUSH1 0x40 00000a93: SWAP1 00000a94: KECCAK256 00000a95: SLOAD 00000a96: DUP2 00000a97: JUMP 00000a98: JUMPDEST 00000a99: PUSH1 0x06 00000a9b: SLOAD 00000a9c: DUP2 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH1 0x03 00000aa1: SLOAD 00000aa2: PUSH1 0x01 00000aa4: PUSH1 0x01 00000aa6: PUSH1 0xa0 00000aa8: SHL 00000aa9: SUB 00000aaa: AND 00000aab: SWAP1 00000aac: JUMP 00000aad: JUMPDEST 00000aae: PUSH1 0x03 00000ab0: SLOAD 00000ab1: PUSH1 0x00 00000ab3: SWAP1 00000ab4: PUSH1 0x01 00000ab6: PUSH1 0x01 00000ab8: PUSH1 0xa0 00000aba: SHL 00000abb: SUB 00000abc: AND 00000abd: PUSH2 0x0ac4 00000ac0: PUSH2 0x0e7f 00000ac3: JUMP 00000ac4: JUMPDEST 00000ac5: PUSH1 0x01 00000ac7: PUSH1 0x01 00000ac9: PUSH1 0xa0 00000acb: SHL 00000acc: SUB 00000acd: AND 00000ace: EQ 00000acf: SWAP1 00000ad0: POP 00000ad1: SWAP1 00000ad2: JUMP 00000ad3: JUMPDEST 00000ad4: CALLER 00000ad5: PUSH2 0x0adc 00000ad8: PUSH2 0x0c00 00000adb: JUMP 00000adc: JUMPDEST 00000add: PUSH1 0x0a 00000adf: SSTORE 00000ae0: PUSH2 0x0ae7 00000ae3: PUSH2 0x0a73 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: PUSH1 0x09 00000aea: SSTORE 00000aeb: PUSH1 0x01 00000aed: PUSH1 0x01 00000aef: PUSH1 0xa0 00000af1: SHL 00000af2: SUB 00000af3: DUP2 00000af4: AND 00000af5: ISZERO 00000af6: PUSH2 0x0b2e 00000af9: JUMPI 00000afa: PUSH2 0x0b02 00000afd: DUP2 00000afe: PUSH2 0x0399 00000b01: JUMP 00000b02: JUMPDEST 00000b03: PUSH1 0x01 00000b05: PUSH1 0x01 00000b07: PUSH1 0xa0 00000b09: SHL 00000b0a: SUB 00000b0b: DUP3 00000b0c: AND 00000b0d: PUSH1 0x00 00000b0f: SWAP1 00000b10: DUP2 00000b11: MSTORE 00000b12: PUSH1 0x0c 00000b14: PUSH1 0x20 00000b16: SWAP1 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x40 00000b1b: DUP1 00000b1c: DUP4 00000b1d: KECCAK256 00000b1e: SWAP4 00000b1f: SWAP1 00000b20: SWAP4 00000b21: SSTORE 00000b22: PUSH1 0x0a 00000b24: SLOAD 00000b25: PUSH1 0x0b 00000b27: SWAP1 00000b28: SWAP2 00000b29: MSTORE 00000b2a: SWAP2 00000b2b: SWAP1 00000b2c: KECCAK256 00000b2d: SSTORE 00000b2e: JUMPDEST 00000b2f: PUSH1 0x06 00000b31: SLOAD 00000b32: TIMESTAMP 00000b33: LT 00000b34: ISZERO 00000b35: PUSH2 0x0b71 00000b38: JUMPI 00000b39: PUSH1 0x40 00000b3b: DUP1 00000b3c: MLOAD 00000b3d: PUSH3 0x461bcd 00000b41: PUSH1 0xe5 00000b43: SHL 00000b44: DUP2 00000b45: MSTORE 00000b46: PUSH1 0x20 00000b48: PUSH1 0x04 00000b4a: DUP3 00000b4b: ADD 00000b4c: MSTORE 00000b4d: PUSH1 0x09 00000b4f: PUSH1 0x24 00000b51: DUP3 00000b52: ADD 00000b53: MSTORE 00000b54: PUSH9 0x1b9bdd081cdd185c9d 00000b5e: PUSH1 0xba 00000b60: SHL 00000b61: PUSH1 0x44 00000b63: DUP3 00000b64: ADD 00000b65: MSTORE 00000b66: SWAP1 00000b67: MLOAD 00000b68: SWAP1 00000b69: DUP2 00000b6a: SWAP1 00000b6b: SUB 00000b6c: PUSH1 0x64 00000b6e: ADD 00000b6f: SWAP1 00000b70: REVERT 00000b71: JUMPDEST 00000b72: PUSH1 0x00 00000b74: DUP3 00000b75: GT 00000b76: PUSH2 0x0bb7 00000b79: JUMPI 00000b7a: PUSH1 0x40 00000b7c: DUP1 00000b7d: MLOAD 00000b7e: PUSH3 0x461bcd 00000b82: PUSH1 0xe5 00000b84: SHL 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH1 0x20 00000b89: PUSH1 0x04 00000b8b: DUP3 00000b8c: ADD 00000b8d: MSTORE 00000b8e: PUSH1 0x0e 00000b90: PUSH1 0x24 00000b92: DUP3 00000b93: ADD 00000b94: MSTORE 00000b95: PUSH14 0x043616e6e6f74207374616b65203 00000ba4: PUSH1 0x94 00000ba6: SHL 00000ba7: PUSH1 0x44 00000ba9: DUP3 00000baa: ADD 00000bab: MSTORE 00000bac: SWAP1 00000bad: MLOAD 00000bae: SWAP1 00000baf: DUP2 00000bb0: SWAP1 00000bb1: SUB 00000bb2: PUSH1 0x64 00000bb4: ADD 00000bb5: SWAP1 00000bb6: REVERT 00000bb7: JUMPDEST 00000bb8: PUSH2 0x0bc0 00000bbb: DUP3 00000bbc: PUSH2 0x0ef0 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: PUSH1 0x40 00000bc3: DUP1 00000bc4: MLOAD 00000bc5: DUP4 00000bc6: DUP2 00000bc7: MSTORE 00000bc8: SWAP1 00000bc9: MLOAD 00000bca: CALLER 00000bcb: SWAP2 00000bcc: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d 00000bed: SWAP2 00000bee: SWAP1 00000bef: DUP2 00000bf0: SWAP1 00000bf1: SUB 00000bf2: PUSH1 0x20 00000bf4: ADD 00000bf5: SWAP1 00000bf6: LOG2 00000bf7: POP 00000bf8: POP 00000bf9: JUMP 00000bfa: JUMPDEST 00000bfb: PUSH1 0x09 00000bfd: SLOAD 00000bfe: DUP2 00000bff: JUMP 00000c00: JUMPDEST 00000c01: PUSH1 0x00 00000c03: PUSH2 0x0c0a 00000c06: PUSH2 0x04ca 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: PUSH2 0x0c17 00000c0e: JUMPI 00000c0f: POP 00000c10: PUSH1 0x0a 00000c12: SLOAD 00000c13: PUSH2 0x04ce 00000c16: JUMP 00000c17: JUMPDEST 00000c18: PUSH2 0x0a81 00000c1b: PUSH2 0x0c45 00000c1e: PUSH2 0x0c25 00000c21: PUSH2 0x04ca 00000c24: JUMP 00000c25: JUMPDEST 00000c26: PUSH2 0x0401 00000c29: PUSH8 0x0de0b6b3a7640000 00000c32: PUSH2 0x03f5 00000c35: PUSH1 0x08 00000c37: SLOAD 00000c38: PUSH2 0x03f5 00000c3b: PUSH1 0x09 00000c3d: SLOAD 00000c3e: PUSH2 0x03e0 00000c41: PUSH2 0x0a73 00000c44: JUMP 00000c45: JUMPDEST 00000c46: PUSH1 0x0a 00000c48: SLOAD 00000c49: SWAP1 00000c4a: PUSH4 0xffffffff 00000c4f: PUSH2 0x0dc4 00000c52: AND 00000c53: JUMP 00000c54: JUMPDEST 00000c55: PUSH1 0x0a 00000c57: SLOAD 00000c58: DUP2 00000c59: JUMP 00000c5a: JUMPDEST 00000c5b: PUSH2 0x0c6b 00000c5e: PUSH2 0x0c66 00000c61: CALLER 00000c62: PUSH2 0x09af 00000c65: JUMP 00000c66: JUMPDEST 00000c67: PUSH2 0x04d8 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: PUSH2 0x0c73 00000c6f: PUSH2 0x07f3 00000c72: JUMP 00000c73: JUMPDEST 00000c74: JUMP 00000c75: JUMPDEST 00000c76: PUSH1 0x07 00000c78: SLOAD 00000c79: DUP2 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: PUSH2 0x0c83 00000c7f: PUSH2 0x0aad 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH2 0x0cd4 00000c87: JUMPI 00000c88: PUSH1 0x40 00000c8a: DUP1 00000c8b: MLOAD 00000c8c: PUSH3 0x461bcd 00000c90: PUSH1 0xe5 00000c92: SHL 00000c93: DUP2 00000c94: MSTORE 00000c95: PUSH1 0x20 00000c97: PUSH1 0x04 00000c99: DUP3 00000c9a: ADD 00000c9b: DUP2 00000c9c: SWAP1 00000c9d: MSTORE 00000c9e: PUSH1 0x24 00000ca0: DUP3 00000ca1: ADD 00000ca2: MSTORE 00000ca3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000cc4: PUSH1 0x44 00000cc6: DUP3 00000cc7: ADD 00000cc8: MSTORE 00000cc9: SWAP1 00000cca: MLOAD 00000ccb: SWAP1 00000ccc: DUP2 00000ccd: SWAP1 00000cce: SUB 00000ccf: PUSH1 0x64 00000cd1: ADD 00000cd2: SWAP1 00000cd3: REVERT 00000cd4: JUMPDEST 00000cd5: PUSH2 0x0cdd 00000cd8: DUP2 00000cd9: PUSH2 0x0f52 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: POP 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: PUSH1 0x00 00000ce3: PUSH2 0x0d22 00000ce6: DUP4 00000ce7: DUP4 00000ce8: PUSH1 0x40 00000cea: MLOAD 00000ceb: DUP1 00000cec: PUSH1 0x40 00000cee: ADD 00000cef: PUSH1 0x40 00000cf1: MSTORE 00000cf2: DUP1 00000cf3: PUSH1 0x1e 00000cf5: DUP2 00000cf6: MSTORE 00000cf7: PUSH1 0x20 00000cf9: ADD 00000cfa: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000d1b: DUP2 00000d1c: MSTORE 00000d1d: POP 00000d1e: PUSH2 0x0ff3 00000d21: JUMP 00000d22: JUMPDEST 00000d23: SWAP4 00000d24: SWAP3 00000d25: POP 00000d26: POP 00000d27: POP 00000d28: JUMP 00000d29: JUMPDEST 00000d2a: PUSH1 0x00 00000d2c: DUP3 00000d2d: PUSH2 0x0d38 00000d30: JUMPI 00000d31: POP 00000d32: PUSH1 0x00 00000d34: PUSH2 0x0419 00000d37: JUMP 00000d38: JUMPDEST 00000d39: DUP3 00000d3a: DUP3 00000d3b: MUL 00000d3c: DUP3 00000d3d: DUP5 00000d3e: DUP3 00000d3f: DUP2 00000d40: PUSH2 0x0d45 00000d43: JUMPI 00000d44: INVALID 00000d45: JUMPDEST 00000d46: DIV 00000d47: EQ 00000d48: PUSH2 0x0d22 00000d4b: JUMPI 00000d4c: PUSH1 0x40 00000d4e: MLOAD 00000d4f: PUSH3 0x461bcd 00000d53: PUSH1 0xe5 00000d55: SHL 00000d56: DUP2 00000d57: MSTORE 00000d58: PUSH1 0x04 00000d5a: ADD 00000d5b: DUP1 00000d5c: DUP1 00000d5d: PUSH1 0x20 00000d5f: ADD 00000d60: DUP3 00000d61: DUP2 00000d62: SUB 00000d63: DUP3 00000d64: MSTORE 00000d65: PUSH1 0x21 00000d67: DUP2 00000d68: MSTORE 00000d69: PUSH1 0x20 00000d6b: ADD 00000d6c: DUP1 00000d6d: PUSH2 0x136a 00000d70: PUSH1 0x21 00000d72: SWAP2 00000d73: CODECOPY 00000d74: PUSH1 0x40 00000d76: ADD 00000d77: SWAP2 00000d78: POP 00000d79: POP 00000d7a: PUSH1 0x40 00000d7c: MLOAD 00000d7d: DUP1 00000d7e: SWAP2 00000d7f: SUB 00000d80: SWAP1 00000d81: REVERT 00000d82: JUMPDEST 00000d83: PUSH1 0x00 00000d85: PUSH2 0x0d22 00000d88: DUP4 00000d89: DUP4 00000d8a: PUSH1 0x40 00000d8c: MLOAD 00000d8d: DUP1 00000d8e: PUSH1 0x40 00000d90: ADD 00000d91: PUSH1 0x40 00000d93: MSTORE 00000d94: DUP1 00000d95: PUSH1 0x1a 00000d97: DUP2 00000d98: MSTORE 00000d99: PUSH1 0x20 00000d9b: ADD 00000d9c: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000dbd: DUP2 00000dbe: MSTORE 00000dbf: POP 00000dc0: PUSH2 0x108a 00000dc3: JUMP 00000dc4: JUMPDEST 00000dc5: PUSH1 0x00 00000dc7: DUP3 00000dc8: DUP3 00000dc9: ADD 00000dca: DUP4 00000dcb: DUP2 00000dcc: LT 00000dcd: ISZERO 00000dce: PUSH2 0x0d22 00000dd1: JUMPI 00000dd2: PUSH1 0x40 00000dd4: DUP1 00000dd5: MLOAD 00000dd6: PUSH3 0x461bcd 00000dda: PUSH1 0xe5 00000ddc: SHL 00000ddd: DUP2 00000dde: MSTORE 00000ddf: PUSH1 0x20 00000de1: PUSH1 0x04 00000de3: DUP3 00000de4: ADD 00000de5: MSTORE 00000de6: PUSH1 0x1b 00000de8: PUSH1 0x24 00000dea: DUP3 00000deb: ADD 00000dec: MSTORE 00000ded: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000e0e: PUSH1 0x44 00000e10: DUP3 00000e11: ADD 00000e12: MSTORE 00000e13: SWAP1 00000e14: MLOAD 00000e15: SWAP1 00000e16: DUP2 00000e17: SWAP1 00000e18: SUB 00000e19: PUSH1 0x64 00000e1b: ADD 00000e1c: SWAP1 00000e1d: REVERT 00000e1e: JUMPDEST 00000e1f: PUSH1 0x01 00000e21: SLOAD 00000e22: PUSH2 0x0e31 00000e25: SWAP1 00000e26: DUP3 00000e27: PUSH4 0xffffffff 00000e2c: PUSH2 0x0ce0 00000e2f: AND 00000e30: JUMP 00000e31: JUMPDEST 00000e32: PUSH1 0x01 00000e34: SSTORE 00000e35: CALLER 00000e36: PUSH1 0x00 00000e38: SWAP1 00000e39: DUP2 00000e3a: MSTORE 00000e3b: PUSH1 0x02 00000e3d: PUSH1 0x20 00000e3f: MSTORE 00000e40: PUSH1 0x40 00000e42: SWAP1 00000e43: KECCAK256 00000e44: SLOAD 00000e45: PUSH2 0x0e54 00000e48: SWAP1 00000e49: DUP3 00000e4a: PUSH4 0xffffffff 00000e4f: PUSH2 0x0ce0 00000e52: AND 00000e53: JUMP 00000e54: JUMPDEST 00000e55: CALLER 00000e56: PUSH1 0x00 00000e58: DUP2 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x02 00000e5d: PUSH1 0x20 00000e5f: MSTORE 00000e60: PUSH1 0x40 00000e62: DUP2 00000e63: KECCAK256 00000e64: SWAP3 00000e65: SWAP1 00000e66: SWAP3 00000e67: SSTORE 00000e68: SWAP1 00000e69: SLOAD 00000e6a: PUSH2 0x0cdd 00000e6d: SWAP2 00000e6e: PUSH1 0x01 00000e70: PUSH1 0x01 00000e72: PUSH1 0xa0 00000e74: SHL 00000e75: SUB 00000e76: SWAP1 00000e77: SWAP2 00000e78: AND 00000e79: SWAP1 00000e7a: DUP4 00000e7b: PUSH2 0x0e83 00000e7e: JUMP 00000e7f: JUMPDEST 00000e80: CALLER 00000e81: SWAP1 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH1 0x40 00000e86: DUP1 00000e87: MLOAD 00000e88: PUSH1 0x01 00000e8a: PUSH1 0x01 00000e8c: PUSH1 0xa0 00000e8e: SHL 00000e8f: SUB 00000e90: DUP5 00000e91: AND 00000e92: PUSH1 0x24 00000e94: DUP3 00000e95: ADD 00000e96: MSTORE 00000e97: PUSH1 0x44 00000e99: DUP1 00000e9a: DUP3 00000e9b: ADD 00000e9c: DUP5 00000e9d: SWAP1 00000e9e: MSTORE 00000e9f: DUP3 00000ea0: MLOAD 00000ea1: DUP1 00000ea2: DUP4 00000ea3: SUB 00000ea4: SWAP1 00000ea5: SWAP2 00000ea6: ADD 00000ea7: DUP2 00000ea8: MSTORE 00000ea9: PUSH1 0x64 00000eab: SWAP1 00000eac: SWAP2 00000ead: ADD 00000eae: SWAP1 00000eaf: SWAP2 00000eb0: MSTORE 00000eb1: PUSH1 0x20 00000eb3: DUP2 00000eb4: ADD 00000eb5: DUP1 00000eb6: MLOAD 00000eb7: PUSH1 0x01 00000eb9: PUSH1 0x01 00000ebb: PUSH1 0xe0 00000ebd: SHL 00000ebe: SUB 00000ebf: AND 00000ec0: PUSH4 0xa9059cbb 00000ec5: PUSH1 0xe0 00000ec7: SHL 00000ec8: OR 00000ec9: SWAP1 00000eca: MSTORE 00000ecb: PUSH2 0x0ed5 00000ece: SWAP1 00000ecf: DUP5 00000ed0: SWAP1 00000ed1: PUSH2 0x10ef 00000ed4: JUMP 00000ed5: JUMPDEST 00000ed6: POP 00000ed7: POP 00000ed8: POP 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: PUSH1 0x00 00000edd: DUP2 00000ede: DUP4 00000edf: LT 00000ee0: PUSH2 0x0ee9 00000ee3: JUMPI 00000ee4: DUP2 00000ee5: PUSH2 0x0d22 00000ee8: JUMP 00000ee9: JUMPDEST 00000eea: POP 00000eeb: SWAP1 00000eec: SWAP2 00000eed: SWAP1 00000eee: POP 00000eef: JUMP 00000ef0: JUMPDEST 00000ef1: PUSH1 0x01 00000ef3: SLOAD 00000ef4: PUSH2 0x0f03 00000ef7: SWAP1 00000ef8: DUP3 00000ef9: PUSH4 0xffffffff 00000efe: PUSH2 0x0dc4 00000f01: AND 00000f02: JUMP 00000f03: JUMPDEST 00000f04: PUSH1 0x01 00000f06: SSTORE 00000f07: CALLER 00000f08: PUSH1 0x00 00000f0a: SWAP1 00000f0b: DUP2 00000f0c: MSTORE 00000f0d: PUSH1 0x02 00000f0f: PUSH1 0x20 00000f11: MSTORE 00000f12: PUSH1 0x40 00000f14: SWAP1 00000f15: KECCAK256 00000f16: SLOAD 00000f17: PUSH2 0x0f26 00000f1a: SWAP1 00000f1b: DUP3 00000f1c: PUSH4 0xffffffff 00000f21: PUSH2 0x0dc4 00000f24: AND 00000f25: JUMP 00000f26: JUMPDEST 00000f27: CALLER 00000f28: PUSH1 0x00 00000f2a: DUP2 00000f2b: DUP2 00000f2c: MSTORE 00000f2d: PUSH1 0x02 00000f2f: PUSH1 0x20 00000f31: MSTORE 00000f32: PUSH1 0x40 00000f34: DUP2 00000f35: KECCAK256 00000f36: SWAP3 00000f37: SWAP1 00000f38: SWAP3 00000f39: SSTORE 00000f3a: SWAP1 00000f3b: SLOAD 00000f3c: PUSH2 0x0cdd 00000f3f: SWAP2 00000f40: PUSH1 0x01 00000f42: PUSH1 0x01 00000f44: PUSH1 0xa0 00000f46: SHL 00000f47: SUB 00000f48: SWAP1 00000f49: SWAP2 00000f4a: AND 00000f4b: SWAP1 00000f4c: ADDRESS 00000f4d: DUP5 00000f4e: PUSH2 0x12ad 00000f51: JUMP 00000f52: JUMPDEST 00000f53: PUSH1 0x01 00000f55: PUSH1 0x01 00000f57: PUSH1 0xa0 00000f59: SHL 00000f5a: SUB 00000f5b: DUP2 00000f5c: AND 00000f5d: PUSH2 0x0f97 00000f60: JUMPI 00000f61: PUSH1 0x40 00000f63: MLOAD 00000f64: PUSH3 0x461bcd 00000f68: PUSH1 0xe5 00000f6a: SHL 00000f6b: DUP2 00000f6c: MSTORE 00000f6d: PUSH1 0x04 00000f6f: ADD 00000f70: DUP1 00000f71: DUP1 00000f72: PUSH1 0x20 00000f74: ADD 00000f75: DUP3 00000f76: DUP2 00000f77: SUB 00000f78: DUP3 00000f79: MSTORE 00000f7a: PUSH1 0x26 00000f7c: DUP2 00000f7d: MSTORE 00000f7e: PUSH1 0x20 00000f80: ADD 00000f81: DUP1 00000f82: PUSH2 0x1344 00000f85: PUSH1 0x26 00000f87: SWAP2 00000f88: CODECOPY 00000f89: PUSH1 0x40 00000f8b: ADD 00000f8c: SWAP2 00000f8d: POP 00000f8e: POP 00000f8f: PUSH1 0x40 00000f91: MLOAD 00000f92: DUP1 00000f93: SWAP2 00000f94: SUB 00000f95: SWAP1 00000f96: REVERT 00000f97: JUMPDEST 00000f98: PUSH1 0x03 00000f9a: SLOAD 00000f9b: PUSH1 0x40 00000f9d: MLOAD 00000f9e: PUSH1 0x01 00000fa0: PUSH1 0x01 00000fa2: PUSH1 0xa0 00000fa4: SHL 00000fa5: SUB 00000fa6: DUP1 00000fa7: DUP5 00000fa8: AND 00000fa9: SWAP3 00000faa: AND 00000fab: SWAP1 00000fac: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000fcd: SWAP1 00000fce: PUSH1 0x00 00000fd0: SWAP1 00000fd1: LOG3 00000fd2: PUSH1 0x03 00000fd4: DUP1 00000fd5: SLOAD 00000fd6: PUSH1 0x01 00000fd8: PUSH1 0x01 00000fda: PUSH1 0xa0 00000fdc: SHL 00000fdd: SUB 00000fde: NOT 00000fdf: AND 00000fe0: PUSH1 0x01 00000fe2: PUSH1 0x01 00000fe4: PUSH1 0xa0 00000fe6: SHL 00000fe7: SUB 00000fe8: SWAP3 00000fe9: SWAP1 00000fea: SWAP3 00000feb: AND 00000fec: SWAP2 00000fed: SWAP1 00000fee: SWAP2 00000fef: OR 00000ff0: SWAP1 00000ff1: SSTORE 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: PUSH1 0x00 00000ff6: DUP2 00000ff7: DUP5 00000ff8: DUP5 00000ff9: GT 00000ffa: ISZERO 00000ffb: PUSH2 0x1082 00000ffe: JUMPI 00000fff: PUSH1 0x40 00001001: MLOAD 00001002: PUSH3 0x461bcd 00001006: PUSH1 0xe5 00001008: SHL 00001009: DUP2 0000100a: MSTORE 0000100b: PUSH1 0x04 0000100d: ADD 0000100e: DUP1 0000100f: DUP1 00001010: PUSH1 0x20 00001012: ADD 00001013: DUP3 00001014: DUP2 00001015: SUB 00001016: DUP3 00001017: MSTORE 00001018: DUP4 00001019: DUP2 0000101a: DUP2 0000101b: MLOAD 0000101c: DUP2 0000101d: MSTORE 0000101e: PUSH1 0x20 00001020: ADD 00001021: SWAP2 00001022: POP 00001023: DUP1 00001024: MLOAD 00001025: SWAP1 00001026: PUSH1 0x20 00001028: ADD 00001029: SWAP1 0000102a: DUP1 0000102b: DUP4 0000102c: DUP4 0000102d: PUSH1 0x00 0000102f: JUMPDEST 00001030: DUP4 00001031: DUP2 00001032: LT 00001033: ISZERO 00001034: PUSH2 0x1047 00001037: JUMPI 00001038: DUP2 00001039: DUP2 0000103a: ADD 0000103b: MLOAD 0000103c: DUP4 0000103d: DUP3 0000103e: ADD 0000103f: MSTORE 00001040: PUSH1 0x20 00001042: ADD 00001043: PUSH2 0x102f 00001046: JUMP 00001047: JUMPDEST 00001048: POP 00001049: POP 0000104a: POP 0000104b: POP 0000104c: SWAP1 0000104d: POP 0000104e: SWAP1 0000104f: DUP2 00001050: ADD 00001051: SWAP1 00001052: PUSH1 0x1f 00001054: AND 00001055: DUP1 00001056: ISZERO 00001057: PUSH2 0x1074 0000105a: JUMPI 0000105b: DUP1 0000105c: DUP3 0000105d: SUB 0000105e: DUP1 0000105f: MLOAD 00001060: PUSH1 0x01 00001062: DUP4 00001063: PUSH1 0x20 00001065: SUB 00001066: PUSH2 0x0100 00001069: EXP 0000106a: SUB 0000106b: NOT 0000106c: AND 0000106d: DUP2 0000106e: MSTORE 0000106f: PUSH1 0x20 00001071: ADD 00001072: SWAP2 00001073: POP 00001074: JUMPDEST 00001075: POP 00001076: SWAP3 00001077: POP 00001078: POP 00001079: POP 0000107a: PUSH1 0x40 0000107c: MLOAD 0000107d: DUP1 0000107e: SWAP2 0000107f: SUB 00001080: SWAP1 00001081: REVERT 00001082: JUMPDEST 00001083: POP 00001084: POP 00001085: POP 00001086: SWAP1 00001087: SUB 00001088: SWAP1 00001089: JUMP 0000108a: JUMPDEST 0000108b: PUSH1 0x00 0000108d: DUP2 0000108e: DUP4 0000108f: PUSH2 0x10d9 00001092: JUMPI 00001093: PUSH1 0x40 00001095: MLOAD 00001096: PUSH3 0x461bcd 0000109a: PUSH1 0xe5 0000109c: SHL 0000109d: DUP2 0000109e: MSTORE 0000109f: PUSH1 0x20 000010a1: PUSH1 0x04 000010a3: DUP3 000010a4: ADD 000010a5: DUP2 000010a6: DUP2 000010a7: MSTORE 000010a8: DUP4 000010a9: MLOAD 000010aa: PUSH1 0x24 000010ac: DUP5 000010ad: ADD 000010ae: MSTORE 000010af: DUP4 000010b0: MLOAD 000010b1: SWAP1 000010b2: SWAP3 000010b3: DUP4 000010b4: SWAP3 000010b5: PUSH1 0x44 000010b7: SWAP1 000010b8: SWAP2 000010b9: ADD 000010ba: SWAP2 000010bb: SWAP1 000010bc: DUP6 000010bd: ADD 000010be: SWAP1 000010bf: DUP1 000010c0: DUP4 000010c1: DUP4 000010c2: PUSH1 0x00 000010c4: DUP4 000010c5: ISZERO 000010c6: PUSH2 0x1047 000010c9: JUMPI 000010ca: DUP2 000010cb: DUP2 000010cc: ADD 000010cd: MLOAD 000010ce: DUP4 000010cf: DUP3 000010d0: ADD 000010d1: MSTORE 000010d2: PUSH1 0x20 000010d4: ADD 000010d5: PUSH2 0x102f 000010d8: JUMP 000010d9: JUMPDEST 000010da: POP 000010db: PUSH1 0x00 000010dd: DUP4 000010de: DUP6 000010df: DUP2 000010e0: PUSH2 0x10e5 000010e3: JUMPI 000010e4: INVALID 000010e5: JUMPDEST 000010e6: DIV 000010e7: SWAP6 000010e8: SWAP5 000010e9: POP 000010ea: POP 000010eb: POP 000010ec: POP 000010ed: POP 000010ee: JUMP 000010ef: JUMPDEST 000010f0: PUSH2 0x1101 000010f3: DUP3 000010f4: PUSH1 0x01 000010f6: PUSH1 0x01 000010f8: PUSH1 0xa0 000010fa: SHL 000010fb: SUB 000010fc: AND 000010fd: PUSH2 0x1307 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH2 0x1152 00001105: JUMPI 00001106: PUSH1 0x40 00001108: DUP1 00001109: MLOAD 0000110a: PUSH3 0x461bcd 0000110e: PUSH1 0xe5 00001110: SHL 00001111: DUP2 00001112: MSTORE 00001113: PUSH1 0x20 00001115: PUSH1 0x04 00001117: DUP3 00001118: ADD 00001119: MSTORE 0000111a: PUSH1 0x1f 0000111c: PUSH1 0x24 0000111e: DUP3 0000111f: ADD 00001120: MSTORE 00001121: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 00001142: PUSH1 0x44 00001144: DUP3 00001145: ADD 00001146: MSTORE 00001147: SWAP1 00001148: MLOAD 00001149: SWAP1 0000114a: DUP2 0000114b: SWAP1 0000114c: SUB 0000114d: PUSH1 0x64 0000114f: ADD 00001150: SWAP1 00001151: REVERT 00001152: JUMPDEST 00001153: PUSH1 0x00 00001155: PUSH1 0x60 00001157: DUP4 00001158: PUSH1 0x01 0000115a: PUSH1 0x01 0000115c: PUSH1 0xa0 0000115e: SHL 0000115f: SUB 00001160: AND 00001161: DUP4 00001162: PUSH1 0x40 00001164: MLOAD 00001165: DUP1 00001166: DUP3 00001167: DUP1 00001168: MLOAD 00001169: SWAP1 0000116a: PUSH1 0x20 0000116c: ADD 0000116d: SWAP1 0000116e: DUP1 0000116f: DUP4 00001170: DUP4 00001171: JUMPDEST 00001172: PUSH1 0x20 00001174: DUP4 00001175: LT 00001176: PUSH2 0x1190 00001179: JUMPI 0000117a: DUP1 0000117b: MLOAD 0000117c: DUP3 0000117d: MSTORE 0000117e: PUSH1 0x1f 00001180: NOT 00001181: SWAP1 00001182: SWAP3 00001183: ADD 00001184: SWAP2 00001185: PUSH1 0x20 00001187: SWAP2 00001188: DUP3 00001189: ADD 0000118a: SWAP2 0000118b: ADD 0000118c: PUSH2 0x1171 0000118f: JUMP 00001190: JUMPDEST 00001191: PUSH1 0x01 00001193: DUP4 00001194: PUSH1 0x20 00001196: SUB 00001197: PUSH2 0x0100 0000119a: EXP 0000119b: SUB 0000119c: DUP1 0000119d: NOT 0000119e: DUP3 0000119f: MLOAD 000011a0: AND 000011a1: DUP2 000011a2: DUP5 000011a3: MLOAD 000011a4: AND 000011a5: DUP1 000011a6: DUP3 000011a7: OR 000011a8: DUP6 000011a9: MSTORE 000011aa: POP 000011ab: POP 000011ac: POP 000011ad: POP 000011ae: POP 000011af: POP 000011b0: SWAP1 000011b1: POP 000011b2: ADD 000011b3: SWAP2 000011b4: POP 000011b5: POP 000011b6: PUSH1 0x00 000011b8: PUSH1 0x40 000011ba: MLOAD 000011bb: DUP1 000011bc: DUP4 000011bd: SUB 000011be: DUP2 000011bf: PUSH1 0x00 000011c1: DUP7 000011c2: GAS 000011c3: CALL 000011c4: SWAP2 000011c5: POP 000011c6: POP 000011c7: RETURNDATASIZE 000011c8: DUP1 000011c9: PUSH1 0x00 000011cb: DUP2 000011cc: EQ 000011cd: PUSH2 0x11f2 000011d0: JUMPI 000011d1: PUSH1 0x40 000011d3: MLOAD 000011d4: SWAP2 000011d5: POP 000011d6: PUSH1 0x1f 000011d8: NOT 000011d9: PUSH1 0x3f 000011db: RETURNDATASIZE 000011dc: ADD 000011dd: AND 000011de: DUP3 000011df: ADD 000011e0: PUSH1 0x40 000011e2: MSTORE 000011e3: RETURNDATASIZE 000011e4: DUP3 000011e5: MSTORE 000011e6: RETURNDATASIZE 000011e7: PUSH1 0x00 000011e9: PUSH1 0x20 000011eb: DUP5 000011ec: ADD 000011ed: RETURNDATACOPY 000011ee: PUSH2 0x11f7 000011f1: JUMP 000011f2: JUMPDEST 000011f3: PUSH1 0x60 000011f5: SWAP2 000011f6: POP 000011f7: JUMPDEST 000011f8: POP 000011f9: SWAP2 000011fa: POP 000011fb: SWAP2 000011fc: POP 000011fd: DUP2 000011fe: PUSH2 0x124e 00001201: JUMPI 00001202: PUSH1 0x40 00001204: DUP1 00001205: MLOAD 00001206: PUSH3 0x461bcd 0000120a: PUSH1 0xe5 0000120c: SHL 0000120d: DUP2 0000120e: MSTORE 0000120f: PUSH1 0x20 00001211: PUSH1 0x04 00001213: DUP3 00001214: ADD 00001215: DUP2 00001216: SWAP1 00001217: MSTORE 00001218: PUSH1 0x24 0000121a: DUP3 0000121b: ADD 0000121c: MSTORE 0000121d: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000123e: PUSH1 0x44 00001240: DUP3 00001241: ADD 00001242: MSTORE 00001243: SWAP1 00001244: MLOAD 00001245: SWAP1 00001246: DUP2 00001247: SWAP1 00001248: SUB 00001249: PUSH1 0x64 0000124b: ADD 0000124c: SWAP1 0000124d: REVERT 0000124e: JUMPDEST 0000124f: DUP1 00001250: MLOAD 00001251: ISZERO 00001252: PUSH2 0x12a7 00001255: JUMPI 00001256: DUP1 00001257: DUP1 00001258: PUSH1 0x20 0000125a: ADD 0000125b: SWAP1 0000125c: MLOAD 0000125d: PUSH1 0x20 0000125f: DUP2 00001260: LT 00001261: ISZERO 00001262: PUSH2 0x126a 00001265: JUMPI 00001266: PUSH1 0x00 00001268: DUP1 00001269: REVERT 0000126a: JUMPDEST 0000126b: POP 0000126c: MLOAD 0000126d: PUSH2 0x12a7 00001270: JUMPI 00001271: PUSH1 0x40 00001273: MLOAD 00001274: PUSH3 0x461bcd 00001278: PUSH1 0xe5 0000127a: SHL 0000127b: DUP2 0000127c: MSTORE 0000127d: PUSH1 0x04 0000127f: ADD 00001280: DUP1 00001281: DUP1 00001282: PUSH1 0x20 00001284: ADD 00001285: DUP3 00001286: DUP2 00001287: SUB 00001288: DUP3 00001289: MSTORE 0000128a: PUSH1 0x2a 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x20 00001290: ADD 00001291: DUP1 00001292: PUSH2 0x13ac 00001295: PUSH1 0x2a 00001297: SWAP2 00001298: CODECOPY 00001299: PUSH1 0x40 0000129b: ADD 0000129c: SWAP2 0000129d: POP 0000129e: POP 0000129f: PUSH1 0x40 000012a1: MLOAD 000012a2: DUP1 000012a3: SWAP2 000012a4: SUB 000012a5: SWAP1 000012a6: REVERT 000012a7: JUMPDEST 000012a8: POP 000012a9: POP 000012aa: POP 000012ab: POP 000012ac: JUMP 000012ad: JUMPDEST 000012ae: PUSH1 0x40 000012b0: DUP1 000012b1: MLOAD 000012b2: PUSH1 0x01 000012b4: PUSH1 0x01 000012b6: PUSH1 0xa0 000012b8: SHL 000012b9: SUB 000012ba: DUP6 000012bb: DUP2 000012bc: AND 000012bd: PUSH1 0x24 000012bf: DUP4 000012c0: ADD 000012c1: MSTORE 000012c2: DUP5 000012c3: AND 000012c4: PUSH1 0x44 000012c6: DUP3 000012c7: ADD 000012c8: MSTORE 000012c9: PUSH1 0x64 000012cb: DUP1 000012cc: DUP3 000012cd: ADD 000012ce: DUP5 000012cf: SWAP1 000012d0: MSTORE 000012d1: DUP3 000012d2: MLOAD 000012d3: DUP1 000012d4: DUP4 000012d5: SUB 000012d6: SWAP1 000012d7: SWAP2 000012d8: ADD 000012d9: DUP2 000012da: MSTORE 000012db: PUSH1 0x84 000012dd: SWAP1 000012de: SWAP2 000012df: ADD 000012e0: SWAP1 000012e1: SWAP2 000012e2: MSTORE 000012e3: PUSH1 0x20 000012e5: DUP2 000012e6: ADD 000012e7: DUP1 000012e8: MLOAD 000012e9: PUSH1 0x01 000012eb: PUSH1 0x01 000012ed: PUSH1 0xe0 000012ef: SHL 000012f0: SUB 000012f1: AND 000012f2: PUSH4 0x23b872dd 000012f7: PUSH1 0xe0 000012f9: SHL 000012fa: OR 000012fb: SWAP1 000012fc: MSTORE 000012fd: PUSH2 0x12a7 00001300: SWAP1 00001301: DUP6 00001302: SWAP1 00001303: PUSH2 0x10ef 00001306: JUMP 00001307: JUMPDEST 00001308: PUSH1 0x00 0000130a: DUP2 0000130b: EXTCODEHASH 0000130c: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 0000132d: DUP2 0000132e: ISZERO 0000132f: DUP1 00001330: ISZERO 00001331: SWAP1 00001332: PUSH2 0x133b 00001335: JUMPI 00001336: POP 00001337: DUP1 00001338: DUP3 00001339: EQ 0000133a: ISZERO 0000133b: JUMPDEST 0000133c: SWAP5 0000133d: SWAP4 0000133e: POP 0000133f: POP 00001340: POP 00001341: POP 00001342: JUMP 00001343: INVALID 00001344: UNKNOWN(0x4F) 00001345: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 0000135e: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970 0000137a: PUSH13 0x69636174696f6e206f76657266 00001388: PUSH13 0x6f7743616c6c6572206973206e 00001396: PUSH16 0x74207265776172642064697374726962 000013a7: PUSH22 0x74696f6e5361666545524332303a204552433230206f 000013be: PUSH17 0x65726174696f6e20646964206e6f742073 000013d0: PUSH22 0x6363656564a265627a7a723158200499cd972308636a 000013e7: CALLDATACOPY 000013e8: UNKNOWN(0x23) 000013e9: POP 000013ea: CODESIZE 000013eb: LOG4 000013ec: UNKNOWN(0xD6) 000013ed: UNKNOWN(0xAC) 000013ee: GT 000013ef: UNKNOWN(0x24) 000013f0: BALANCE 000013f1: EQ 000013f2: UNKNOWN(0xC6) 000013f3: PUSH22 0x3d307ae2334e12f98713a064736f6c63430005110032
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2d9a3681db34e04519c72dea42a1fb9a64a0b0b854b57519e915f57962d94cab
call_targets:
0x7127ee43fafba873ce985683ab79df2ce2912198
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2d9a3681db34e04519c72dea42a1fb9a64a0b0b854b57519e915f57962d94cab",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7127ee43fafba873ce985683ab79df2ce2912198"
],
"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": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa694fc3a",
"selector": "0xa694fc3a",
"calldata_variants": [
"0xa694fc3a",
"0xa694fc3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b0a47ee",
"selector": "0x7b0a47ee",
"calldata_variants": [
"0x7b0a47ee",
"0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2299,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4547,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x2d9a3681db34e04519c72dea42a1fb9a64a0b0b854b57519e915f57962d94cab
call_targets:
0x7127ee43fafba873ce985683ab79df2ce2912198
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2d9a3681db34e04519c72dea42a1fb9a64a0b0b854b57519e915f57962d94cab",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7127ee43fafba873ce985683ab79df2ce2912198"
],
"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": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa694fc3a",
"selector": "0xa694fc3a",
"calldata_variants": [
"0xa694fc3a",
"0xa694fc3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b0a47ee",
"selector": "0x7b0a47ee",
"calldata_variants": [
"0x7b0a47ee",
"0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2299,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4547,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|