b2db547c-7f0e-4001-b1f2-fd17bc2732d6
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 |
|---|---|---|---|---|
| 30464 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 103643 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 103644 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 103645 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103646 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103647 | detector.run | complete | 1 / 3 | 1 week ago |
| 103648 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:478715] OpenAI Codex v0.77.0 (research preview)
[codex:478715] --------
[codex:478715] workdir: /tmp/codex-multi-q2m0r2ox
[codex:478715] model: gpt-5.2-codex
[codex:478715] provider: openai
[codex:478715] approval: never
[codex:478715] sandbox: read-only
[codex:478715] reasoning effort: xhigh
[codex:478715] reasoning summaries: auto
[codex:478715] session id: 019b68fe-bc4a-75e0-96b9-1eefc1e093a7
[codex:478715] --------
[codex:478715] user
[codex:478715] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:478715] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:478715] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:478715]
[codex:478715] Scope rules:
[codex:478715] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:478715] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:478715]
[codex:478715] Output MUST be valid JSON matching the provided schema.
[codex:478715] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:478715] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:478715]
[codex:478715] Output constraints (IMPORTANT):
[codex:478715] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:478715] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:478715] mcp startup: no servers
[codex:478715]
[codex:478715] thinking
[codex:478715] **Reading essential instructions**
[codex:478715] exec
[codex:478715] /bin/bash -lc ls in /tmp/codex-multi-q2m0r2ox succeeded in 5ms:
[codex:478715] AUDIT_BUNDLE.txt
[codex:478715] codex-output-schema.json
[codex:478715] contracts
[codex:478715]
[codex:478715] thinking
[codex:478715] **Reading AUDIT_BUNDLE**
[codex:478715] exec
[codex:478715] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-q2m0r2ox succeeded in 5ms:
[codex:478715] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:478715]
[codex:478715] ================================================================================
[codex:478715] FILE: contracts/Contract.sol
[codex:478715] ================================================================================
[codex:478715] /**
[codex:478715] *Submitted for verification at Etherscan.io on 2020-07-17
[codex:478715] */
[codex:478715]
[codex:478715] /*
[codex:478715] ____ __ __ __ _
[codex:478715] / __/__ __ ___ / /_ / / ___ / /_ (_)__ __
[codex:478715] _\ \ / // // _ \/ __// _ \/ -_)/ __// / \ \ /
[codex:478715] /___/ \_, //_//_/\__//_//_/\__/ \__//_/ /_\_\
[codex:478715] /___/
[codex:478715]
[codex:478715] * Synthetix: YAMRewards.sol
[codex:478715] *
[codex:478715] * Docs: https://docs.synthetix.io/
[codex:478715] *
[codex:478715]
[codex:478715] thinking
[codex:478715] **Reviewing contract for reentrancy and vulnerabilities**
[codex:478715] exec
[codex:478715] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-q2m0r2ox succeeded in 6ms:
[codex:478715] {"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:478715]
[codex:478715] thinking
[codex:478715] **Preparing JSON summary output**
[codex:478715] codex
[codex:478715] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party Solidity code within the specified focus areas.","findings":[]}
[codex:478715] tokens used
[codex:478715] 14,093
[codex:478715] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party Solidity code within the specified focus areas.","findings":[]}
{
"codex": {
"ran_at": "2025-12-29T07:25:50.993657+00:00",
"returncode": 0
},
"summary": "No exploitable vulnerabilities identified in the first-party Solidity code within the specified focus areas.",
"raw_final": {
"summary": "No exploitable vulnerabilities identified in the first-party Solidity code within the specified 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 0x01ad 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x7b0a47ee 00000026: GT 00000027: PUSH2 0x00ee 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 0x03c9 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xe9fad8ee 00000052: EQ 00000053: PUSH2 0x03d1 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xebe2b12b 0000005d: EQ 0000005e: PUSH2 0x03d9 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xf2fde38b 00000068: EQ 00000069: PUSH2 0x03e1 0000006c: JUMPI 0000006d: PUSH2 0x01ad 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0xa694fc3a 00000078: EQ 00000079: PUSH2 0x039c 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xc8f33c91 00000083: EQ 00000084: PUSH2 0x03b9 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xcd3daf9d 0000008e: EQ 0000008f: PUSH2 0x03c1 00000092: JUMPI 00000093: PUSH2 0x01ad 00000096: JUMP 00000097: JUMPDEST 00000098: DUP1 00000099: PUSH4 0x8da58897 0000009e: GT 0000009f: PUSH2 0x00c8 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8da58897 000000a9: EQ 000000aa: PUSH2 0x0370 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8da5cb5b 000000b4: EQ 000000b5: PUSH2 0x0378 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8f32d59b 000000bf: EQ 000000c0: PUSH2 0x0380 000000c3: JUMPI 000000c4: PUSH2 0x01ad 000000c7: JUMP 000000c8: JUMPDEST 000000c9: DUP1 000000ca: PUSH4 0x7b0a47ee 000000cf: EQ 000000d0: PUSH2 0x032d 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x80faa57d 000000da: EQ 000000db: PUSH2 0x0335 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x8b876347 000000e5: EQ 000000e6: PUSH2 0x033d 000000e9: JUMPI 000000ea: PUSH2 0x01ad 000000ed: JUMP 000000ee: JUMPDEST 000000ef: DUP1 000000f0: PUSH4 0x1be05289 000000f5: GT 000000f6: PUSH2 0x015b 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x3d18b912 00000100: GT 00000101: PUSH2 0x0135 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x3d18b912 0000010b: EQ 0000010c: PUSH2 0x02e2 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x3fc8cef3 00000116: EQ 00000117: PUSH2 0x02ea 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x70a08231 00000121: EQ 00000122: PUSH2 0x02f2 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x715018a6 0000012c: EQ 0000012d: PUSH2 0x0325 00000130: JUMPI 00000131: PUSH2 0x01ad 00000134: JUMP 00000135: JUMPDEST 00000136: DUP1 00000137: PUSH4 0x1be05289 0000013c: EQ 0000013d: PUSH2 0x02a0 00000140: JUMPI 00000141: DUP1 00000142: PUSH4 0x2e1a7d4d 00000147: EQ 00000148: PUSH2 0x02a8 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x3c6b16ab 00000152: EQ 00000153: PUSH2 0x02c5 00000156: JUMPI 00000157: PUSH2 0x01ad 0000015a: JUMP 0000015b: JUMPDEST 0000015c: DUP1 0000015d: PUSH4 0x0d68b761 00000162: GT 00000163: PUSH2 0x018c 00000166: JUMPI 00000167: DUP1 00000168: PUSH4 0x0d68b761 0000016d: EQ 0000016e: PUSH2 0x025b 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0x101114cf 00000178: EQ 00000179: PUSH2 0x0290 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x18160ddd 00000183: EQ 00000184: PUSH2 0x0298 00000187: JUMPI 00000188: PUSH2 0x01ad 0000018b: JUMP 0000018c: JUMPDEST 0000018d: DUP1 0000018e: PUSH3 0x8cc262 00000192: EQ 00000193: PUSH2 0x01b2 00000196: JUMPI 00000197: DUP1 00000198: PUSH4 0x0700037d 0000019d: EQ 0000019e: PUSH2 0x01f7 000001a1: JUMPI 000001a2: DUP1 000001a3: PUSH4 0x071c0332 000001a8: EQ 000001a9: PUSH2 0x022a 000001ac: JUMPI 000001ad: JUMPDEST 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: PUSH2 0x01e5 000001b6: PUSH1 0x04 000001b8: DUP1 000001b9: CALLDATASIZE 000001ba: SUB 000001bb: PUSH1 0x20 000001bd: DUP2 000001be: LT 000001bf: ISZERO 000001c0: PUSH2 0x01c8 000001c3: JUMPI 000001c4: PUSH1 0x00 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: POP 000001ca: CALLDATALOAD 000001cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e0: AND 000001e1: PUSH2 0x0414 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH1 0x40 000001e8: DUP1 000001e9: MLOAD 000001ea: SWAP2 000001eb: DUP3 000001ec: MSTORE 000001ed: MLOAD 000001ee: SWAP1 000001ef: DUP2 000001f0: SWAP1 000001f1: SUB 000001f2: PUSH1 0x20 000001f4: ADD 000001f5: SWAP1 000001f6: RETURN 000001f7: JUMPDEST 000001f8: PUSH2 0x01e5 000001fb: PUSH1 0x04 000001fd: DUP1 000001fe: CALLDATASIZE 000001ff: SUB 00000200: PUSH1 0x20 00000202: DUP2 00000203: LT 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: POP 0000020f: CALLDATALOAD 00000210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000225: AND 00000226: PUSH2 0x04a7 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH2 0x0232 0000022e: PUSH2 0x04b9 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH1 0x40 00000235: DUP1 00000236: MLOAD 00000237: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024c: SWAP1 0000024d: SWAP3 0000024e: AND 0000024f: DUP3 00000250: MSTORE 00000251: MLOAD 00000252: SWAP1 00000253: DUP2 00000254: SWAP1 00000255: SUB 00000256: PUSH1 0x20 00000258: ADD 00000259: SWAP1 0000025a: RETURN 0000025b: JUMPDEST 0000025c: PUSH2 0x028e 0000025f: PUSH1 0x04 00000261: DUP1 00000262: CALLDATASIZE 00000263: SUB 00000264: PUSH1 0x20 00000266: DUP2 00000267: LT 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: CALLDATALOAD 00000274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000289: AND 0000028a: PUSH2 0x04d5 0000028d: JUMP 0000028e: JUMPDEST 0000028f: STOP 00000290: JUMPDEST 00000291: PUSH2 0x0232 00000294: PUSH2 0x058f 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH2 0x01e5 0000029c: PUSH2 0x05ab 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH2 0x01e5 000002a4: PUSH2 0x05b2 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH2 0x028e 000002ac: PUSH1 0x04 000002ae: DUP1 000002af: CALLDATASIZE 000002b0: SUB 000002b1: PUSH1 0x20 000002b3: DUP2 000002b4: LT 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: CALLDATALOAD 000002c1: PUSH2 0x05b9 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH2 0x028e 000002c9: PUSH1 0x04 000002cb: DUP1 000002cc: CALLDATASIZE 000002cd: SUB 000002ce: PUSH1 0x20 000002d0: DUP2 000002d1: LT 000002d2: ISZERO 000002d3: PUSH2 0x02db 000002d6: JUMPI 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: CALLDATALOAD 000002de: PUSH2 0x0751 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH2 0x028e 000002e6: PUSH2 0x0990 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH2 0x0232 000002ee: PUSH2 0x0bb8 000002f1: JUMP 000002f2: JUMPDEST 000002f3: PUSH2 0x01e5 000002f6: PUSH1 0x04 000002f8: DUP1 000002f9: CALLDATASIZE 000002fa: SUB 000002fb: PUSH1 0x20 000002fd: DUP2 000002fe: LT 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: CALLDATALOAD 0000030b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000320: AND 00000321: PUSH2 0x0bd4 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH2 0x028e 00000329: PUSH2 0x0bfc 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH2 0x01e5 00000331: PUSH2 0x0cde 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH2 0x01e5 00000339: PUSH2 0x0ce4 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH2 0x01e5 00000341: PUSH1 0x04 00000343: DUP1 00000344: CALLDATASIZE 00000345: SUB 00000346: PUSH1 0x20 00000348: DUP2 00000349: LT 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: POP 00000355: CALLDATALOAD 00000356: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000036b: AND 0000036c: PUSH2 0x0cf7 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH2 0x01e5 00000374: PUSH2 0x0d09 00000377: JUMP 00000378: JUMPDEST 00000379: PUSH2 0x0232 0000037c: PUSH2 0x0d0f 0000037f: JUMP 00000380: JUMPDEST 00000381: PUSH2 0x0388 00000384: PUSH2 0x0d2b 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH1 0x40 0000038b: DUP1 0000038c: MLOAD 0000038d: SWAP2 0000038e: ISZERO 0000038f: ISZERO 00000390: DUP3 00000391: MSTORE 00000392: MLOAD 00000393: SWAP1 00000394: DUP2 00000395: SWAP1 00000396: SUB 00000397: PUSH1 0x20 00000399: ADD 0000039a: SWAP1 0000039b: RETURN 0000039c: JUMPDEST 0000039d: PUSH2 0x028e 000003a0: PUSH1 0x04 000003a2: DUP1 000003a3: CALLDATASIZE 000003a4: SUB 000003a5: PUSH1 0x20 000003a7: DUP2 000003a8: LT 000003a9: ISZERO 000003aa: PUSH2 0x03b2 000003ad: JUMPI 000003ae: PUSH1 0x00 000003b0: DUP1 000003b1: REVERT 000003b2: JUMPDEST 000003b3: POP 000003b4: CALLDATALOAD 000003b5: PUSH2 0x0d6b 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH2 0x01e5 000003bd: PUSH2 0x0f03 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x01e5 000003c5: PUSH2 0x0f09 000003c8: JUMP 000003c9: JUMPDEST 000003ca: PUSH2 0x01e5 000003cd: PUSH2 0x0f5d 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH2 0x028e 000003d5: PUSH2 0x0f63 000003d8: JUMP 000003d9: JUMPDEST 000003da: PUSH2 0x01e5 000003dd: PUSH2 0x0f7e 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH2 0x028e 000003e5: PUSH1 0x04 000003e7: DUP1 000003e8: CALLDATASIZE 000003e9: SUB 000003ea: PUSH1 0x20 000003ec: DUP2 000003ed: LT 000003ee: ISZERO 000003ef: PUSH2 0x03f7 000003f2: JUMPI 000003f3: PUSH1 0x00 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: POP 000003f9: CALLDATALOAD 000003fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040f: AND 00000410: PUSH2 0x0f84 00000413: JUMP 00000414: JUMPDEST 00000415: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042a: DUP2 0000042b: AND 0000042c: PUSH1 0x00 0000042e: SWAP1 0000042f: DUP2 00000430: MSTORE 00000431: PUSH1 0x0c 00000433: PUSH1 0x20 00000435: SWAP1 00000436: DUP2 00000437: MSTORE 00000438: PUSH1 0x40 0000043a: DUP1 0000043b: DUP4 0000043c: KECCAK256 0000043d: SLOAD 0000043e: PUSH1 0x0b 00000440: SWAP1 00000441: SWAP3 00000442: MSTORE 00000443: DUP3 00000444: KECCAK256 00000445: SLOAD 00000446: PUSH2 0x04a1 00000449: SWAP2 0000044a: SWAP1 0000044b: PUSH2 0x0495 0000044e: SWAP1 0000044f: PUSH8 0x0de0b6b3a7640000 00000458: SWAP1 00000459: PUSH2 0x0489 0000045c: SWAP1 0000045d: PUSH2 0x0474 00000460: SWAP1 00000461: PUSH2 0x0468 00000464: PUSH2 0x0f09 00000467: JUMP 00000468: JUMPDEST 00000469: SWAP1 0000046a: PUSH4 0xffffffff 0000046f: PUSH2 0x1003 00000472: AND 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH2 0x047d 00000478: DUP9 00000479: PUSH2 0x0bd4 0000047c: JUMP 0000047d: JUMPDEST 0000047e: SWAP1 0000047f: PUSH4 0xffffffff 00000484: PUSH2 0x104c 00000487: AND 00000488: JUMP 00000489: JUMPDEST 0000048a: SWAP1 0000048b: PUSH4 0xffffffff 00000490: PUSH2 0x10bf 00000493: AND 00000494: JUMP 00000495: JUMPDEST 00000496: SWAP1 00000497: PUSH4 0xffffffff 0000049c: PUSH2 0x1101 0000049f: AND 000004a0: JUMP 000004a1: JUMPDEST 000004a2: SWAP3 000004a3: SWAP2 000004a4: POP 000004a5: POP 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH1 0x0c 000004aa: PUSH1 0x20 000004ac: MSTORE 000004ad: PUSH1 0x00 000004af: SWAP1 000004b0: DUP2 000004b1: MSTORE 000004b2: PUSH1 0x40 000004b4: SWAP1 000004b5: KECCAK256 000004b6: SLOAD 000004b7: DUP2 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH1 0x05 000004bc: SLOAD 000004bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d2: AND 000004d3: DUP2 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH2 0x04dd 000004d9: PUSH2 0x0d2b 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH2 0x0548 000004e1: JUMPI 000004e2: PUSH1 0x40 000004e4: DUP1 000004e5: MLOAD 000004e6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000507: DUP2 00000508: MSTORE 00000509: PUSH1 0x20 0000050b: PUSH1 0x04 0000050d: DUP3 0000050e: ADD 0000050f: DUP2 00000510: SWAP1 00000511: MSTORE 00000512: PUSH1 0x24 00000514: DUP3 00000515: ADD 00000516: MSTORE 00000517: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000538: PUSH1 0x44 0000053a: DUP3 0000053b: ADD 0000053c: MSTORE 0000053d: SWAP1 0000053e: MLOAD 0000053f: SWAP1 00000540: DUP2 00000541: SWAP1 00000542: SUB 00000543: PUSH1 0x64 00000545: ADD 00000546: SWAP1 00000547: REVERT 00000548: JUMPDEST 00000549: PUSH1 0x04 0000054b: DUP1 0000054c: SLOAD 0000054d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000056e: AND 0000056f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000584: SWAP3 00000585: SWAP1 00000586: SWAP3 00000587: AND 00000588: SWAP2 00000589: SWAP1 0000058a: SWAP2 0000058b: OR 0000058c: SWAP1 0000058d: SSTORE 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH1 0x04 00000592: SLOAD 00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a8: AND 000005a9: DUP2 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x01 000005ae: SLOAD 000005af: JUMPDEST 000005b0: SWAP1 000005b1: JUMP 000005b2: JUMPDEST 000005b3: PUSH3 0x098968 000005b7: DUP2 000005b8: JUMP 000005b9: JUMPDEST 000005ba: CALLER 000005bb: PUSH2 0x05c2 000005be: PUSH2 0x0f09 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH1 0x0a 000005c5: SSTORE 000005c6: PUSH2 0x05cd 000005c9: PUSH2 0x0ce4 000005cc: JUMP 000005cd: JUMPDEST 000005ce: PUSH1 0x09 000005d0: SSTORE 000005d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e6: DUP2 000005e7: AND 000005e8: ISZERO 000005e9: PUSH2 0x062e 000005ec: JUMPI 000005ed: PUSH2 0x05f5 000005f0: DUP2 000005f1: PUSH2 0x0414 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060b: DUP3 0000060c: AND 0000060d: PUSH1 0x00 0000060f: SWAP1 00000610: DUP2 00000611: MSTORE 00000612: PUSH1 0x0c 00000614: PUSH1 0x20 00000616: SWAP1 00000617: DUP2 00000618: MSTORE 00000619: PUSH1 0x40 0000061b: DUP1 0000061c: DUP4 0000061d: KECCAK256 0000061e: SWAP4 0000061f: SWAP1 00000620: SWAP4 00000621: SSTORE 00000622: PUSH1 0x0a 00000624: SLOAD 00000625: PUSH1 0x0b 00000627: SWAP1 00000628: SWAP2 00000629: MSTORE 0000062a: SWAP2 0000062b: SWAP1 0000062c: KECCAK256 0000062d: SSTORE 0000062e: JUMPDEST 0000062f: PUSH1 0x06 00000631: SLOAD 00000632: TIMESTAMP 00000633: LT 00000634: ISZERO 00000635: PUSH2 0x069f 00000638: JUMPI 00000639: PUSH1 0x40 0000063b: DUP1 0000063c: MLOAD 0000063d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000065e: DUP2 0000065f: MSTORE 00000660: PUSH1 0x20 00000662: PUSH1 0x04 00000664: DUP3 00000665: ADD 00000666: MSTORE 00000667: PUSH1 0x09 00000669: PUSH1 0x24 0000066b: DUP3 0000066c: ADD 0000066d: MSTORE 0000066e: PUSH32 0x6e6f742073746172740000000000000000000000000000000000000000000000 0000068f: PUSH1 0x44 00000691: DUP3 00000692: ADD 00000693: MSTORE 00000694: SWAP1 00000695: MLOAD 00000696: SWAP1 00000697: DUP2 00000698: SWAP1 00000699: SUB 0000069a: PUSH1 0x64 0000069c: ADD 0000069d: SWAP1 0000069e: REVERT 0000069f: JUMPDEST 000006a0: PUSH1 0x00 000006a2: DUP3 000006a3: GT 000006a4: PUSH2 0x070e 000006a7: JUMPI 000006a8: PUSH1 0x40 000006aa: DUP1 000006ab: MLOAD 000006ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006cd: DUP2 000006ce: MSTORE 000006cf: PUSH1 0x20 000006d1: PUSH1 0x04 000006d3: DUP3 000006d4: ADD 000006d5: MSTORE 000006d6: PUSH1 0x11 000006d8: PUSH1 0x24 000006da: DUP3 000006db: ADD 000006dc: MSTORE 000006dd: PUSH32 0x43616e6e6f742077697468647261772030000000000000000000000000000000 000006fe: PUSH1 0x44 00000700: DUP3 00000701: ADD 00000702: MSTORE 00000703: SWAP1 00000704: MLOAD 00000705: SWAP1 00000706: DUP2 00000707: SWAP1 00000708: SUB 00000709: PUSH1 0x64 0000070b: ADD 0000070c: SWAP1 0000070d: REVERT 0000070e: JUMPDEST 0000070f: PUSH2 0x0717 00000712: DUP3 00000713: PUSH2 0x1175 00000716: JUMP 00000717: JUMPDEST 00000718: PUSH1 0x40 0000071a: DUP1 0000071b: MLOAD 0000071c: DUP4 0000071d: DUP2 0000071e: MSTORE 0000071f: SWAP1 00000720: MLOAD 00000721: CALLER 00000722: SWAP2 00000723: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 00000744: SWAP2 00000745: SWAP1 00000746: DUP2 00000747: SWAP1 00000748: SUB 00000749: PUSH1 0x20 0000074b: ADD 0000074c: SWAP1 0000074d: LOG2 0000074e: POP 0000074f: POP 00000750: JUMP 00000751: JUMPDEST 00000752: PUSH1 0x04 00000754: SLOAD 00000755: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076a: AND 0000076b: PUSH2 0x0772 0000076e: PUSH2 0x11e3 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000788: AND 00000789: EQ 0000078a: PUSH2 0x07de 0000078d: JUMPI 0000078e: PUSH1 0x40 00000790: MLOAD 00000791: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007b2: DUP2 000007b3: MSTORE 000007b4: PUSH1 0x04 000007b6: ADD 000007b7: DUP1 000007b8: DUP1 000007b9: PUSH1 0x20 000007bb: ADD 000007bc: DUP3 000007bd: DUP2 000007be: SUB 000007bf: DUP3 000007c0: MSTORE 000007c1: PUSH1 0x21 000007c3: DUP2 000007c4: MSTORE 000007c5: PUSH1 0x20 000007c7: ADD 000007c8: DUP1 000007c9: PUSH2 0x1885 000007cc: PUSH1 0x21 000007ce: SWAP2 000007cf: CODECOPY 000007d0: PUSH1 0x40 000007d2: ADD 000007d3: SWAP2 000007d4: POP 000007d5: POP 000007d6: PUSH1 0x40 000007d8: MLOAD 000007d9: DUP1 000007da: SWAP2 000007db: SUB 000007dc: SWAP1 000007dd: REVERT 000007de: JUMPDEST 000007df: PUSH1 0x00 000007e1: PUSH2 0x07e8 000007e4: PUSH2 0x0f09 000007e7: JUMP 000007e8: JUMPDEST 000007e9: PUSH1 0x0a 000007eb: SSTORE 000007ec: PUSH2 0x07f3 000007ef: PUSH2 0x0ce4 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH1 0x09 000007f6: SSTORE 000007f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080c: DUP2 0000080d: AND 0000080e: ISZERO 0000080f: PUSH2 0x0854 00000812: JUMPI 00000813: PUSH2 0x081b 00000816: DUP2 00000817: PUSH2 0x0414 0000081a: JUMP 0000081b: JUMPDEST 0000081c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000831: DUP3 00000832: AND 00000833: PUSH1 0x00 00000835: SWAP1 00000836: DUP2 00000837: MSTORE 00000838: PUSH1 0x0c 0000083a: PUSH1 0x20 0000083c: SWAP1 0000083d: DUP2 0000083e: MSTORE 0000083f: PUSH1 0x40 00000841: DUP1 00000842: DUP4 00000843: KECCAK256 00000844: SWAP4 00000845: SWAP1 00000846: SWAP4 00000847: SSTORE 00000848: PUSH1 0x0a 0000084a: SLOAD 0000084b: PUSH1 0x0b 0000084d: SWAP1 0000084e: SWAP2 0000084f: MSTORE 00000850: SWAP2 00000851: SWAP1 00000852: KECCAK256 00000853: SSTORE 00000854: JUMPDEST 00000855: PUSH1 0x06 00000857: SLOAD 00000858: TIMESTAMP 00000859: GT 0000085a: ISZERO 0000085b: PUSH2 0x0924 0000085e: JUMPI 0000085f: PUSH1 0x07 00000861: SLOAD 00000862: TIMESTAMP 00000863: LT 00000864: PUSH2 0x0882 00000867: JUMPI 00000868: PUSH2 0x087a 0000086b: DUP3 0000086c: PUSH3 0x098968 00000870: PUSH4 0xffffffff 00000875: PUSH2 0x10bf 00000878: AND 00000879: JUMP 0000087a: JUMPDEST 0000087b: PUSH1 0x08 0000087d: SSTORE 0000087e: PUSH2 0x08d0 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH1 0x07 00000885: SLOAD 00000886: PUSH1 0x00 00000888: SWAP1 00000889: PUSH2 0x0898 0000088c: SWAP1 0000088d: TIMESTAMP 0000088e: PUSH4 0xffffffff 00000893: PUSH2 0x1003 00000896: AND 00000897: JUMP 00000898: JUMPDEST 00000899: SWAP1 0000089a: POP 0000089b: PUSH1 0x00 0000089d: PUSH2 0x08b1 000008a0: PUSH1 0x08 000008a2: SLOAD 000008a3: DUP4 000008a4: PUSH2 0x104c 000008a7: SWAP1 000008a8: SWAP2 000008a9: SWAP1 000008aa: PUSH4 0xffffffff 000008af: AND 000008b0: JUMP 000008b1: JUMPDEST 000008b2: SWAP1 000008b3: POP 000008b4: PUSH2 0x08ca 000008b7: PUSH3 0x098968 000008bb: PUSH2 0x0489 000008be: DUP7 000008bf: DUP5 000008c0: PUSH4 0xffffffff 000008c5: PUSH2 0x1101 000008c8: AND 000008c9: JUMP 000008ca: JUMPDEST 000008cb: PUSH1 0x08 000008cd: SSTORE 000008ce: POP 000008cf: POP 000008d0: JUMPDEST 000008d1: TIMESTAMP 000008d2: PUSH1 0x09 000008d4: DUP2 000008d5: SWAP1 000008d6: SSTORE 000008d7: PUSH2 0x08e9 000008da: SWAP1 000008db: PUSH3 0x098968 000008df: PUSH4 0xffffffff 000008e4: PUSH2 0x1101 000008e7: AND 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x07 000008ec: SSTORE 000008ed: PUSH1 0x40 000008ef: DUP1 000008f0: MLOAD 000008f1: DUP4 000008f2: DUP2 000008f3: MSTORE 000008f4: SWAP1 000008f5: MLOAD 000008f6: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 00000917: SWAP2 00000918: DUP2 00000919: SWAP1 0000091a: SUB 0000091b: PUSH1 0x20 0000091d: ADD 0000091e: SWAP1 0000091f: LOG1 00000920: PUSH2 0x098c 00000923: JUMP 00000924: JUMPDEST 00000925: PUSH2 0x0937 00000928: DUP3 00000929: PUSH3 0x098968 0000092d: PUSH4 0xffffffff 00000932: PUSH2 0x10bf 00000935: AND 00000936: JUMP 00000937: JUMPDEST 00000938: PUSH1 0x08 0000093a: SSTORE 0000093b: PUSH1 0x06 0000093d: SLOAD 0000093e: PUSH1 0x09 00000940: DUP2 00000941: SWAP1 00000942: SSTORE 00000943: PUSH2 0x0955 00000946: SWAP1 00000947: PUSH3 0x098968 0000094b: PUSH4 0xffffffff 00000950: PUSH2 0x1101 00000953: AND 00000954: JUMP 00000955: JUMPDEST 00000956: PUSH1 0x07 00000958: SSTORE 00000959: PUSH1 0x40 0000095b: DUP1 0000095c: MLOAD 0000095d: DUP4 0000095e: DUP2 0000095f: MSTORE 00000960: SWAP1 00000961: MLOAD 00000962: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 00000983: SWAP2 00000984: DUP2 00000985: SWAP1 00000986: SUB 00000987: PUSH1 0x20 00000989: ADD 0000098a: SWAP1 0000098b: LOG1 0000098c: JUMPDEST 0000098d: POP 0000098e: POP 0000098f: JUMP 00000990: JUMPDEST 00000991: CALLER 00000992: PUSH2 0x0999 00000995: PUSH2 0x0f09 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH1 0x0a 0000099c: SSTORE 0000099d: PUSH2 0x09a4 000009a0: PUSH2 0x0ce4 000009a3: JUMP 000009a4: JUMPDEST 000009a5: PUSH1 0x09 000009a7: SSTORE 000009a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bd: DUP2 000009be: AND 000009bf: ISZERO 000009c0: PUSH2 0x0a05 000009c3: JUMPI 000009c4: PUSH2 0x09cc 000009c7: DUP2 000009c8: PUSH2 0x0414 000009cb: JUMP 000009cc: JUMPDEST 000009cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e2: DUP3 000009e3: AND 000009e4: PUSH1 0x00 000009e6: SWAP1 000009e7: DUP2 000009e8: MSTORE 000009e9: PUSH1 0x0c 000009eb: PUSH1 0x20 000009ed: SWAP1 000009ee: DUP2 000009ef: MSTORE 000009f0: PUSH1 0x40 000009f2: DUP1 000009f3: DUP4 000009f4: KECCAK256 000009f5: SWAP4 000009f6: SWAP1 000009f7: SWAP4 000009f8: SSTORE 000009f9: PUSH1 0x0a 000009fb: SLOAD 000009fc: PUSH1 0x0b 000009fe: SWAP1 000009ff: SWAP2 00000a00: MSTORE 00000a01: SWAP2 00000a02: SWAP1 00000a03: KECCAK256 00000a04: SSTORE 00000a05: JUMPDEST 00000a06: PUSH1 0x06 00000a08: SLOAD 00000a09: TIMESTAMP 00000a0a: LT 00000a0b: ISZERO 00000a0c: PUSH2 0x0a76 00000a0f: JUMPI 00000a10: PUSH1 0x40 00000a12: DUP1 00000a13: MLOAD 00000a14: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a35: DUP2 00000a36: MSTORE 00000a37: PUSH1 0x20 00000a39: PUSH1 0x04 00000a3b: DUP3 00000a3c: ADD 00000a3d: MSTORE 00000a3e: PUSH1 0x09 00000a40: PUSH1 0x24 00000a42: DUP3 00000a43: ADD 00000a44: MSTORE 00000a45: PUSH32 0x6e6f742073746172740000000000000000000000000000000000000000000000 00000a66: PUSH1 0x44 00000a68: DUP3 00000a69: ADD 00000a6a: MSTORE 00000a6b: SWAP1 00000a6c: MLOAD 00000a6d: SWAP1 00000a6e: DUP2 00000a6f: SWAP1 00000a70: SUB 00000a71: PUSH1 0x64 00000a73: ADD 00000a74: SWAP1 00000a75: REVERT 00000a76: JUMPDEST 00000a77: PUSH1 0x00 00000a79: PUSH2 0x0a81 00000a7c: CALLER 00000a7d: PUSH2 0x0414 00000a80: JUMP 00000a81: JUMPDEST 00000a82: SWAP1 00000a83: POP 00000a84: DUP1 00000a85: ISZERO 00000a86: PUSH2 0x098c 00000a89: JUMPI 00000a8a: CALLER 00000a8b: PUSH1 0x00 00000a8d: SWAP1 00000a8e: DUP2 00000a8f: MSTORE 00000a90: PUSH1 0x0c 00000a92: PUSH1 0x20 00000a94: SWAP1 00000a95: DUP2 00000a96: MSTORE 00000a97: PUSH1 0x40 00000a99: DUP1 00000a9a: DUP4 00000a9b: KECCAK256 00000a9c: DUP4 00000a9d: SWAP1 00000a9e: SSTORE 00000a9f: PUSH1 0x05 00000aa1: SLOAD 00000aa2: DUP2 00000aa3: MLOAD 00000aa4: PUSH32 0xb6fa857600000000000000000000000000000000000000000000000000000000 00000ac5: DUP2 00000ac6: MSTORE 00000ac7: SWAP2 00000ac8: MLOAD 00000ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ade: SWAP1 00000adf: SWAP2 00000ae0: AND 00000ae1: SWAP3 00000ae2: PUSH4 0xb6fa8576 00000ae7: SWAP3 00000ae8: PUSH1 0x04 00000aea: DUP1 00000aeb: DUP3 00000aec: ADD 00000aed: SWAP4 00000aee: SWAP2 00000aef: DUP3 00000af0: SWAP1 00000af1: SUB 00000af2: ADD 00000af3: DUP2 00000af4: DUP8 00000af5: DUP8 00000af6: DUP1 00000af7: EXTCODESIZE 00000af8: ISZERO 00000af9: DUP1 00000afa: ISZERO 00000afb: PUSH2 0x0b03 00000afe: JUMPI 00000aff: PUSH1 0x00 00000b01: DUP1 00000b02: REVERT 00000b03: JUMPDEST 00000b04: POP 00000b05: GAS 00000b06: CALL 00000b07: ISZERO 00000b08: DUP1 00000b09: ISZERO 00000b0a: PUSH2 0x0b17 00000b0d: JUMPI 00000b0e: RETURNDATASIZE 00000b0f: PUSH1 0x00 00000b11: DUP1 00000b12: RETURNDATACOPY 00000b13: RETURNDATASIZE 00000b14: PUSH1 0x00 00000b16: REVERT 00000b17: JUMPDEST 00000b18: POP 00000b19: POP 00000b1a: POP 00000b1b: POP 00000b1c: PUSH1 0x40 00000b1e: MLOAD 00000b1f: RETURNDATASIZE 00000b20: PUSH1 0x20 00000b22: DUP2 00000b23: LT 00000b24: ISZERO 00000b25: PUSH2 0x0b2d 00000b28: JUMPI 00000b29: PUSH1 0x00 00000b2b: DUP1 00000b2c: REVERT 00000b2d: JUMPDEST 00000b2e: POP 00000b2f: MLOAD 00000b30: SWAP1 00000b31: POP 00000b32: PUSH1 0x00 00000b34: PUSH2 0x0b4f 00000b37: PUSH8 0x0de0b6b3a7640000 00000b40: PUSH2 0x0489 00000b43: DUP6 00000b44: DUP6 00000b45: PUSH4 0xffffffff 00000b4a: PUSH2 0x104c 00000b4d: AND 00000b4e: JUMP 00000b4f: JUMPDEST 00000b50: PUSH1 0x05 00000b52: SLOAD 00000b53: SWAP1 00000b54: SWAP2 00000b55: POP 00000b56: PUSH2 0x0b7c 00000b59: SWAP1 00000b5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6f: AND 00000b70: CALLER 00000b71: DUP4 00000b72: PUSH4 0xffffffff 00000b77: PUSH2 0x11e7 00000b7a: AND 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: PUSH1 0x40 00000b7f: DUP1 00000b80: MLOAD 00000b81: DUP3 00000b82: DUP2 00000b83: MSTORE 00000b84: SWAP1 00000b85: MLOAD 00000b86: CALLER 00000b87: SWAP2 00000b88: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 00000ba9: SWAP2 00000baa: SWAP1 00000bab: DUP2 00000bac: SWAP1 00000bad: SUB 00000bae: PUSH1 0x20 00000bb0: ADD 00000bb1: SWAP1 00000bb2: LOG2 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: POP 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH1 0x00 00000bbb: SLOAD 00000bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd1: AND 00000bd2: DUP2 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bea: AND 00000beb: PUSH1 0x00 00000bed: SWAP1 00000bee: DUP2 00000bef: MSTORE 00000bf0: PUSH1 0x02 00000bf2: PUSH1 0x20 00000bf4: MSTORE 00000bf5: PUSH1 0x40 00000bf7: SWAP1 00000bf8: KECCAK256 00000bf9: SLOAD 00000bfa: SWAP1 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH2 0x0c04 00000c00: PUSH2 0x0d2b 00000c03: JUMP 00000c04: JUMPDEST 00000c05: PUSH2 0x0c6f 00000c08: JUMPI 00000c09: PUSH1 0x40 00000c0b: DUP1 00000c0c: MLOAD 00000c0d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c2e: DUP2 00000c2f: MSTORE 00000c30: PUSH1 0x20 00000c32: PUSH1 0x04 00000c34: DUP3 00000c35: ADD 00000c36: DUP2 00000c37: SWAP1 00000c38: MSTORE 00000c39: PUSH1 0x24 00000c3b: DUP3 00000c3c: ADD 00000c3d: MSTORE 00000c3e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000c5f: PUSH1 0x44 00000c61: DUP3 00000c62: ADD 00000c63: MSTORE 00000c64: SWAP1 00000c65: MLOAD 00000c66: SWAP1 00000c67: DUP2 00000c68: SWAP1 00000c69: SUB 00000c6a: PUSH1 0x64 00000c6c: ADD 00000c6d: SWAP1 00000c6e: REVERT 00000c6f: JUMPDEST 00000c70: PUSH1 0x03 00000c72: SLOAD 00000c73: PUSH1 0x40 00000c75: MLOAD 00000c76: PUSH1 0x00 00000c78: SWAP2 00000c79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8e: AND 00000c8f: SWAP1 00000c90: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000cb1: SWAP1 00000cb2: DUP4 00000cb3: SWAP1 00000cb4: LOG3 00000cb5: PUSH1 0x03 00000cb7: DUP1 00000cb8: SLOAD 00000cb9: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000cda: AND 00000cdb: SWAP1 00000cdc: SSTORE 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH1 0x08 00000ce1: SLOAD 00000ce2: DUP2 00000ce3: JUMP 00000ce4: JUMPDEST 00000ce5: PUSH1 0x00 00000ce7: PUSH2 0x0cf2 00000cea: TIMESTAMP 00000ceb: PUSH1 0x07 00000ced: SLOAD 00000cee: PUSH2 0x1279 00000cf1: JUMP 00000cf2: JUMPDEST 00000cf3: SWAP1 00000cf4: POP 00000cf5: SWAP1 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: PUSH1 0x0b 00000cfa: PUSH1 0x20 00000cfc: MSTORE 00000cfd: PUSH1 0x00 00000cff: SWAP1 00000d00: DUP2 00000d01: MSTORE 00000d02: PUSH1 0x40 00000d04: SWAP1 00000d05: KECCAK256 00000d06: SLOAD 00000d07: DUP2 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH1 0x06 00000d0c: SLOAD 00000d0d: DUP2 00000d0e: JUMP 00000d0f: JUMPDEST 00000d10: PUSH1 0x03 00000d12: SLOAD 00000d13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d28: AND 00000d29: SWAP1 00000d2a: JUMP 00000d2b: JUMPDEST 00000d2c: PUSH1 0x03 00000d2e: SLOAD 00000d2f: PUSH1 0x00 00000d31: SWAP1 00000d32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d47: AND 00000d48: PUSH2 0x0d4f 00000d4b: PUSH2 0x11e3 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d65: AND 00000d66: EQ 00000d67: SWAP1 00000d68: POP 00000d69: SWAP1 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: CALLER 00000d6d: PUSH2 0x0d74 00000d70: PUSH2 0x0f09 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH1 0x0a 00000d77: SSTORE 00000d78: PUSH2 0x0d7f 00000d7b: PUSH2 0x0ce4 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: PUSH1 0x09 00000d82: SSTORE 00000d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d98: DUP2 00000d99: AND 00000d9a: ISZERO 00000d9b: PUSH2 0x0de0 00000d9e: JUMPI 00000d9f: PUSH2 0x0da7 00000da2: DUP2 00000da3: PUSH2 0x0414 00000da6: JUMP 00000da7: JUMPDEST 00000da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dbd: DUP3 00000dbe: AND 00000dbf: PUSH1 0x00 00000dc1: SWAP1 00000dc2: DUP2 00000dc3: MSTORE 00000dc4: PUSH1 0x0c 00000dc6: PUSH1 0x20 00000dc8: SWAP1 00000dc9: DUP2 00000dca: MSTORE 00000dcb: PUSH1 0x40 00000dcd: DUP1 00000dce: DUP4 00000dcf: KECCAK256 00000dd0: SWAP4 00000dd1: SWAP1 00000dd2: SWAP4 00000dd3: SSTORE 00000dd4: PUSH1 0x0a 00000dd6: SLOAD 00000dd7: PUSH1 0x0b 00000dd9: SWAP1 00000dda: SWAP2 00000ddb: MSTORE 00000ddc: SWAP2 00000ddd: SWAP1 00000dde: KECCAK256 00000ddf: SSTORE 00000de0: JUMPDEST 00000de1: PUSH1 0x06 00000de3: SLOAD 00000de4: TIMESTAMP 00000de5: LT 00000de6: ISZERO 00000de7: PUSH2 0x0e51 00000dea: JUMPI 00000deb: PUSH1 0x40 00000ded: DUP1 00000dee: MLOAD 00000def: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e10: DUP2 00000e11: MSTORE 00000e12: PUSH1 0x20 00000e14: PUSH1 0x04 00000e16: DUP3 00000e17: ADD 00000e18: MSTORE 00000e19: PUSH1 0x09 00000e1b: PUSH1 0x24 00000e1d: DUP3 00000e1e: ADD 00000e1f: MSTORE 00000e20: PUSH32 0x6e6f742073746172740000000000000000000000000000000000000000000000 00000e41: PUSH1 0x44 00000e43: DUP3 00000e44: ADD 00000e45: MSTORE 00000e46: SWAP1 00000e47: MLOAD 00000e48: SWAP1 00000e49: DUP2 00000e4a: SWAP1 00000e4b: SUB 00000e4c: PUSH1 0x64 00000e4e: ADD 00000e4f: SWAP1 00000e50: REVERT 00000e51: JUMPDEST 00000e52: PUSH1 0x00 00000e54: DUP3 00000e55: GT 00000e56: PUSH2 0x0ec0 00000e59: JUMPI 00000e5a: PUSH1 0x40 00000e5c: DUP1 00000e5d: MLOAD 00000e5e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e7f: DUP2 00000e80: MSTORE 00000e81: PUSH1 0x20 00000e83: PUSH1 0x04 00000e85: DUP3 00000e86: ADD 00000e87: MSTORE 00000e88: PUSH1 0x0e 00000e8a: PUSH1 0x24 00000e8c: DUP3 00000e8d: ADD 00000e8e: MSTORE 00000e8f: PUSH32 0x43616e6e6f74207374616b652030000000000000000000000000000000000000 00000eb0: PUSH1 0x44 00000eb2: DUP3 00000eb3: ADD 00000eb4: MSTORE 00000eb5: SWAP1 00000eb6: MLOAD 00000eb7: SWAP1 00000eb8: DUP2 00000eb9: SWAP1 00000eba: SUB 00000ebb: PUSH1 0x64 00000ebd: ADD 00000ebe: SWAP1 00000ebf: REVERT 00000ec0: JUMPDEST 00000ec1: PUSH2 0x0ec9 00000ec4: DUP3 00000ec5: PUSH2 0x128f 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x40 00000ecc: DUP1 00000ecd: MLOAD 00000ece: DUP4 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: SWAP1 00000ed2: MLOAD 00000ed3: CALLER 00000ed4: SWAP2 00000ed5: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d 00000ef6: SWAP2 00000ef7: SWAP1 00000ef8: DUP2 00000ef9: SWAP1 00000efa: SUB 00000efb: PUSH1 0x20 00000efd: ADD 00000efe: SWAP1 00000eff: LOG2 00000f00: POP 00000f01: POP 00000f02: JUMP 00000f03: JUMPDEST 00000f04: PUSH1 0x09 00000f06: SLOAD 00000f07: DUP2 00000f08: JUMP 00000f09: JUMPDEST 00000f0a: PUSH1 0x00 00000f0c: PUSH2 0x0f13 00000f0f: PUSH2 0x05ab 00000f12: JUMP 00000f13: JUMPDEST 00000f14: PUSH2 0x0f20 00000f17: JUMPI 00000f18: POP 00000f19: PUSH1 0x0a 00000f1b: SLOAD 00000f1c: PUSH2 0x05af 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH2 0x0cf2 00000f24: PUSH2 0x0f4e 00000f27: PUSH2 0x0f2e 00000f2a: PUSH2 0x05ab 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: PUSH2 0x0489 00000f32: PUSH8 0x0de0b6b3a7640000 00000f3b: PUSH2 0x047d 00000f3e: PUSH1 0x08 00000f40: SLOAD 00000f41: PUSH2 0x047d 00000f44: PUSH1 0x09 00000f46: SLOAD 00000f47: PUSH2 0x0468 00000f4a: PUSH2 0x0ce4 00000f4d: JUMP 00000f4e: JUMPDEST 00000f4f: PUSH1 0x0a 00000f51: SLOAD 00000f52: SWAP1 00000f53: PUSH4 0xffffffff 00000f58: PUSH2 0x1101 00000f5b: AND 00000f5c: JUMP 00000f5d: JUMPDEST 00000f5e: PUSH1 0x0a 00000f60: SLOAD 00000f61: DUP2 00000f62: JUMP 00000f63: JUMPDEST 00000f64: PUSH2 0x0f74 00000f67: PUSH2 0x0f6f 00000f6a: CALLER 00000f6b: PUSH2 0x0bd4 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: PUSH2 0x05b9 00000f73: JUMP 00000f74: JUMPDEST 00000f75: PUSH2 0x0f7c 00000f78: PUSH2 0x0990 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: PUSH1 0x07 00000f81: SLOAD 00000f82: DUP2 00000f83: JUMP 00000f84: JUMPDEST 00000f85: PUSH2 0x0f8c 00000f88: PUSH2 0x0d2b 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: PUSH2 0x0ff7 00000f90: JUMPI 00000f91: PUSH1 0x40 00000f93: DUP1 00000f94: MLOAD 00000f95: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fb6: DUP2 00000fb7: MSTORE 00000fb8: PUSH1 0x20 00000fba: PUSH1 0x04 00000fbc: DUP3 00000fbd: ADD 00000fbe: DUP2 00000fbf: SWAP1 00000fc0: MSTORE 00000fc1: PUSH1 0x24 00000fc3: DUP3 00000fc4: ADD 00000fc5: MSTORE 00000fc6: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000fe7: PUSH1 0x44 00000fe9: DUP3 00000fea: ADD 00000feb: MSTORE 00000fec: SWAP1 00000fed: MLOAD 00000fee: SWAP1 00000fef: DUP2 00000ff0: SWAP1 00000ff1: SUB 00000ff2: PUSH1 0x64 00000ff4: ADD 00000ff5: SWAP1 00000ff6: REVERT 00000ff7: JUMPDEST 00000ff8: PUSH2 0x1000 00000ffb: DUP2 00000ffc: PUSH2 0x12fe 00000fff: JUMP 00001000: JUMPDEST 00001001: POP 00001002: JUMP 00001003: JUMPDEST 00001004: PUSH1 0x00 00001006: PUSH2 0x1045 00001009: DUP4 0000100a: DUP4 0000100b: PUSH1 0x40 0000100d: MLOAD 0000100e: DUP1 0000100f: PUSH1 0x40 00001011: ADD 00001012: PUSH1 0x40 00001014: MSTORE 00001015: DUP1 00001016: PUSH1 0x1e 00001018: DUP2 00001019: MSTORE 0000101a: PUSH1 0x20 0000101c: ADD 0000101d: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000103e: DUP2 0000103f: MSTORE 00001040: POP 00001041: PUSH2 0x13f8 00001044: JUMP 00001045: JUMPDEST 00001046: SWAP4 00001047: SWAP3 00001048: POP 00001049: POP 0000104a: POP 0000104b: JUMP 0000104c: JUMPDEST 0000104d: PUSH1 0x00 0000104f: DUP3 00001050: PUSH2 0x105b 00001053: JUMPI 00001054: POP 00001055: PUSH1 0x00 00001057: PUSH2 0x04a1 0000105a: JUMP 0000105b: JUMPDEST 0000105c: DUP3 0000105d: DUP3 0000105e: MUL 0000105f: DUP3 00001060: DUP5 00001061: DUP3 00001062: DUP2 00001063: PUSH2 0x1068 00001066: JUMPI 00001067: INVALID 00001068: JUMPDEST 00001069: DIV 0000106a: EQ 0000106b: PUSH2 0x1045 0000106e: JUMPI 0000106f: PUSH1 0x40 00001071: MLOAD 00001072: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001093: DUP2 00001094: MSTORE 00001095: PUSH1 0x04 00001097: ADD 00001098: DUP1 00001099: DUP1 0000109a: PUSH1 0x20 0000109c: ADD 0000109d: DUP3 0000109e: DUP2 0000109f: SUB 000010a0: DUP3 000010a1: MSTORE 000010a2: PUSH1 0x21 000010a4: DUP2 000010a5: MSTORE 000010a6: PUSH1 0x20 000010a8: ADD 000010a9: DUP1 000010aa: PUSH2 0x1864 000010ad: PUSH1 0x21 000010af: SWAP2 000010b0: CODECOPY 000010b1: PUSH1 0x40 000010b3: ADD 000010b4: SWAP2 000010b5: POP 000010b6: POP 000010b7: PUSH1 0x40 000010b9: MLOAD 000010ba: DUP1 000010bb: SWAP2 000010bc: SUB 000010bd: SWAP1 000010be: REVERT 000010bf: JUMPDEST 000010c0: PUSH1 0x00 000010c2: PUSH2 0x1045 000010c5: DUP4 000010c6: DUP4 000010c7: PUSH1 0x40 000010c9: MLOAD 000010ca: DUP1 000010cb: PUSH1 0x40 000010cd: ADD 000010ce: PUSH1 0x40 000010d0: MSTORE 000010d1: DUP1 000010d2: PUSH1 0x1a 000010d4: DUP2 000010d5: MSTORE 000010d6: PUSH1 0x20 000010d8: ADD 000010d9: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000010fa: DUP2 000010fb: MSTORE 000010fc: POP 000010fd: PUSH2 0x14a9 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH1 0x00 00001104: DUP3 00001105: DUP3 00001106: ADD 00001107: DUP4 00001108: DUP2 00001109: LT 0000110a: ISZERO 0000110b: PUSH2 0x1045 0000110e: JUMPI 0000110f: PUSH1 0x40 00001111: DUP1 00001112: MLOAD 00001113: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001134: DUP2 00001135: MSTORE 00001136: PUSH1 0x20 00001138: PUSH1 0x04 0000113a: DUP3 0000113b: ADD 0000113c: MSTORE 0000113d: PUSH1 0x1b 0000113f: PUSH1 0x24 00001141: DUP3 00001142: ADD 00001143: MSTORE 00001144: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001165: PUSH1 0x44 00001167: DUP3 00001168: ADD 00001169: MSTORE 0000116a: SWAP1 0000116b: MLOAD 0000116c: SWAP1 0000116d: DUP2 0000116e: SWAP1 0000116f: SUB 00001170: PUSH1 0x64 00001172: ADD 00001173: SWAP1 00001174: REVERT 00001175: JUMPDEST 00001176: PUSH1 0x01 00001178: SLOAD 00001179: PUSH2 0x1188 0000117c: SWAP1 0000117d: DUP3 0000117e: PUSH4 0xffffffff 00001183: PUSH2 0x1003 00001186: AND 00001187: JUMP 00001188: JUMPDEST 00001189: PUSH1 0x01 0000118b: SSTORE 0000118c: CALLER 0000118d: PUSH1 0x00 0000118f: SWAP1 00001190: DUP2 00001191: MSTORE 00001192: PUSH1 0x02 00001194: PUSH1 0x20 00001196: MSTORE 00001197: PUSH1 0x40 00001199: SWAP1 0000119a: KECCAK256 0000119b: SLOAD 0000119c: PUSH2 0x11ab 0000119f: SWAP1 000011a0: DUP3 000011a1: PUSH4 0xffffffff 000011a6: PUSH2 0x1003 000011a9: AND 000011aa: JUMP 000011ab: JUMPDEST 000011ac: CALLER 000011ad: PUSH1 0x00 000011af: DUP2 000011b0: DUP2 000011b1: MSTORE 000011b2: PUSH1 0x02 000011b4: PUSH1 0x20 000011b6: MSTORE 000011b7: PUSH1 0x40 000011b9: DUP2 000011ba: KECCAK256 000011bb: SWAP3 000011bc: SWAP1 000011bd: SWAP3 000011be: SSTORE 000011bf: SWAP1 000011c0: SLOAD 000011c1: PUSH2 0x1000 000011c4: SWAP2 000011c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011da: SWAP1 000011db: SWAP2 000011dc: AND 000011dd: SWAP1 000011de: DUP4 000011df: PUSH2 0x11e7 000011e2: JUMP 000011e3: JUMPDEST 000011e4: CALLER 000011e5: SWAP1 000011e6: JUMP 000011e7: JUMPDEST 000011e8: PUSH1 0x40 000011ea: DUP1 000011eb: MLOAD 000011ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001201: DUP5 00001202: AND 00001203: PUSH1 0x24 00001205: DUP3 00001206: ADD 00001207: MSTORE 00001208: PUSH1 0x44 0000120a: DUP1 0000120b: DUP3 0000120c: ADD 0000120d: DUP5 0000120e: SWAP1 0000120f: MSTORE 00001210: DUP3 00001211: MLOAD 00001212: DUP1 00001213: DUP4 00001214: SUB 00001215: SWAP1 00001216: SWAP2 00001217: ADD 00001218: DUP2 00001219: MSTORE 0000121a: PUSH1 0x64 0000121c: SWAP1 0000121d: SWAP2 0000121e: ADD 0000121f: SWAP1 00001220: SWAP2 00001221: MSTORE 00001222: PUSH1 0x20 00001224: DUP2 00001225: ADD 00001226: DUP1 00001227: MLOAD 00001228: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001245: AND 00001246: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001267: OR 00001268: SWAP1 00001269: MSTORE 0000126a: PUSH2 0x1274 0000126d: SWAP1 0000126e: DUP5 0000126f: SWAP1 00001270: PUSH2 0x1528 00001273: JUMP 00001274: JUMPDEST 00001275: POP 00001276: POP 00001277: POP 00001278: JUMP 00001279: JUMPDEST 0000127a: PUSH1 0x00 0000127c: DUP2 0000127d: DUP4 0000127e: LT 0000127f: PUSH2 0x1288 00001282: JUMPI 00001283: DUP2 00001284: PUSH2 0x1045 00001287: JUMP 00001288: JUMPDEST 00001289: POP 0000128a: SWAP1 0000128b: SWAP2 0000128c: SWAP1 0000128d: POP 0000128e: JUMP 0000128f: JUMPDEST 00001290: PUSH1 0x01 00001292: SLOAD 00001293: PUSH2 0x12a2 00001296: SWAP1 00001297: DUP3 00001298: PUSH4 0xffffffff 0000129d: PUSH2 0x1101 000012a0: AND 000012a1: JUMP 000012a2: JUMPDEST 000012a3: PUSH1 0x01 000012a5: SSTORE 000012a6: CALLER 000012a7: PUSH1 0x00 000012a9: SWAP1 000012aa: DUP2 000012ab: MSTORE 000012ac: PUSH1 0x02 000012ae: PUSH1 0x20 000012b0: MSTORE 000012b1: PUSH1 0x40 000012b3: SWAP1 000012b4: KECCAK256 000012b5: SLOAD 000012b6: PUSH2 0x12c5 000012b9: SWAP1 000012ba: DUP3 000012bb: PUSH4 0xffffffff 000012c0: PUSH2 0x1101 000012c3: AND 000012c4: JUMP 000012c5: JUMPDEST 000012c6: CALLER 000012c7: PUSH1 0x00 000012c9: DUP2 000012ca: DUP2 000012cb: MSTORE 000012cc: PUSH1 0x02 000012ce: PUSH1 0x20 000012d0: MSTORE 000012d1: PUSH1 0x40 000012d3: DUP2 000012d4: KECCAK256 000012d5: SWAP3 000012d6: SWAP1 000012d7: SWAP3 000012d8: SSTORE 000012d9: SWAP1 000012da: SLOAD 000012db: PUSH2 0x1000 000012de: SWAP2 000012df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f4: SWAP1 000012f5: SWAP2 000012f6: AND 000012f7: SWAP1 000012f8: ADDRESS 000012f9: DUP5 000012fa: PUSH2 0x176c 000012fd: JUMP 000012fe: JUMPDEST 000012ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001314: DUP2 00001315: AND 00001316: PUSH2 0x136a 00001319: JUMPI 0000131a: PUSH1 0x40 0000131c: MLOAD 0000131d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000133e: DUP2 0000133f: MSTORE 00001340: PUSH1 0x04 00001342: ADD 00001343: DUP1 00001344: DUP1 00001345: PUSH1 0x20 00001347: ADD 00001348: DUP3 00001349: DUP2 0000134a: SUB 0000134b: DUP3 0000134c: MSTORE 0000134d: PUSH1 0x26 0000134f: DUP2 00001350: MSTORE 00001351: PUSH1 0x20 00001353: ADD 00001354: DUP1 00001355: PUSH2 0x183e 00001358: PUSH1 0x26 0000135a: SWAP2 0000135b: CODECOPY 0000135c: PUSH1 0x40 0000135e: ADD 0000135f: SWAP2 00001360: POP 00001361: POP 00001362: PUSH1 0x40 00001364: MLOAD 00001365: DUP1 00001366: SWAP2 00001367: SUB 00001368: SWAP1 00001369: REVERT 0000136a: JUMPDEST 0000136b: PUSH1 0x03 0000136d: SLOAD 0000136e: PUSH1 0x40 00001370: MLOAD 00001371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001386: DUP1 00001387: DUP5 00001388: AND 00001389: SWAP3 0000138a: AND 0000138b: SWAP1 0000138c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000013ad: SWAP1 000013ae: PUSH1 0x00 000013b0: SWAP1 000013b1: LOG3 000013b2: PUSH1 0x03 000013b4: DUP1 000013b5: SLOAD 000013b6: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000013d7: AND 000013d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ed: SWAP3 000013ee: SWAP1 000013ef: SWAP3 000013f0: AND 000013f1: SWAP2 000013f2: SWAP1 000013f3: SWAP2 000013f4: OR 000013f5: SWAP1 000013f6: SSTORE 000013f7: JUMP 000013f8: JUMPDEST 000013f9: PUSH1 0x00 000013fb: DUP2 000013fc: DUP5 000013fd: DUP5 000013fe: GT 000013ff: ISZERO 00001400: PUSH2 0x14a1 00001403: JUMPI 00001404: PUSH1 0x40 00001406: MLOAD 00001407: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001428: DUP2 00001429: MSTORE 0000142a: PUSH1 0x04 0000142c: ADD 0000142d: DUP1 0000142e: DUP1 0000142f: PUSH1 0x20 00001431: ADD 00001432: DUP3 00001433: DUP2 00001434: SUB 00001435: DUP3 00001436: MSTORE 00001437: DUP4 00001438: DUP2 00001439: DUP2 0000143a: MLOAD 0000143b: DUP2 0000143c: MSTORE 0000143d: PUSH1 0x20 0000143f: ADD 00001440: SWAP2 00001441: POP 00001442: DUP1 00001443: MLOAD 00001444: SWAP1 00001445: PUSH1 0x20 00001447: ADD 00001448: SWAP1 00001449: DUP1 0000144a: DUP4 0000144b: DUP4 0000144c: PUSH1 0x00 0000144e: JUMPDEST 0000144f: DUP4 00001450: DUP2 00001451: LT 00001452: ISZERO 00001453: PUSH2 0x1466 00001456: JUMPI 00001457: DUP2 00001458: DUP2 00001459: ADD 0000145a: MLOAD 0000145b: DUP4 0000145c: DUP3 0000145d: ADD 0000145e: MSTORE 0000145f: PUSH1 0x20 00001461: ADD 00001462: PUSH2 0x144e 00001465: JUMP 00001466: JUMPDEST 00001467: POP 00001468: POP 00001469: POP 0000146a: POP 0000146b: SWAP1 0000146c: POP 0000146d: SWAP1 0000146e: DUP2 0000146f: ADD 00001470: SWAP1 00001471: PUSH1 0x1f 00001473: AND 00001474: DUP1 00001475: ISZERO 00001476: PUSH2 0x1493 00001479: JUMPI 0000147a: DUP1 0000147b: DUP3 0000147c: SUB 0000147d: DUP1 0000147e: MLOAD 0000147f: PUSH1 0x01 00001481: DUP4 00001482: PUSH1 0x20 00001484: SUB 00001485: PUSH2 0x0100 00001488: EXP 00001489: SUB 0000148a: NOT 0000148b: AND 0000148c: DUP2 0000148d: MSTORE 0000148e: PUSH1 0x20 00001490: ADD 00001491: SWAP2 00001492: POP 00001493: JUMPDEST 00001494: POP 00001495: SWAP3 00001496: POP 00001497: POP 00001498: POP 00001499: PUSH1 0x40 0000149b: MLOAD 0000149c: DUP1 0000149d: SWAP2 0000149e: SUB 0000149f: SWAP1 000014a0: REVERT 000014a1: JUMPDEST 000014a2: POP 000014a3: POP 000014a4: POP 000014a5: SWAP1 000014a6: SUB 000014a7: SWAP1 000014a8: JUMP 000014a9: JUMPDEST 000014aa: PUSH1 0x00 000014ac: DUP2 000014ad: DUP4 000014ae: PUSH2 0x1512 000014b1: JUMPI 000014b2: PUSH1 0x40 000014b4: MLOAD 000014b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014d6: DUP2 000014d7: MSTORE 000014d8: PUSH1 0x20 000014da: PUSH1 0x04 000014dc: DUP3 000014dd: ADD 000014de: DUP2 000014df: DUP2 000014e0: MSTORE 000014e1: DUP4 000014e2: MLOAD 000014e3: PUSH1 0x24 000014e5: DUP5 000014e6: ADD 000014e7: MSTORE 000014e8: DUP4 000014e9: MLOAD 000014ea: SWAP1 000014eb: SWAP3 000014ec: DUP4 000014ed: SWAP3 000014ee: PUSH1 0x44 000014f0: SWAP1 000014f1: SWAP2 000014f2: ADD 000014f3: SWAP2 000014f4: SWAP1 000014f5: DUP6 000014f6: ADD 000014f7: SWAP1 000014f8: DUP1 000014f9: DUP4 000014fa: DUP4 000014fb: PUSH1 0x00 000014fd: DUP4 000014fe: ISZERO 000014ff: PUSH2 0x1466 00001502: JUMPI 00001503: DUP2 00001504: DUP2 00001505: ADD 00001506: MLOAD 00001507: DUP4 00001508: DUP3 00001509: ADD 0000150a: MSTORE 0000150b: PUSH1 0x20 0000150d: ADD 0000150e: PUSH2 0x144e 00001511: JUMP 00001512: JUMPDEST 00001513: POP 00001514: PUSH1 0x00 00001516: DUP4 00001517: DUP6 00001518: DUP2 00001519: PUSH2 0x151e 0000151c: JUMPI 0000151d: INVALID 0000151e: JUMPDEST 0000151f: DIV 00001520: SWAP6 00001521: SWAP5 00001522: POP 00001523: POP 00001524: POP 00001525: POP 00001526: POP 00001527: JUMP 00001528: JUMPDEST 00001529: PUSH2 0x1547 0000152c: DUP3 0000152d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001542: AND 00001543: PUSH2 0x1801 00001546: JUMP 00001547: JUMPDEST 00001548: PUSH2 0x15b2 0000154b: JUMPI 0000154c: PUSH1 0x40 0000154e: DUP1 0000154f: MLOAD 00001550: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001571: DUP2 00001572: MSTORE 00001573: PUSH1 0x20 00001575: PUSH1 0x04 00001577: DUP3 00001578: ADD 00001579: MSTORE 0000157a: PUSH1 0x1f 0000157c: PUSH1 0x24 0000157e: DUP3 0000157f: ADD 00001580: MSTORE 00001581: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 000015a2: PUSH1 0x44 000015a4: DUP3 000015a5: ADD 000015a6: MSTORE 000015a7: SWAP1 000015a8: MLOAD 000015a9: SWAP1 000015aa: DUP2 000015ab: SWAP1 000015ac: SUB 000015ad: PUSH1 0x64 000015af: ADD 000015b0: SWAP1 000015b1: REVERT 000015b2: JUMPDEST 000015b3: PUSH1 0x00 000015b5: PUSH1 0x60 000015b7: DUP4 000015b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015cd: AND 000015ce: DUP4 000015cf: PUSH1 0x40 000015d1: MLOAD 000015d2: DUP1 000015d3: DUP3 000015d4: DUP1 000015d5: MLOAD 000015d6: SWAP1 000015d7: PUSH1 0x20 000015d9: ADD 000015da: SWAP1 000015db: DUP1 000015dc: DUP4 000015dd: DUP4 000015de: JUMPDEST 000015df: PUSH1 0x20 000015e1: DUP4 000015e2: LT 000015e3: PUSH2 0x161b 000015e6: JUMPI 000015e7: DUP1 000015e8: MLOAD 000015e9: DUP3 000015ea: MSTORE 000015eb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000160c: SWAP1 0000160d: SWAP3 0000160e: ADD 0000160f: SWAP2 00001610: PUSH1 0x20 00001612: SWAP2 00001613: DUP3 00001614: ADD 00001615: SWAP2 00001616: ADD 00001617: PUSH2 0x15de 0000161a: JUMP 0000161b: JUMPDEST 0000161c: PUSH1 0x01 0000161e: DUP4 0000161f: PUSH1 0x20 00001621: SUB 00001622: PUSH2 0x0100 00001625: EXP 00001626: SUB 00001627: DUP1 00001628: NOT 00001629: DUP3 0000162a: MLOAD 0000162b: AND 0000162c: DUP2 0000162d: DUP5 0000162e: MLOAD 0000162f: AND 00001630: DUP1 00001631: DUP3 00001632: OR 00001633: DUP6 00001634: MSTORE 00001635: POP 00001636: POP 00001637: POP 00001638: POP 00001639: POP 0000163a: POP 0000163b: SWAP1 0000163c: POP 0000163d: ADD 0000163e: SWAP2 0000163f: POP 00001640: POP 00001641: PUSH1 0x00 00001643: PUSH1 0x40 00001645: MLOAD 00001646: DUP1 00001647: DUP4 00001648: SUB 00001649: DUP2 0000164a: PUSH1 0x00 0000164c: DUP7 0000164d: GAS 0000164e: CALL 0000164f: SWAP2 00001650: POP 00001651: POP 00001652: RETURNDATASIZE 00001653: DUP1 00001654: PUSH1 0x00 00001656: DUP2 00001657: EQ 00001658: PUSH2 0x167d 0000165b: JUMPI 0000165c: PUSH1 0x40 0000165e: MLOAD 0000165f: SWAP2 00001660: POP 00001661: PUSH1 0x1f 00001663: NOT 00001664: PUSH1 0x3f 00001666: RETURNDATASIZE 00001667: ADD 00001668: AND 00001669: DUP3 0000166a: ADD 0000166b: PUSH1 0x40 0000166d: MSTORE 0000166e: RETURNDATASIZE 0000166f: DUP3 00001670: MSTORE 00001671: RETURNDATASIZE 00001672: PUSH1 0x00 00001674: PUSH1 0x20 00001676: DUP5 00001677: ADD 00001678: RETURNDATACOPY 00001679: PUSH2 0x1682 0000167c: JUMP 0000167d: JUMPDEST 0000167e: PUSH1 0x60 00001680: SWAP2 00001681: POP 00001682: JUMPDEST 00001683: POP 00001684: SWAP2 00001685: POP 00001686: SWAP2 00001687: POP 00001688: DUP2 00001689: PUSH2 0x16f3 0000168c: JUMPI 0000168d: PUSH1 0x40 0000168f: DUP1 00001690: MLOAD 00001691: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016b2: DUP2 000016b3: MSTORE 000016b4: PUSH1 0x20 000016b6: PUSH1 0x04 000016b8: DUP3 000016b9: ADD 000016ba: DUP2 000016bb: SWAP1 000016bc: MSTORE 000016bd: PUSH1 0x24 000016bf: DUP3 000016c0: ADD 000016c1: MSTORE 000016c2: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000016e3: PUSH1 0x44 000016e5: DUP3 000016e6: ADD 000016e7: MSTORE 000016e8: SWAP1 000016e9: MLOAD 000016ea: SWAP1 000016eb: DUP2 000016ec: SWAP1 000016ed: SUB 000016ee: PUSH1 0x64 000016f0: ADD 000016f1: SWAP1 000016f2: REVERT 000016f3: JUMPDEST 000016f4: DUP1 000016f5: MLOAD 000016f6: ISZERO 000016f7: PUSH2 0x1766 000016fa: JUMPI 000016fb: DUP1 000016fc: DUP1 000016fd: PUSH1 0x20 000016ff: ADD 00001700: SWAP1 00001701: MLOAD 00001702: PUSH1 0x20 00001704: DUP2 00001705: LT 00001706: ISZERO 00001707: PUSH2 0x170f 0000170a: JUMPI 0000170b: PUSH1 0x00 0000170d: DUP1 0000170e: REVERT 0000170f: JUMPDEST 00001710: POP 00001711: MLOAD 00001712: PUSH2 0x1766 00001715: JUMPI 00001716: PUSH1 0x40 00001718: MLOAD 00001719: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000173a: DUP2 0000173b: MSTORE 0000173c: PUSH1 0x04 0000173e: ADD 0000173f: DUP1 00001740: DUP1 00001741: PUSH1 0x20 00001743: ADD 00001744: DUP3 00001745: DUP2 00001746: SUB 00001747: DUP3 00001748: MSTORE 00001749: PUSH1 0x2a 0000174b: DUP2 0000174c: MSTORE 0000174d: PUSH1 0x20 0000174f: ADD 00001750: DUP1 00001751: PUSH2 0x18a6 00001754: PUSH1 0x2a 00001756: SWAP2 00001757: CODECOPY 00001758: PUSH1 0x40 0000175a: ADD 0000175b: SWAP2 0000175c: POP 0000175d: POP 0000175e: PUSH1 0x40 00001760: MLOAD 00001761: DUP1 00001762: SWAP2 00001763: SUB 00001764: SWAP1 00001765: REVERT 00001766: JUMPDEST 00001767: POP 00001768: POP 00001769: POP 0000176a: POP 0000176b: JUMP 0000176c: JUMPDEST 0000176d: PUSH1 0x40 0000176f: DUP1 00001770: MLOAD 00001771: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001786: DUP6 00001787: DUP2 00001788: AND 00001789: PUSH1 0x24 0000178b: DUP4 0000178c: ADD 0000178d: MSTORE 0000178e: DUP5 0000178f: AND 00001790: PUSH1 0x44 00001792: DUP3 00001793: ADD 00001794: MSTORE 00001795: PUSH1 0x64 00001797: DUP1 00001798: DUP3 00001799: ADD 0000179a: DUP5 0000179b: SWAP1 0000179c: MSTORE 0000179d: DUP3 0000179e: MLOAD 0000179f: DUP1 000017a0: DUP4 000017a1: SUB 000017a2: SWAP1 000017a3: SWAP2 000017a4: ADD 000017a5: DUP2 000017a6: MSTORE 000017a7: PUSH1 0x84 000017a9: SWAP1 000017aa: SWAP2 000017ab: ADD 000017ac: SWAP1 000017ad: SWAP2 000017ae: MSTORE 000017af: PUSH1 0x20 000017b1: DUP2 000017b2: ADD 000017b3: DUP1 000017b4: MLOAD 000017b5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000017d2: AND 000017d3: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 000017f4: OR 000017f5: SWAP1 000017f6: MSTORE 000017f7: PUSH2 0x1766 000017fa: SWAP1 000017fb: DUP6 000017fc: SWAP1 000017fd: PUSH2 0x1528 00001800: JUMP 00001801: JUMPDEST 00001802: PUSH1 0x00 00001804: DUP2 00001805: EXTCODEHASH 00001806: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 00001827: DUP2 00001828: ISZERO 00001829: DUP1 0000182a: ISZERO 0000182b: SWAP1 0000182c: PUSH2 0x1835 0000182f: JUMPI 00001830: POP 00001831: DUP1 00001832: DUP3 00001833: EQ 00001834: ISZERO 00001835: JUMPDEST 00001836: SWAP5 00001837: SWAP4 00001838: POP 00001839: POP 0000183a: POP 0000183b: POP 0000183c: JUMP 0000183d: INVALID 0000183e: UNKNOWN(0x4F) 0000183f: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00001858: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970 00001874: PUSH13 0x69636174696f6e206f76657266 00001882: PUSH13 0x6f7743616c6c6572206973206e 00001890: PUSH16 0x74207265776172642064697374726962 000018a1: PUSH22 0x74696f6e5361666545524332303a204552433230206f 000018b8: PUSH17 0x65726174696f6e20646964206e6f742073 000018ca: PUSH22 0x6363656564a265627a7a723158205635e46d78cb752f 000018e1: UNKNOWN(0xE1) 000018e2: DUP9 000018e3: SIGNEXTEND 000018e4: SMOD 000018e5: PUSH27 0xf7027437cd1b980ba8c490f63a85c3b208802864736f6c63430005 00001901: GT 00001902: STOP 00001903: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "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": "0x8da58897",
"selector": "0x8da58897",
"calldata_variants": [
"0x8da58897",
"0x8da588970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6403,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xab043db411846e2b60b7893f61066d7ce7db9d0131a780d168d721d848bd6e32
call_targets:
0x587a07ce5c265a38dd6d42def1566ba73eeb06f5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xab043db411846e2b60b7893f61066d7ce7db9d0131a780d168d721d848bd6e32",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x587a07ce5c265a38dd6d42def1566ba73eeb06f5"
],
"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": "0x8da58897",
"selector": "0x8da58897",
"calldata_variants": [
"0x8da58897",
"0x8da588970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2822,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5710,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 6403,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xab043db411846e2b60b7893f61066d7ce7db9d0131a780d168d721d848bd6e32
call_targets:
0x587a07ce5c265a38dd6d42def1566ba73eeb06f5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xab043db411846e2b60b7893f61066d7ce7db9d0131a780d168d721d848bd6e32",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x587a07ce5c265a38dd6d42def1566ba73eeb06f5"
],
"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": "0x8da58897",
"selector": "0x8da58897",
"calldata_variants": [
"0x8da58897",
"0x8da588970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2822,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5710,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 6403,
"type": "tx_origin_used"
}
]
}
|