c06d3f9e-7f12-48ca-ba0f-5d1e0d9ed536
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 |
|---|---|---|---|---|
| 30492 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 103811 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 103812 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 103813 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103814 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103815 | detector.run | complete | 1 / 3 | 1 week ago |
| 103816 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:481338] OpenAI Codex v0.77.0 (research preview)
[codex:481338] --------
[codex:481338] workdir: /tmp/codex-multi-ctgxi_u7
[codex:481338] model: gpt-5.2-codex
[codex:481338] provider: openai
[codex:481338] approval: never
[codex:481338] sandbox: read-only
[codex:481338] reasoning effort: xhigh
[codex:481338] reasoning summaries: auto
[codex:481338] session id: 019b6a3c-234b-7bb3-9571-fb7dd031e8bd
[codex:481338] --------
[codex:481338] user
[codex:481338] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:481338] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:481338] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:481338]
[codex:481338] Scope rules:
[codex:481338] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:481338] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:481338]
[codex:481338] Output MUST be valid JSON matching the provided schema.
[codex:481338] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:481338] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:481338]
[codex:481338] Output constraints (IMPORTANT):
[codex:481338] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:481338] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:481338] mcp startup: no servers
[codex:481338]
[codex:481338] thinking
[codex:481338] **Preparing to audit skill instructions**
[codex:481338] exec
[codex:481338] /bin/bash -lc ls in /tmp/codex-multi-ctgxi_u7 succeeded in 5ms:
[codex:481338] AUDIT_BUNDLE.txt
[codex:481338] codex-output-schema.json
[codex:481338] contracts
[codex:481338]
[codex:481338] thinking
[codex:481338] **Reading AUDIT_BUNDLE**
[codex:481338] exec
[codex:481338] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ctgxi_u7 succeeded in 5ms:
[codex:481338] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:481338]
[codex:481338] ================================================================================
[codex:481338] FILE: contracts/Contract.sol
[codex:481338] ================================================================================
[codex:481338] /**
[codex:481338] *Submitted for verification at Etherscan.io on 2020-07-17
[codex:481338] */
[codex:481338]
[codex:481338] /*
[codex:481338] ____ __ __ __ _
[codex:481338] / __/__ __ ___ / /_ / / ___ / /_ (_)__ __
[codex:481338] _\ \ / // // _ \/ __// _ \/ -_)/ __// / \ \ /
[codex:481338] /___/ \_, //_//_/\__//_//_/\__/ \__//_/ /_\_\
[codex:481338] /___/
[codex:481338]
[codex:481338] * Synthetix: PASTARewards.sol
[codex:481338] *
[codex:481338] * Docs: https://docs.synthetix.io/
[codex:481338] *
[codex:481338]
[codex:481338] thinking
[codex:481338] **Analyzing Contract.sol for vulnerabilities**
[codex:481338] exec
[codex:481338] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-ctgxi_u7 succeeded in 5ms:
[codex:481338] {"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:481338]
[codex:481338] thinking
[codex:481338] **Generating vulnerability summary JSON**
[codex:481338]
[codex:481338] I’m crafting a plain JSON summary indicating no exploitable vulnerabilities found, carefully verifying the contract’s reward distribution logic and reentrancy risks to confirm there are no issues worth flagging.
[codex:481338] codex
[codex:481338] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the provided first-party contracts within the requested focus areas.","findings":[]}
[codex:481338] tokens used
[codex:481338] 12,890
[codex:481338] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the provided first-party contracts within the requested focus areas.","findings":[]}
{
"codex": {
"ran_at": "2025-12-29T13:12:12.797871+00:00",
"returncode": 0
},
"summary": "No exploitable vulnerabilities found in the provided first-party contracts within the requested focus areas.",
"raw_final": {
"summary": "No exploitable vulnerabilities found in the provided first-party contracts within the requested focus areas.",
"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 0x8b876347 00000026: GT 00000027: PUSH2 0x00de 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xc8f33c91 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 0xc8f33c91 00000078: EQ 00000079: PUSH2 0x0343 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xcd3daf9d 00000083: EQ 00000084: PUSH2 0x034b 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xce5fc8d0 0000008e: EQ 0000008f: PUSH2 0x0353 00000092: JUMPI 00000093: PUSH2 0x018d 00000096: JUMP 00000097: JUMPDEST 00000098: DUP1 00000099: PUSH4 0x8b876347 0000009e: EQ 0000009f: PUSH2 0x02cc 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8da58897 000000a9: EQ 000000aa: PUSH2 0x02f2 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8da5cb5b 000000b4: EQ 000000b5: PUSH2 0x02fa 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8f32d59b 000000bf: EQ 000000c0: PUSH2 0x0302 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x95fe5c8d 000000ca: EQ 000000cb: PUSH2 0x031e 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xa694fc3a 000000d5: EQ 000000d6: PUSH2 0x0326 000000d9: JUMPI 000000da: PUSH2 0x018d 000000dd: JUMP 000000de: JUMPDEST 000000df: DUP1 000000e0: PUSH4 0x2e1a7d4d 000000e5: GT 000000e6: PUSH2 0x014b 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x70a08231 000000f0: GT 000000f1: PUSH2 0x0125 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0x70a08231 000000fb: EQ 000000fc: PUSH2 0x028e 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x715018a6 00000106: EQ 00000107: PUSH2 0x02b4 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0x7b0a47ee 00000111: EQ 00000112: PUSH2 0x02bc 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x80faa57d 0000011c: EQ 0000011d: PUSH2 0x02c4 00000120: JUMPI 00000121: PUSH2 0x018d 00000124: JUMP 00000125: JUMPDEST 00000126: DUP1 00000127: PUSH4 0x2e1a7d4d 0000012c: EQ 0000012d: PUSH2 0x024c 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x3c6b16ab 00000137: EQ 00000138: PUSH2 0x0269 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x3d18b912 00000142: EQ 00000143: PUSH2 0x0286 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 0x0d68b761 00000167: EQ 00000168: PUSH2 0x01f0 0000016b: JUMPI 0000016c: DUP1 0000016d: PUSH4 0x101114cf 00000172: EQ 00000173: PUSH2 0x0218 00000176: JUMPI 00000177: DUP1 00000178: PUSH4 0x18160ddd 0000017d: EQ 0000017e: PUSH2 0x023c 00000181: JUMPI 00000182: DUP1 00000183: PUSH4 0x1be05289 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 0x0216 000001f4: PUSH1 0x04 000001f6: DUP1 000001f7: CALLDATASIZE 000001f8: SUB 000001f9: PUSH1 0x20 000001fb: DUP2 000001fc: LT 000001fd: ISZERO 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: POP 00000208: CALLDATALOAD 00000209: PUSH1 0x01 0000020b: PUSH1 0x01 0000020d: PUSH1 0xa0 0000020f: SHL 00000210: SUB 00000211: AND 00000212: PUSH2 0x0431 00000215: JUMP 00000216: JUMPDEST 00000217: STOP 00000218: JUMPDEST 00000219: PUSH2 0x0220 0000021c: PUSH2 0x04ac 0000021f: JUMP 00000220: JUMPDEST 00000221: PUSH1 0x40 00000223: DUP1 00000224: MLOAD 00000225: PUSH1 0x01 00000227: PUSH1 0x01 00000229: PUSH1 0xa0 0000022b: SHL 0000022c: SUB 0000022d: SWAP1 0000022e: SWAP3 0000022f: AND 00000230: DUP3 00000231: MSTORE 00000232: MLOAD 00000233: SWAP1 00000234: DUP2 00000235: SWAP1 00000236: SUB 00000237: PUSH1 0x20 00000239: ADD 0000023a: SWAP1 0000023b: RETURN 0000023c: JUMPDEST 0000023d: PUSH2 0x01b8 00000240: PUSH2 0x04bb 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x01b8 00000248: PUSH2 0x04c2 0000024b: JUMP 0000024c: JUMPDEST 0000024d: PUSH2 0x0216 00000250: PUSH1 0x04 00000252: DUP1 00000253: CALLDATASIZE 00000254: SUB 00000255: PUSH1 0x20 00000257: DUP2 00000258: LT 00000259: ISZERO 0000025a: PUSH2 0x0262 0000025d: JUMPI 0000025e: PUSH1 0x00 00000260: DUP1 00000261: REVERT 00000262: JUMPDEST 00000263: POP 00000264: CALLDATALOAD 00000265: PUSH2 0x04c8 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH2 0x0216 0000026d: PUSH1 0x04 0000026f: DUP1 00000270: CALLDATASIZE 00000271: SUB 00000272: PUSH1 0x20 00000274: DUP2 00000275: LT 00000276: ISZERO 00000277: PUSH2 0x027f 0000027a: JUMPI 0000027b: PUSH1 0x00 0000027d: DUP1 0000027e: REVERT 0000027f: JUMPDEST 00000280: POP 00000281: CALLDATALOAD 00000282: PUSH2 0x05f2 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH2 0x0216 0000028a: PUSH2 0x07e6 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH2 0x01b8 00000292: PUSH1 0x04 00000294: DUP1 00000295: CALLDATASIZE 00000296: SUB 00000297: PUSH1 0x20 00000299: DUP2 0000029a: LT 0000029b: ISZERO 0000029c: PUSH2 0x02a4 0000029f: JUMPI 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: REVERT 000002a4: JUMPDEST 000002a5: POP 000002a6: CALLDATALOAD 000002a7: PUSH1 0x01 000002a9: PUSH1 0x01 000002ab: PUSH1 0xa0 000002ad: SHL 000002ae: SUB 000002af: AND 000002b0: PUSH2 0x08fa 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH2 0x0216 000002b8: PUSH2 0x0915 000002bb: JUMP 000002bc: JUMPDEST 000002bd: PUSH2 0x01b8 000002c0: PUSH2 0x09b8 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH2 0x01b8 000002c8: PUSH2 0x09be 000002cb: JUMP 000002cc: JUMPDEST 000002cd: PUSH2 0x01b8 000002d0: PUSH1 0x04 000002d2: DUP1 000002d3: CALLDATASIZE 000002d4: SUB 000002d5: PUSH1 0x20 000002d7: DUP2 000002d8: LT 000002d9: ISZERO 000002da: PUSH2 0x02e2 000002dd: JUMPI 000002de: PUSH1 0x00 000002e0: DUP1 000002e1: REVERT 000002e2: JUMPDEST 000002e3: POP 000002e4: CALLDATALOAD 000002e5: PUSH1 0x01 000002e7: PUSH1 0x01 000002e9: PUSH1 0xa0 000002eb: SHL 000002ec: SUB 000002ed: AND 000002ee: PUSH2 0x09d1 000002f1: JUMP 000002f2: JUMPDEST 000002f3: PUSH2 0x01b8 000002f6: PUSH2 0x09e3 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH2 0x0220 000002fe: PUSH2 0x09e9 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH2 0x030a 00000306: PUSH2 0x09f8 00000309: JUMP 0000030a: JUMPDEST 0000030b: PUSH1 0x40 0000030d: DUP1 0000030e: MLOAD 0000030f: SWAP2 00000310: ISZERO 00000311: ISZERO 00000312: DUP3 00000313: MSTORE 00000314: MLOAD 00000315: SWAP1 00000316: DUP2 00000317: SWAP1 00000318: SUB 00000319: PUSH1 0x20 0000031b: ADD 0000031c: SWAP1 0000031d: RETURN 0000031e: JUMPDEST 0000031f: PUSH2 0x0220 00000322: PUSH2 0x0a1e 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH2 0x0216 0000032a: PUSH1 0x04 0000032c: DUP1 0000032d: CALLDATASIZE 0000032e: SUB 0000032f: PUSH1 0x20 00000331: DUP2 00000332: LT 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: POP 0000033e: CALLDATALOAD 0000033f: PUSH2 0x0a2d 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH2 0x01b8 00000347: PUSH2 0x0b54 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH2 0x01b8 0000034f: PUSH2 0x0b5a 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH2 0x0220 00000357: PUSH2 0x0bae 0000035a: JUMP 0000035b: JUMPDEST 0000035c: PUSH2 0x01b8 0000035f: PUSH2 0x0bbd 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH2 0x0216 00000367: PUSH2 0x0bc3 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH2 0x01b8 0000036f: PUSH2 0x0bde 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH2 0x0216 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 0x0be4 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 0x0d 000003ab: PUSH1 0x20 000003ad: SWAP1 000003ae: DUP2 000003af: MSTORE 000003b0: PUSH1 0x40 000003b2: DUP1 000003b3: DUP4 000003b4: KECCAK256 000003b5: SLOAD 000003b6: PUSH1 0x0c 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 0x0b5a 000003df: JUMP 000003e0: JUMPDEST 000003e1: SWAP1 000003e2: PUSH4 0xffffffff 000003e7: PUSH2 0x0c49 000003ea: AND 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH2 0x03f5 000003f0: DUP9 000003f1: PUSH2 0x08fa 000003f4: JUMP 000003f5: JUMPDEST 000003f6: SWAP1 000003f7: PUSH4 0xffffffff 000003fc: PUSH2 0x0c92 000003ff: AND 00000400: JUMP 00000401: JUMPDEST 00000402: SWAP1 00000403: PUSH4 0xffffffff 00000408: PUSH2 0x0ceb 0000040b: AND 0000040c: JUMP 0000040d: JUMPDEST 0000040e: SWAP1 0000040f: PUSH4 0xffffffff 00000414: PUSH2 0x0d2d 00000417: AND 00000418: JUMP 00000419: JUMPDEST 0000041a: SWAP3 0000041b: SWAP2 0000041c: POP 0000041d: POP 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH1 0x0d 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: PUSH2 0x0439 00000435: PUSH2 0x09f8 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH2 0x048a 0000043d: JUMPI 0000043e: PUSH1 0x40 00000440: DUP1 00000441: MLOAD 00000442: PUSH3 0x461bcd 00000446: PUSH1 0xe5 00000448: SHL 00000449: DUP2 0000044a: MSTORE 0000044b: PUSH1 0x20 0000044d: PUSH1 0x04 0000044f: DUP3 00000450: ADD 00000451: DUP2 00000452: SWAP1 00000453: MSTORE 00000454: PUSH1 0x24 00000456: DUP3 00000457: ADD 00000458: MSTORE 00000459: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000047a: PUSH1 0x44 0000047c: DUP3 0000047d: ADD 0000047e: MSTORE 0000047f: SWAP1 00000480: MLOAD 00000481: SWAP1 00000482: DUP2 00000483: SWAP1 00000484: SUB 00000485: PUSH1 0x64 00000487: ADD 00000488: SWAP1 00000489: REVERT 0000048a: JUMPDEST 0000048b: PUSH1 0x04 0000048d: DUP1 0000048e: SLOAD 0000048f: PUSH1 0x01 00000491: PUSH1 0x01 00000493: PUSH1 0xa0 00000495: SHL 00000496: SUB 00000497: NOT 00000498: AND 00000499: PUSH1 0x01 0000049b: PUSH1 0x01 0000049d: PUSH1 0xa0 0000049f: SHL 000004a0: SUB 000004a1: SWAP3 000004a2: SWAP1 000004a3: SWAP3 000004a4: AND 000004a5: SWAP2 000004a6: SWAP1 000004a7: SWAP2 000004a8: OR 000004a9: SWAP1 000004aa: SSTORE 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH1 0x04 000004af: SLOAD 000004b0: PUSH1 0x01 000004b2: PUSH1 0x01 000004b4: PUSH1 0xa0 000004b6: SHL 000004b7: SUB 000004b8: AND 000004b9: DUP2 000004ba: JUMP 000004bb: JUMPDEST 000004bc: PUSH1 0x01 000004be: SLOAD 000004bf: JUMPDEST 000004c0: SWAP1 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH1 0x06 000004c5: SLOAD 000004c6: DUP2 000004c7: JUMP 000004c8: JUMPDEST 000004c9: CALLER 000004ca: PUSH2 0x04d1 000004cd: PUSH2 0x0b5a 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH1 0x0b 000004d4: SSTORE 000004d5: PUSH2 0x04dc 000004d8: PUSH2 0x09be 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH1 0x0a 000004df: SSTORE 000004e0: PUSH1 0x01 000004e2: PUSH1 0x01 000004e4: PUSH1 0xa0 000004e6: SHL 000004e7: SUB 000004e8: DUP2 000004e9: AND 000004ea: ISZERO 000004eb: PUSH2 0x0523 000004ee: JUMPI 000004ef: PUSH2 0x04f7 000004f2: DUP2 000004f3: PUSH2 0x0399 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH1 0x01 000004fa: PUSH1 0x01 000004fc: PUSH1 0xa0 000004fe: SHL 000004ff: SUB 00000500: DUP3 00000501: AND 00000502: PUSH1 0x00 00000504: SWAP1 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x0d 00000509: PUSH1 0x20 0000050b: SWAP1 0000050c: DUP2 0000050d: MSTORE 0000050e: PUSH1 0x40 00000510: DUP1 00000511: DUP4 00000512: KECCAK256 00000513: SWAP4 00000514: SWAP1 00000515: SWAP4 00000516: SSTORE 00000517: PUSH1 0x0b 00000519: SLOAD 0000051a: PUSH1 0x0c 0000051c: SWAP1 0000051d: SWAP2 0000051e: MSTORE 0000051f: SWAP2 00000520: SWAP1 00000521: KECCAK256 00000522: SSTORE 00000523: JUMPDEST 00000524: PUSH1 0x07 00000526: SLOAD 00000527: TIMESTAMP 00000528: LT 00000529: ISZERO 0000052a: PUSH2 0x0566 0000052d: JUMPI 0000052e: PUSH1 0x40 00000530: DUP1 00000531: MLOAD 00000532: PUSH3 0x461bcd 00000536: PUSH1 0xe5 00000538: SHL 00000539: DUP2 0000053a: MSTORE 0000053b: PUSH1 0x20 0000053d: PUSH1 0x04 0000053f: DUP3 00000540: ADD 00000541: MSTORE 00000542: PUSH1 0x09 00000544: PUSH1 0x24 00000546: DUP3 00000547: ADD 00000548: MSTORE 00000549: PUSH9 0x1b9bdd081cdd185c9d 00000553: PUSH1 0xba 00000555: SHL 00000556: PUSH1 0x44 00000558: DUP3 00000559: ADD 0000055a: MSTORE 0000055b: SWAP1 0000055c: MLOAD 0000055d: SWAP1 0000055e: DUP2 0000055f: SWAP1 00000560: SUB 00000561: PUSH1 0x64 00000563: ADD 00000564: SWAP1 00000565: REVERT 00000566: JUMPDEST 00000567: PUSH1 0x00 00000569: DUP3 0000056a: GT 0000056b: PUSH2 0x05af 0000056e: JUMPI 0000056f: PUSH1 0x40 00000571: DUP1 00000572: MLOAD 00000573: PUSH3 0x461bcd 00000577: PUSH1 0xe5 00000579: SHL 0000057a: DUP2 0000057b: MSTORE 0000057c: PUSH1 0x20 0000057e: PUSH1 0x04 00000580: DUP3 00000581: ADD 00000582: MSTORE 00000583: PUSH1 0x11 00000585: PUSH1 0x24 00000587: DUP3 00000588: ADD 00000589: MSTORE 0000058a: PUSH17 0x043616e6e6f74207769746864726177203 0000059c: PUSH1 0x7c 0000059e: SHL 0000059f: PUSH1 0x44 000005a1: DUP3 000005a2: ADD 000005a3: MSTORE 000005a4: SWAP1 000005a5: MLOAD 000005a6: SWAP1 000005a7: DUP2 000005a8: SWAP1 000005a9: SUB 000005aa: PUSH1 0x64 000005ac: ADD 000005ad: SWAP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: PUSH2 0x05b8 000005b3: DUP3 000005b4: PUSH2 0x0d87 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH1 0x40 000005bb: DUP1 000005bc: MLOAD 000005bd: DUP4 000005be: DUP2 000005bf: MSTORE 000005c0: SWAP1 000005c1: MLOAD 000005c2: CALLER 000005c3: SWAP2 000005c4: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 000005e5: SWAP2 000005e6: SWAP1 000005e7: DUP2 000005e8: SWAP1 000005e9: SUB 000005ea: PUSH1 0x20 000005ec: ADD 000005ed: SWAP1 000005ee: LOG2 000005ef: POP 000005f0: POP 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH1 0x04 000005f5: SLOAD 000005f6: PUSH1 0x01 000005f8: PUSH1 0x01 000005fa: PUSH1 0xa0 000005fc: SHL 000005fd: SUB 000005fe: AND 000005ff: PUSH2 0x0606 00000602: PUSH2 0x0de8 00000605: JUMP 00000606: JUMPDEST 00000607: PUSH1 0x01 00000609: PUSH1 0x01 0000060b: PUSH1 0xa0 0000060d: SHL 0000060e: SUB 0000060f: AND 00000610: EQ 00000611: PUSH2 0x064b 00000614: JUMPI 00000615: PUSH1 0x40 00000617: MLOAD 00000618: PUSH3 0x461bcd 0000061c: PUSH1 0xe5 0000061e: SHL 0000061f: DUP2 00000620: MSTORE 00000621: PUSH1 0x04 00000623: ADD 00000624: DUP1 00000625: DUP1 00000626: PUSH1 0x20 00000628: ADD 00000629: DUP3 0000062a: DUP2 0000062b: SUB 0000062c: DUP3 0000062d: MSTORE 0000062e: PUSH1 0x21 00000630: DUP2 00000631: MSTORE 00000632: PUSH1 0x20 00000634: ADD 00000635: DUP1 00000636: PUSH2 0x12f4 00000639: PUSH1 0x21 0000063b: SWAP2 0000063c: CODECOPY 0000063d: PUSH1 0x40 0000063f: ADD 00000640: SWAP2 00000641: POP 00000642: POP 00000643: PUSH1 0x40 00000645: MLOAD 00000646: DUP1 00000647: SWAP2 00000648: SUB 00000649: SWAP1 0000064a: REVERT 0000064b: JUMPDEST 0000064c: PUSH1 0x00 0000064e: PUSH2 0x0655 00000651: PUSH2 0x0b5a 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH1 0x0b 00000658: SSTORE 00000659: PUSH2 0x0660 0000065c: PUSH2 0x09be 0000065f: JUMP 00000660: JUMPDEST 00000661: PUSH1 0x0a 00000663: SSTORE 00000664: PUSH1 0x01 00000666: PUSH1 0x01 00000668: PUSH1 0xa0 0000066a: SHL 0000066b: SUB 0000066c: DUP2 0000066d: AND 0000066e: ISZERO 0000066f: PUSH2 0x06a7 00000672: JUMPI 00000673: PUSH2 0x067b 00000676: DUP2 00000677: PUSH2 0x0399 0000067a: JUMP 0000067b: JUMPDEST 0000067c: PUSH1 0x01 0000067e: PUSH1 0x01 00000680: PUSH1 0xa0 00000682: SHL 00000683: SUB 00000684: DUP3 00000685: AND 00000686: PUSH1 0x00 00000688: SWAP1 00000689: DUP2 0000068a: MSTORE 0000068b: PUSH1 0x0d 0000068d: PUSH1 0x20 0000068f: SWAP1 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x40 00000694: DUP1 00000695: DUP4 00000696: KECCAK256 00000697: SWAP4 00000698: SWAP1 00000699: SWAP4 0000069a: SSTORE 0000069b: PUSH1 0x0b 0000069d: SLOAD 0000069e: PUSH1 0x0c 000006a0: SWAP1 000006a1: SWAP2 000006a2: MSTORE 000006a3: SWAP2 000006a4: SWAP1 000006a5: KECCAK256 000006a6: SSTORE 000006a7: JUMPDEST 000006a8: PUSH1 0x07 000006aa: SLOAD 000006ab: TIMESTAMP 000006ac: GT 000006ad: ISZERO 000006ae: PUSH2 0x0779 000006b1: JUMPI 000006b2: PUSH1 0x08 000006b4: SLOAD 000006b5: TIMESTAMP 000006b6: LT 000006b7: PUSH2 0x06d6 000006ba: JUMPI 000006bb: PUSH1 0x06 000006bd: SLOAD 000006be: PUSH2 0x06ce 000006c1: SWAP1 000006c2: DUP4 000006c3: SWAP1 000006c4: PUSH4 0xffffffff 000006c9: PUSH2 0x0ceb 000006cc: AND 000006cd: JUMP 000006ce: JUMPDEST 000006cf: PUSH1 0x09 000006d1: SSTORE 000006d2: PUSH2 0x0725 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH1 0x08 000006d9: SLOAD 000006da: PUSH1 0x00 000006dc: SWAP1 000006dd: PUSH2 0x06ec 000006e0: SWAP1 000006e1: TIMESTAMP 000006e2: PUSH4 0xffffffff 000006e7: PUSH2 0x0c49 000006ea: AND 000006eb: JUMP 000006ec: JUMPDEST 000006ed: SWAP1 000006ee: POP 000006ef: PUSH1 0x00 000006f1: PUSH2 0x0705 000006f4: PUSH1 0x09 000006f6: SLOAD 000006f7: DUP4 000006f8: PUSH2 0x0c92 000006fb: SWAP1 000006fc: SWAP2 000006fd: SWAP1 000006fe: PUSH4 0xffffffff 00000703: AND 00000704: JUMP 00000705: JUMPDEST 00000706: PUSH1 0x06 00000708: SLOAD 00000709: SWAP1 0000070a: SWAP2 0000070b: POP 0000070c: PUSH2 0x071f 0000070f: SWAP1 00000710: PUSH2 0x0401 00000713: DUP7 00000714: DUP5 00000715: PUSH4 0xffffffff 0000071a: PUSH2 0x0d2d 0000071d: AND 0000071e: JUMP 0000071f: JUMPDEST 00000720: PUSH1 0x09 00000722: SSTORE 00000723: POP 00000724: POP 00000725: JUMPDEST 00000726: TIMESTAMP 00000727: PUSH1 0x0a 00000729: DUP2 0000072a: SWAP1 0000072b: SSTORE 0000072c: PUSH1 0x06 0000072e: SLOAD 0000072f: PUSH2 0x073e 00000732: SWAP2 00000733: SWAP1 00000734: PUSH4 0xffffffff 00000739: PUSH2 0x0d2d 0000073c: AND 0000073d: JUMP 0000073e: JUMPDEST 0000073f: PUSH1 0x08 00000741: SSTORE 00000742: PUSH1 0x40 00000744: DUP1 00000745: MLOAD 00000746: DUP4 00000747: DUP2 00000748: MSTORE 00000749: SWAP1 0000074a: MLOAD 0000074b: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 0000076c: SWAP2 0000076d: DUP2 0000076e: SWAP1 0000076f: SUB 00000770: PUSH1 0x20 00000772: ADD 00000773: SWAP1 00000774: LOG1 00000775: PUSH2 0x07e2 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH1 0x06 0000077c: SLOAD 0000077d: PUSH2 0x078d 00000780: SWAP1 00000781: DUP4 00000782: SWAP1 00000783: PUSH4 0xffffffff 00000788: PUSH2 0x0ceb 0000078b: AND 0000078c: JUMP 0000078d: JUMPDEST 0000078e: PUSH1 0x09 00000790: SSTORE 00000791: PUSH1 0x07 00000793: SLOAD 00000794: PUSH1 0x0a 00000796: DUP2 00000797: SWAP1 00000798: SSTORE 00000799: PUSH1 0x06 0000079b: SLOAD 0000079c: PUSH2 0x07ab 0000079f: SWAP2 000007a0: SWAP1 000007a1: PUSH4 0xffffffff 000007a6: PUSH2 0x0d2d 000007a9: AND 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x08 000007ae: SSTORE 000007af: PUSH1 0x40 000007b1: DUP1 000007b2: MLOAD 000007b3: DUP4 000007b4: DUP2 000007b5: MSTORE 000007b6: SWAP1 000007b7: MLOAD 000007b8: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 000007d9: SWAP2 000007da: DUP2 000007db: SWAP1 000007dc: SUB 000007dd: PUSH1 0x20 000007df: ADD 000007e0: SWAP1 000007e1: LOG1 000007e2: JUMPDEST 000007e3: POP 000007e4: POP 000007e5: JUMP 000007e6: JUMPDEST 000007e7: CALLER 000007e8: PUSH2 0x07ef 000007eb: PUSH2 0x0b5a 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x0b 000007f2: SSTORE 000007f3: PUSH2 0x07fa 000007f6: PUSH2 0x09be 000007f9: JUMP 000007fa: JUMPDEST 000007fb: PUSH1 0x0a 000007fd: SSTORE 000007fe: PUSH1 0x01 00000800: PUSH1 0x01 00000802: PUSH1 0xa0 00000804: SHL 00000805: SUB 00000806: DUP2 00000807: AND 00000808: ISZERO 00000809: PUSH2 0x0841 0000080c: JUMPI 0000080d: PUSH2 0x0815 00000810: DUP2 00000811: PUSH2 0x0399 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH1 0x01 00000818: PUSH1 0x01 0000081a: PUSH1 0xa0 0000081c: SHL 0000081d: SUB 0000081e: DUP3 0000081f: AND 00000820: PUSH1 0x00 00000822: SWAP1 00000823: DUP2 00000824: MSTORE 00000825: PUSH1 0x0d 00000827: PUSH1 0x20 00000829: SWAP1 0000082a: DUP2 0000082b: MSTORE 0000082c: PUSH1 0x40 0000082e: DUP1 0000082f: DUP4 00000830: KECCAK256 00000831: SWAP4 00000832: SWAP1 00000833: SWAP4 00000834: SSTORE 00000835: PUSH1 0x0b 00000837: SLOAD 00000838: PUSH1 0x0c 0000083a: SWAP1 0000083b: SWAP2 0000083c: MSTORE 0000083d: SWAP2 0000083e: SWAP1 0000083f: KECCAK256 00000840: SSTORE 00000841: JUMPDEST 00000842: PUSH1 0x07 00000844: SLOAD 00000845: TIMESTAMP 00000846: LT 00000847: ISZERO 00000848: PUSH2 0x0884 0000084b: JUMPI 0000084c: PUSH1 0x40 0000084e: DUP1 0000084f: MLOAD 00000850: PUSH3 0x461bcd 00000854: PUSH1 0xe5 00000856: SHL 00000857: DUP2 00000858: MSTORE 00000859: PUSH1 0x20 0000085b: PUSH1 0x04 0000085d: DUP3 0000085e: ADD 0000085f: MSTORE 00000860: PUSH1 0x09 00000862: PUSH1 0x24 00000864: DUP3 00000865: ADD 00000866: MSTORE 00000867: PUSH9 0x1b9bdd081cdd185c9d 00000871: PUSH1 0xba 00000873: SHL 00000874: PUSH1 0x44 00000876: DUP3 00000877: ADD 00000878: MSTORE 00000879: SWAP1 0000087a: MLOAD 0000087b: SWAP1 0000087c: DUP2 0000087d: SWAP1 0000087e: SUB 0000087f: PUSH1 0x64 00000881: ADD 00000882: SWAP1 00000883: REVERT 00000884: JUMPDEST 00000885: PUSH1 0x00 00000887: PUSH2 0x088f 0000088a: CALLER 0000088b: PUSH2 0x0399 0000088e: JUMP 0000088f: JUMPDEST 00000890: SWAP1 00000891: POP 00000892: DUP1 00000893: ISZERO 00000894: PUSH2 0x07e2 00000897: JUMPI 00000898: CALLER 00000899: PUSH1 0x00 0000089b: DUP2 0000089c: DUP2 0000089d: MSTORE 0000089e: PUSH1 0x0d 000008a0: PUSH1 0x20 000008a2: MSTORE 000008a3: PUSH1 0x40 000008a5: DUP2 000008a6: KECCAK256 000008a7: SSTORE 000008a8: PUSH1 0x05 000008aa: SLOAD 000008ab: PUSH2 0x08c0 000008ae: SWAP2 000008af: PUSH1 0x01 000008b1: PUSH1 0x01 000008b3: PUSH1 0xa0 000008b5: SHL 000008b6: SUB 000008b7: SWAP1 000008b8: SWAP2 000008b9: AND 000008ba: SWAP1 000008bb: DUP4 000008bc: PUSH2 0x0dec 000008bf: JUMP 000008c0: JUMPDEST 000008c1: PUSH1 0x40 000008c3: DUP1 000008c4: MLOAD 000008c5: DUP3 000008c6: DUP2 000008c7: MSTORE 000008c8: SWAP1 000008c9: MLOAD 000008ca: CALLER 000008cb: SWAP2 000008cc: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 000008ed: SWAP2 000008ee: SWAP1 000008ef: DUP2 000008f0: SWAP1 000008f1: SUB 000008f2: PUSH1 0x20 000008f4: ADD 000008f5: SWAP1 000008f6: LOG2 000008f7: POP 000008f8: POP 000008f9: JUMP 000008fa: JUMPDEST 000008fb: PUSH1 0x01 000008fd: PUSH1 0x01 000008ff: PUSH1 0xa0 00000901: SHL 00000902: SUB 00000903: AND 00000904: PUSH1 0x00 00000906: SWAP1 00000907: DUP2 00000908: MSTORE 00000909: PUSH1 0x02 0000090b: PUSH1 0x20 0000090d: MSTORE 0000090e: PUSH1 0x40 00000910: SWAP1 00000911: KECCAK256 00000912: SLOAD 00000913: SWAP1 00000914: JUMP 00000915: JUMPDEST 00000916: PUSH2 0x091d 00000919: PUSH2 0x09f8 0000091c: JUMP 0000091d: JUMPDEST 0000091e: PUSH2 0x096e 00000921: JUMPI 00000922: PUSH1 0x40 00000924: DUP1 00000925: MLOAD 00000926: PUSH3 0x461bcd 0000092a: PUSH1 0xe5 0000092c: SHL 0000092d: DUP2 0000092e: MSTORE 0000092f: PUSH1 0x20 00000931: PUSH1 0x04 00000933: DUP3 00000934: ADD 00000935: DUP2 00000936: SWAP1 00000937: MSTORE 00000938: PUSH1 0x24 0000093a: DUP3 0000093b: ADD 0000093c: MSTORE 0000093d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000095e: PUSH1 0x44 00000960: DUP3 00000961: ADD 00000962: MSTORE 00000963: SWAP1 00000964: MLOAD 00000965: SWAP1 00000966: DUP2 00000967: SWAP1 00000968: SUB 00000969: PUSH1 0x64 0000096b: ADD 0000096c: SWAP1 0000096d: REVERT 0000096e: JUMPDEST 0000096f: PUSH1 0x03 00000971: SLOAD 00000972: PUSH1 0x40 00000974: MLOAD 00000975: PUSH1 0x00 00000977: SWAP2 00000978: PUSH1 0x01 0000097a: PUSH1 0x01 0000097c: PUSH1 0xa0 0000097e: SHL 0000097f: SUB 00000980: AND 00000981: SWAP1 00000982: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000009a3: SWAP1 000009a4: DUP4 000009a5: SWAP1 000009a6: LOG3 000009a7: PUSH1 0x03 000009a9: DUP1 000009aa: SLOAD 000009ab: PUSH1 0x01 000009ad: PUSH1 0x01 000009af: PUSH1 0xa0 000009b1: SHL 000009b2: SUB 000009b3: NOT 000009b4: AND 000009b5: SWAP1 000009b6: SSTORE 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x09 000009bb: SLOAD 000009bc: DUP2 000009bd: JUMP 000009be: JUMPDEST 000009bf: PUSH1 0x00 000009c1: PUSH2 0x09cc 000009c4: TIMESTAMP 000009c5: PUSH1 0x08 000009c7: SLOAD 000009c8: PUSH2 0x0e43 000009cb: JUMP 000009cc: JUMPDEST 000009cd: SWAP1 000009ce: POP 000009cf: SWAP1 000009d0: JUMP 000009d1: JUMPDEST 000009d2: PUSH1 0x0c 000009d4: PUSH1 0x20 000009d6: MSTORE 000009d7: PUSH1 0x00 000009d9: SWAP1 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x40 000009de: SWAP1 000009df: KECCAK256 000009e0: SLOAD 000009e1: DUP2 000009e2: JUMP 000009e3: JUMPDEST 000009e4: PUSH1 0x07 000009e6: SLOAD 000009e7: DUP2 000009e8: JUMP 000009e9: JUMPDEST 000009ea: PUSH1 0x03 000009ec: SLOAD 000009ed: PUSH1 0x01 000009ef: PUSH1 0x01 000009f1: PUSH1 0xa0 000009f3: SHL 000009f4: SUB 000009f5: AND 000009f6: SWAP1 000009f7: JUMP 000009f8: JUMPDEST 000009f9: PUSH1 0x03 000009fb: SLOAD 000009fc: PUSH1 0x00 000009fe: SWAP1 000009ff: PUSH1 0x01 00000a01: PUSH1 0x01 00000a03: PUSH1 0xa0 00000a05: SHL 00000a06: SUB 00000a07: AND 00000a08: PUSH2 0x0a0f 00000a0b: PUSH2 0x0de8 00000a0e: JUMP 00000a0f: JUMPDEST 00000a10: PUSH1 0x01 00000a12: PUSH1 0x01 00000a14: PUSH1 0xa0 00000a16: SHL 00000a17: SUB 00000a18: AND 00000a19: EQ 00000a1a: SWAP1 00000a1b: POP 00000a1c: SWAP1 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: PUSH1 0x05 00000a21: SLOAD 00000a22: PUSH1 0x01 00000a24: PUSH1 0x01 00000a26: PUSH1 0xa0 00000a28: SHL 00000a29: SUB 00000a2a: AND 00000a2b: DUP2 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: CALLER 00000a2f: PUSH2 0x0a36 00000a32: PUSH2 0x0b5a 00000a35: JUMP 00000a36: JUMPDEST 00000a37: PUSH1 0x0b 00000a39: SSTORE 00000a3a: PUSH2 0x0a41 00000a3d: PUSH2 0x09be 00000a40: JUMP 00000a41: JUMPDEST 00000a42: PUSH1 0x0a 00000a44: SSTORE 00000a45: PUSH1 0x01 00000a47: PUSH1 0x01 00000a49: PUSH1 0xa0 00000a4b: SHL 00000a4c: SUB 00000a4d: DUP2 00000a4e: AND 00000a4f: ISZERO 00000a50: PUSH2 0x0a88 00000a53: JUMPI 00000a54: PUSH2 0x0a5c 00000a57: DUP2 00000a58: PUSH2 0x0399 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: PUSH1 0x01 00000a5f: PUSH1 0x01 00000a61: PUSH1 0xa0 00000a63: SHL 00000a64: SUB 00000a65: DUP3 00000a66: AND 00000a67: PUSH1 0x00 00000a69: SWAP1 00000a6a: DUP2 00000a6b: MSTORE 00000a6c: PUSH1 0x0d 00000a6e: PUSH1 0x20 00000a70: SWAP1 00000a71: DUP2 00000a72: MSTORE 00000a73: PUSH1 0x40 00000a75: DUP1 00000a76: DUP4 00000a77: KECCAK256 00000a78: SWAP4 00000a79: SWAP1 00000a7a: SWAP4 00000a7b: SSTORE 00000a7c: PUSH1 0x0b 00000a7e: SLOAD 00000a7f: PUSH1 0x0c 00000a81: SWAP1 00000a82: SWAP2 00000a83: MSTORE 00000a84: SWAP2 00000a85: SWAP1 00000a86: KECCAK256 00000a87: SSTORE 00000a88: JUMPDEST 00000a89: PUSH1 0x07 00000a8b: SLOAD 00000a8c: TIMESTAMP 00000a8d: LT 00000a8e: ISZERO 00000a8f: PUSH2 0x0acb 00000a92: JUMPI 00000a93: PUSH1 0x40 00000a95: DUP1 00000a96: MLOAD 00000a97: PUSH3 0x461bcd 00000a9b: PUSH1 0xe5 00000a9d: SHL 00000a9e: DUP2 00000a9f: MSTORE 00000aa0: PUSH1 0x20 00000aa2: PUSH1 0x04 00000aa4: DUP3 00000aa5: ADD 00000aa6: MSTORE 00000aa7: PUSH1 0x09 00000aa9: PUSH1 0x24 00000aab: DUP3 00000aac: ADD 00000aad: MSTORE 00000aae: PUSH9 0x1b9bdd081cdd185c9d 00000ab8: PUSH1 0xba 00000aba: SHL 00000abb: PUSH1 0x44 00000abd: DUP3 00000abe: ADD 00000abf: MSTORE 00000ac0: SWAP1 00000ac1: MLOAD 00000ac2: SWAP1 00000ac3: DUP2 00000ac4: SWAP1 00000ac5: SUB 00000ac6: PUSH1 0x64 00000ac8: ADD 00000ac9: SWAP1 00000aca: REVERT 00000acb: JUMPDEST 00000acc: PUSH1 0x00 00000ace: DUP3 00000acf: GT 00000ad0: PUSH2 0x0b11 00000ad3: JUMPI 00000ad4: PUSH1 0x40 00000ad6: DUP1 00000ad7: MLOAD 00000ad8: PUSH3 0x461bcd 00000adc: PUSH1 0xe5 00000ade: SHL 00000adf: DUP2 00000ae0: MSTORE 00000ae1: PUSH1 0x20 00000ae3: PUSH1 0x04 00000ae5: DUP3 00000ae6: ADD 00000ae7: MSTORE 00000ae8: PUSH1 0x0e 00000aea: PUSH1 0x24 00000aec: DUP3 00000aed: ADD 00000aee: MSTORE 00000aef: PUSH14 0x043616e6e6f74207374616b65203 00000afe: PUSH1 0x94 00000b00: SHL 00000b01: PUSH1 0x44 00000b03: DUP3 00000b04: ADD 00000b05: MSTORE 00000b06: SWAP1 00000b07: MLOAD 00000b08: SWAP1 00000b09: DUP2 00000b0a: SWAP1 00000b0b: SUB 00000b0c: PUSH1 0x64 00000b0e: ADD 00000b0f: SWAP1 00000b10: REVERT 00000b11: JUMPDEST 00000b12: PUSH2 0x0b1a 00000b15: DUP3 00000b16: PUSH2 0x0e59 00000b19: JUMP 00000b1a: JUMPDEST 00000b1b: PUSH1 0x40 00000b1d: DUP1 00000b1e: MLOAD 00000b1f: DUP4 00000b20: DUP2 00000b21: MSTORE 00000b22: SWAP1 00000b23: MLOAD 00000b24: CALLER 00000b25: SWAP2 00000b26: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d 00000b47: SWAP2 00000b48: SWAP1 00000b49: DUP2 00000b4a: SWAP1 00000b4b: SUB 00000b4c: PUSH1 0x20 00000b4e: ADD 00000b4f: SWAP1 00000b50: LOG2 00000b51: POP 00000b52: POP 00000b53: JUMP 00000b54: JUMPDEST 00000b55: PUSH1 0x0a 00000b57: SLOAD 00000b58: DUP2 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: PUSH1 0x00 00000b5d: PUSH2 0x0b64 00000b60: PUSH2 0x04bb 00000b63: JUMP 00000b64: JUMPDEST 00000b65: PUSH2 0x0b71 00000b68: JUMPI 00000b69: POP 00000b6a: PUSH1 0x0b 00000b6c: SLOAD 00000b6d: PUSH2 0x04bf 00000b70: JUMP 00000b71: JUMPDEST 00000b72: PUSH2 0x09cc 00000b75: PUSH2 0x0b9f 00000b78: PUSH2 0x0b7f 00000b7b: PUSH2 0x04bb 00000b7e: JUMP 00000b7f: JUMPDEST 00000b80: PUSH2 0x0401 00000b83: PUSH8 0x0de0b6b3a7640000 00000b8c: PUSH2 0x03f5 00000b8f: PUSH1 0x09 00000b91: SLOAD 00000b92: PUSH2 0x03f5 00000b95: PUSH1 0x0a 00000b97: SLOAD 00000b98: PUSH2 0x03e0 00000b9b: PUSH2 0x09be 00000b9e: JUMP 00000b9f: JUMPDEST 00000ba0: PUSH1 0x0b 00000ba2: SLOAD 00000ba3: SWAP1 00000ba4: PUSH4 0xffffffff 00000ba9: PUSH2 0x0d2d 00000bac: AND 00000bad: JUMP 00000bae: JUMPDEST 00000baf: PUSH1 0x00 00000bb1: SLOAD 00000bb2: PUSH1 0x01 00000bb4: PUSH1 0x01 00000bb6: PUSH1 0xa0 00000bb8: SHL 00000bb9: SUB 00000bba: AND 00000bbb: DUP2 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: PUSH1 0x0b 00000bc0: SLOAD 00000bc1: DUP2 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH2 0x0bd4 00000bc7: PUSH2 0x0bcf 00000bca: CALLER 00000bcb: PUSH2 0x08fa 00000bce: JUMP 00000bcf: JUMPDEST 00000bd0: PUSH2 0x04c8 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: PUSH2 0x0bdc 00000bd8: PUSH2 0x07e6 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: PUSH1 0x08 00000be1: SLOAD 00000be2: DUP2 00000be3: JUMP 00000be4: JUMPDEST 00000be5: PUSH2 0x0bec 00000be8: PUSH2 0x09f8 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH2 0x0c3d 00000bf0: JUMPI 00000bf1: PUSH1 0x40 00000bf3: DUP1 00000bf4: MLOAD 00000bf5: PUSH3 0x461bcd 00000bf9: PUSH1 0xe5 00000bfb: SHL 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: PUSH1 0x20 00000c00: PUSH1 0x04 00000c02: DUP3 00000c03: ADD 00000c04: DUP2 00000c05: SWAP1 00000c06: MSTORE 00000c07: PUSH1 0x24 00000c09: DUP3 00000c0a: ADD 00000c0b: MSTORE 00000c0c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000c2d: PUSH1 0x44 00000c2f: DUP3 00000c30: ADD 00000c31: MSTORE 00000c32: SWAP1 00000c33: MLOAD 00000c34: SWAP1 00000c35: DUP2 00000c36: SWAP1 00000c37: SUB 00000c38: PUSH1 0x64 00000c3a: ADD 00000c3b: SWAP1 00000c3c: REVERT 00000c3d: JUMPDEST 00000c3e: PUSH2 0x0c46 00000c41: DUP2 00000c42: PUSH2 0x0ebb 00000c45: JUMP 00000c46: JUMPDEST 00000c47: POP 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH1 0x00 00000c4c: PUSH2 0x0c8b 00000c4f: DUP4 00000c50: DUP4 00000c51: PUSH1 0x40 00000c53: MLOAD 00000c54: DUP1 00000c55: PUSH1 0x40 00000c57: ADD 00000c58: PUSH1 0x40 00000c5a: MSTORE 00000c5b: DUP1 00000c5c: PUSH1 0x1e 00000c5e: DUP2 00000c5f: MSTORE 00000c60: PUSH1 0x20 00000c62: ADD 00000c63: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000c84: DUP2 00000c85: MSTORE 00000c86: POP 00000c87: PUSH2 0x0f5c 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: SWAP4 00000c8d: SWAP3 00000c8e: POP 00000c8f: POP 00000c90: POP 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH1 0x00 00000c95: DUP3 00000c96: PUSH2 0x0ca1 00000c99: JUMPI 00000c9a: POP 00000c9b: PUSH1 0x00 00000c9d: PUSH2 0x0419 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: DUP3 00000ca3: DUP3 00000ca4: MUL 00000ca5: DUP3 00000ca6: DUP5 00000ca7: DUP3 00000ca8: DUP2 00000ca9: PUSH2 0x0cae 00000cac: JUMPI 00000cad: INVALID 00000cae: JUMPDEST 00000caf: DIV 00000cb0: EQ 00000cb1: PUSH2 0x0c8b 00000cb4: JUMPI 00000cb5: PUSH1 0x40 00000cb7: MLOAD 00000cb8: PUSH3 0x461bcd 00000cbc: PUSH1 0xe5 00000cbe: SHL 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x04 00000cc3: ADD 00000cc4: DUP1 00000cc5: DUP1 00000cc6: PUSH1 0x20 00000cc8: ADD 00000cc9: DUP3 00000cca: DUP2 00000ccb: SUB 00000ccc: DUP3 00000ccd: MSTORE 00000cce: PUSH1 0x21 00000cd0: DUP2 00000cd1: MSTORE 00000cd2: PUSH1 0x20 00000cd4: ADD 00000cd5: DUP1 00000cd6: PUSH2 0x12d3 00000cd9: PUSH1 0x21 00000cdb: SWAP2 00000cdc: CODECOPY 00000cdd: PUSH1 0x40 00000cdf: ADD 00000ce0: SWAP2 00000ce1: POP 00000ce2: POP 00000ce3: PUSH1 0x40 00000ce5: MLOAD 00000ce6: DUP1 00000ce7: SWAP2 00000ce8: SUB 00000ce9: SWAP1 00000cea: REVERT 00000ceb: JUMPDEST 00000cec: PUSH1 0x00 00000cee: PUSH2 0x0c8b 00000cf1: DUP4 00000cf2: DUP4 00000cf3: PUSH1 0x40 00000cf5: MLOAD 00000cf6: DUP1 00000cf7: PUSH1 0x40 00000cf9: ADD 00000cfa: PUSH1 0x40 00000cfc: MSTORE 00000cfd: DUP1 00000cfe: PUSH1 0x1a 00000d00: DUP2 00000d01: MSTORE 00000d02: PUSH1 0x20 00000d04: ADD 00000d05: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000d26: DUP2 00000d27: MSTORE 00000d28: POP 00000d29: PUSH2 0x0ff3 00000d2c: JUMP 00000d2d: JUMPDEST 00000d2e: PUSH1 0x00 00000d30: DUP3 00000d31: DUP3 00000d32: ADD 00000d33: DUP4 00000d34: DUP2 00000d35: LT 00000d36: ISZERO 00000d37: PUSH2 0x0c8b 00000d3a: JUMPI 00000d3b: PUSH1 0x40 00000d3d: DUP1 00000d3e: MLOAD 00000d3f: PUSH3 0x461bcd 00000d43: PUSH1 0xe5 00000d45: SHL 00000d46: DUP2 00000d47: MSTORE 00000d48: PUSH1 0x20 00000d4a: PUSH1 0x04 00000d4c: DUP3 00000d4d: ADD 00000d4e: MSTORE 00000d4f: PUSH1 0x1b 00000d51: PUSH1 0x24 00000d53: DUP3 00000d54: ADD 00000d55: MSTORE 00000d56: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000d77: PUSH1 0x44 00000d79: DUP3 00000d7a: ADD 00000d7b: MSTORE 00000d7c: SWAP1 00000d7d: MLOAD 00000d7e: SWAP1 00000d7f: DUP2 00000d80: SWAP1 00000d81: SUB 00000d82: PUSH1 0x64 00000d84: ADD 00000d85: SWAP1 00000d86: REVERT 00000d87: JUMPDEST 00000d88: PUSH1 0x01 00000d8a: SLOAD 00000d8b: PUSH2 0x0d9a 00000d8e: SWAP1 00000d8f: DUP3 00000d90: PUSH4 0xffffffff 00000d95: PUSH2 0x0c49 00000d98: AND 00000d99: JUMP 00000d9a: JUMPDEST 00000d9b: PUSH1 0x01 00000d9d: SSTORE 00000d9e: CALLER 00000d9f: PUSH1 0x00 00000da1: SWAP1 00000da2: DUP2 00000da3: MSTORE 00000da4: PUSH1 0x02 00000da6: PUSH1 0x20 00000da8: MSTORE 00000da9: PUSH1 0x40 00000dab: SWAP1 00000dac: KECCAK256 00000dad: SLOAD 00000dae: PUSH2 0x0dbd 00000db1: SWAP1 00000db2: DUP3 00000db3: PUSH4 0xffffffff 00000db8: PUSH2 0x0c49 00000dbb: AND 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: CALLER 00000dbf: PUSH1 0x00 00000dc1: DUP2 00000dc2: DUP2 00000dc3: MSTORE 00000dc4: PUSH1 0x02 00000dc6: PUSH1 0x20 00000dc8: MSTORE 00000dc9: PUSH1 0x40 00000dcb: DUP2 00000dcc: KECCAK256 00000dcd: SWAP3 00000dce: SWAP1 00000dcf: SWAP3 00000dd0: SSTORE 00000dd1: SWAP1 00000dd2: SLOAD 00000dd3: PUSH2 0x0c46 00000dd6: SWAP2 00000dd7: PUSH1 0x01 00000dd9: PUSH1 0x01 00000ddb: PUSH1 0xa0 00000ddd: SHL 00000dde: SUB 00000ddf: SWAP1 00000de0: SWAP2 00000de1: AND 00000de2: SWAP1 00000de3: DUP4 00000de4: PUSH2 0x0dec 00000de7: JUMP 00000de8: JUMPDEST 00000de9: CALLER 00000dea: SWAP1 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x40 00000def: DUP1 00000df0: MLOAD 00000df1: PUSH1 0x01 00000df3: PUSH1 0x01 00000df5: PUSH1 0xa0 00000df7: SHL 00000df8: SUB 00000df9: DUP5 00000dfa: AND 00000dfb: PUSH1 0x24 00000dfd: DUP3 00000dfe: ADD 00000dff: MSTORE 00000e00: PUSH1 0x44 00000e02: DUP1 00000e03: DUP3 00000e04: ADD 00000e05: DUP5 00000e06: SWAP1 00000e07: MSTORE 00000e08: DUP3 00000e09: MLOAD 00000e0a: DUP1 00000e0b: DUP4 00000e0c: SUB 00000e0d: SWAP1 00000e0e: SWAP2 00000e0f: ADD 00000e10: DUP2 00000e11: MSTORE 00000e12: PUSH1 0x64 00000e14: SWAP1 00000e15: SWAP2 00000e16: ADD 00000e17: SWAP1 00000e18: SWAP2 00000e19: MSTORE 00000e1a: PUSH1 0x20 00000e1c: DUP2 00000e1d: ADD 00000e1e: DUP1 00000e1f: MLOAD 00000e20: PUSH1 0x01 00000e22: PUSH1 0x01 00000e24: PUSH1 0xe0 00000e26: SHL 00000e27: SUB 00000e28: AND 00000e29: PUSH4 0xa9059cbb 00000e2e: PUSH1 0xe0 00000e30: SHL 00000e31: OR 00000e32: SWAP1 00000e33: MSTORE 00000e34: PUSH2 0x0e3e 00000e37: SWAP1 00000e38: DUP5 00000e39: SWAP1 00000e3a: PUSH2 0x1058 00000e3d: JUMP 00000e3e: JUMPDEST 00000e3f: POP 00000e40: POP 00000e41: POP 00000e42: JUMP 00000e43: JUMPDEST 00000e44: PUSH1 0x00 00000e46: DUP2 00000e47: DUP4 00000e48: LT 00000e49: PUSH2 0x0e52 00000e4c: JUMPI 00000e4d: DUP2 00000e4e: PUSH2 0x0c8b 00000e51: JUMP 00000e52: JUMPDEST 00000e53: POP 00000e54: SWAP1 00000e55: SWAP2 00000e56: SWAP1 00000e57: POP 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: PUSH1 0x01 00000e5c: SLOAD 00000e5d: PUSH2 0x0e6c 00000e60: SWAP1 00000e61: DUP3 00000e62: PUSH4 0xffffffff 00000e67: PUSH2 0x0d2d 00000e6a: AND 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: PUSH1 0x01 00000e6f: SSTORE 00000e70: CALLER 00000e71: PUSH1 0x00 00000e73: SWAP1 00000e74: DUP2 00000e75: MSTORE 00000e76: PUSH1 0x02 00000e78: PUSH1 0x20 00000e7a: MSTORE 00000e7b: PUSH1 0x40 00000e7d: SWAP1 00000e7e: KECCAK256 00000e7f: SLOAD 00000e80: PUSH2 0x0e8f 00000e83: SWAP1 00000e84: DUP3 00000e85: PUSH4 0xffffffff 00000e8a: PUSH2 0x0d2d 00000e8d: AND 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: CALLER 00000e91: PUSH1 0x00 00000e93: DUP2 00000e94: DUP2 00000e95: MSTORE 00000e96: PUSH1 0x02 00000e98: PUSH1 0x20 00000e9a: MSTORE 00000e9b: PUSH1 0x40 00000e9d: DUP2 00000e9e: KECCAK256 00000e9f: SWAP3 00000ea0: SWAP1 00000ea1: SWAP3 00000ea2: SSTORE 00000ea3: SWAP1 00000ea4: SLOAD 00000ea5: PUSH2 0x0c46 00000ea8: SWAP2 00000ea9: PUSH1 0x01 00000eab: PUSH1 0x01 00000ead: PUSH1 0xa0 00000eaf: SHL 00000eb0: SUB 00000eb1: SWAP1 00000eb2: SWAP2 00000eb3: AND 00000eb4: SWAP1 00000eb5: ADDRESS 00000eb6: DUP5 00000eb7: PUSH2 0x1216 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH1 0x01 00000ebe: PUSH1 0x01 00000ec0: PUSH1 0xa0 00000ec2: SHL 00000ec3: SUB 00000ec4: DUP2 00000ec5: AND 00000ec6: PUSH2 0x0f00 00000ec9: JUMPI 00000eca: PUSH1 0x40 00000ecc: MLOAD 00000ecd: PUSH3 0x461bcd 00000ed1: PUSH1 0xe5 00000ed3: SHL 00000ed4: DUP2 00000ed5: MSTORE 00000ed6: PUSH1 0x04 00000ed8: ADD 00000ed9: DUP1 00000eda: DUP1 00000edb: PUSH1 0x20 00000edd: ADD 00000ede: DUP3 00000edf: DUP2 00000ee0: SUB 00000ee1: DUP3 00000ee2: MSTORE 00000ee3: PUSH1 0x26 00000ee5: DUP2 00000ee6: MSTORE 00000ee7: PUSH1 0x20 00000ee9: ADD 00000eea: DUP1 00000eeb: PUSH2 0x12ad 00000eee: PUSH1 0x26 00000ef0: SWAP2 00000ef1: CODECOPY 00000ef2: PUSH1 0x40 00000ef4: ADD 00000ef5: SWAP2 00000ef6: POP 00000ef7: POP 00000ef8: PUSH1 0x40 00000efa: MLOAD 00000efb: DUP1 00000efc: SWAP2 00000efd: SUB 00000efe: SWAP1 00000eff: REVERT 00000f00: JUMPDEST 00000f01: PUSH1 0x03 00000f03: SLOAD 00000f04: PUSH1 0x40 00000f06: MLOAD 00000f07: PUSH1 0x01 00000f09: PUSH1 0x01 00000f0b: PUSH1 0xa0 00000f0d: SHL 00000f0e: SUB 00000f0f: DUP1 00000f10: DUP5 00000f11: AND 00000f12: SWAP3 00000f13: AND 00000f14: SWAP1 00000f15: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000f36: SWAP1 00000f37: PUSH1 0x00 00000f39: SWAP1 00000f3a: LOG3 00000f3b: PUSH1 0x03 00000f3d: DUP1 00000f3e: SLOAD 00000f3f: PUSH1 0x01 00000f41: PUSH1 0x01 00000f43: PUSH1 0xa0 00000f45: SHL 00000f46: SUB 00000f47: NOT 00000f48: AND 00000f49: PUSH1 0x01 00000f4b: PUSH1 0x01 00000f4d: PUSH1 0xa0 00000f4f: SHL 00000f50: SUB 00000f51: SWAP3 00000f52: SWAP1 00000f53: SWAP3 00000f54: AND 00000f55: SWAP2 00000f56: SWAP1 00000f57: SWAP2 00000f58: OR 00000f59: SWAP1 00000f5a: SSTORE 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: PUSH1 0x00 00000f5f: DUP2 00000f60: DUP5 00000f61: DUP5 00000f62: GT 00000f63: ISZERO 00000f64: PUSH2 0x0feb 00000f67: JUMPI 00000f68: PUSH1 0x40 00000f6a: MLOAD 00000f6b: PUSH3 0x461bcd 00000f6f: PUSH1 0xe5 00000f71: SHL 00000f72: DUP2 00000f73: MSTORE 00000f74: PUSH1 0x04 00000f76: ADD 00000f77: DUP1 00000f78: DUP1 00000f79: PUSH1 0x20 00000f7b: ADD 00000f7c: DUP3 00000f7d: DUP2 00000f7e: SUB 00000f7f: DUP3 00000f80: MSTORE 00000f81: DUP4 00000f82: DUP2 00000f83: DUP2 00000f84: MLOAD 00000f85: DUP2 00000f86: MSTORE 00000f87: PUSH1 0x20 00000f89: ADD 00000f8a: SWAP2 00000f8b: POP 00000f8c: DUP1 00000f8d: MLOAD 00000f8e: SWAP1 00000f8f: PUSH1 0x20 00000f91: ADD 00000f92: SWAP1 00000f93: DUP1 00000f94: DUP4 00000f95: DUP4 00000f96: PUSH1 0x00 00000f98: JUMPDEST 00000f99: DUP4 00000f9a: DUP2 00000f9b: LT 00000f9c: ISZERO 00000f9d: PUSH2 0x0fb0 00000fa0: JUMPI 00000fa1: DUP2 00000fa2: DUP2 00000fa3: ADD 00000fa4: MLOAD 00000fa5: DUP4 00000fa6: DUP3 00000fa7: ADD 00000fa8: MSTORE 00000fa9: PUSH1 0x20 00000fab: ADD 00000fac: PUSH2 0x0f98 00000faf: JUMP 00000fb0: JUMPDEST 00000fb1: POP 00000fb2: POP 00000fb3: POP 00000fb4: POP 00000fb5: SWAP1 00000fb6: POP 00000fb7: SWAP1 00000fb8: DUP2 00000fb9: ADD 00000fba: SWAP1 00000fbb: PUSH1 0x1f 00000fbd: AND 00000fbe: DUP1 00000fbf: ISZERO 00000fc0: PUSH2 0x0fdd 00000fc3: JUMPI 00000fc4: DUP1 00000fc5: DUP3 00000fc6: SUB 00000fc7: DUP1 00000fc8: MLOAD 00000fc9: PUSH1 0x01 00000fcb: DUP4 00000fcc: PUSH1 0x20 00000fce: SUB 00000fcf: PUSH2 0x0100 00000fd2: EXP 00000fd3: SUB 00000fd4: NOT 00000fd5: AND 00000fd6: DUP2 00000fd7: MSTORE 00000fd8: PUSH1 0x20 00000fda: ADD 00000fdb: SWAP2 00000fdc: POP 00000fdd: JUMPDEST 00000fde: POP 00000fdf: SWAP3 00000fe0: POP 00000fe1: POP 00000fe2: POP 00000fe3: PUSH1 0x40 00000fe5: MLOAD 00000fe6: DUP1 00000fe7: SWAP2 00000fe8: SUB 00000fe9: SWAP1 00000fea: REVERT 00000feb: JUMPDEST 00000fec: POP 00000fed: POP 00000fee: POP 00000fef: SWAP1 00000ff0: SUB 00000ff1: SWAP1 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: PUSH1 0x00 00000ff6: DUP2 00000ff7: DUP4 00000ff8: PUSH2 0x1042 00000ffb: JUMPI 00000ffc: PUSH1 0x40 00000ffe: MLOAD 00000fff: PUSH3 0x461bcd 00001003: PUSH1 0xe5 00001005: SHL 00001006: DUP2 00001007: MSTORE 00001008: PUSH1 0x20 0000100a: PUSH1 0x04 0000100c: DUP3 0000100d: ADD 0000100e: DUP2 0000100f: DUP2 00001010: MSTORE 00001011: DUP4 00001012: MLOAD 00001013: PUSH1 0x24 00001015: DUP5 00001016: ADD 00001017: MSTORE 00001018: DUP4 00001019: MLOAD 0000101a: SWAP1 0000101b: SWAP3 0000101c: DUP4 0000101d: SWAP3 0000101e: PUSH1 0x44 00001020: SWAP1 00001021: SWAP2 00001022: ADD 00001023: SWAP2 00001024: SWAP1 00001025: DUP6 00001026: ADD 00001027: SWAP1 00001028: DUP1 00001029: DUP4 0000102a: DUP4 0000102b: PUSH1 0x00 0000102d: DUP4 0000102e: ISZERO 0000102f: PUSH2 0x0fb0 00001032: JUMPI 00001033: DUP2 00001034: DUP2 00001035: ADD 00001036: MLOAD 00001037: DUP4 00001038: DUP3 00001039: ADD 0000103a: MSTORE 0000103b: PUSH1 0x20 0000103d: ADD 0000103e: PUSH2 0x0f98 00001041: JUMP 00001042: JUMPDEST 00001043: POP 00001044: PUSH1 0x00 00001046: DUP4 00001047: DUP6 00001048: DUP2 00001049: PUSH2 0x104e 0000104c: JUMPI 0000104d: INVALID 0000104e: JUMPDEST 0000104f: DIV 00001050: SWAP6 00001051: SWAP5 00001052: POP 00001053: POP 00001054: POP 00001055: POP 00001056: POP 00001057: JUMP 00001058: JUMPDEST 00001059: PUSH2 0x106a 0000105c: DUP3 0000105d: PUSH1 0x01 0000105f: PUSH1 0x01 00001061: PUSH1 0xa0 00001063: SHL 00001064: SUB 00001065: AND 00001066: PUSH2 0x1270 00001069: JUMP 0000106a: JUMPDEST 0000106b: PUSH2 0x10bb 0000106e: JUMPI 0000106f: PUSH1 0x40 00001071: DUP1 00001072: MLOAD 00001073: PUSH3 0x461bcd 00001077: PUSH1 0xe5 00001079: SHL 0000107a: DUP2 0000107b: MSTORE 0000107c: PUSH1 0x20 0000107e: PUSH1 0x04 00001080: DUP3 00001081: ADD 00001082: MSTORE 00001083: PUSH1 0x1f 00001085: PUSH1 0x24 00001087: DUP3 00001088: ADD 00001089: MSTORE 0000108a: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 000010ab: PUSH1 0x44 000010ad: DUP3 000010ae: ADD 000010af: MSTORE 000010b0: SWAP1 000010b1: MLOAD 000010b2: SWAP1 000010b3: DUP2 000010b4: SWAP1 000010b5: SUB 000010b6: PUSH1 0x64 000010b8: ADD 000010b9: SWAP1 000010ba: REVERT 000010bb: JUMPDEST 000010bc: PUSH1 0x00 000010be: PUSH1 0x60 000010c0: DUP4 000010c1: PUSH1 0x01 000010c3: PUSH1 0x01 000010c5: PUSH1 0xa0 000010c7: SHL 000010c8: SUB 000010c9: AND 000010ca: DUP4 000010cb: PUSH1 0x40 000010cd: MLOAD 000010ce: DUP1 000010cf: DUP3 000010d0: DUP1 000010d1: MLOAD 000010d2: SWAP1 000010d3: PUSH1 0x20 000010d5: ADD 000010d6: SWAP1 000010d7: DUP1 000010d8: DUP4 000010d9: DUP4 000010da: JUMPDEST 000010db: PUSH1 0x20 000010dd: DUP4 000010de: LT 000010df: PUSH2 0x10f9 000010e2: JUMPI 000010e3: DUP1 000010e4: MLOAD 000010e5: DUP3 000010e6: MSTORE 000010e7: PUSH1 0x1f 000010e9: NOT 000010ea: SWAP1 000010eb: SWAP3 000010ec: ADD 000010ed: SWAP2 000010ee: PUSH1 0x20 000010f0: SWAP2 000010f1: DUP3 000010f2: ADD 000010f3: SWAP2 000010f4: ADD 000010f5: PUSH2 0x10da 000010f8: JUMP 000010f9: JUMPDEST 000010fa: PUSH1 0x01 000010fc: DUP4 000010fd: PUSH1 0x20 000010ff: SUB 00001100: PUSH2 0x0100 00001103: EXP 00001104: SUB 00001105: DUP1 00001106: NOT 00001107: DUP3 00001108: MLOAD 00001109: AND 0000110a: DUP2 0000110b: DUP5 0000110c: MLOAD 0000110d: AND 0000110e: DUP1 0000110f: DUP3 00001110: OR 00001111: DUP6 00001112: MSTORE 00001113: POP 00001114: POP 00001115: POP 00001116: POP 00001117: POP 00001118: POP 00001119: SWAP1 0000111a: POP 0000111b: ADD 0000111c: SWAP2 0000111d: POP 0000111e: POP 0000111f: PUSH1 0x00 00001121: PUSH1 0x40 00001123: MLOAD 00001124: DUP1 00001125: DUP4 00001126: SUB 00001127: DUP2 00001128: PUSH1 0x00 0000112a: DUP7 0000112b: GAS 0000112c: CALL 0000112d: SWAP2 0000112e: POP 0000112f: POP 00001130: RETURNDATASIZE 00001131: DUP1 00001132: PUSH1 0x00 00001134: DUP2 00001135: EQ 00001136: PUSH2 0x115b 00001139: JUMPI 0000113a: PUSH1 0x40 0000113c: MLOAD 0000113d: SWAP2 0000113e: POP 0000113f: PUSH1 0x1f 00001141: NOT 00001142: PUSH1 0x3f 00001144: RETURNDATASIZE 00001145: ADD 00001146: AND 00001147: DUP3 00001148: ADD 00001149: PUSH1 0x40 0000114b: MSTORE 0000114c: RETURNDATASIZE 0000114d: DUP3 0000114e: MSTORE 0000114f: RETURNDATASIZE 00001150: PUSH1 0x00 00001152: PUSH1 0x20 00001154: DUP5 00001155: ADD 00001156: RETURNDATACOPY 00001157: PUSH2 0x1160 0000115a: JUMP 0000115b: JUMPDEST 0000115c: PUSH1 0x60 0000115e: SWAP2 0000115f: POP 00001160: JUMPDEST 00001161: POP 00001162: SWAP2 00001163: POP 00001164: SWAP2 00001165: POP 00001166: DUP2 00001167: PUSH2 0x11b7 0000116a: JUMPI 0000116b: PUSH1 0x40 0000116d: DUP1 0000116e: MLOAD 0000116f: PUSH3 0x461bcd 00001173: PUSH1 0xe5 00001175: SHL 00001176: DUP2 00001177: MSTORE 00001178: PUSH1 0x20 0000117a: PUSH1 0x04 0000117c: DUP3 0000117d: ADD 0000117e: DUP2 0000117f: SWAP1 00001180: MSTORE 00001181: PUSH1 0x24 00001183: DUP3 00001184: ADD 00001185: MSTORE 00001186: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000011a7: PUSH1 0x44 000011a9: DUP3 000011aa: ADD 000011ab: MSTORE 000011ac: SWAP1 000011ad: MLOAD 000011ae: SWAP1 000011af: DUP2 000011b0: SWAP1 000011b1: SUB 000011b2: PUSH1 0x64 000011b4: ADD 000011b5: SWAP1 000011b6: REVERT 000011b7: JUMPDEST 000011b8: DUP1 000011b9: MLOAD 000011ba: ISZERO 000011bb: PUSH2 0x1210 000011be: JUMPI 000011bf: DUP1 000011c0: DUP1 000011c1: PUSH1 0x20 000011c3: ADD 000011c4: SWAP1 000011c5: MLOAD 000011c6: PUSH1 0x20 000011c8: DUP2 000011c9: LT 000011ca: ISZERO 000011cb: PUSH2 0x11d3 000011ce: JUMPI 000011cf: PUSH1 0x00 000011d1: DUP1 000011d2: REVERT 000011d3: JUMPDEST 000011d4: POP 000011d5: MLOAD 000011d6: PUSH2 0x1210 000011d9: JUMPI 000011da: PUSH1 0x40 000011dc: MLOAD 000011dd: PUSH3 0x461bcd 000011e1: PUSH1 0xe5 000011e3: SHL 000011e4: DUP2 000011e5: MSTORE 000011e6: PUSH1 0x04 000011e8: ADD 000011e9: DUP1 000011ea: DUP1 000011eb: PUSH1 0x20 000011ed: ADD 000011ee: DUP3 000011ef: DUP2 000011f0: SUB 000011f1: DUP3 000011f2: MSTORE 000011f3: PUSH1 0x2a 000011f5: DUP2 000011f6: MSTORE 000011f7: PUSH1 0x20 000011f9: ADD 000011fa: DUP1 000011fb: PUSH2 0x1315 000011fe: PUSH1 0x2a 00001200: SWAP2 00001201: CODECOPY 00001202: PUSH1 0x40 00001204: ADD 00001205: SWAP2 00001206: POP 00001207: POP 00001208: PUSH1 0x40 0000120a: MLOAD 0000120b: DUP1 0000120c: SWAP2 0000120d: SUB 0000120e: SWAP1 0000120f: REVERT 00001210: JUMPDEST 00001211: POP 00001212: POP 00001213: POP 00001214: POP 00001215: JUMP 00001216: JUMPDEST 00001217: PUSH1 0x40 00001219: DUP1 0000121a: MLOAD 0000121b: PUSH1 0x01 0000121d: PUSH1 0x01 0000121f: PUSH1 0xa0 00001221: SHL 00001222: SUB 00001223: DUP6 00001224: DUP2 00001225: AND 00001226: PUSH1 0x24 00001228: DUP4 00001229: ADD 0000122a: MSTORE 0000122b: DUP5 0000122c: AND 0000122d: PUSH1 0x44 0000122f: DUP3 00001230: ADD 00001231: MSTORE 00001232: PUSH1 0x64 00001234: DUP1 00001235: DUP3 00001236: ADD 00001237: DUP5 00001238: SWAP1 00001239: MSTORE 0000123a: DUP3 0000123b: MLOAD 0000123c: DUP1 0000123d: DUP4 0000123e: SUB 0000123f: SWAP1 00001240: SWAP2 00001241: ADD 00001242: DUP2 00001243: MSTORE 00001244: PUSH1 0x84 00001246: SWAP1 00001247: SWAP2 00001248: ADD 00001249: SWAP1 0000124a: SWAP2 0000124b: MSTORE 0000124c: PUSH1 0x20 0000124e: DUP2 0000124f: ADD 00001250: DUP1 00001251: MLOAD 00001252: PUSH1 0x01 00001254: PUSH1 0x01 00001256: PUSH1 0xe0 00001258: SHL 00001259: SUB 0000125a: AND 0000125b: PUSH4 0x23b872dd 00001260: PUSH1 0xe0 00001262: SHL 00001263: OR 00001264: SWAP1 00001265: MSTORE 00001266: PUSH2 0x1210 00001269: SWAP1 0000126a: DUP6 0000126b: SWAP1 0000126c: PUSH2 0x1058 0000126f: JUMP 00001270: JUMPDEST 00001271: PUSH1 0x00 00001273: DUP2 00001274: EXTCODEHASH 00001275: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 00001296: DUP2 00001297: ISZERO 00001298: DUP1 00001299: ISZERO 0000129a: SWAP1 0000129b: PUSH2 0x12a4 0000129e: JUMPI 0000129f: POP 000012a0: DUP1 000012a1: DUP3 000012a2: EQ 000012a3: ISZERO 000012a4: JUMPDEST 000012a5: SWAP5 000012a6: SWAP4 000012a7: POP 000012a8: POP 000012a9: POP 000012aa: POP 000012ab: JUMP 000012ac: INVALID 000012ad: UNKNOWN(0x4F) 000012ae: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 000012c7: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970 000012e3: PUSH13 0x69636174696f6e206f76657266 000012f1: PUSH13 0x6f7743616c6c6572206973206e 000012ff: PUSH16 0x74207265776172642064697374726962 00001310: PUSH22 0x74696f6e5361666545524332303a204552433230206f 00001327: PUSH17 0x65726174696f6e20646964206e6f742073 00001339: PUSH22 0x6363656564a265627a7a72315820af9ab3b6668dd19d 00001350: UNKNOWN(0xB9) 00001351: EXTCODEHASH 00001352: UNKNOWN(0xCF) 00001353: PUSH2 0x0ecb 00001356: SLOAD 00001357: UNKNOWN(0xB2) 00001358: UNKNOWN(0xC3) 00001359: UNKNOWN(0xD0) 0000135a: UNKNOWN(0x2F) 0000135b: UNKNOWN(0xC7) 0000135c: UNKNOWN(0xD3) 0000135d: SAR 0000135e: SELFDESTRUCT 0000135f: SMOD 00001360: CALLVALUE 00001361: UNKNOWN(0x4F) 00001362: UNKNOWN(0x2A) 00001363: TSTORE 00001364: CLZ 00001365: UNKNOWN(0x26) 00001366: LT 00001367: DUP3 00001368: PUSH5 0x736f6c6343 0000136e: STOP 0000136f: SDIV 00001370: UNKNOWN(0x0C) 00001371: STOP 00001372: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | cast | SELFDESTRUCT present | 85 | no | — |
viewevidence_json{
"notes": "selfdestruct can remove contract code and send funds; review reachability",
"selfdestruct_count": 1
}
|
| 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": "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": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce5fc8d0",
"selector": "0xce5fc8d0",
"calldata_variants": [
"0xce5fc8d0",
"0xce5fc8d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b876347",
"selector": "0x8b876347",
"calldata_variants": [
"0x8b876347",
"0x8b8763470000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4978,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x176961bccbb223ec97f98a084d4a71a01d0e73ccee760176c2f7f2671179fc52
call_targets:
0x4547a86ca6a84b9d60dc57af908472074de7af5f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x176961bccbb223ec97f98a084d4a71a01d0e73ccee760176c2f7f2671179fc52",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4547a86ca6a84b9d60dc57af908472074de7af5f"
],
"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": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce5fc8d0",
"selector": "0xce5fc8d0",
"calldata_variants": [
"0xce5fc8d0",
"0xce5fc8d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b876347",
"selector": "0x8b876347",
"calldata_variants": [
"0x8b876347",
"0x8b8763470000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4396,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 4978,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x176961bccbb223ec97f98a084d4a71a01d0e73ccee760176c2f7f2671179fc52
call_targets:
0x4547a86ca6a84b9d60dc57af908472074de7af5f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x176961bccbb223ec97f98a084d4a71a01d0e73ccee760176c2f7f2671179fc52",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4547a86ca6a84b9d60dc57af908472074de7af5f"
],
"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": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce5fc8d0",
"selector": "0xce5fc8d0",
"calldata_variants": [
"0xce5fc8d0",
"0xce5fc8d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b876347",
"selector": "0x8b876347",
"calldata_variants": [
"0x8b876347",
"0x8b8763470000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4396,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 4978,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x8bcf9447c44af981404caba053328f84c9759330b6370b03e34976c4b2c6b319
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x8bcf9447c44af981404caba053328f84c9759330b6370b03e34976c4b2c6b319",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "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": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce5fc8d0",
"selector": "0xce5fc8d0",
"calldata_variants": [
"0xce5fc8d0",
"0xce5fc8d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b876347",
"selector": "0x8b876347",
"calldata_variants": [
"0x8b876347",
"0x8b8763470000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4978,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|