afed6e49-517c-4f42-897e-72c4828961b1
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 |
|---|---|---|---|---|
| 30278 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 73852 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 73853 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 73854 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 73855 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 73856 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 73857 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:552175] OpenAI Codex v0.77.0 (research preview)
[codex:552175] --------
[codex:552175] workdir: /tmp/codex-multi-saz5g_uc
[codex:552175] model: gpt-5.2-codex
[codex:552175] provider: openai
[codex:552175] approval: never
[codex:552175] sandbox: read-only
[codex:552175] reasoning effort: xhigh
[codex:552175] reasoning summaries: auto
[codex:552175] session id: 019b62d3-bcff-7a73-abb2-3337f89e5f8e
[codex:552175] --------
[codex:552175] user
[codex:552175] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:552175] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:552175] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:552175]
[codex:552175] Scope rules:
[codex:552175] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:552175] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:552175]
[codex:552175] Output MUST be valid JSON matching the provided schema.
[codex:552175] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:552175] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:552175]
[codex:552175] Output constraints (IMPORTANT):
[codex:552175] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:552175] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:552175] mcp startup: no servers
[codex:552175]
[codex:552175] thinking
[codex:552175] **Checking for skill requirement**
[codex:552175] exec
[codex:552175] /bin/bash -lc ls in /tmp/codex-multi-saz5g_uc succeeded in 5ms:
[codex:552175] AUDIT_BUNDLE.txt
[codex:552175] codex-output-schema.json
[codex:552175] contracts
[codex:552175] exec
[codex:552175] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-saz5g_uc succeeded in 5ms:
[codex:552175] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:552175]
[codex:552175] ================================================================================
[codex:552175] FILE: contracts/Contract.sol
[codex:552175] ================================================================================
[codex:552175] // SPDX-License-Identifier: AGPL-3.0-or-later // hevm: flattened sources of contracts/MapleTreasury.sol
[codex:552175] pragma solidity =0.6.11 >=0.6.0 <0.8.0 >=0.6.2 <0.8.0;
[codex:552175]
[codex:552175] ////// lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:552175] /* pragma solidity >=0.6.0 <0.8.0; */
[codex:552175]
[codex:552175] /**
[codex:552175] * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:552175] */
[codex:552175] interface IERC20 {
[codex:552175] /**
[codex:552175] * @dev Returns the amount of tokens in existence.
[codex:552175] */
[codex:552175] function totalSupply() external view returns (uint256);
[codex:552175]
[codex:552175]
[codex:552175]
[codex:552175] thinking
[codex:552175] **Analyzing MapleTreasury for vulnerabilities**
[codex:552175] thinking
[codex:552175] **Preparing final JSON audit summary**
[codex:552175]
[codex:552175] I'll output a JSON report declaring no exploitable vulnerabilities found, summarizing the audit of MapleTreasury, and complying with the required schema and format.
[codex:552175] codex
[codex:552175] {"no_findings":true,"summary":"Reviewed the first-party MapleTreasury contract and utilities in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified within the requested focus areas.","findings":[]}
[codex:552175] tokens used
[codex:552175] 15,638
[codex:552175] {"no_findings":true,"summary":"Reviewed the first-party MapleTreasury contract and utilities in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified within the requested focus areas.","findings":[]}
{
"codex": {
"ran_at": "2025-12-28T02:41:19.698859+00:00",
"returncode": 0
},
"summary": "Reviewed the first-party MapleTreasury contract and utilities in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified within the requested focus areas.",
"raw_final": {
"summary": "Reviewed the first-party MapleTreasury contract and utilities in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified 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 0x0088 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0xa0530946 00000026: GT 00000027: PUSH2 0x005b 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xa0530946 00000031: EQ 00000032: PUSH2 0x00e9 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xafdbd499 0000003c: EQ 0000003d: PUSH2 0x00f1 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xc3124525 00000047: EQ 00000048: PUSH2 0x011d 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xcc2e0a26 00000052: EQ 00000053: PUSH2 0x0125 00000056: JUMPI 00000057: PUSH2 0x0088 0000005a: JUMP 0000005b: JUMPDEST 0000005c: DUP1 0000005d: PUSH4 0x3153689f 00000062: EQ 00000063: PUSH2 0x008d 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x63f04b15 0000006d: EQ 0000006e: PUSH2 0x0097 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x735de9f7 00000078: EQ 00000079: PUSH2 0x00bb 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x817bd4fd 00000083: EQ 00000084: PUSH2 0x00c3 00000087: JUMPI 00000088: JUMPDEST 00000089: PUSH1 0x00 0000008b: DUP1 0000008c: REVERT 0000008d: JUMPDEST 0000008e: PUSH2 0x0095 00000091: PUSH2 0x014b 00000094: JUMP 00000095: JUMPDEST 00000096: STOP 00000097: JUMPDEST 00000098: PUSH2 0x009f 0000009b: PUSH2 0x038b 0000009e: JUMP 0000009f: JUMPDEST 000000a0: PUSH1 0x40 000000a2: DUP1 000000a3: MLOAD 000000a4: PUSH1 0x01 000000a6: PUSH1 0x01 000000a8: PUSH1 0xa0 000000aa: SHL 000000ab: SUB 000000ac: SWAP1 000000ad: SWAP3 000000ae: AND 000000af: DUP3 000000b0: MSTORE 000000b1: MLOAD 000000b2: SWAP1 000000b3: DUP2 000000b4: SWAP1 000000b5: SUB 000000b6: PUSH1 0x20 000000b8: ADD 000000b9: SWAP1 000000ba: RETURN 000000bb: JUMPDEST 000000bc: PUSH2 0x009f 000000bf: PUSH2 0x03af 000000c2: JUMP 000000c3: JUMPDEST 000000c4: PUSH2 0x0095 000000c7: PUSH1 0x04 000000c9: DUP1 000000ca: CALLDATASIZE 000000cb: SUB 000000cc: PUSH1 0x20 000000ce: DUP2 000000cf: LT 000000d0: ISZERO 000000d1: PUSH2 0x00d9 000000d4: JUMPI 000000d5: PUSH1 0x00 000000d7: DUP1 000000d8: REVERT 000000d9: JUMPDEST 000000da: POP 000000db: CALLDATALOAD 000000dc: PUSH1 0x01 000000de: PUSH1 0x01 000000e0: PUSH1 0xa0 000000e2: SHL 000000e3: SUB 000000e4: AND 000000e5: PUSH2 0x03d3 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH2 0x009f 000000ed: PUSH2 0x0ba6 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH2 0x0095 000000f5: PUSH1 0x04 000000f7: DUP1 000000f8: CALLDATASIZE 000000f9: SUB 000000fa: PUSH1 0x40 000000fc: DUP2 000000fd: LT 000000fe: ISZERO 000000ff: PUSH2 0x0107 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: POP 00000109: PUSH1 0x01 0000010b: PUSH1 0x01 0000010d: PUSH1 0xa0 0000010f: SHL 00000110: SUB 00000111: DUP2 00000112: CALLDATALOAD 00000113: AND 00000114: SWAP1 00000115: PUSH1 0x20 00000117: ADD 00000118: CALLDATALOAD 00000119: PUSH2 0x0bca 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH2 0x009f 00000121: PUSH2 0x0ce9 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH2 0x0095 00000129: PUSH1 0x04 0000012b: DUP1 0000012c: CALLDATASIZE 0000012d: SUB 0000012e: PUSH1 0x20 00000130: DUP2 00000131: LT 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: CALLDATALOAD 0000013e: PUSH1 0x01 00000140: PUSH1 0x01 00000142: PUSH1 0xa0 00000144: SHL 00000145: SUB 00000146: AND 00000147: PUSH2 0x0cf8 0000014a: JUMP 0000014b: JUMPDEST 0000014c: PUSH1 0x00 0000014e: DUP1 0000014f: SWAP1 00000150: SLOAD 00000151: SWAP1 00000152: PUSH2 0x0100 00000155: EXP 00000156: SWAP1 00000157: DIV 00000158: PUSH1 0x01 0000015a: PUSH1 0x01 0000015c: PUSH1 0xa0 0000015e: SHL 0000015f: SUB 00000160: AND 00000161: PUSH1 0x01 00000163: PUSH1 0x01 00000165: PUSH1 0xa0 00000167: SHL 00000168: SUB 00000169: AND 0000016a: PUSH4 0x0c340a24 0000016f: PUSH1 0x40 00000171: MLOAD 00000172: DUP2 00000173: PUSH4 0xffffffff 00000178: AND 00000179: PUSH1 0xe0 0000017b: SHL 0000017c: DUP2 0000017d: MSTORE 0000017e: PUSH1 0x04 00000180: ADD 00000181: PUSH1 0x20 00000183: PUSH1 0x40 00000185: MLOAD 00000186: DUP1 00000187: DUP4 00000188: SUB 00000189: DUP2 0000018a: DUP7 0000018b: DUP1 0000018c: EXTCODESIZE 0000018d: ISZERO 0000018e: DUP1 0000018f: ISZERO 00000190: PUSH2 0x0198 00000193: JUMPI 00000194: PUSH1 0x00 00000196: DUP1 00000197: REVERT 00000198: JUMPDEST 00000199: POP 0000019a: GAS 0000019b: STATICCALL 0000019c: ISZERO 0000019d: DUP1 0000019e: ISZERO 0000019f: PUSH2 0x01ac 000001a2: JUMPI 000001a3: RETURNDATASIZE 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: RETURNDATACOPY 000001a8: RETURNDATASIZE 000001a9: PUSH1 0x00 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: POP 000001af: POP 000001b0: POP 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: RETURNDATASIZE 000001b5: PUSH1 0x20 000001b7: DUP2 000001b8: LT 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: MLOAD 000001c5: PUSH1 0x01 000001c7: PUSH1 0x01 000001c9: PUSH1 0xa0 000001cb: SHL 000001cc: SUB 000001cd: AND 000001ce: CALLER 000001cf: EQ 000001d0: PUSH2 0x020d 000001d3: JUMPI 000001d4: PUSH1 0x40 000001d6: DUP1 000001d7: MLOAD 000001d8: PUSH3 0x461bcd 000001dc: PUSH1 0xe5 000001de: SHL 000001df: DUP2 000001e0: MSTORE 000001e1: PUSH1 0x20 000001e3: PUSH1 0x04 000001e5: DUP3 000001e6: ADD 000001e7: MSTORE 000001e8: PUSH1 0x0a 000001ea: PUSH1 0x24 000001ec: DUP3 000001ed: ADD 000001ee: MSTORE 000001ef: PUSH10 0x26aa1d2727aa2fa3a7ab 000001fa: PUSH1 0xb1 000001fc: SHL 000001fd: PUSH1 0x44 000001ff: DUP3 00000200: ADD 00000201: MSTORE 00000202: SWAP1 00000203: MLOAD 00000204: SWAP1 00000205: DUP2 00000206: SWAP1 00000207: SUB 00000208: PUSH1 0x64 0000020a: ADD 0000020b: SWAP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: PUSH1 0x40 00000210: DUP1 00000211: MLOAD 00000212: PUSH4 0x70a08231 00000217: PUSH1 0xe0 00000219: SHL 0000021a: DUP2 0000021b: MSTORE 0000021c: ADDRESS 0000021d: PUSH1 0x04 0000021f: DUP3 00000220: ADD 00000221: MSTORE 00000222: SWAP1 00000223: MLOAD 00000224: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000245: SWAP2 00000246: PUSH1 0x00 00000248: SWAP2 00000249: PUSH1 0x01 0000024b: PUSH1 0x01 0000024d: PUSH1 0xa0 0000024f: SHL 00000250: SUB 00000251: DUP5 00000252: AND 00000253: SWAP2 00000254: PUSH4 0x70a08231 00000259: SWAP2 0000025a: PUSH1 0x24 0000025c: DUP1 0000025d: DUP4 0000025e: ADD 0000025f: SWAP3 00000260: PUSH1 0x20 00000262: SWAP3 00000263: SWAP2 00000264: SWAP1 00000265: DUP3 00000266: SWAP1 00000267: SUB 00000268: ADD 00000269: DUP2 0000026a: DUP7 0000026b: DUP1 0000026c: EXTCODESIZE 0000026d: ISZERO 0000026e: DUP1 0000026f: ISZERO 00000270: PUSH2 0x0278 00000273: JUMPI 00000274: PUSH1 0x00 00000276: DUP1 00000277: REVERT 00000278: JUMPDEST 00000279: POP 0000027a: GAS 0000027b: STATICCALL 0000027c: ISZERO 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x028c 00000282: JUMPI 00000283: RETURNDATASIZE 00000284: PUSH1 0x00 00000286: DUP1 00000287: RETURNDATACOPY 00000288: RETURNDATASIZE 00000289: PUSH1 0x00 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: POP 0000028f: POP 00000290: POP 00000291: PUSH1 0x40 00000293: MLOAD 00000294: RETURNDATASIZE 00000295: PUSH1 0x20 00000297: DUP2 00000298: LT 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: MLOAD 000002a5: SWAP1 000002a6: POP 000002a7: PUSH2 0x02e0 000002aa: PUSH1 0x01 000002ac: PUSH1 0x01 000002ae: PUSH1 0xa0 000002b0: SHL 000002b1: SUB 000002b2: DUP4 000002b3: AND 000002b4: PUSH32 0x00000000000000000000000033349b282065b0284d756f0577fb39c158f935e6 000002d5: DUP4 000002d6: PUSH4 0xffffffff 000002db: PUSH2 0x0e0e 000002de: AND 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH32 0x00000000000000000000000033349b282065b0284d756f0577fb39c158f935e6 00000302: PUSH1 0x01 00000304: PUSH1 0x01 00000306: PUSH1 0xa0 00000308: SHL 00000309: SUB 0000030a: AND 0000030b: PUSH4 0x46c162de 00000310: PUSH1 0x40 00000312: MLOAD 00000313: DUP2 00000314: PUSH4 0xffffffff 00000319: AND 0000031a: PUSH1 0xe0 0000031c: SHL 0000031d: DUP2 0000031e: MSTORE 0000031f: PUSH1 0x04 00000321: ADD 00000322: PUSH1 0x00 00000324: PUSH1 0x40 00000326: MLOAD 00000327: DUP1 00000328: DUP4 00000329: SUB 0000032a: DUP2 0000032b: PUSH1 0x00 0000032d: DUP8 0000032e: DUP1 0000032f: EXTCODESIZE 00000330: ISZERO 00000331: DUP1 00000332: ISZERO 00000333: PUSH2 0x033b 00000336: JUMPI 00000337: PUSH1 0x00 00000339: DUP1 0000033a: REVERT 0000033b: JUMPDEST 0000033c: POP 0000033d: GAS 0000033e: CALL 0000033f: ISZERO 00000340: DUP1 00000341: ISZERO 00000342: PUSH2 0x034f 00000345: JUMPI 00000346: RETURNDATASIZE 00000347: PUSH1 0x00 00000349: DUP1 0000034a: RETURNDATACOPY 0000034b: RETURNDATASIZE 0000034c: PUSH1 0x00 0000034e: REVERT 0000034f: JUMPDEST 00000350: POP 00000351: POP 00000352: PUSH1 0x40 00000354: DUP1 00000355: MLOAD 00000356: DUP5 00000357: DUP2 00000358: MSTORE 00000359: SWAP1 0000035a: MLOAD 0000035b: PUSH32 0xaa7ec7b1d6110de9a1bf05a7214112bcaee913a07e31bd219f50af4b0ee0469d 0000037c: SWAP4 0000037d: POP 0000037e: SWAP1 0000037f: DUP2 00000380: SWAP1 00000381: SUB 00000382: PUSH1 0x20 00000384: ADD 00000385: SWAP2 00000386: POP 00000387: LOG1 00000388: POP 00000389: POP 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000003ad: DUP2 000003ae: JUMP 000003af: JUMPDEST 000003b0: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 000003d1: DUP2 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH1 0x00 000003d6: DUP1 000003d7: SWAP1 000003d8: SLOAD 000003d9: SWAP1 000003da: PUSH2 0x0100 000003dd: EXP 000003de: SWAP1 000003df: DIV 000003e0: PUSH1 0x01 000003e2: PUSH1 0x01 000003e4: PUSH1 0xa0 000003e6: SHL 000003e7: SUB 000003e8: AND 000003e9: PUSH1 0x01 000003eb: PUSH1 0x01 000003ed: PUSH1 0xa0 000003ef: SHL 000003f0: SUB 000003f1: AND 000003f2: PUSH4 0x0c340a24 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: DUP2 000003fb: PUSH4 0xffffffff 00000400: AND 00000401: PUSH1 0xe0 00000403: SHL 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x04 00000408: ADD 00000409: PUSH1 0x20 0000040b: PUSH1 0x40 0000040d: MLOAD 0000040e: DUP1 0000040f: DUP4 00000410: SUB 00000411: DUP2 00000412: DUP7 00000413: DUP1 00000414: EXTCODESIZE 00000415: ISZERO 00000416: DUP1 00000417: ISZERO 00000418: PUSH2 0x0420 0000041b: JUMPI 0000041c: PUSH1 0x00 0000041e: DUP1 0000041f: REVERT 00000420: JUMPDEST 00000421: POP 00000422: GAS 00000423: STATICCALL 00000424: ISZERO 00000425: DUP1 00000426: ISZERO 00000427: PUSH2 0x0434 0000042a: JUMPI 0000042b: RETURNDATASIZE 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: RETURNDATACOPY 00000430: RETURNDATASIZE 00000431: PUSH1 0x00 00000433: REVERT 00000434: JUMPDEST 00000435: POP 00000436: POP 00000437: POP 00000438: POP 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: RETURNDATASIZE 0000043d: PUSH1 0x20 0000043f: DUP2 00000440: LT 00000441: ISZERO 00000442: PUSH2 0x044a 00000445: JUMPI 00000446: PUSH1 0x00 00000448: DUP1 00000449: REVERT 0000044a: JUMPDEST 0000044b: POP 0000044c: MLOAD 0000044d: PUSH1 0x01 0000044f: PUSH1 0x01 00000451: PUSH1 0xa0 00000453: SHL 00000454: SUB 00000455: AND 00000456: CALLER 00000457: EQ 00000458: PUSH2 0x0495 0000045b: JUMPI 0000045c: PUSH1 0x40 0000045e: DUP1 0000045f: MLOAD 00000460: PUSH3 0x461bcd 00000464: PUSH1 0xe5 00000466: SHL 00000467: DUP2 00000468: MSTORE 00000469: PUSH1 0x20 0000046b: PUSH1 0x04 0000046d: DUP3 0000046e: ADD 0000046f: MSTORE 00000470: PUSH1 0x0a 00000472: PUSH1 0x24 00000474: DUP3 00000475: ADD 00000476: MSTORE 00000477: PUSH10 0x26aa1d2727aa2fa3a7ab 00000482: PUSH1 0xb1 00000484: SHL 00000485: PUSH1 0x44 00000487: DUP3 00000488: ADD 00000489: MSTORE 0000048a: SWAP1 0000048b: MLOAD 0000048c: SWAP1 0000048d: DUP2 0000048e: SWAP1 0000048f: SUB 00000490: PUSH1 0x64 00000492: ADD 00000493: SWAP1 00000494: REVERT 00000495: JUMPDEST 00000496: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000004b7: PUSH1 0x01 000004b9: PUSH1 0x01 000004bb: PUSH1 0xa0 000004bd: SHL 000004be: SUB 000004bf: AND 000004c0: DUP2 000004c1: PUSH1 0x01 000004c3: PUSH1 0x01 000004c5: PUSH1 0xa0 000004c7: SHL 000004c8: SUB 000004c9: AND 000004ca: EQ 000004cb: ISZERO 000004cc: PUSH2 0x051c 000004cf: JUMPI 000004d0: PUSH1 0x40 000004d2: DUP1 000004d3: MLOAD 000004d4: PUSH3 0x461bcd 000004d8: PUSH1 0xe5 000004da: SHL 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH1 0x20 000004df: PUSH1 0x04 000004e1: DUP3 000004e2: ADD 000004e3: MSTORE 000004e4: PUSH1 0x17 000004e6: PUSH1 0x24 000004e8: DUP3 000004e9: ADD 000004ea: MSTORE 000004eb: PUSH32 0x4d543a41535345545f49535f46554e44535f544f4b454e000000000000000000 0000050c: PUSH1 0x44 0000050e: DUP3 0000050f: ADD 00000510: MSTORE 00000511: SWAP1 00000512: MLOAD 00000513: SWAP1 00000514: DUP2 00000515: SWAP1 00000516: SUB 00000517: PUSH1 0x64 00000519: ADD 0000051a: SWAP1 0000051b: REVERT 0000051c: JUMPDEST 0000051d: PUSH1 0x00 0000051f: DUP1 00000520: SLOAD 00000521: PUSH1 0x40 00000523: DUP1 00000524: MLOAD 00000525: PUSH4 0x70a08231 0000052a: PUSH1 0xe0 0000052c: SHL 0000052d: DUP2 0000052e: MSTORE 0000052f: ADDRESS 00000530: PUSH1 0x04 00000532: DUP3 00000533: ADD 00000534: MSTORE 00000535: SWAP1 00000536: MLOAD 00000537: PUSH1 0x01 00000539: PUSH1 0x01 0000053b: PUSH1 0xa0 0000053d: SHL 0000053e: SUB 0000053f: SWAP3 00000540: DUP4 00000541: AND 00000542: SWAP4 00000543: SWAP3 00000544: DUP6 00000545: AND 00000546: SWAP2 00000547: PUSH4 0x70a08231 0000054c: SWAP2 0000054d: PUSH1 0x24 0000054f: DUP1 00000550: DUP4 00000551: ADD 00000552: SWAP3 00000553: PUSH1 0x20 00000555: SWAP3 00000556: SWAP2 00000557: SWAP1 00000558: DUP3 00000559: SWAP1 0000055a: SUB 0000055b: ADD 0000055c: DUP2 0000055d: DUP7 0000055e: DUP1 0000055f: EXTCODESIZE 00000560: ISZERO 00000561: DUP1 00000562: ISZERO 00000563: PUSH2 0x056b 00000566: JUMPI 00000567: PUSH1 0x00 00000569: DUP1 0000056a: REVERT 0000056b: JUMPDEST 0000056c: POP 0000056d: GAS 0000056e: STATICCALL 0000056f: ISZERO 00000570: DUP1 00000571: ISZERO 00000572: PUSH2 0x057f 00000575: JUMPI 00000576: RETURNDATASIZE 00000577: PUSH1 0x00 00000579: DUP1 0000057a: RETURNDATACOPY 0000057b: RETURNDATASIZE 0000057c: PUSH1 0x00 0000057e: REVERT 0000057f: JUMPDEST 00000580: POP 00000581: POP 00000582: POP 00000583: POP 00000584: PUSH1 0x40 00000586: MLOAD 00000587: RETURNDATASIZE 00000588: PUSH1 0x20 0000058a: DUP2 0000058b: LT 0000058c: ISZERO 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH1 0x00 00000593: DUP1 00000594: REVERT 00000595: JUMPDEST 00000596: POP 00000597: MLOAD 00000598: PUSH1 0x40 0000059a: DUP1 0000059b: MLOAD 0000059c: PUSH4 0x60f1b8c3 000005a1: PUSH1 0xe1 000005a3: SHL 000005a4: DUP2 000005a5: MSTORE 000005a6: PUSH1 0x01 000005a8: PUSH1 0x01 000005aa: PUSH1 0xa0 000005ac: SHL 000005ad: SUB 000005ae: DUP1 000005af: DUP7 000005b0: AND 000005b1: PUSH1 0x04 000005b3: DUP4 000005b4: ADD 000005b5: MSTORE 000005b6: DUP1 000005b7: DUP8 000005b8: AND 000005b9: PUSH1 0x24 000005bb: DUP4 000005bc: ADD 000005bd: MSTORE 000005be: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000005df: AND 000005e0: PUSH1 0x44 000005e2: DUP3 000005e3: ADD 000005e4: MSTORE 000005e5: PUSH1 0x64 000005e7: DUP2 000005e8: ADD 000005e9: DUP4 000005ea: SWAP1 000005eb: MSTORE 000005ec: SWAP1 000005ed: MLOAD 000005ee: SWAP2 000005ef: SWAP3 000005f0: POP 000005f1: PUSH1 0x00 000005f3: SWAP2 000005f4: PUSH20 0x95f9676a34af2675b63948ddba8f8c798741a52a 00000609: SWAP2 0000060a: PUSH4 0xc1e37186 0000060f: SWAP2 00000610: PUSH1 0x84 00000612: DUP1 00000613: DUP4 00000614: ADD 00000615: SWAP3 00000616: PUSH1 0x20 00000618: SWAP3 00000619: SWAP2 0000061a: SWAP1 0000061b: DUP3 0000061c: SWAP1 0000061d: SUB 0000061e: ADD 0000061f: DUP2 00000620: DUP7 00000621: DUP1 00000622: EXTCODESIZE 00000623: ISZERO 00000624: DUP1 00000625: ISZERO 00000626: PUSH2 0x062e 00000629: JUMPI 0000062a: PUSH1 0x00 0000062c: DUP1 0000062d: REVERT 0000062e: JUMPDEST 0000062f: POP 00000630: GAS 00000631: DELEGATECALL 00000632: ISZERO 00000633: DUP1 00000634: ISZERO 00000635: PUSH2 0x0642 00000638: JUMPI 00000639: RETURNDATASIZE 0000063a: PUSH1 0x00 0000063c: DUP1 0000063d: RETURNDATACOPY 0000063e: RETURNDATASIZE 0000063f: PUSH1 0x00 00000641: REVERT 00000642: JUMPDEST 00000643: POP 00000644: POP 00000645: POP 00000646: POP 00000647: PUSH1 0x40 00000649: MLOAD 0000064a: RETURNDATASIZE 0000064b: PUSH1 0x20 0000064d: DUP2 0000064e: LT 0000064f: ISZERO 00000650: PUSH2 0x0658 00000653: JUMPI 00000654: PUSH1 0x00 00000656: DUP1 00000657: REVERT 00000658: JUMPDEST 00000659: POP 0000065a: MLOAD 0000065b: SWAP1 0000065c: POP 0000065d: PUSH2 0x0697 00000660: PUSH1 0x01 00000662: PUSH1 0x01 00000664: PUSH1 0xa0 00000666: SHL 00000667: SUB 00000668: DUP6 00000669: AND 0000066a: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 0000068b: PUSH1 0x00 0000068d: PUSH4 0xffffffff 00000692: PUSH2 0x0e65 00000695: AND 00000696: JUMP 00000697: JUMPDEST 00000698: PUSH2 0x06d1 0000069b: PUSH1 0x01 0000069d: PUSH1 0x01 0000069f: PUSH1 0xa0 000006a1: SHL 000006a2: SUB 000006a3: DUP6 000006a4: AND 000006a5: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 000006c6: DUP5 000006c7: PUSH4 0xffffffff 000006cc: PUSH2 0x0e65 000006cf: AND 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH1 0x40 000006d4: DUP1 000006d5: MLOAD 000006d6: PUSH4 0x26c332c9 000006db: PUSH1 0xe1 000006dd: SHL 000006de: DUP2 000006df: MSTORE 000006e0: PUSH1 0x01 000006e2: PUSH1 0x01 000006e4: PUSH1 0xa0 000006e6: SHL 000006e7: SUB 000006e8: DUP7 000006e9: DUP2 000006ea: AND 000006eb: PUSH1 0x04 000006ed: DUP4 000006ee: ADD 000006ef: MSTORE 000006f0: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000711: DUP2 00000712: AND 00000713: PUSH1 0x24 00000715: DUP4 00000716: ADD 00000717: MSTORE 00000718: SWAP2 00000719: MLOAD 0000071a: PUSH1 0x00 0000071c: SWAP3 0000071d: DUP7 0000071e: AND 0000071f: SWAP2 00000720: PUSH4 0x4d866592 00000725: SWAP2 00000726: PUSH1 0x44 00000728: DUP1 00000729: DUP4 0000072a: ADD 0000072b: SWAP3 0000072c: PUSH1 0x20 0000072e: SWAP3 0000072f: SWAP2 00000730: SWAP1 00000731: DUP3 00000732: SWAP1 00000733: SUB 00000734: ADD 00000735: DUP2 00000736: DUP7 00000737: DUP1 00000738: EXTCODESIZE 00000739: ISZERO 0000073a: DUP1 0000073b: ISZERO 0000073c: PUSH2 0x0744 0000073f: JUMPI 00000740: PUSH1 0x00 00000742: DUP1 00000743: REVERT 00000744: JUMPDEST 00000745: POP 00000746: GAS 00000747: STATICCALL 00000748: ISZERO 00000749: DUP1 0000074a: ISZERO 0000074b: PUSH2 0x0758 0000074e: JUMPI 0000074f: RETURNDATASIZE 00000750: PUSH1 0x00 00000752: DUP1 00000753: RETURNDATACOPY 00000754: RETURNDATASIZE 00000755: PUSH1 0x00 00000757: REVERT 00000758: JUMPDEST 00000759: POP 0000075a: POP 0000075b: POP 0000075c: POP 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: RETURNDATASIZE 00000761: PUSH1 0x20 00000763: DUP2 00000764: LT 00000765: ISZERO 00000766: PUSH2 0x076e 00000769: JUMPI 0000076a: PUSH1 0x00 0000076c: DUP1 0000076d: REVERT 0000076e: JUMPDEST 0000076f: POP 00000770: MLOAD 00000771: SWAP1 00000772: POP 00000773: PUSH1 0x00 00000775: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000796: PUSH1 0x01 00000798: PUSH1 0x01 0000079a: PUSH1 0xa0 0000079c: SHL 0000079d: SUB 0000079e: SWAP1 0000079f: DUP2 000007a0: AND 000007a1: SWAP1 000007a2: DUP4 000007a3: AND 000007a4: EQ 000007a5: DUP1 000007a6: ISZERO 000007a7: SWAP1 000007a8: PUSH2 0x07b9 000007ab: JUMPI 000007ac: POP 000007ad: PUSH1 0x01 000007af: PUSH1 0x01 000007b1: PUSH1 0xa0 000007b3: SHL 000007b4: SUB 000007b5: DUP3 000007b6: AND 000007b7: ISZERO 000007b8: ISZERO 000007b9: JUMPDEST 000007ba: SWAP1 000007bb: POP 000007bc: PUSH1 0x60 000007be: DUP2 000007bf: PUSH2 0x07c9 000007c2: JUMPI 000007c3: PUSH1 0x02 000007c5: PUSH2 0x07cc 000007c8: JUMP 000007c9: JUMPDEST 000007ca: PUSH1 0x03 000007cc: JUMPDEST 000007cd: PUSH1 0xff 000007cf: AND 000007d0: PUSH8 0xffffffffffffffff 000007d9: DUP2 000007da: GT 000007db: DUP1 000007dc: ISZERO 000007dd: PUSH2 0x07e5 000007e0: JUMPI 000007e1: PUSH1 0x00 000007e3: DUP1 000007e4: REVERT 000007e5: JUMPDEST 000007e6: POP 000007e7: PUSH1 0x40 000007e9: MLOAD 000007ea: SWAP1 000007eb: DUP1 000007ec: DUP3 000007ed: MSTORE 000007ee: DUP1 000007ef: PUSH1 0x20 000007f1: MUL 000007f2: PUSH1 0x20 000007f4: ADD 000007f5: DUP3 000007f6: ADD 000007f7: PUSH1 0x40 000007f9: MSTORE 000007fa: DUP1 000007fb: ISZERO 000007fc: PUSH2 0x080f 000007ff: JUMPI 00000800: DUP2 00000801: PUSH1 0x20 00000803: ADD 00000804: PUSH1 0x20 00000806: DUP3 00000807: MUL 00000808: DUP1 00000809: CALLDATASIZE 0000080a: DUP4 0000080b: CALLDATACOPY 0000080c: ADD 0000080d: SWAP1 0000080e: POP 0000080f: JUMPDEST 00000810: POP 00000811: SWAP1 00000812: POP 00000813: DUP7 00000814: DUP2 00000815: PUSH1 0x00 00000817: DUP2 00000818: MLOAD 00000819: DUP2 0000081a: LT 0000081b: PUSH2 0x0820 0000081e: JUMPI 0000081f: INVALID 00000820: JUMPDEST 00000821: PUSH1 0x20 00000823: MUL 00000824: PUSH1 0x20 00000826: ADD 00000827: ADD 00000828: SWAP1 00000829: PUSH1 0x01 0000082b: PUSH1 0x01 0000082d: PUSH1 0xa0 0000082f: SHL 00000830: SUB 00000831: AND 00000832: SWAP1 00000833: DUP2 00000834: PUSH1 0x01 00000836: PUSH1 0x01 00000838: PUSH1 0xa0 0000083a: SHL 0000083b: SUB 0000083c: AND 0000083d: DUP2 0000083e: MSTORE 0000083f: POP 00000840: POP 00000841: DUP2 00000842: PUSH2 0x086b 00000845: JUMPI 00000846: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000867: PUSH2 0x086d 0000086a: JUMP 0000086b: JUMPDEST 0000086c: DUP3 0000086d: JUMPDEST 0000086e: DUP2 0000086f: PUSH1 0x01 00000871: DUP2 00000872: MLOAD 00000873: DUP2 00000874: LT 00000875: PUSH2 0x087a 00000878: JUMPI 00000879: INVALID 0000087a: JUMPDEST 0000087b: PUSH1 0x20 0000087d: MUL 0000087e: PUSH1 0x20 00000880: ADD 00000881: ADD 00000882: SWAP1 00000883: PUSH1 0x01 00000885: PUSH1 0x01 00000887: PUSH1 0xa0 00000889: SHL 0000088a: SUB 0000088b: AND 0000088c: SWAP1 0000088d: DUP2 0000088e: PUSH1 0x01 00000890: PUSH1 0x01 00000892: PUSH1 0xa0 00000894: SHL 00000895: SUB 00000896: AND 00000897: DUP2 00000898: MSTORE 00000899: POP 0000089a: POP 0000089b: DUP2 0000089c: ISZERO 0000089d: PUSH2 0x08ef 000008a0: JUMPI 000008a1: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000008c2: DUP2 000008c3: PUSH1 0x02 000008c5: DUP2 000008c6: MLOAD 000008c7: DUP2 000008c8: LT 000008c9: PUSH2 0x08ce 000008cc: JUMPI 000008cd: INVALID 000008ce: JUMPDEST 000008cf: PUSH1 0x20 000008d1: MUL 000008d2: PUSH1 0x20 000008d4: ADD 000008d5: ADD 000008d6: SWAP1 000008d7: PUSH1 0x01 000008d9: PUSH1 0x01 000008db: PUSH1 0xa0 000008dd: SHL 000008de: SUB 000008df: AND 000008e0: SWAP1 000008e1: DUP2 000008e2: PUSH1 0x01 000008e4: PUSH1 0x01 000008e6: PUSH1 0xa0 000008e8: SHL 000008e9: SUB 000008ea: AND 000008eb: DUP2 000008ec: MSTORE 000008ed: POP 000008ee: POP 000008ef: JUMPDEST 000008f0: PUSH1 0x60 000008f2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000913: PUSH1 0x01 00000915: PUSH1 0x01 00000917: PUSH1 0xa0 00000919: SHL 0000091a: SUB 0000091b: AND 0000091c: PUSH4 0x38ed1739 00000921: DUP8 00000922: PUSH2 0x09b8 00000925: PUSH2 0x09ab 00000928: PUSH2 0x2710 0000092b: PUSH2 0x099f 0000092e: DUP14 0000092f: PUSH1 0x01 00000931: PUSH1 0x01 00000933: PUSH1 0xa0 00000935: SHL 00000936: SUB 00000937: AND 00000938: PUSH4 0x55323195 0000093d: PUSH1 0x40 0000093f: MLOAD 00000940: DUP2 00000941: PUSH4 0xffffffff 00000946: AND 00000947: PUSH1 0xe0 00000949: SHL 0000094a: DUP2 0000094b: MSTORE 0000094c: PUSH1 0x04 0000094e: ADD 0000094f: PUSH1 0x20 00000951: PUSH1 0x40 00000953: MLOAD 00000954: DUP1 00000955: DUP4 00000956: SUB 00000957: DUP2 00000958: DUP7 00000959: DUP1 0000095a: EXTCODESIZE 0000095b: ISZERO 0000095c: DUP1 0000095d: ISZERO 0000095e: PUSH2 0x0966 00000961: JUMPI 00000962: PUSH1 0x00 00000964: DUP1 00000965: REVERT 00000966: JUMPDEST 00000967: POP 00000968: GAS 00000969: STATICCALL 0000096a: ISZERO 0000096b: DUP1 0000096c: ISZERO 0000096d: PUSH2 0x097a 00000970: JUMPI 00000971: RETURNDATASIZE 00000972: PUSH1 0x00 00000974: DUP1 00000975: RETURNDATACOPY 00000976: RETURNDATASIZE 00000977: PUSH1 0x00 00000979: REVERT 0000097a: JUMPDEST 0000097b: POP 0000097c: POP 0000097d: POP 0000097e: POP 0000097f: PUSH1 0x40 00000981: MLOAD 00000982: RETURNDATASIZE 00000983: PUSH1 0x20 00000985: DUP2 00000986: LT 00000987: ISZERO 00000988: PUSH2 0x0990 0000098b: JUMPI 0000098c: PUSH1 0x00 0000098e: DUP1 0000098f: REVERT 00000990: JUMPDEST 00000991: POP 00000992: MLOAD 00000993: DUP13 00000994: SWAP1 00000995: PUSH4 0xffffffff 0000099a: PUSH2 0x0f78 0000099d: AND 0000099e: JUMP 0000099f: JUMPDEST 000009a0: SWAP1 000009a1: PUSH4 0xffffffff 000009a6: PUSH2 0x0fda 000009a9: AND 000009aa: JUMP 000009ab: JUMPDEST 000009ac: DUP10 000009ad: SWAP1 000009ae: PUSH4 0xffffffff 000009b3: PUSH2 0x101c 000009b6: AND 000009b7: JUMP 000009b8: JUMPDEST 000009b9: DUP6 000009ba: ADDRESS 000009bb: TIMESTAMP 000009bc: PUSH1 0x40 000009be: MLOAD 000009bf: DUP7 000009c0: PUSH4 0xffffffff 000009c5: AND 000009c6: PUSH1 0xe0 000009c8: SHL 000009c9: DUP2 000009ca: MSTORE 000009cb: PUSH1 0x04 000009cd: ADD 000009ce: DUP1 000009cf: DUP7 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x20 000009d4: ADD 000009d5: DUP6 000009d6: DUP2 000009d7: MSTORE 000009d8: PUSH1 0x20 000009da: ADD 000009db: DUP1 000009dc: PUSH1 0x20 000009de: ADD 000009df: DUP5 000009e0: PUSH1 0x01 000009e2: PUSH1 0x01 000009e4: PUSH1 0xa0 000009e6: SHL 000009e7: SUB 000009e8: AND 000009e9: PUSH1 0x01 000009eb: PUSH1 0x01 000009ed: PUSH1 0xa0 000009ef: SHL 000009f0: SUB 000009f1: AND 000009f2: DUP2 000009f3: MSTORE 000009f4: PUSH1 0x20 000009f6: ADD 000009f7: DUP4 000009f8: DUP2 000009f9: MSTORE 000009fa: PUSH1 0x20 000009fc: ADD 000009fd: DUP3 000009fe: DUP2 000009ff: SUB 00000a00: DUP3 00000a01: MSTORE 00000a02: DUP6 00000a03: DUP2 00000a04: DUP2 00000a05: MLOAD 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x20 00000a0a: ADD 00000a0b: SWAP2 00000a0c: POP 00000a0d: DUP1 00000a0e: MLOAD 00000a0f: SWAP1 00000a10: PUSH1 0x20 00000a12: ADD 00000a13: SWAP1 00000a14: PUSH1 0x20 00000a16: MUL 00000a17: DUP1 00000a18: DUP4 00000a19: DUP4 00000a1a: PUSH1 0x00 00000a1c: JUMPDEST 00000a1d: DUP4 00000a1e: DUP2 00000a1f: LT 00000a20: ISZERO 00000a21: PUSH2 0x0a34 00000a24: JUMPI 00000a25: DUP2 00000a26: DUP2 00000a27: ADD 00000a28: MLOAD 00000a29: DUP4 00000a2a: DUP3 00000a2b: ADD 00000a2c: MSTORE 00000a2d: PUSH1 0x20 00000a2f: ADD 00000a30: PUSH2 0x0a1c 00000a33: JUMP 00000a34: JUMPDEST 00000a35: POP 00000a36: POP 00000a37: POP 00000a38: POP 00000a39: SWAP1 00000a3a: POP 00000a3b: ADD 00000a3c: SWAP7 00000a3d: POP 00000a3e: POP 00000a3f: POP 00000a40: POP 00000a41: POP 00000a42: POP 00000a43: POP 00000a44: PUSH1 0x00 00000a46: PUSH1 0x40 00000a48: MLOAD 00000a49: DUP1 00000a4a: DUP4 00000a4b: SUB 00000a4c: DUP2 00000a4d: PUSH1 0x00 00000a4f: DUP8 00000a50: DUP1 00000a51: EXTCODESIZE 00000a52: ISZERO 00000a53: DUP1 00000a54: ISZERO 00000a55: PUSH2 0x0a5d 00000a58: JUMPI 00000a59: PUSH1 0x00 00000a5b: DUP1 00000a5c: REVERT 00000a5d: JUMPDEST 00000a5e: POP 00000a5f: GAS 00000a60: CALL 00000a61: ISZERO 00000a62: DUP1 00000a63: ISZERO 00000a64: PUSH2 0x0a71 00000a67: JUMPI 00000a68: RETURNDATASIZE 00000a69: PUSH1 0x00 00000a6b: DUP1 00000a6c: RETURNDATACOPY 00000a6d: RETURNDATASIZE 00000a6e: PUSH1 0x00 00000a70: REVERT 00000a71: JUMPDEST 00000a72: POP 00000a73: POP 00000a74: POP 00000a75: POP 00000a76: PUSH1 0x40 00000a78: MLOAD 00000a79: RETURNDATASIZE 00000a7a: PUSH1 0x00 00000a7c: DUP3 00000a7d: RETURNDATACOPY 00000a7e: PUSH1 0x1f 00000a80: RETURNDATASIZE 00000a81: SWAP1 00000a82: DUP2 00000a83: ADD 00000a84: PUSH1 0x1f 00000a86: NOT 00000a87: AND 00000a88: DUP3 00000a89: ADD 00000a8a: PUSH1 0x40 00000a8c: MSTORE 00000a8d: PUSH1 0x20 00000a8f: DUP2 00000a90: LT 00000a91: ISZERO 00000a92: PUSH2 0x0a9a 00000a95: JUMPI 00000a96: PUSH1 0x00 00000a98: DUP1 00000a99: REVERT 00000a9a: JUMPDEST 00000a9b: DUP2 00000a9c: ADD 00000a9d: SWAP1 00000a9e: DUP1 00000a9f: DUP1 00000aa0: MLOAD 00000aa1: PUSH1 0x40 00000aa3: MLOAD 00000aa4: SWAP4 00000aa5: SWAP3 00000aa6: SWAP2 00000aa7: SWAP1 00000aa8: DUP5 00000aa9: PUSH5 0x0100000000 00000aaf: DUP3 00000ab0: GT 00000ab1: ISZERO 00000ab2: PUSH2 0x0aba 00000ab5: JUMPI 00000ab6: PUSH1 0x00 00000ab8: DUP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: SWAP1 00000abc: DUP4 00000abd: ADD 00000abe: SWAP1 00000abf: PUSH1 0x20 00000ac1: DUP3 00000ac2: ADD 00000ac3: DUP6 00000ac4: DUP2 00000ac5: GT 00000ac6: ISZERO 00000ac7: PUSH2 0x0acf 00000aca: JUMPI 00000acb: PUSH1 0x00 00000acd: DUP1 00000ace: REVERT 00000acf: JUMPDEST 00000ad0: DUP3 00000ad1: MLOAD 00000ad2: DUP7 00000ad3: PUSH1 0x20 00000ad5: DUP3 00000ad6: MUL 00000ad7: DUP4 00000ad8: ADD 00000ad9: GT 00000ada: PUSH5 0x0100000000 00000ae0: DUP3 00000ae1: GT 00000ae2: OR 00000ae3: ISZERO 00000ae4: PUSH2 0x0aec 00000ae7: JUMPI 00000ae8: PUSH1 0x00 00000aea: DUP1 00000aeb: REVERT 00000aec: JUMPDEST 00000aed: DUP3 00000aee: MSTORE 00000aef: POP 00000af0: DUP2 00000af1: MLOAD 00000af2: PUSH1 0x20 00000af4: SWAP2 00000af5: DUP3 00000af6: ADD 00000af7: SWAP3 00000af8: DUP3 00000af9: ADD 00000afa: SWAP2 00000afb: MUL 00000afc: DUP1 00000afd: DUP4 00000afe: DUP4 00000aff: PUSH1 0x00 00000b01: JUMPDEST 00000b02: DUP4 00000b03: DUP2 00000b04: LT 00000b05: ISZERO 00000b06: PUSH2 0x0b19 00000b09: JUMPI 00000b0a: DUP2 00000b0b: DUP2 00000b0c: ADD 00000b0d: MLOAD 00000b0e: DUP4 00000b0f: DUP3 00000b10: ADD 00000b11: MSTORE 00000b12: PUSH1 0x20 00000b14: ADD 00000b15: PUSH2 0x0b01 00000b18: JUMP 00000b19: JUMPDEST 00000b1a: POP 00000b1b: POP 00000b1c: POP 00000b1d: POP 00000b1e: SWAP1 00000b1f: POP 00000b20: ADD 00000b21: PUSH1 0x40 00000b23: MSTORE 00000b24: POP 00000b25: POP 00000b26: POP 00000b27: SWAP1 00000b28: POP 00000b29: DUP8 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0x01 00000b2e: PUSH1 0xa0 00000b30: SHL 00000b31: SUB 00000b32: AND 00000b33: PUSH32 0x5d9559ada0f8509a7fffb4c05fa6f4f9df6772ac68a8f6ac87c36f00ff3843a1 00000b54: DUP3 00000b55: PUSH1 0x00 00000b57: DUP2 00000b58: MLOAD 00000b59: DUP2 00000b5a: LT 00000b5b: PUSH2 0x0b60 00000b5e: JUMPI 00000b5f: INVALID 00000b60: JUMPDEST 00000b61: PUSH1 0x20 00000b63: MUL 00000b64: PUSH1 0x20 00000b66: ADD 00000b67: ADD 00000b68: MLOAD 00000b69: DUP4 00000b6a: PUSH1 0x01 00000b6c: DUP7 00000b6d: MLOAD 00000b6e: SUB 00000b6f: DUP2 00000b70: MLOAD 00000b71: DUP2 00000b72: LT 00000b73: PUSH2 0x0b78 00000b76: JUMPI 00000b77: INVALID 00000b78: JUMPDEST 00000b79: PUSH1 0x20 00000b7b: MUL 00000b7c: PUSH1 0x20 00000b7e: ADD 00000b7f: ADD 00000b80: MLOAD 00000b81: PUSH1 0x40 00000b83: MLOAD 00000b84: DUP1 00000b85: DUP4 00000b86: DUP2 00000b87: MSTORE 00000b88: PUSH1 0x20 00000b8a: ADD 00000b8b: DUP3 00000b8c: DUP2 00000b8d: MSTORE 00000b8e: PUSH1 0x20 00000b90: ADD 00000b91: SWAP3 00000b92: POP 00000b93: POP 00000b94: POP 00000b95: PUSH1 0x40 00000b97: MLOAD 00000b98: DUP1 00000b99: SWAP2 00000b9a: SUB 00000b9b: SWAP1 00000b9c: LOG2 00000b9d: POP 00000b9e: POP 00000b9f: POP 00000ba0: POP 00000ba1: POP 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: JUMP 00000ba6: JUMPDEST 00000ba7: PUSH32 0x00000000000000000000000033349b282065b0284d756f0577fb39c158f935e6 00000bc8: DUP2 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH1 0x00 00000bcd: DUP1 00000bce: SWAP1 00000bcf: SLOAD 00000bd0: SWAP1 00000bd1: PUSH2 0x0100 00000bd4: EXP 00000bd5: SWAP1 00000bd6: DIV 00000bd7: PUSH1 0x01 00000bd9: PUSH1 0x01 00000bdb: PUSH1 0xa0 00000bdd: SHL 00000bde: SUB 00000bdf: AND 00000be0: PUSH1 0x01 00000be2: PUSH1 0x01 00000be4: PUSH1 0xa0 00000be6: SHL 00000be7: SUB 00000be8: AND 00000be9: PUSH4 0x0c340a24 00000bee: PUSH1 0x40 00000bf0: MLOAD 00000bf1: DUP2 00000bf2: PUSH4 0xffffffff 00000bf7: AND 00000bf8: PUSH1 0xe0 00000bfa: SHL 00000bfb: DUP2 00000bfc: MSTORE 00000bfd: PUSH1 0x04 00000bff: ADD 00000c00: PUSH1 0x20 00000c02: PUSH1 0x40 00000c04: MLOAD 00000c05: DUP1 00000c06: DUP4 00000c07: SUB 00000c08: DUP2 00000c09: DUP7 00000c0a: DUP1 00000c0b: EXTCODESIZE 00000c0c: ISZERO 00000c0d: DUP1 00000c0e: ISZERO 00000c0f: PUSH2 0x0c17 00000c12: JUMPI 00000c13: PUSH1 0x00 00000c15: DUP1 00000c16: REVERT 00000c17: JUMPDEST 00000c18: POP 00000c19: GAS 00000c1a: STATICCALL 00000c1b: ISZERO 00000c1c: DUP1 00000c1d: ISZERO 00000c1e: PUSH2 0x0c2b 00000c21: JUMPI 00000c22: RETURNDATASIZE 00000c23: PUSH1 0x00 00000c25: DUP1 00000c26: RETURNDATACOPY 00000c27: RETURNDATASIZE 00000c28: PUSH1 0x00 00000c2a: REVERT 00000c2b: JUMPDEST 00000c2c: POP 00000c2d: POP 00000c2e: POP 00000c2f: POP 00000c30: PUSH1 0x40 00000c32: MLOAD 00000c33: RETURNDATASIZE 00000c34: PUSH1 0x20 00000c36: DUP2 00000c37: LT 00000c38: ISZERO 00000c39: PUSH2 0x0c41 00000c3c: JUMPI 00000c3d: PUSH1 0x00 00000c3f: DUP1 00000c40: REVERT 00000c41: JUMPDEST 00000c42: POP 00000c43: MLOAD 00000c44: PUSH1 0x01 00000c46: PUSH1 0x01 00000c48: PUSH1 0xa0 00000c4a: SHL 00000c4b: SUB 00000c4c: AND 00000c4d: CALLER 00000c4e: EQ 00000c4f: PUSH2 0x0c8c 00000c52: JUMPI 00000c53: PUSH1 0x40 00000c55: DUP1 00000c56: MLOAD 00000c57: PUSH3 0x461bcd 00000c5b: PUSH1 0xe5 00000c5d: SHL 00000c5e: DUP2 00000c5f: MSTORE 00000c60: PUSH1 0x20 00000c62: PUSH1 0x04 00000c64: DUP3 00000c65: ADD 00000c66: MSTORE 00000c67: PUSH1 0x0a 00000c69: PUSH1 0x24 00000c6b: DUP3 00000c6c: ADD 00000c6d: MSTORE 00000c6e: PUSH10 0x26aa1d2727aa2fa3a7ab 00000c79: PUSH1 0xb1 00000c7b: SHL 00000c7c: PUSH1 0x44 00000c7e: DUP3 00000c7f: ADD 00000c80: MSTORE 00000c81: SWAP1 00000c82: MLOAD 00000c83: SWAP1 00000c84: DUP2 00000c85: SWAP1 00000c86: SUB 00000c87: PUSH1 0x64 00000c89: ADD 00000c8a: SWAP1 00000c8b: REVERT 00000c8c: JUMPDEST 00000c8d: PUSH2 0x0ca6 00000c90: PUSH1 0x01 00000c92: PUSH1 0x01 00000c94: PUSH1 0xa0 00000c96: SHL 00000c97: SUB 00000c98: DUP4 00000c99: AND 00000c9a: CALLER 00000c9b: DUP4 00000c9c: PUSH4 0xffffffff 00000ca1: PUSH2 0x0e0e 00000ca4: AND 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: PUSH1 0x40 00000ca9: DUP1 00000caa: MLOAD 00000cab: DUP3 00000cac: DUP2 00000cad: MSTORE 00000cae: SWAP1 00000caf: MLOAD 00000cb0: PUSH1 0x01 00000cb2: PUSH1 0x01 00000cb4: PUSH1 0xa0 00000cb6: SHL 00000cb7: SUB 00000cb8: DUP5 00000cb9: AND 00000cba: SWAP2 00000cbb: PUSH32 0xa0ea1d68f48cd2ff8a7db3aaa2d99dbdb957e097c7cc559f7e738832678c41ff 00000cdc: SWAP2 00000cdd: SWAP1 00000cde: DUP2 00000cdf: SWAP1 00000ce0: SUB 00000ce1: PUSH1 0x20 00000ce3: ADD 00000ce4: SWAP1 00000ce5: LOG2 00000ce6: POP 00000ce7: POP 00000ce8: JUMP 00000ce9: JUMPDEST 00000cea: PUSH1 0x00 00000cec: SLOAD 00000ced: PUSH1 0x01 00000cef: PUSH1 0x01 00000cf1: PUSH1 0xa0 00000cf3: SHL 00000cf4: SUB 00000cf5: AND 00000cf6: DUP2 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x00 00000cfb: DUP1 00000cfc: SWAP1 00000cfd: SLOAD 00000cfe: SWAP1 00000cff: PUSH2 0x0100 00000d02: EXP 00000d03: SWAP1 00000d04: DIV 00000d05: PUSH1 0x01 00000d07: PUSH1 0x01 00000d09: PUSH1 0xa0 00000d0b: SHL 00000d0c: SUB 00000d0d: AND 00000d0e: PUSH1 0x01 00000d10: PUSH1 0x01 00000d12: PUSH1 0xa0 00000d14: SHL 00000d15: SUB 00000d16: AND 00000d17: PUSH4 0x0c340a24 00000d1c: PUSH1 0x40 00000d1e: MLOAD 00000d1f: DUP2 00000d20: PUSH4 0xffffffff 00000d25: AND 00000d26: PUSH1 0xe0 00000d28: SHL 00000d29: DUP2 00000d2a: MSTORE 00000d2b: PUSH1 0x04 00000d2d: ADD 00000d2e: PUSH1 0x20 00000d30: PUSH1 0x40 00000d32: MLOAD 00000d33: DUP1 00000d34: DUP4 00000d35: SUB 00000d36: DUP2 00000d37: DUP7 00000d38: DUP1 00000d39: EXTCODESIZE 00000d3a: ISZERO 00000d3b: DUP1 00000d3c: ISZERO 00000d3d: PUSH2 0x0d45 00000d40: JUMPI 00000d41: PUSH1 0x00 00000d43: DUP1 00000d44: REVERT 00000d45: JUMPDEST 00000d46: POP 00000d47: GAS 00000d48: STATICCALL 00000d49: ISZERO 00000d4a: DUP1 00000d4b: ISZERO 00000d4c: PUSH2 0x0d59 00000d4f: JUMPI 00000d50: RETURNDATASIZE 00000d51: PUSH1 0x00 00000d53: DUP1 00000d54: RETURNDATACOPY 00000d55: RETURNDATASIZE 00000d56: PUSH1 0x00 00000d58: REVERT 00000d59: JUMPDEST 00000d5a: POP 00000d5b: POP 00000d5c: POP 00000d5d: POP 00000d5e: PUSH1 0x40 00000d60: MLOAD 00000d61: RETURNDATASIZE 00000d62: PUSH1 0x20 00000d64: DUP2 00000d65: LT 00000d66: ISZERO 00000d67: PUSH2 0x0d6f 00000d6a: JUMPI 00000d6b: PUSH1 0x00 00000d6d: DUP1 00000d6e: REVERT 00000d6f: JUMPDEST 00000d70: POP 00000d71: MLOAD 00000d72: PUSH1 0x01 00000d74: PUSH1 0x01 00000d76: PUSH1 0xa0 00000d78: SHL 00000d79: SUB 00000d7a: AND 00000d7b: CALLER 00000d7c: EQ 00000d7d: PUSH2 0x0dba 00000d80: JUMPI 00000d81: PUSH1 0x40 00000d83: DUP1 00000d84: MLOAD 00000d85: PUSH3 0x461bcd 00000d89: PUSH1 0xe5 00000d8b: SHL 00000d8c: DUP2 00000d8d: MSTORE 00000d8e: PUSH1 0x20 00000d90: PUSH1 0x04 00000d92: DUP3 00000d93: ADD 00000d94: MSTORE 00000d95: PUSH1 0x0a 00000d97: PUSH1 0x24 00000d99: DUP3 00000d9a: ADD 00000d9b: MSTORE 00000d9c: PUSH10 0x26aa1d2727aa2fa3a7ab 00000da7: PUSH1 0xb1 00000da9: SHL 00000daa: PUSH1 0x44 00000dac: DUP3 00000dad: ADD 00000dae: MSTORE 00000daf: SWAP1 00000db0: MLOAD 00000db1: SWAP1 00000db2: DUP2 00000db3: SWAP1 00000db4: SUB 00000db5: PUSH1 0x64 00000db7: ADD 00000db8: SWAP1 00000db9: REVERT 00000dba: JUMPDEST 00000dbb: PUSH1 0x00 00000dbd: DUP1 00000dbe: SLOAD 00000dbf: PUSH1 0x01 00000dc1: PUSH1 0x01 00000dc3: PUSH1 0xa0 00000dc5: SHL 00000dc6: SUB 00000dc7: DUP4 00000dc8: AND 00000dc9: PUSH1 0x01 00000dcb: PUSH1 0x01 00000dcd: PUSH1 0xa0 00000dcf: SHL 00000dd0: SUB 00000dd1: NOT 00000dd2: SWAP1 00000dd3: SWAP2 00000dd4: AND 00000dd5: DUP2 00000dd6: OR 00000dd7: SWAP1 00000dd8: SWAP2 00000dd9: SSTORE 00000dda: PUSH1 0x40 00000ddc: DUP1 00000ddd: MLOAD 00000dde: SWAP2 00000ddf: DUP3 00000de0: MSTORE 00000de1: MLOAD 00000de2: PUSH32 0xda36f26252aa35d26238345e2c339cdbfeb26ce49721030ca8e907ab1701ac8f 00000e03: SWAP2 00000e04: DUP2 00000e05: SWAP1 00000e06: SUB 00000e07: PUSH1 0x20 00000e09: ADD 00000e0a: SWAP1 00000e0b: LOG1 00000e0c: POP 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: PUSH1 0x40 00000e11: DUP1 00000e12: MLOAD 00000e13: PUSH1 0x01 00000e15: PUSH1 0x01 00000e17: PUSH1 0xa0 00000e19: SHL 00000e1a: SUB 00000e1b: DUP5 00000e1c: AND 00000e1d: PUSH1 0x24 00000e1f: DUP3 00000e20: ADD 00000e21: MSTORE 00000e22: PUSH1 0x44 00000e24: DUP1 00000e25: DUP3 00000e26: ADD 00000e27: DUP5 00000e28: SWAP1 00000e29: MSTORE 00000e2a: DUP3 00000e2b: MLOAD 00000e2c: DUP1 00000e2d: DUP4 00000e2e: SUB 00000e2f: SWAP1 00000e30: SWAP2 00000e31: ADD 00000e32: DUP2 00000e33: MSTORE 00000e34: PUSH1 0x64 00000e36: SWAP1 00000e37: SWAP2 00000e38: ADD 00000e39: SWAP1 00000e3a: SWAP2 00000e3b: MSTORE 00000e3c: PUSH1 0x20 00000e3e: DUP2 00000e3f: ADD 00000e40: DUP1 00000e41: MLOAD 00000e42: PUSH1 0x01 00000e44: PUSH1 0x01 00000e46: PUSH1 0xe0 00000e48: SHL 00000e49: SUB 00000e4a: AND 00000e4b: PUSH4 0xa9059cbb 00000e50: PUSH1 0xe0 00000e52: SHL 00000e53: OR 00000e54: SWAP1 00000e55: MSTORE 00000e56: PUSH2 0x0e60 00000e59: SWAP1 00000e5a: DUP5 00000e5b: SWAP1 00000e5c: PUSH2 0x105e 00000e5f: JUMP 00000e60: JUMPDEST 00000e61: POP 00000e62: POP 00000e63: POP 00000e64: JUMP 00000e65: JUMPDEST 00000e66: DUP1 00000e67: ISZERO 00000e68: DUP1 00000e69: PUSH2 0x0eeb 00000e6c: JUMPI 00000e6d: POP 00000e6e: PUSH1 0x40 00000e70: DUP1 00000e71: MLOAD 00000e72: PUSH4 0x6eb1769f 00000e77: PUSH1 0xe1 00000e79: SHL 00000e7a: DUP2 00000e7b: MSTORE 00000e7c: ADDRESS 00000e7d: PUSH1 0x04 00000e7f: DUP3 00000e80: ADD 00000e81: MSTORE 00000e82: PUSH1 0x01 00000e84: PUSH1 0x01 00000e86: PUSH1 0xa0 00000e88: SHL 00000e89: SUB 00000e8a: DUP5 00000e8b: DUP2 00000e8c: AND 00000e8d: PUSH1 0x24 00000e8f: DUP4 00000e90: ADD 00000e91: MSTORE 00000e92: SWAP2 00000e93: MLOAD 00000e94: SWAP2 00000e95: DUP6 00000e96: AND 00000e97: SWAP2 00000e98: PUSH4 0xdd62ed3e 00000e9d: SWAP2 00000e9e: PUSH1 0x44 00000ea0: DUP1 00000ea1: DUP3 00000ea2: ADD 00000ea3: SWAP3 00000ea4: PUSH1 0x20 00000ea6: SWAP3 00000ea7: SWAP1 00000ea8: SWAP2 00000ea9: SWAP1 00000eaa: DUP3 00000eab: SWAP1 00000eac: SUB 00000ead: ADD 00000eae: DUP2 00000eaf: DUP7 00000eb0: DUP1 00000eb1: EXTCODESIZE 00000eb2: ISZERO 00000eb3: DUP1 00000eb4: ISZERO 00000eb5: PUSH2 0x0ebd 00000eb8: JUMPI 00000eb9: PUSH1 0x00 00000ebb: DUP1 00000ebc: REVERT 00000ebd: JUMPDEST 00000ebe: POP 00000ebf: GAS 00000ec0: STATICCALL 00000ec1: ISZERO 00000ec2: DUP1 00000ec3: ISZERO 00000ec4: PUSH2 0x0ed1 00000ec7: JUMPI 00000ec8: RETURNDATASIZE 00000ec9: PUSH1 0x00 00000ecb: DUP1 00000ecc: RETURNDATACOPY 00000ecd: RETURNDATASIZE 00000ece: PUSH1 0x00 00000ed0: REVERT 00000ed1: JUMPDEST 00000ed2: POP 00000ed3: POP 00000ed4: POP 00000ed5: POP 00000ed6: PUSH1 0x40 00000ed8: MLOAD 00000ed9: RETURNDATASIZE 00000eda: PUSH1 0x20 00000edc: DUP2 00000edd: LT 00000ede: ISZERO 00000edf: PUSH2 0x0ee7 00000ee2: JUMPI 00000ee3: PUSH1 0x00 00000ee5: DUP1 00000ee6: REVERT 00000ee7: JUMPDEST 00000ee8: POP 00000ee9: MLOAD 00000eea: ISZERO 00000eeb: JUMPDEST 00000eec: PUSH2 0x0f26 00000eef: JUMPI 00000ef0: PUSH1 0x40 00000ef2: MLOAD 00000ef3: PUSH3 0x461bcd 00000ef7: PUSH1 0xe5 00000ef9: SHL 00000efa: DUP2 00000efb: MSTORE 00000efc: PUSH1 0x04 00000efe: ADD 00000eff: DUP1 00000f00: DUP1 00000f01: PUSH1 0x20 00000f03: ADD 00000f04: DUP3 00000f05: DUP2 00000f06: SUB 00000f07: DUP3 00000f08: MSTORE 00000f09: PUSH1 0x36 00000f0b: DUP2 00000f0c: MSTORE 00000f0d: PUSH1 0x20 00000f0f: ADD 00000f10: DUP1 00000f11: PUSH2 0x145e 00000f14: PUSH1 0x36 00000f16: SWAP2 00000f17: CODECOPY 00000f18: PUSH1 0x40 00000f1a: ADD 00000f1b: SWAP2 00000f1c: POP 00000f1d: POP 00000f1e: PUSH1 0x40 00000f20: MLOAD 00000f21: DUP1 00000f22: SWAP2 00000f23: SUB 00000f24: SWAP1 00000f25: REVERT 00000f26: JUMPDEST 00000f27: PUSH1 0x40 00000f29: DUP1 00000f2a: MLOAD 00000f2b: PUSH1 0x01 00000f2d: PUSH1 0x01 00000f2f: PUSH1 0xa0 00000f31: SHL 00000f32: SUB 00000f33: DUP5 00000f34: AND 00000f35: PUSH1 0x24 00000f37: DUP3 00000f38: ADD 00000f39: MSTORE 00000f3a: PUSH1 0x44 00000f3c: DUP1 00000f3d: DUP3 00000f3e: ADD 00000f3f: DUP5 00000f40: SWAP1 00000f41: MSTORE 00000f42: DUP3 00000f43: MLOAD 00000f44: DUP1 00000f45: DUP4 00000f46: SUB 00000f47: SWAP1 00000f48: SWAP2 00000f49: ADD 00000f4a: DUP2 00000f4b: MSTORE 00000f4c: PUSH1 0x64 00000f4e: SWAP1 00000f4f: SWAP2 00000f50: ADD 00000f51: SWAP1 00000f52: SWAP2 00000f53: MSTORE 00000f54: PUSH1 0x20 00000f56: DUP2 00000f57: ADD 00000f58: DUP1 00000f59: MLOAD 00000f5a: PUSH1 0x01 00000f5c: PUSH1 0x01 00000f5e: PUSH1 0xe0 00000f60: SHL 00000f61: SUB 00000f62: AND 00000f63: PUSH4 0x095ea7b3 00000f68: PUSH1 0xe0 00000f6a: SHL 00000f6b: OR 00000f6c: SWAP1 00000f6d: MSTORE 00000f6e: PUSH2 0x0e60 00000f71: SWAP1 00000f72: DUP5 00000f73: SWAP1 00000f74: PUSH2 0x105e 00000f77: JUMP 00000f78: JUMPDEST 00000f79: PUSH1 0x00 00000f7b: DUP3 00000f7c: PUSH2 0x0f87 00000f7f: JUMPI 00000f80: POP 00000f81: PUSH1 0x00 00000f83: PUSH2 0x0fd4 00000f86: JUMP 00000f87: JUMPDEST 00000f88: DUP3 00000f89: DUP3 00000f8a: MUL 00000f8b: DUP3 00000f8c: DUP5 00000f8d: DUP3 00000f8e: DUP2 00000f8f: PUSH2 0x0f94 00000f92: JUMPI 00000f93: INVALID 00000f94: JUMPDEST 00000f95: DIV 00000f96: EQ 00000f97: PUSH2 0x0fd1 00000f9a: JUMPI 00000f9b: PUSH1 0x40 00000f9d: MLOAD 00000f9e: PUSH3 0x461bcd 00000fa2: PUSH1 0xe5 00000fa4: SHL 00000fa5: DUP2 00000fa6: MSTORE 00000fa7: PUSH1 0x04 00000fa9: ADD 00000faa: DUP1 00000fab: DUP1 00000fac: PUSH1 0x20 00000fae: ADD 00000faf: DUP3 00000fb0: DUP2 00000fb1: SUB 00000fb2: DUP3 00000fb3: MSTORE 00000fb4: PUSH1 0x21 00000fb6: DUP2 00000fb7: MSTORE 00000fb8: PUSH1 0x20 00000fba: ADD 00000fbb: DUP1 00000fbc: PUSH2 0x1413 00000fbf: PUSH1 0x21 00000fc1: SWAP2 00000fc2: CODECOPY 00000fc3: PUSH1 0x40 00000fc5: ADD 00000fc6: SWAP2 00000fc7: POP 00000fc8: POP 00000fc9: PUSH1 0x40 00000fcb: MLOAD 00000fcc: DUP1 00000fcd: SWAP2 00000fce: SUB 00000fcf: SWAP1 00000fd0: REVERT 00000fd1: JUMPDEST 00000fd2: SWAP1 00000fd3: POP 00000fd4: JUMPDEST 00000fd5: SWAP3 00000fd6: SWAP2 00000fd7: POP 00000fd8: POP 00000fd9: JUMP 00000fda: JUMPDEST 00000fdb: PUSH1 0x00 00000fdd: PUSH2 0x0fd1 00000fe0: DUP4 00000fe1: DUP4 00000fe2: PUSH1 0x40 00000fe4: MLOAD 00000fe5: DUP1 00000fe6: PUSH1 0x40 00000fe8: ADD 00000fe9: PUSH1 0x40 00000feb: MSTORE 00000fec: DUP1 00000fed: PUSH1 0x1a 00000fef: DUP2 00000ff0: MSTORE 00000ff1: PUSH1 0x20 00000ff3: ADD 00000ff4: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001015: DUP2 00001016: MSTORE 00001017: POP 00001018: PUSH2 0x110f 0000101b: JUMP 0000101c: JUMPDEST 0000101d: PUSH1 0x00 0000101f: PUSH2 0x0fd1 00001022: DUP4 00001023: DUP4 00001024: PUSH1 0x40 00001026: MLOAD 00001027: DUP1 00001028: PUSH1 0x40 0000102a: ADD 0000102b: PUSH1 0x40 0000102d: MSTORE 0000102e: DUP1 0000102f: PUSH1 0x1e 00001031: DUP2 00001032: MSTORE 00001033: PUSH1 0x20 00001035: ADD 00001036: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001057: DUP2 00001058: MSTORE 00001059: POP 0000105a: PUSH2 0x11b3 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH1 0x60 00001061: PUSH2 0x10b3 00001064: DUP3 00001065: PUSH1 0x40 00001067: MLOAD 00001068: DUP1 00001069: PUSH1 0x40 0000106b: ADD 0000106c: PUSH1 0x40 0000106e: MSTORE 0000106f: DUP1 00001070: PUSH1 0x20 00001072: DUP2 00001073: MSTORE 00001074: PUSH1 0x20 00001076: ADD 00001077: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001098: DUP2 00001099: MSTORE 0000109a: POP 0000109b: DUP6 0000109c: PUSH1 0x01 0000109e: PUSH1 0x01 000010a0: PUSH1 0xa0 000010a2: SHL 000010a3: SUB 000010a4: AND 000010a5: PUSH2 0x120d 000010a8: SWAP1 000010a9: SWAP3 000010aa: SWAP2 000010ab: SWAP1 000010ac: PUSH4 0xffffffff 000010b1: AND 000010b2: JUMP 000010b3: JUMPDEST 000010b4: DUP1 000010b5: MLOAD 000010b6: SWAP1 000010b7: SWAP2 000010b8: POP 000010b9: ISZERO 000010ba: PUSH2 0x0e60 000010bd: JUMPI 000010be: DUP1 000010bf: DUP1 000010c0: PUSH1 0x20 000010c2: ADD 000010c3: SWAP1 000010c4: MLOAD 000010c5: PUSH1 0x20 000010c7: DUP2 000010c8: LT 000010c9: ISZERO 000010ca: PUSH2 0x10d2 000010cd: JUMPI 000010ce: PUSH1 0x00 000010d0: DUP1 000010d1: REVERT 000010d2: JUMPDEST 000010d3: POP 000010d4: MLOAD 000010d5: PUSH2 0x0e60 000010d8: JUMPI 000010d9: PUSH1 0x40 000010db: MLOAD 000010dc: PUSH3 0x461bcd 000010e0: PUSH1 0xe5 000010e2: SHL 000010e3: DUP2 000010e4: MSTORE 000010e5: PUSH1 0x04 000010e7: ADD 000010e8: DUP1 000010e9: DUP1 000010ea: PUSH1 0x20 000010ec: ADD 000010ed: DUP3 000010ee: DUP2 000010ef: SUB 000010f0: DUP3 000010f1: MSTORE 000010f2: PUSH1 0x2a 000010f4: DUP2 000010f5: MSTORE 000010f6: PUSH1 0x20 000010f8: ADD 000010f9: DUP1 000010fa: PUSH2 0x1434 000010fd: PUSH1 0x2a 000010ff: SWAP2 00001100: CODECOPY 00001101: PUSH1 0x40 00001103: ADD 00001104: SWAP2 00001105: POP 00001106: POP 00001107: PUSH1 0x40 00001109: MLOAD 0000110a: DUP1 0000110b: SWAP2 0000110c: SUB 0000110d: SWAP1 0000110e: REVERT 0000110f: JUMPDEST 00001110: PUSH1 0x00 00001112: DUP2 00001113: DUP4 00001114: PUSH2 0x119b 00001117: JUMPI 00001118: PUSH1 0x40 0000111a: MLOAD 0000111b: PUSH3 0x461bcd 0000111f: PUSH1 0xe5 00001121: SHL 00001122: DUP2 00001123: MSTORE 00001124: PUSH1 0x04 00001126: ADD 00001127: DUP1 00001128: DUP1 00001129: PUSH1 0x20 0000112b: ADD 0000112c: DUP3 0000112d: DUP2 0000112e: SUB 0000112f: DUP3 00001130: MSTORE 00001131: DUP4 00001132: DUP2 00001133: DUP2 00001134: MLOAD 00001135: DUP2 00001136: MSTORE 00001137: PUSH1 0x20 00001139: ADD 0000113a: SWAP2 0000113b: POP 0000113c: DUP1 0000113d: MLOAD 0000113e: SWAP1 0000113f: PUSH1 0x20 00001141: ADD 00001142: SWAP1 00001143: DUP1 00001144: DUP4 00001145: DUP4 00001146: PUSH1 0x00 00001148: JUMPDEST 00001149: DUP4 0000114a: DUP2 0000114b: LT 0000114c: ISZERO 0000114d: PUSH2 0x1160 00001150: JUMPI 00001151: DUP2 00001152: DUP2 00001153: ADD 00001154: MLOAD 00001155: DUP4 00001156: DUP3 00001157: ADD 00001158: MSTORE 00001159: PUSH1 0x20 0000115b: ADD 0000115c: PUSH2 0x1148 0000115f: JUMP 00001160: JUMPDEST 00001161: POP 00001162: POP 00001163: POP 00001164: POP 00001165: SWAP1 00001166: POP 00001167: SWAP1 00001168: DUP2 00001169: ADD 0000116a: SWAP1 0000116b: PUSH1 0x1f 0000116d: AND 0000116e: DUP1 0000116f: ISZERO 00001170: PUSH2 0x118d 00001173: JUMPI 00001174: DUP1 00001175: DUP3 00001176: SUB 00001177: DUP1 00001178: MLOAD 00001179: PUSH1 0x01 0000117b: DUP4 0000117c: PUSH1 0x20 0000117e: SUB 0000117f: PUSH2 0x0100 00001182: EXP 00001183: SUB 00001184: NOT 00001185: AND 00001186: DUP2 00001187: MSTORE 00001188: PUSH1 0x20 0000118a: ADD 0000118b: SWAP2 0000118c: POP 0000118d: JUMPDEST 0000118e: POP 0000118f: SWAP3 00001190: POP 00001191: POP 00001192: POP 00001193: PUSH1 0x40 00001195: MLOAD 00001196: DUP1 00001197: SWAP2 00001198: SUB 00001199: SWAP1 0000119a: REVERT 0000119b: JUMPDEST 0000119c: POP 0000119d: PUSH1 0x00 0000119f: DUP4 000011a0: DUP6 000011a1: DUP2 000011a2: PUSH2 0x11a7 000011a5: JUMPI 000011a6: INVALID 000011a7: JUMPDEST 000011a8: DIV 000011a9: SWAP2 000011aa: POP 000011ab: POP 000011ac: JUMPDEST 000011ad: SWAP4 000011ae: SWAP3 000011af: POP 000011b0: POP 000011b1: POP 000011b2: JUMP 000011b3: JUMPDEST 000011b4: PUSH1 0x00 000011b6: DUP2 000011b7: DUP5 000011b8: DUP5 000011b9: GT 000011ba: ISZERO 000011bb: PUSH2 0x1205 000011be: JUMPI 000011bf: PUSH1 0x40 000011c1: MLOAD 000011c2: PUSH3 0x461bcd 000011c6: PUSH1 0xe5 000011c8: SHL 000011c9: DUP2 000011ca: MSTORE 000011cb: PUSH1 0x20 000011cd: PUSH1 0x04 000011cf: DUP3 000011d0: ADD 000011d1: DUP2 000011d2: DUP2 000011d3: MSTORE 000011d4: DUP4 000011d5: MLOAD 000011d6: PUSH1 0x24 000011d8: DUP5 000011d9: ADD 000011da: MSTORE 000011db: DUP4 000011dc: MLOAD 000011dd: SWAP1 000011de: SWAP3 000011df: DUP4 000011e0: SWAP3 000011e1: PUSH1 0x44 000011e3: SWAP1 000011e4: SWAP2 000011e5: ADD 000011e6: SWAP2 000011e7: SWAP1 000011e8: DUP6 000011e9: ADD 000011ea: SWAP1 000011eb: DUP1 000011ec: DUP4 000011ed: DUP4 000011ee: PUSH1 0x00 000011f0: DUP4 000011f1: ISZERO 000011f2: PUSH2 0x1160 000011f5: JUMPI 000011f6: DUP2 000011f7: DUP2 000011f8: ADD 000011f9: MLOAD 000011fa: DUP4 000011fb: DUP3 000011fc: ADD 000011fd: MSTORE 000011fe: PUSH1 0x20 00001200: ADD 00001201: PUSH2 0x1148 00001204: JUMP 00001205: JUMPDEST 00001206: POP 00001207: POP 00001208: POP 00001209: SWAP1 0000120a: SUB 0000120b: SWAP1 0000120c: JUMP 0000120d: JUMPDEST 0000120e: PUSH1 0x60 00001210: PUSH2 0x121c 00001213: DUP5 00001214: DUP5 00001215: PUSH1 0x00 00001217: DUP6 00001218: PUSH2 0x1224 0000121b: JUMP 0000121c: JUMPDEST 0000121d: SWAP5 0000121e: SWAP4 0000121f: POP 00001220: POP 00001221: POP 00001222: POP 00001223: JUMP 00001224: JUMPDEST 00001225: PUSH1 0x60 00001227: DUP3 00001228: SELFBALANCE 00001229: LT 0000122a: ISZERO 0000122b: PUSH2 0x1265 0000122e: JUMPI 0000122f: PUSH1 0x40 00001231: MLOAD 00001232: PUSH3 0x461bcd 00001236: PUSH1 0xe5 00001238: SHL 00001239: DUP2 0000123a: MSTORE 0000123b: PUSH1 0x04 0000123d: ADD 0000123e: DUP1 0000123f: DUP1 00001240: PUSH1 0x20 00001242: ADD 00001243: DUP3 00001244: DUP2 00001245: SUB 00001246: DUP3 00001247: MSTORE 00001248: PUSH1 0x26 0000124a: DUP2 0000124b: MSTORE 0000124c: PUSH1 0x20 0000124e: ADD 0000124f: DUP1 00001250: PUSH2 0x13ed 00001253: PUSH1 0x26 00001255: SWAP2 00001256: CODECOPY 00001257: PUSH1 0x40 00001259: ADD 0000125a: SWAP2 0000125b: POP 0000125c: POP 0000125d: PUSH1 0x40 0000125f: MLOAD 00001260: DUP1 00001261: SWAP2 00001262: SUB 00001263: SWAP1 00001264: REVERT 00001265: JUMPDEST 00001266: PUSH2 0x126e 00001269: DUP6 0000126a: PUSH2 0x1380 0000126d: JUMP 0000126e: JUMPDEST 0000126f: PUSH2 0x12bf 00001272: JUMPI 00001273: PUSH1 0x40 00001275: DUP1 00001276: MLOAD 00001277: PUSH3 0x461bcd 0000127b: PUSH1 0xe5 0000127d: SHL 0000127e: DUP2 0000127f: MSTORE 00001280: PUSH1 0x20 00001282: PUSH1 0x04 00001284: DUP3 00001285: ADD 00001286: MSTORE 00001287: PUSH1 0x1d 00001289: PUSH1 0x24 0000128b: DUP3 0000128c: ADD 0000128d: MSTORE 0000128e: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000012af: PUSH1 0x44 000012b1: DUP3 000012b2: ADD 000012b3: MSTORE 000012b4: SWAP1 000012b5: MLOAD 000012b6: SWAP1 000012b7: DUP2 000012b8: SWAP1 000012b9: SUB 000012ba: PUSH1 0x64 000012bc: ADD 000012bd: SWAP1 000012be: REVERT 000012bf: JUMPDEST 000012c0: PUSH1 0x00 000012c2: PUSH1 0x60 000012c4: DUP7 000012c5: PUSH1 0x01 000012c7: PUSH1 0x01 000012c9: PUSH1 0xa0 000012cb: SHL 000012cc: SUB 000012cd: AND 000012ce: DUP6 000012cf: DUP8 000012d0: PUSH1 0x40 000012d2: MLOAD 000012d3: DUP1 000012d4: DUP3 000012d5: DUP1 000012d6: MLOAD 000012d7: SWAP1 000012d8: PUSH1 0x20 000012da: ADD 000012db: SWAP1 000012dc: DUP1 000012dd: DUP4 000012de: DUP4 000012df: JUMPDEST 000012e0: PUSH1 0x20 000012e2: DUP4 000012e3: LT 000012e4: PUSH2 0x12fe 000012e7: JUMPI 000012e8: DUP1 000012e9: MLOAD 000012ea: DUP3 000012eb: MSTORE 000012ec: PUSH1 0x1f 000012ee: NOT 000012ef: SWAP1 000012f0: SWAP3 000012f1: ADD 000012f2: SWAP2 000012f3: PUSH1 0x20 000012f5: SWAP2 000012f6: DUP3 000012f7: ADD 000012f8: SWAP2 000012f9: ADD 000012fa: PUSH2 0x12df 000012fd: JUMP 000012fe: JUMPDEST 000012ff: PUSH1 0x01 00001301: DUP4 00001302: PUSH1 0x20 00001304: SUB 00001305: PUSH2 0x0100 00001308: EXP 00001309: SUB 0000130a: DUP1 0000130b: NOT 0000130c: DUP3 0000130d: MLOAD 0000130e: AND 0000130f: DUP2 00001310: DUP5 00001311: MLOAD 00001312: AND 00001313: DUP1 00001314: DUP3 00001315: OR 00001316: DUP6 00001317: MSTORE 00001318: POP 00001319: POP 0000131a: POP 0000131b: POP 0000131c: POP 0000131d: POP 0000131e: SWAP1 0000131f: POP 00001320: ADD 00001321: SWAP2 00001322: POP 00001323: POP 00001324: PUSH1 0x00 00001326: PUSH1 0x40 00001328: MLOAD 00001329: DUP1 0000132a: DUP4 0000132b: SUB 0000132c: DUP2 0000132d: DUP6 0000132e: DUP8 0000132f: GAS 00001330: CALL 00001331: SWAP3 00001332: POP 00001333: POP 00001334: POP 00001335: RETURNDATASIZE 00001336: DUP1 00001337: PUSH1 0x00 00001339: DUP2 0000133a: EQ 0000133b: PUSH2 0x1360 0000133e: JUMPI 0000133f: PUSH1 0x40 00001341: MLOAD 00001342: SWAP2 00001343: POP 00001344: PUSH1 0x1f 00001346: NOT 00001347: PUSH1 0x3f 00001349: RETURNDATASIZE 0000134a: ADD 0000134b: AND 0000134c: DUP3 0000134d: ADD 0000134e: PUSH1 0x40 00001350: MSTORE 00001351: RETURNDATASIZE 00001352: DUP3 00001353: MSTORE 00001354: RETURNDATASIZE 00001355: PUSH1 0x00 00001357: PUSH1 0x20 00001359: DUP5 0000135a: ADD 0000135b: RETURNDATACOPY 0000135c: PUSH2 0x1365 0000135f: JUMP 00001360: JUMPDEST 00001361: PUSH1 0x60 00001363: SWAP2 00001364: POP 00001365: JUMPDEST 00001366: POP 00001367: SWAP2 00001368: POP 00001369: SWAP2 0000136a: POP 0000136b: PUSH2 0x1375 0000136e: DUP3 0000136f: DUP3 00001370: DUP7 00001371: PUSH2 0x1386 00001374: JUMP 00001375: JUMPDEST 00001376: SWAP8 00001377: SWAP7 00001378: POP 00001379: POP 0000137a: POP 0000137b: POP 0000137c: POP 0000137d: POP 0000137e: POP 0000137f: JUMP 00001380: JUMPDEST 00001381: EXTCODESIZE 00001382: ISZERO 00001383: ISZERO 00001384: SWAP1 00001385: JUMP 00001386: JUMPDEST 00001387: PUSH1 0x60 00001389: DUP4 0000138a: ISZERO 0000138b: PUSH2 0x1395 0000138e: JUMPI 0000138f: POP 00001390: DUP2 00001391: PUSH2 0x11ac 00001394: JUMP 00001395: JUMPDEST 00001396: DUP3 00001397: MLOAD 00001398: ISZERO 00001399: PUSH2 0x13a5 0000139c: JUMPI 0000139d: DUP3 0000139e: MLOAD 0000139f: DUP1 000013a0: DUP5 000013a1: PUSH1 0x20 000013a3: ADD 000013a4: REVERT 000013a5: JUMPDEST 000013a6: PUSH1 0x40 000013a8: MLOAD 000013a9: PUSH3 0x461bcd 000013ad: PUSH1 0xe5 000013af: SHL 000013b0: DUP2 000013b1: MSTORE 000013b2: PUSH1 0x20 000013b4: PUSH1 0x04 000013b6: DUP3 000013b7: ADD 000013b8: DUP2 000013b9: DUP2 000013ba: MSTORE 000013bb: DUP5 000013bc: MLOAD 000013bd: PUSH1 0x24 000013bf: DUP5 000013c0: ADD 000013c1: MSTORE 000013c2: DUP5 000013c3: MLOAD 000013c4: DUP6 000013c5: SWAP4 000013c6: SWAP2 000013c7: SWAP3 000013c8: DUP4 000013c9: SWAP3 000013ca: PUSH1 0x44 000013cc: ADD 000013cd: SWAP2 000013ce: SWAP1 000013cf: DUP6 000013d0: ADD 000013d1: SWAP1 000013d2: DUP1 000013d3: DUP4 000013d4: DUP4 000013d5: PUSH1 0x00 000013d7: DUP4 000013d8: ISZERO 000013d9: PUSH2 0x1160 000013dc: JUMPI 000013dd: DUP2 000013de: DUP2 000013df: ADD 000013e0: MLOAD 000013e1: DUP4 000013e2: DUP3 000013e3: ADD 000013e4: MSTORE 000013e5: PUSH1 0x20 000013e7: ADD 000013e8: PUSH2 0x1148 000013eb: JUMP 000013ec: INVALID 000013ed: COINBASE 000013ee: PUSH5 0x6472657373 000013f4: GASPRICE 000013f5: KECCAK256 000013f6: PUSH10 0x6e73756666696369656e 00001401: PUSH21 0x2062616c616e636520666f722063616c6c53616665 00001417: UNKNOWN(0x4D) 00001418: PUSH2 0x7468 0000141b: GASPRICE 0000141c: KECCAK256 0000141d: PUSH14 0x756c7469706c69636174696f6e20 0000142c: PUSH16 0x766572666c6f77536166654552433230 0000143d: GASPRICE 0000143e: KECCAK256 0000143f: GASLIMIT 00001440: MSTORE 00001441: NUMBER 00001442: ORIGIN 00001443: ADDRESS 00001444: KECCAK256 00001445: PUSH16 0x7065726174696f6e20646964206e6f74 00001456: KECCAK256 00001457: PUSH20 0x7563636565645361666545524332303a20617070 0000146c: PUSH19 0x6f76652066726f6d206e6f6e2d7a65726f2074 00001480: PUSH16 0x206e6f6e2d7a65726f20616c6c6f7761 00001491: PUSH15 0x6365a2646970667358221220eb2ca3 000014a1: UNKNOWN(0xE5) 000014a2: UNKNOWN(0x4E) 000014a3: EXTCODECOPY 000014a4: PUSH1 0x68 000014a6: LOG1 000014a7: UNKNOWN(0x2A) 000014a8: UNKNOWN(0xE9) 000014a9: DUP10 000014aa: UNKNOWN(0xEC) 000014ab: UNKNOWN(0xE8) 000014ac: DUP10 000014ad: LOG4 000014ae: CREATE 000014af: LOG4 000014b0: UNKNOWN(0xF6) 000014b1: JUMP 000014b2: UNKNOWN(0xE3) 000014b3: MUL 000014b4: XOR 000014b5: UNKNOWN(0xD2) 000014b6: UNKNOWN(0xC5) 000014b7: SUB 000014b8: SWAP8 000014b9: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x751078d5464815b46b0bd07fcb88ff7851518bb71de8fe999e890ecdb6f42173
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 96,
"trace_id": "0x751078d5464815b46b0bd07fcb88ff7851518bb71de8fe999e890ecdb6f42173",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa0530946",
"selector": "0xa0530946",
"calldata_variants": [
"0xa0530946",
"0xa05309460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xafdbd499",
"selector": "0xafdbd499",
"calldata_variants": [
"0xafdbd499",
"0xafdbd4990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3124525",
"selector": "0xc3124525",
"calldata_variants": [
"0xc3124525",
"0xc31245250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc2e0a26",
"selector": "0xcc2e0a26",
"calldata_variants": [
"0xcc2e0a26",
"0xcc2e0a260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3153689f",
"selector": "0x3153689f",
"calldata_variants": [
"0x3153689f",
"0x3153689f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63f04b15",
"selector": "0x63f04b15",
"calldata_variants": [
"0x63f04b15",
"0x63f04b150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x735de9f7",
"selector": "0x735de9f7",
"calldata_variants": [
"0x735de9f7",
"0x735de9f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x817bd4fd",
"selector": "0x817bd4fd",
"calldata_variants": [
"0x817bd4fd",
"0x817bd4fd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1585,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 5186,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_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": "0xa0530946",
"selector": "0xa0530946",
"calldata_variants": [
"0xa0530946",
"0xa05309460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xafdbd499",
"selector": "0xafdbd499",
"calldata_variants": [
"0xafdbd499",
"0xafdbd4990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3124525",
"selector": "0xc3124525",
"calldata_variants": [
"0xc3124525",
"0xc31245250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc2e0a26",
"selector": "0xcc2e0a26",
"calldata_variants": [
"0xcc2e0a26",
"0xcc2e0a260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3153689f",
"selector": "0x3153689f",
"calldata_variants": [
"0x3153689f",
"0x3153689f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63f04b15",
"selector": "0x63f04b15",
"calldata_variants": [
"0x63f04b15",
"0x63f04b150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x735de9f7",
"selector": "0x735de9f7",
"calldata_variants": [
"0x735de9f7",
"0x735de9f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x817bd4fd",
"selector": "0x817bd4fd",
"calldata_variants": [
"0x817bd4fd",
"0x817bd4fd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5186,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xbc5398d7c2278bb5f05e626f92c223c5288ba5f73e8d48330c2c86d1564e1e2a
call_targets:
0xa9466eabd096449d650d5aeb0dd3da6f52fd0b19
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbc5398d7c2278bb5f05e626f92c223c5288ba5f73e8d48330c2c86d1564e1e2a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa9466eabd096449d650d5aeb0dd3da6f52fd0b19"
],
"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": "0xa0530946",
"selector": "0xa0530946",
"calldata_variants": [
"0xa0530946",
"0xa05309460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xafdbd499",
"selector": "0xafdbd499",
"calldata_variants": [
"0xafdbd499",
"0xafdbd4990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3124525",
"selector": "0xc3124525",
"calldata_variants": [
"0xc3124525",
"0xc31245250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc2e0a26",
"selector": "0xcc2e0a26",
"calldata_variants": [
"0xcc2e0a26",
"0xcc2e0a260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3153689f",
"selector": "0x3153689f",
"calldata_variants": [
"0x3153689f",
"0x3153689f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63f04b15",
"selector": "0x63f04b15",
"calldata_variants": [
"0x63f04b15",
"0x63f04b150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x735de9f7",
"selector": "0x735de9f7",
"calldata_variants": [
"0x735de9f7",
"0x735de9f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x817bd4fd",
"selector": "0x817bd4fd",
"calldata_variants": [
"0x817bd4fd",
"0x817bd4fd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 830,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2656,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 5186,
"type": "tx_origin_used"
}
]
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xe5b1d40643de2a981f894d182b2fee06802ab2da14976f32973b3cb070c73cdb
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 16,
"trace_id": "0xe5b1d40643de2a981f894d182b2fee06802ab2da14976f32973b3cb070c73cdb",
"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": "0xa0530946",
"selector": "0xa0530946",
"calldata_variants": [
"0xa0530946",
"0xa05309460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xafdbd499",
"selector": "0xafdbd499",
"calldata_variants": [
"0xafdbd499",
"0xafdbd4990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3124525",
"selector": "0xc3124525",
"calldata_variants": [
"0xc3124525",
"0xc31245250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc2e0a26",
"selector": "0xcc2e0a26",
"calldata_variants": [
"0xcc2e0a26",
"0xcc2e0a260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3153689f",
"selector": "0x3153689f",
"calldata_variants": [
"0x3153689f",
"0x3153689f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63f04b15",
"selector": "0x63f04b15",
"calldata_variants": [
"0x63f04b15",
"0x63f04b150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x735de9f7",
"selector": "0x735de9f7",
"calldata_variants": [
"0x735de9f7",
"0x735de9f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x817bd4fd",
"selector": "0x817bd4fd",
"calldata_variants": [
"0x817bd4fd",
"0x817bd4fd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xbc5398d7c2278bb5f05e626f92c223c5288ba5f73e8d48330c2c86d1564e1e2a
call_targets:
0xa9466eabd096449d650d5aeb0dd3da6f52fd0b19
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbc5398d7c2278bb5f05e626f92c223c5288ba5f73e8d48330c2c86d1564e1e2a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa9466eabd096449d650d5aeb0dd3da6f52fd0b19"
],
"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": "0xa0530946",
"selector": "0xa0530946",
"calldata_variants": [
"0xa0530946",
"0xa05309460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xafdbd499",
"selector": "0xafdbd499",
"calldata_variants": [
"0xafdbd499",
"0xafdbd4990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3124525",
"selector": "0xc3124525",
"calldata_variants": [
"0xc3124525",
"0xc31245250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc2e0a26",
"selector": "0xcc2e0a26",
"calldata_variants": [
"0xcc2e0a26",
"0xcc2e0a260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3153689f",
"selector": "0x3153689f",
"calldata_variants": [
"0x3153689f",
"0x3153689f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x63f04b15",
"selector": "0x63f04b15",
"calldata_variants": [
"0x63f04b15",
"0x63f04b150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x735de9f7",
"selector": "0x735de9f7",
"calldata_variants": [
"0x735de9f7",
"0x735de9f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x817bd4fd",
"selector": "0x817bd4fd",
"calldata_variants": [
"0x817bd4fd",
"0x817bd4fd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 830,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2656,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 5186,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 1,
"create2_count": 0
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 12
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 14
}
|