892dbbbe-2725-4e91-bfbe-4190d56a95c7
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 |
|---|---|---|---|---|
| 31727 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 95785 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 95786 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 95787 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 95788 | capability.graph | complete | 1 / 3 | 1 week ago |
| 95789 | detector.run | complete | 1 / 3 | 1 week ago |
| 95790 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1077531] OpenAI Codex v0.77.0 (research preview)
[codex:1077531] --------
[codex:1077531] workdir: /tmp/codex-multi-672vt2re
[codex:1077531] model: gpt-5.2-codex
[codex:1077531] provider: openai
[codex:1077531] approval: never
[codex:1077531] sandbox: read-only
[codex:1077531] reasoning effort: xhigh
[codex:1077531] reasoning summaries: auto
[codex:1077531] session id: 019b8f50-0e7b-7f92-b22d-6bc81ed84e04
[codex:1077531] --------
[codex:1077531] user
[codex:1077531] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1077531]
[codex:1077531] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1077531]
[codex:1077531] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1077531] - Gas inefficiency, code quality, naming, or best practices
[codex:1077531] - Theoretical vulnerabilities without a clear extraction path
[codex:1077531] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1077531] - Front-running unless it enables theft beyond MEV
[codex:1077531] - DoS, griefing, or issues that don't result in attacker profit
[codex:1077531] - Missing events, view function issues, or informational findings
[codex:1077531]
[codex:1077531] HIGH-VALUE PATTERNS TO HUNT:
[codex:1077531] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1077531] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1077531] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1077531] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1077531] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1077531] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1077531] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1077531] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1077531] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1077531]
[codex:1077531] For each finding, you MUST provide:
[codex:1077531] 1. Exact file and line numbers of vulnerable code
[codex:1077531] 2. Step-by-step exploit transaction sequence
[codex:1077531] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1077531]
[codex:1077531] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1077531]
[codex:1077531] Output MUST be valid JSON matching the provided schema.
[codex:1077531] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1077531] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1077531] mcp startup: no servers
[codex:1077531]
[codex:1077531] thinking
[codex:1077531] **Reviewing AGENTS instructions and skills**
[codex:1077531] exec
[codex:1077531] /bin/bash -lc ls in /tmp/codex-multi-672vt2re succeeded in 6ms:
[codex:1077531] AUDIT_BUNDLE.txt
[codex:1077531] codex-output-schema.json
[codex:1077531] contracts
[codex:1077531] exec
[codex:1077531] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-672vt2re succeeded in 5ms:
[codex:1077531] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1077531]
[codex:1077531] ================================================================================
[codex:1077531] FILE: contracts/contracts/EVMBridgeNative.sol
[codex:1077531] ================================================================================
[codex:1077531] // SPDX-License-Identifier: MIT
[codex:1077531] pragma solidity ^0.8.9;
[codex:1077531]
[codex:1077531] import "./interfaces/IERC20.sol";
[codex:1077531] import "./utils/TransferHelper.sol";
[codex:1077531] import "./libs/SafeMath.sol";
[codex:1077531] import "./libs/SignedSafeMath.sol";
[codex:1077531]
[codex:1077531] struct Bridge {
[codex:1077531] address addr;
[codex:1077531] string chain;
[codex:1077531] }
[codex:1077531]
[codex:1077531] struct Validator {
[codex:1077531] address addr;
[codex:1077531]
[codex:1077531] thinking
[codex:1077531] **Assessing exploit potential in EVMBridgeNative**
[codex:1077531]
[codex:1077531] I'm evaluating the EVMBridgeNative contract for any real profit-extracting vulnerabilities, focusing on its fee calculations, reentrancy protection, and access controls. The contract’s design—with off-chain bridging and owner-restricted sensitive functions—limits exploit paths; while price manipulation could reduce fees, this does not directly extract funds from the contract. After detailed review, I find no concrete exploit to report, so I’ll provide a JSON output indicating no findings with a concise summary.
[codex:1077531] codex
[codex:1077531] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable paths for extracting ETH/tokens/NFTs from EVMBridgeNative found.","findings":[]}
[codex:1077531] tokens used
[codex:1077531] 16,403
[codex:1077531] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable paths for extracting ETH/tokens/NFTs from EVMBridgeNative found.","findings":[]}
{
"codex": {
"ran_at": "2026-01-05T18:00:10.306649+00:00",
"returncode": 0
},
"summary": "Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable paths for extracting ETH/tokens/NFTs from EVMBridgeNative found.",
"raw_final": {
"summary": "Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable paths for extracting ETH/tokens/NFTs from EVMBridgeNative found.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01ac 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x81d1f9dc 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc763e5a1 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdb18ba7d 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdb18ba7d 0000003a: EQ 0000003b: PUSH2 0x04ed 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdb8d55f1 00000045: EQ 00000046: PUSH2 0x0502 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf8228f7b 00000050: EQ 00000051: PUSH2 0x0517 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfb93f016 0000005b: EQ 0000005c: PUSH2 0x052d 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc763e5a1 0000006b: EQ 0000006c: PUSH2 0x0489 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc860ebc6 00000076: EQ 00000077: PUSH2 0x04ab 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd294f093 00000081: EQ 00000082: PUSH2 0x04d8 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0xa5d53104 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xa5d53104 0000009c: EQ 0000009d: PUSH2 0x0405 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xa6f9dae1 000000a7: EQ 000000a8: PUSH2 0x0425 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xb187bd26 000000b2: EQ 000000b3: PUSH2 0x0445 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xb69ef8a8 000000bd: EQ 000000be: PUSH2 0x0475 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x81d1f9dc 000000cd: EQ 000000ce: PUSH2 0x033b 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x8da5cb5b 000000d8: EQ 000000d9: PUSH2 0x0350 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x9d1b9f50 000000e3: EQ 000000e4: PUSH2 0x03a2 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x419f75fe 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x5358fbda 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x5358fbda 00000109: EQ 0000010a: PUSH2 0x02f2 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x649c6c56 00000114: EQ 00000115: PUSH2 0x01d3 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x729652bb 0000011f: EQ 00000120: PUSH2 0x0305 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x75045691 0000012a: EQ 0000012b: PUSH2 0x031b 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x419f75fe 0000013a: EQ 0000013b: PUSH2 0x0292 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x42ae278c 00000145: EQ 00000146: PUSH2 0x02b2 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x4cc3f6e8 00000150: EQ 00000151: PUSH2 0x02d2 00000154: JUMPI 00000155: PUSH1 0x00 00000157: DUP1 00000158: REVERT 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x202bdfc3 00000160: GT 00000161: PUSH2 0x018a 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x202bdfc3 0000016b: EQ 0000016c: PUSH2 0x0245 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x3b3438ce 00000176: EQ 00000177: PUSH2 0x0258 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x3e035383 00000181: EQ 00000182: PUSH2 0x027c 00000185: JUMPI 00000186: PUSH1 0x00 00000188: DUP1 00000189: REVERT 0000018a: JUMPDEST 0000018b: DUP1 0000018c: PUSH4 0x16c38b3c 00000191: EQ 00000192: PUSH2 0x01b1 00000195: JUMPI 00000196: DUP1 00000197: PUSH4 0x18fdc2c8 0000019c: EQ 0000019d: PUSH2 0x01d3 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0x191622ff 000001a7: EQ 000001a8: PUSH2 0x01f3 000001ab: JUMPI 000001ac: JUMPDEST 000001ad: PUSH1 0x00 000001af: DUP1 000001b0: REVERT 000001b1: JUMPDEST 000001b2: CALLVALUE 000001b3: DUP1 000001b4: ISZERO 000001b5: PUSH2 0x01bd 000001b8: JUMPI 000001b9: PUSH1 0x00 000001bb: DUP1 000001bc: REVERT 000001bd: JUMPDEST 000001be: POP 000001bf: PUSH2 0x01d1 000001c2: PUSH2 0x01cc 000001c5: CALLDATASIZE 000001c6: PUSH1 0x04 000001c8: PUSH2 0x1680 000001cb: JUMP 000001cc: JUMPDEST 000001cd: PUSH2 0x054d 000001d0: JUMP 000001d1: JUMPDEST 000001d2: STOP 000001d3: JUMPDEST 000001d4: CALLVALUE 000001d5: DUP1 000001d6: ISZERO 000001d7: PUSH2 0x01df 000001da: JUMPI 000001db: PUSH1 0x00 000001dd: DUP1 000001de: REVERT 000001df: JUMPDEST 000001e0: POP 000001e1: PUSH2 0x01d1 000001e4: PUSH2 0x01ee 000001e7: CALLDATASIZE 000001e8: PUSH1 0x04 000001ea: PUSH2 0x16a2 000001ed: JUMP 000001ee: JUMPDEST 000001ef: PUSH2 0x0629 000001f2: JUMP 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: DUP1 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH1 0x08 00000203: SLOAD 00000204: PUSH1 0x09 00000206: SLOAD 00000207: PUSH1 0x0a 00000209: SLOAD 0000020a: PUSH1 0x40 0000020c: DUP1 0000020d: MLOAD 0000020e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000223: SWAP5 00000224: DUP6 00000225: AND 00000226: DUP2 00000227: MSTORE 00000228: SWAP3 00000229: DUP5 0000022a: AND 0000022b: PUSH1 0x20 0000022d: DUP5 0000022e: ADD 0000022f: MSTORE 00000230: SWAP3 00000231: AND 00000232: SWAP2 00000233: DUP2 00000234: ADD 00000235: SWAP2 00000236: SWAP1 00000237: SWAP2 00000238: MSTORE 00000239: PUSH1 0x60 0000023b: ADD 0000023c: JUMPDEST 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: DUP1 00000241: SWAP2 00000242: SUB 00000243: SWAP1 00000244: RETURN 00000245: JUMPDEST 00000246: PUSH2 0x01d1 00000249: PUSH2 0x0253 0000024c: CALLDATASIZE 0000024d: PUSH1 0x04 0000024f: PUSH2 0x16bb 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH2 0x06bb 00000257: JUMP 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: POP 00000266: PUSH2 0x026e 00000269: PUSH1 0x04 0000026b: SLOAD 0000026c: DUP2 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: SWAP1 00000273: DUP2 00000274: MSTORE 00000275: PUSH1 0x20 00000277: ADD 00000278: PUSH2 0x023c 0000027b: JUMP 0000027c: JUMPDEST 0000027d: CALLVALUE 0000027e: DUP1 0000027f: ISZERO 00000280: PUSH2 0x0288 00000283: JUMPI 00000284: PUSH1 0x00 00000286: DUP1 00000287: REVERT 00000288: JUMPDEST 00000289: POP 0000028a: PUSH2 0x026e 0000028d: PUSH1 0x03 0000028f: SLOAD 00000290: DUP2 00000291: JUMP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH2 0x01d1 000002a3: PUSH2 0x02ad 000002a6: CALLDATASIZE 000002a7: PUSH1 0x04 000002a9: PUSH2 0x16a2 000002ac: JUMP 000002ad: JUMPDEST 000002ae: PUSH2 0x0923 000002b1: JUMP 000002b2: JUMPDEST 000002b3: CALLVALUE 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: PUSH2 0x026e 000002c3: PUSH2 0x02cd 000002c6: CALLDATASIZE 000002c7: PUSH1 0x04 000002c9: PUSH2 0x1760 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH2 0x09b5 000002d1: JUMP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: DUP1 000002d5: ISZERO 000002d6: PUSH2 0x02de 000002d9: JUMPI 000002da: PUSH1 0x00 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x01d1 000002e3: PUSH2 0x02ed 000002e6: CALLDATASIZE 000002e7: PUSH1 0x04 000002e9: PUSH2 0x17a3 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH2 0x0b2d 000002f1: JUMP 000002f2: JUMPDEST 000002f3: PUSH2 0x01d1 000002f6: PUSH2 0x0300 000002f9: CALLDATASIZE 000002fa: PUSH1 0x04 000002fc: PUSH2 0x16a2 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x0d73 00000304: JUMP 00000305: JUMPDEST 00000306: CALLVALUE 00000307: DUP1 00000308: ISZERO 00000309: PUSH2 0x0311 0000030c: JUMPI 0000030d: PUSH1 0x00 0000030f: DUP1 00000310: REVERT 00000311: JUMPDEST 00000312: POP 00000313: PUSH2 0x026e 00000316: PUSH1 0x06 00000318: SLOAD 00000319: DUP2 0000031a: JUMP 0000031b: JUMPDEST 0000031c: CALLVALUE 0000031d: DUP1 0000031e: ISZERO 0000031f: PUSH2 0x0327 00000322: JUMPI 00000323: PUSH1 0x00 00000325: DUP1 00000326: REVERT 00000327: JUMPDEST 00000328: POP 00000329: PUSH2 0x01d1 0000032c: PUSH2 0x0336 0000032f: CALLDATASIZE 00000330: PUSH1 0x04 00000332: PUSH2 0x1760 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH2 0x0f27 0000033a: JUMP 0000033b: JUMPDEST 0000033c: CALLVALUE 0000033d: DUP1 0000033e: ISZERO 0000033f: PUSH2 0x0347 00000342: JUMPI 00000343: PUSH1 0x00 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x026e 0000034c: PUSH2 0x1018 0000034f: JUMP 00000350: JUMPDEST 00000351: CALLVALUE 00000352: DUP1 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: PUSH1 0x00 00000360: SLOAD 00000361: PUSH2 0x037d 00000364: SWAP1 00000365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037a: AND 0000037b: DUP2 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH1 0x40 00000380: MLOAD 00000381: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000396: SWAP1 00000397: SWAP2 00000398: AND 00000399: DUP2 0000039a: MSTORE 0000039b: PUSH1 0x20 0000039d: ADD 0000039e: PUSH2 0x023c 000003a1: JUMP 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x03f5 000003b3: PUSH2 0x03bd 000003b6: CALLDATASIZE 000003b7: PUSH1 0x04 000003b9: PUSH2 0x17d6 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d3: SWAP2 000003d4: SWAP1 000003d5: SWAP2 000003d6: AND 000003d7: PUSH1 0x00 000003d9: SWAP1 000003da: DUP2 000003db: MSTORE 000003dc: PUSH1 0x07 000003de: PUSH1 0x20 000003e0: SWAP1 000003e1: DUP2 000003e2: MSTORE 000003e3: PUSH1 0x40 000003e5: DUP1 000003e6: DUP4 000003e7: KECCAK256 000003e8: SWAP4 000003e9: DUP4 000003ea: MSTORE 000003eb: SWAP3 000003ec: SWAP1 000003ed: MSTORE 000003ee: KECCAK256 000003ef: SLOAD 000003f0: PUSH1 0xff 000003f2: AND 000003f3: SWAP1 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x40 000003f8: MLOAD 000003f9: SWAP1 000003fa: ISZERO 000003fb: ISZERO 000003fc: DUP2 000003fd: MSTORE 000003fe: PUSH1 0x20 00000400: ADD 00000401: PUSH2 0x023c 00000404: JUMP 00000405: JUMPDEST 00000406: CALLVALUE 00000407: DUP1 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: PUSH2 0x01d1 00000416: PUSH2 0x0420 00000419: CALLDATASIZE 0000041a: PUSH1 0x04 0000041c: PUSH2 0x1800 0000041f: JUMP 00000420: JUMPDEST 00000421: PUSH2 0x10a1 00000424: JUMP 00000425: JUMPDEST 00000426: CALLVALUE 00000427: DUP1 00000428: ISZERO 00000429: PUSH2 0x0431 0000042c: JUMPI 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: REVERT 00000431: JUMPDEST 00000432: POP 00000433: PUSH2 0x01d1 00000436: PUSH2 0x0440 00000439: CALLDATASIZE 0000043a: PUSH1 0x04 0000043c: PUSH2 0x1800 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH2 0x11d8 00000444: JUMP 00000445: JUMPDEST 00000446: CALLVALUE 00000447: DUP1 00000448: ISZERO 00000449: PUSH2 0x0451 0000044c: JUMPI 0000044d: PUSH1 0x00 0000044f: DUP1 00000450: REVERT 00000451: JUMPDEST 00000452: POP 00000453: PUSH1 0x0a 00000455: SLOAD 00000456: PUSH21 0x010000000000000000000000000000000000000000 0000046c: SWAP1 0000046d: DIV 0000046e: PUSH1 0xff 00000470: AND 00000471: PUSH2 0x03f5 00000474: JUMP 00000475: JUMPDEST 00000476: CALLVALUE 00000477: DUP1 00000478: ISZERO 00000479: PUSH2 0x0481 0000047c: JUMPI 0000047d: PUSH1 0x00 0000047f: DUP1 00000480: REVERT 00000481: JUMPDEST 00000482: POP 00000483: ADDRESS 00000484: BALANCE 00000485: PUSH2 0x026e 00000488: JUMP 00000489: JUMPDEST 0000048a: CALLVALUE 0000048b: DUP1 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: POP 00000497: PUSH2 0x049e 0000049a: PUSH2 0x130f 0000049d: JUMP 0000049e: JUMPDEST 0000049f: PUSH1 0x40 000004a1: MLOAD 000004a2: PUSH2 0x023c 000004a5: SWAP2 000004a6: SWAP1 000004a7: PUSH2 0x181b 000004aa: JUMP 000004ab: JUMPDEST 000004ac: CALLVALUE 000004ad: DUP1 000004ae: ISZERO 000004af: PUSH2 0x04b7 000004b2: JUMPI 000004b3: PUSH1 0x00 000004b5: DUP1 000004b6: REVERT 000004b7: JUMPDEST 000004b8: POP 000004b9: PUSH1 0x01 000004bb: SLOAD 000004bc: PUSH2 0x037d 000004bf: SWAP1 000004c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d5: AND 000004d6: DUP2 000004d7: JUMP 000004d8: JUMPDEST 000004d9: CALLVALUE 000004da: DUP1 000004db: ISZERO 000004dc: PUSH2 0x04e4 000004df: JUMPI 000004e0: PUSH1 0x00 000004e2: DUP1 000004e3: REVERT 000004e4: JUMPDEST 000004e5: POP 000004e6: PUSH2 0x01d1 000004e9: PUSH2 0x139d 000004ec: JUMP 000004ed: JUMPDEST 000004ee: CALLVALUE 000004ef: DUP1 000004f0: ISZERO 000004f1: PUSH2 0x04f9 000004f4: JUMPI 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: POP 000004fb: PUSH1 0x03 000004fd: SLOAD 000004fe: PUSH2 0x026e 00000501: JUMP 00000502: JUMPDEST 00000503: CALLVALUE 00000504: DUP1 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH1 0x06 00000512: SLOAD 00000513: PUSH2 0x026e 00000516: JUMP 00000517: JUMPDEST 00000518: CALLVALUE 00000519: DUP1 0000051a: ISZERO 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH1 0x00 00000521: DUP1 00000522: REVERT 00000523: JUMPDEST 00000524: POP 00000525: PUSH2 0x026e 00000528: PUSH1 0x05 0000052a: SLOAD 0000052b: DUP2 0000052c: JUMP 0000052d: JUMPDEST 0000052e: CALLVALUE 0000052f: DUP1 00000530: ISZERO 00000531: PUSH2 0x0539 00000534: JUMPI 00000535: PUSH1 0x00 00000537: DUP1 00000538: REVERT 00000539: JUMPDEST 0000053a: POP 0000053b: PUSH2 0x01d1 0000053e: PUSH2 0x0548 00000541: CALLDATASIZE 00000542: PUSH1 0x04 00000544: PUSH2 0x16a2 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH2 0x15b7 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH1 0x00 00000550: SLOAD 00000551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000566: AND 00000567: CALLER 00000568: EQ 00000569: PUSH2 0x05df 0000056c: JUMPI 0000056d: PUSH1 0x40 0000056f: MLOAD 00000570: PUSH3 0x461bcd 00000574: PUSH1 0xe5 00000576: SHL 00000577: DUP2 00000578: MSTORE 00000579: PUSH1 0x20 0000057b: PUSH1 0x04 0000057d: DUP3 0000057e: ADD 0000057f: MSTORE 00000580: PUSH1 0x21 00000582: PUSH1 0x24 00000584: DUP3 00000585: ADD 00000586: MSTORE 00000587: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 000005a8: PUSH1 0x44 000005aa: DUP3 000005ab: ADD 000005ac: MSTORE 000005ad: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 000005ce: PUSH1 0x64 000005d0: DUP3 000005d1: ADD 000005d2: MSTORE 000005d3: PUSH1 0x84 000005d5: ADD 000005d6: JUMPDEST 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: DUP1 000005db: SWAP2 000005dc: SUB 000005dd: SWAP1 000005de: REVERT 000005df: JUMPDEST 000005e0: PUSH1 0x0a 000005e2: DUP1 000005e3: SLOAD 000005e4: SWAP2 000005e5: ISZERO 000005e6: ISZERO 000005e7: PUSH21 0x010000000000000000000000000000000000000000 000005fd: MUL 000005fe: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 0000061f: SWAP1 00000620: SWAP3 00000621: AND 00000622: SWAP2 00000623: SWAP1 00000624: SWAP2 00000625: OR 00000626: SWAP1 00000627: SSTORE 00000628: JUMP 00000629: JUMPDEST 0000062a: PUSH1 0x00 0000062c: SLOAD 0000062d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000642: AND 00000643: CALLER 00000644: EQ 00000645: PUSH2 0x06b6 00000648: JUMPI 00000649: PUSH1 0x40 0000064b: MLOAD 0000064c: PUSH3 0x461bcd 00000650: PUSH1 0xe5 00000652: SHL 00000653: DUP2 00000654: MSTORE 00000655: PUSH1 0x20 00000657: PUSH1 0x04 00000659: DUP3 0000065a: ADD 0000065b: MSTORE 0000065c: PUSH1 0x21 0000065e: PUSH1 0x24 00000660: DUP3 00000661: ADD 00000662: MSTORE 00000663: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 00000684: PUSH1 0x44 00000686: DUP3 00000687: ADD 00000688: MSTORE 00000689: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 000006aa: PUSH1 0x64 000006ac: DUP3 000006ad: ADD 000006ae: MSTORE 000006af: PUSH1 0x84 000006b1: ADD 000006b2: PUSH2 0x05d6 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH1 0x03 000006b9: SSTORE 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH1 0x0a 000006be: SLOAD 000006bf: PUSH22 0x01000000000000000000000000000000000000000000 000006d6: SWAP1 000006d7: DIV 000006d8: PUSH1 0xff 000006da: AND 000006db: ISZERO 000006dc: PUSH2 0x0727 000006df: JUMPI 000006e0: PUSH1 0x40 000006e2: MLOAD 000006e3: PUSH3 0x461bcd 000006e7: PUSH1 0xe5 000006e9: SHL 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x20 000006ee: PUSH1 0x04 000006f0: DUP3 000006f1: ADD 000006f2: MSTORE 000006f3: PUSH1 0x0e 000006f5: PUSH1 0x24 000006f7: DUP3 000006f8: ADD 000006f9: MSTORE 000006fa: PUSH32 0x4e6f2072652d656e7472616e6379000000000000000000000000000000000000 0000071b: PUSH1 0x44 0000071d: DUP3 0000071e: ADD 0000071f: MSTORE 00000720: PUSH1 0x64 00000722: ADD 00000723: PUSH2 0x05d6 00000726: JUMP 00000727: JUMPDEST 00000728: PUSH1 0x0a 0000072a: DUP1 0000072b: SLOAD 0000072c: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 0000074d: AND 0000074e: PUSH22 0x01000000000000000000000000000000000000000000 00000765: OR 00000766: SWAP1 00000767: DUP2 00000768: SWAP1 00000769: SSTORE 0000076a: PUSH21 0x010000000000000000000000000000000000000000 00000780: SWAP1 00000781: DIV 00000782: PUSH1 0xff 00000784: AND 00000785: ISZERO 00000786: PUSH2 0x07d1 00000789: JUMPI 0000078a: PUSH1 0x40 0000078c: MLOAD 0000078d: PUSH3 0x461bcd 00000791: PUSH1 0xe5 00000793: SHL 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x20 00000798: PUSH1 0x04 0000079a: DUP3 0000079b: ADD 0000079c: MSTORE 0000079d: PUSH1 0x16 0000079f: PUSH1 0x24 000007a1: DUP3 000007a2: ADD 000007a3: MSTORE 000007a4: PUSH32 0x4272696467652061637475616c6c792070617573656400000000000000000000 000007c5: PUSH1 0x44 000007c7: DUP3 000007c8: ADD 000007c9: MSTORE 000007ca: PUSH1 0x64 000007cc: ADD 000007cd: PUSH2 0x05d6 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x05 000007d4: SLOAD 000007d5: DUP4 000007d6: LT 000007d7: ISZERO 000007d8: PUSH2 0x0823 000007db: JUMPI 000007dc: PUSH1 0x40 000007de: MLOAD 000007df: PUSH3 0x461bcd 000007e3: PUSH1 0xe5 000007e5: SHL 000007e6: DUP2 000007e7: MSTORE 000007e8: PUSH1 0x20 000007ea: PUSH1 0x04 000007ec: DUP3 000007ed: ADD 000007ee: MSTORE 000007ef: PUSH1 0x13 000007f1: PUSH1 0x24 000007f3: DUP3 000007f4: ADD 000007f5: MSTORE 000007f6: PUSH32 0x494e5355464953414e545f5155414e5449545900000000000000000000000000 00000817: PUSH1 0x44 00000819: DUP3 0000081a: ADD 0000081b: MSTORE 0000081c: PUSH1 0x64 0000081e: ADD 0000081f: PUSH2 0x05d6 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH2 0x084b 00000827: DUP4 00000828: PUSH2 0x0845 0000082b: PUSH1 0x64 0000082d: PUSH2 0x083f 00000830: PUSH1 0x5a 00000832: PUSH2 0x0839 00000835: PUSH2 0x1018 00000838: JUMP 00000839: JUMPDEST 0000083a: SWAP1 0000083b: PUSH2 0x1649 0000083e: JUMP 0000083f: JUMPDEST 00000840: SWAP1 00000841: PUSH2 0x165c 00000844: JUMP 00000845: JUMPDEST 00000846: SWAP1 00000847: PUSH2 0x1668 0000084a: JUMP 0000084b: JUMPDEST 0000084c: CALLVALUE 0000084d: LT 0000084e: ISZERO 0000084f: PUSH2 0x089a 00000852: JUMPI 00000853: PUSH1 0x40 00000855: MLOAD 00000856: PUSH3 0x461bcd 0000085a: PUSH1 0xe5 0000085c: SHL 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x20 00000861: PUSH1 0x04 00000863: DUP3 00000864: ADD 00000865: MSTORE 00000866: PUSH1 0x0d 00000868: PUSH1 0x24 0000086a: DUP3 0000086b: ADD 0000086c: MSTORE 0000086d: PUSH32 0x5041594d454e545f41424f525400000000000000000000000000000000000000 0000088e: PUSH1 0x44 00000890: DUP3 00000891: ADD 00000892: MSTORE 00000893: PUSH1 0x64 00000895: ADD 00000896: PUSH2 0x05d6 00000899: JUMP 0000089a: JUMPDEST 0000089b: PUSH2 0x08a4 0000089e: CALLVALUE 0000089f: DUP5 000008a0: PUSH2 0x1674 000008a3: JUMP 000008a4: JUMPDEST 000008a5: PUSH1 0x06 000008a7: PUSH1 0x00 000008a9: DUP3 000008aa: DUP3 000008ab: SLOAD 000008ac: PUSH2 0x08b5 000008af: SWAP2 000008b0: SWAP1 000008b1: PUSH2 0x18bd 000008b4: JUMP 000008b5: JUMPDEST 000008b6: SWAP1 000008b7: SWAP2 000008b8: SSTORE 000008b9: POP 000008ba: POP 000008bb: PUSH1 0x40 000008bd: MLOAD 000008be: PUSH32 0x4090136e50c099ef9961fa1e7fb2361fc21e86732a92ff014883455b80318914 000008df: SWAP1 000008e0: PUSH2 0x08ee 000008e3: SWAP1 000008e4: DUP6 000008e5: SWAP1 000008e6: DUP6 000008e7: SWAP1 000008e8: DUP6 000008e9: SWAP1 000008ea: PUSH2 0x18d5 000008ed: JUMP 000008ee: JUMPDEST 000008ef: PUSH1 0x40 000008f1: MLOAD 000008f2: DUP1 000008f3: SWAP2 000008f4: SUB 000008f5: SWAP1 000008f6: LOG1 000008f7: POP 000008f8: POP 000008f9: PUSH1 0x0a 000008fb: DUP1 000008fc: SLOAD 000008fd: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 0000091e: AND 0000091f: SWAP1 00000920: SSTORE 00000921: POP 00000922: JUMP 00000923: JUMPDEST 00000924: PUSH1 0x00 00000926: SLOAD 00000927: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093c: AND 0000093d: CALLER 0000093e: EQ 0000093f: PUSH2 0x09b0 00000942: JUMPI 00000943: PUSH1 0x40 00000945: MLOAD 00000946: PUSH3 0x461bcd 0000094a: PUSH1 0xe5 0000094c: SHL 0000094d: DUP2 0000094e: MSTORE 0000094f: PUSH1 0x20 00000951: PUSH1 0x04 00000953: DUP3 00000954: ADD 00000955: MSTORE 00000956: PUSH1 0x21 00000958: PUSH1 0x24 0000095a: DUP3 0000095b: ADD 0000095c: MSTORE 0000095d: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 0000097e: PUSH1 0x44 00000980: DUP3 00000981: ADD 00000982: MSTORE 00000983: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 000009a4: PUSH1 0x64 000009a6: DUP3 000009a7: ADD 000009a8: MSTORE 000009a9: PUSH1 0x84 000009ab: ADD 000009ac: PUSH2 0x05d6 000009af: JUMP 000009b0: JUMPDEST 000009b1: PUSH1 0x05 000009b3: SSTORE 000009b4: JUMP 000009b5: JUMPDEST 000009b6: PUSH1 0x40 000009b8: MLOAD 000009b9: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000009da: DUP2 000009db: MSTORE 000009dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f1: DUP3 000009f2: DUP2 000009f3: AND 000009f4: PUSH1 0x04 000009f6: DUP4 000009f7: ADD 000009f8: MSTORE 000009f9: PUSH1 0x00 000009fb: SWAP2 000009fc: DUP3 000009fd: SWAP2 000009fe: DUP7 000009ff: AND 00000a00: SWAP1 00000a01: PUSH4 0x70a08231 00000a06: SWAP1 00000a07: PUSH1 0x24 00000a09: ADD 00000a0a: PUSH1 0x20 00000a0c: PUSH1 0x40 00000a0e: MLOAD 00000a0f: DUP1 00000a10: DUP4 00000a11: SUB 00000a12: DUP2 00000a13: DUP7 00000a14: DUP1 00000a15: EXTCODESIZE 00000a16: ISZERO 00000a17: DUP1 00000a18: ISZERO 00000a19: PUSH2 0x0a21 00000a1c: JUMPI 00000a1d: PUSH1 0x00 00000a1f: DUP1 00000a20: REVERT 00000a21: JUMPDEST 00000a22: POP 00000a23: GAS 00000a24: STATICCALL 00000a25: ISZERO 00000a26: DUP1 00000a27: ISZERO 00000a28: PUSH2 0x0a35 00000a2b: JUMPI 00000a2c: RETURNDATASIZE 00000a2d: PUSH1 0x00 00000a2f: DUP1 00000a30: RETURNDATACOPY 00000a31: RETURNDATASIZE 00000a32: PUSH1 0x00 00000a34: REVERT 00000a35: JUMPDEST 00000a36: POP 00000a37: POP 00000a38: POP 00000a39: POP 00000a3a: PUSH1 0x40 00000a3c: MLOAD 00000a3d: RETURNDATASIZE 00000a3e: PUSH1 0x1f 00000a40: NOT 00000a41: PUSH1 0x1f 00000a43: DUP3 00000a44: ADD 00000a45: AND 00000a46: DUP3 00000a47: ADD 00000a48: DUP1 00000a49: PUSH1 0x40 00000a4b: MSTORE 00000a4c: POP 00000a4d: DUP2 00000a4e: ADD 00000a4f: SWAP1 00000a50: PUSH2 0x0a59 00000a53: SWAP2 00000a54: SWAP1 00000a55: PUSH2 0x1929 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x40 00000a5c: MLOAD 00000a5d: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000a7e: DUP2 00000a7f: MSTORE 00000a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a95: DUP6 00000a96: DUP2 00000a97: AND 00000a98: PUSH1 0x04 00000a9a: DUP4 00000a9b: ADD 00000a9c: MSTORE 00000a9d: SWAP2 00000a9e: SWAP3 00000a9f: POP 00000aa0: PUSH1 0x00 00000aa2: SWAP2 00000aa3: DUP7 00000aa4: AND 00000aa5: SWAP1 00000aa6: PUSH4 0x70a08231 00000aab: SWAP1 00000aac: PUSH1 0x24 00000aae: ADD 00000aaf: PUSH1 0x20 00000ab1: PUSH1 0x40 00000ab3: MLOAD 00000ab4: DUP1 00000ab5: DUP4 00000ab6: SUB 00000ab7: DUP2 00000ab8: DUP7 00000ab9: DUP1 00000aba: EXTCODESIZE 00000abb: ISZERO 00000abc: DUP1 00000abd: ISZERO 00000abe: PUSH2 0x0ac6 00000ac1: JUMPI 00000ac2: PUSH1 0x00 00000ac4: DUP1 00000ac5: REVERT 00000ac6: JUMPDEST 00000ac7: POP 00000ac8: GAS 00000ac9: STATICCALL 00000aca: ISZERO 00000acb: DUP1 00000acc: ISZERO 00000acd: PUSH2 0x0ada 00000ad0: JUMPI 00000ad1: RETURNDATASIZE 00000ad2: PUSH1 0x00 00000ad4: DUP1 00000ad5: RETURNDATACOPY 00000ad6: RETURNDATASIZE 00000ad7: PUSH1 0x00 00000ad9: REVERT 00000ada: JUMPDEST 00000adb: POP 00000adc: POP 00000add: POP 00000ade: POP 00000adf: PUSH1 0x40 00000ae1: MLOAD 00000ae2: RETURNDATASIZE 00000ae3: PUSH1 0x1f 00000ae5: NOT 00000ae6: PUSH1 0x1f 00000ae8: DUP3 00000ae9: ADD 00000aea: AND 00000aeb: DUP3 00000aec: ADD 00000aed: DUP1 00000aee: PUSH1 0x40 00000af0: MSTORE 00000af1: POP 00000af2: DUP2 00000af3: ADD 00000af4: SWAP1 00000af5: PUSH2 0x0afe 00000af8: SWAP2 00000af9: SWAP1 00000afa: PUSH2 0x1929 00000afd: JUMP 00000afe: JUMPDEST 00000aff: SWAP1 00000b00: POP 00000b01: PUSH1 0x00 00000b03: DUP2 00000b04: GT 00000b05: PUSH2 0x0b0d 00000b08: JUMPI 00000b09: PUSH1 0x00 00000b0b: DUP1 00000b0c: REVERT 00000b0d: JUMPDEST 00000b0e: PUSH2 0x0b23 00000b11: DUP2 00000b12: PUSH2 0x083f 00000b15: DUP5 00000b16: PUSH8 0x0de0b6b3a7640000 00000b1f: PUSH2 0x1649 00000b22: JUMP 00000b23: JUMPDEST 00000b24: SWAP7 00000b25: SWAP6 00000b26: POP 00000b27: POP 00000b28: POP 00000b29: POP 00000b2a: POP 00000b2b: POP 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: PUSH1 0x01 00000b30: SLOAD 00000b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b46: AND 00000b47: CALLER 00000b48: EQ 00000b49: DUP1 00000b4a: PUSH2 0x0b6a 00000b4d: JUMPI 00000b4e: POP 00000b4f: PUSH1 0x00 00000b51: SLOAD 00000b52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b67: AND 00000b68: CALLER 00000b69: EQ 00000b6a: JUMPDEST 00000b6b: PUSH2 0x0bb6 00000b6e: JUMPI 00000b6f: PUSH1 0x40 00000b71: MLOAD 00000b72: PUSH3 0x461bcd 00000b76: PUSH1 0xe5 00000b78: SHL 00000b79: DUP2 00000b7a: MSTORE 00000b7b: PUSH1 0x20 00000b7d: PUSH1 0x04 00000b7f: DUP3 00000b80: ADD 00000b81: MSTORE 00000b82: PUSH1 0x15 00000b84: PUSH1 0x24 00000b86: DUP3 00000b87: ADD 00000b88: MSTORE 00000b89: PUSH32 0x4f6e6c792070726f6772616d206f72204f776e65720000000000000000000000 00000baa: PUSH1 0x44 00000bac: DUP3 00000bad: ADD 00000bae: MSTORE 00000baf: PUSH1 0x64 00000bb1: ADD 00000bb2: PUSH2 0x05d6 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcc: DUP4 00000bcd: AND 00000bce: PUSH1 0x00 00000bd0: SWAP1 00000bd1: DUP2 00000bd2: MSTORE 00000bd3: PUSH1 0x07 00000bd5: PUSH1 0x20 00000bd7: SWAP1 00000bd8: DUP2 00000bd9: MSTORE 00000bda: PUSH1 0x40 00000bdc: DUP1 00000bdd: DUP4 00000bde: KECCAK256 00000bdf: DUP5 00000be0: DUP5 00000be1: MSTORE 00000be2: SWAP1 00000be3: SWAP2 00000be4: MSTORE 00000be5: SWAP1 00000be6: KECCAK256 00000be7: SLOAD 00000be8: PUSH1 0xff 00000bea: AND 00000beb: ISZERO 00000bec: PUSH2 0x0c5d 00000bef: JUMPI 00000bf0: PUSH1 0x40 00000bf2: MLOAD 00000bf3: PUSH3 0x461bcd 00000bf7: PUSH1 0xe5 00000bf9: SHL 00000bfa: DUP2 00000bfb: MSTORE 00000bfc: PUSH1 0x20 00000bfe: PUSH1 0x04 00000c00: DUP3 00000c01: ADD 00000c02: MSTORE 00000c03: PUSH1 0x21 00000c05: PUSH1 0x24 00000c07: DUP3 00000c08: ADD 00000c09: MSTORE 00000c0a: PUSH32 0x427269646765207265717565737420616c72656164792070726f636573736564 00000c2b: PUSH1 0x44 00000c2d: DUP3 00000c2e: ADD 00000c2f: MSTORE 00000c30: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000c51: PUSH1 0x64 00000c53: DUP3 00000c54: ADD 00000c55: MSTORE 00000c56: PUSH1 0x84 00000c58: ADD 00000c59: PUSH2 0x05d6 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: PUSH2 0x0cbd 00000c61: DUP4 00000c62: DUP3 00000c63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c78: SWAP1 00000c79: SWAP2 00000c7a: AND 00000c7b: PUSH1 0x00 00000c7d: SWAP1 00000c7e: DUP2 00000c7f: MSTORE 00000c80: PUSH1 0x07 00000c82: PUSH1 0x20 00000c84: SWAP1 00000c85: DUP2 00000c86: MSTORE 00000c87: PUSH1 0x40 00000c89: DUP1 00000c8a: DUP4 00000c8b: KECCAK256 00000c8c: SWAP4 00000c8d: DUP4 00000c8e: MSTORE 00000c8f: SWAP3 00000c90: SWAP1 00000c91: MSTORE 00000c92: KECCAK256 00000c93: DUP1 00000c94: SLOAD 00000c95: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000cb6: AND 00000cb7: PUSH1 0x01 00000cb9: OR 00000cba: SWAP1 00000cbb: SSTORE 00000cbc: JUMP 00000cbd: JUMPDEST 00000cbe: PUSH1 0x00 00000cc0: DUP4 00000cc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd6: AND 00000cd7: DUP4 00000cd8: PUSH1 0x40 00000cda: MLOAD 00000cdb: PUSH1 0x00 00000cdd: PUSH1 0x40 00000cdf: MLOAD 00000ce0: DUP1 00000ce1: DUP4 00000ce2: SUB 00000ce3: DUP2 00000ce4: DUP6 00000ce5: DUP8 00000ce6: GAS 00000ce7: CALL 00000ce8: SWAP3 00000ce9: POP 00000cea: POP 00000ceb: POP 00000cec: RETURNDATASIZE 00000ced: DUP1 00000cee: PUSH1 0x00 00000cf0: DUP2 00000cf1: EQ 00000cf2: PUSH2 0x0d17 00000cf5: JUMPI 00000cf6: PUSH1 0x40 00000cf8: MLOAD 00000cf9: SWAP2 00000cfa: POP 00000cfb: PUSH1 0x1f 00000cfd: NOT 00000cfe: PUSH1 0x3f 00000d00: RETURNDATASIZE 00000d01: ADD 00000d02: AND 00000d03: DUP3 00000d04: ADD 00000d05: PUSH1 0x40 00000d07: MSTORE 00000d08: RETURNDATASIZE 00000d09: DUP3 00000d0a: MSTORE 00000d0b: RETURNDATASIZE 00000d0c: PUSH1 0x00 00000d0e: PUSH1 0x20 00000d10: DUP5 00000d11: ADD 00000d12: RETURNDATACOPY 00000d13: PUSH2 0x0d1c 00000d16: JUMP 00000d17: JUMPDEST 00000d18: PUSH1 0x60 00000d1a: SWAP2 00000d1b: POP 00000d1c: JUMPDEST 00000d1d: POP 00000d1e: POP 00000d1f: SWAP1 00000d20: POP 00000d21: DUP1 00000d22: PUSH2 0x0d6d 00000d25: JUMPI 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: PUSH3 0x461bcd 00000d2d: PUSH1 0xe5 00000d2f: SHL 00000d30: DUP2 00000d31: MSTORE 00000d32: PUSH1 0x20 00000d34: PUSH1 0x04 00000d36: DUP3 00000d37: ADD 00000d38: MSTORE 00000d39: PUSH1 0x10 00000d3b: PUSH1 0x24 00000d3d: DUP3 00000d3e: ADD 00000d3f: MSTORE 00000d40: PUSH32 0x5472616e73666572206661696c65642100000000000000000000000000000000 00000d61: PUSH1 0x44 00000d63: DUP3 00000d64: ADD 00000d65: MSTORE 00000d66: PUSH1 0x64 00000d68: ADD 00000d69: PUSH2 0x05d6 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: POP 00000d6f: POP 00000d70: POP 00000d71: POP 00000d72: JUMP 00000d73: JUMPDEST 00000d74: PUSH1 0x00 00000d76: SLOAD 00000d77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8c: AND 00000d8d: CALLER 00000d8e: EQ 00000d8f: PUSH2 0x0e00 00000d92: JUMPI 00000d93: PUSH1 0x40 00000d95: MLOAD 00000d96: PUSH3 0x461bcd 00000d9a: PUSH1 0xe5 00000d9c: SHL 00000d9d: DUP2 00000d9e: MSTORE 00000d9f: PUSH1 0x20 00000da1: PUSH1 0x04 00000da3: DUP3 00000da4: ADD 00000da5: MSTORE 00000da6: PUSH1 0x21 00000da8: PUSH1 0x24 00000daa: DUP3 00000dab: ADD 00000dac: MSTORE 00000dad: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 00000dce: PUSH1 0x44 00000dd0: DUP3 00000dd1: ADD 00000dd2: MSTORE 00000dd3: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 00000df4: PUSH1 0x64 00000df6: DUP3 00000df7: ADD 00000df8: MSTORE 00000df9: PUSH1 0x84 00000dfb: ADD 00000dfc: PUSH2 0x05d6 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH1 0x0a 00000e03: SLOAD 00000e04: PUSH22 0x01000000000000000000000000000000000000000000 00000e1b: SWAP1 00000e1c: DIV 00000e1d: PUSH1 0xff 00000e1f: AND 00000e20: ISZERO 00000e21: PUSH2 0x0e6c 00000e24: JUMPI 00000e25: PUSH1 0x40 00000e27: MLOAD 00000e28: PUSH3 0x461bcd 00000e2c: PUSH1 0xe5 00000e2e: SHL 00000e2f: DUP2 00000e30: MSTORE 00000e31: PUSH1 0x20 00000e33: PUSH1 0x04 00000e35: DUP3 00000e36: ADD 00000e37: MSTORE 00000e38: PUSH1 0x0e 00000e3a: PUSH1 0x24 00000e3c: DUP3 00000e3d: ADD 00000e3e: MSTORE 00000e3f: PUSH32 0x4e6f2072652d656e7472616e6379000000000000000000000000000000000000 00000e60: PUSH1 0x44 00000e62: DUP3 00000e63: ADD 00000e64: MSTORE 00000e65: PUSH1 0x64 00000e67: ADD 00000e68: PUSH2 0x05d6 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: PUSH1 0x0a 00000e6f: DUP1 00000e70: SLOAD 00000e71: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 00000e92: AND 00000e93: PUSH22 0x01000000000000000000000000000000000000000000 00000eaa: OR 00000eab: SWAP1 00000eac: SSTORE 00000ead: CALLVALUE 00000eae: DUP2 00000eaf: GT 00000eb0: ISZERO 00000eb1: PUSH2 0x0efc 00000eb4: JUMPI 00000eb5: PUSH1 0x40 00000eb7: MLOAD 00000eb8: PUSH3 0x461bcd 00000ebc: PUSH1 0xe5 00000ebe: SHL 00000ebf: DUP2 00000ec0: MSTORE 00000ec1: PUSH1 0x20 00000ec3: PUSH1 0x04 00000ec5: DUP3 00000ec6: ADD 00000ec7: MSTORE 00000ec8: PUSH1 0x0d 00000eca: PUSH1 0x24 00000ecc: DUP3 00000ecd: ADD 00000ece: MSTORE 00000ecf: PUSH32 0x5041594d454e545f41424f525400000000000000000000000000000000000000 00000ef0: PUSH1 0x44 00000ef2: DUP3 00000ef3: ADD 00000ef4: MSTORE 00000ef5: PUSH1 0x64 00000ef7: ADD 00000ef8: PUSH2 0x05d6 00000efb: JUMP 00000efc: JUMPDEST 00000efd: POP 00000efe: PUSH1 0x0a 00000f00: DUP1 00000f01: SLOAD 00000f02: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 00000f23: AND 00000f24: SWAP1 00000f25: SSTORE 00000f26: JUMP 00000f27: JUMPDEST 00000f28: PUSH1 0x00 00000f2a: SLOAD 00000f2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f40: AND 00000f41: CALLER 00000f42: EQ 00000f43: PUSH2 0x0fb4 00000f46: JUMPI 00000f47: PUSH1 0x40 00000f49: MLOAD 00000f4a: PUSH3 0x461bcd 00000f4e: PUSH1 0xe5 00000f50: SHL 00000f51: DUP2 00000f52: MSTORE 00000f53: PUSH1 0x20 00000f55: PUSH1 0x04 00000f57: DUP3 00000f58: ADD 00000f59: MSTORE 00000f5a: PUSH1 0x21 00000f5c: PUSH1 0x24 00000f5e: DUP3 00000f5f: ADD 00000f60: MSTORE 00000f61: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 00000f82: PUSH1 0x44 00000f84: DUP3 00000f85: ADD 00000f86: MSTORE 00000f87: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 00000fa8: PUSH1 0x64 00000faa: DUP3 00000fab: ADD 00000fac: MSTORE 00000fad: PUSH1 0x84 00000faf: ADD 00000fb0: PUSH2 0x05d6 00000fb3: JUMP 00000fb4: JUMPDEST 00000fb5: PUSH1 0x08 00000fb7: DUP1 00000fb8: SLOAD 00000fb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fce: SWAP5 00000fcf: DUP6 00000fd0: AND 00000fd1: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000ff2: SWAP2 00000ff3: DUP3 00000ff4: AND 00000ff5: OR 00000ff6: SWAP1 00000ff7: SWAP2 00000ff8: SSTORE 00000ff9: PUSH1 0x09 00000ffb: DUP1 00000ffc: SLOAD 00000ffd: SWAP4 00000ffe: DUP6 00000fff: AND 00001000: SWAP4 00001001: DUP3 00001002: AND 00001003: SWAP4 00001004: SWAP1 00001005: SWAP4 00001006: OR 00001007: SWAP1 00001008: SWAP3 00001009: SSTORE 0000100a: PUSH1 0x0a 0000100c: DUP1 0000100d: SLOAD 0000100e: SWAP2 0000100f: SWAP1 00001010: SWAP4 00001011: AND 00001012: SWAP2 00001013: AND 00001014: OR 00001015: SWAP1 00001016: SSTORE 00001017: JUMP 00001018: JUMPDEST 00001019: PUSH1 0x0a 0000101b: SLOAD 0000101c: PUSH1 0x00 0000101e: SWAP1 0000101f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001034: AND 00001035: ISZERO 00001036: PUSH2 0x109a 00001039: JUMPI 0000103a: PUSH1 0x08 0000103c: SLOAD 0000103d: PUSH1 0x09 0000103f: SLOAD 00001040: PUSH1 0x0a 00001042: SLOAD 00001043: PUSH1 0x00 00001045: SWAP3 00001046: PUSH2 0x106c 00001049: SWAP3 0000104a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105f: SWAP2 00001060: DUP3 00001061: AND 00001062: SWAP3 00001063: SWAP1 00001064: DUP3 00001065: AND 00001066: SWAP2 00001067: AND 00001068: PUSH2 0x09b5 0000106b: JUMP 0000106c: JUMPDEST 0000106d: SWAP1 0000106e: POP 0000106f: PUSH2 0x1094 00001072: PUSH1 0x64 00001074: PUSH2 0x0839 00001077: PUSH1 0x03 00001079: SLOAD 0000107a: PUSH2 0x083f 0000107d: PUSH8 0x0de0b6b3a7640000 00001086: DUP7 00001087: PUSH2 0x1649 0000108a: SWAP1 0000108b: SWAP2 0000108c: SWAP1 0000108d: PUSH4 0xffffffff 00001092: AND 00001093: JUMP 00001094: JUMPDEST 00001095: SWAP2 00001096: POP 00001097: POP 00001098: SWAP1 00001099: JUMP 0000109a: JUMPDEST 0000109b: POP 0000109c: PUSH1 0x04 0000109e: SLOAD 0000109f: SWAP1 000010a0: JUMP 000010a1: JUMPDEST 000010a2: PUSH1 0x00 000010a4: SLOAD 000010a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ba: AND 000010bb: CALLER 000010bc: EQ 000010bd: PUSH2 0x112e 000010c0: JUMPI 000010c1: PUSH1 0x40 000010c3: MLOAD 000010c4: PUSH3 0x461bcd 000010c8: PUSH1 0xe5 000010ca: SHL 000010cb: DUP2 000010cc: MSTORE 000010cd: PUSH1 0x20 000010cf: PUSH1 0x04 000010d1: DUP3 000010d2: ADD 000010d3: MSTORE 000010d4: PUSH1 0x21 000010d6: PUSH1 0x24 000010d8: DUP3 000010d9: ADD 000010da: MSTORE 000010db: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 000010fc: PUSH1 0x44 000010fe: DUP3 000010ff: ADD 00001100: MSTORE 00001101: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 00001122: PUSH1 0x64 00001124: DUP3 00001125: ADD 00001126: MSTORE 00001127: PUSH1 0x84 00001129: ADD 0000112a: PUSH2 0x05d6 0000112d: JUMP 0000112e: JUMPDEST 0000112f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001144: DUP2 00001145: AND 00001146: PUSH2 0x1191 00001149: JUMPI 0000114a: PUSH1 0x40 0000114c: MLOAD 0000114d: PUSH3 0x461bcd 00001151: PUSH1 0xe5 00001153: SHL 00001154: DUP2 00001155: MSTORE 00001156: PUSH1 0x20 00001158: PUSH1 0x04 0000115a: DUP3 0000115b: ADD 0000115c: MSTORE 0000115d: PUSH1 0x0f 0000115f: PUSH1 0x24 00001161: DUP3 00001162: ADD 00001163: MSTORE 00001164: PUSH32 0x4e6f207a65726f20616464726573730000000000000000000000000000000000 00001185: PUSH1 0x44 00001187: DUP3 00001188: ADD 00001189: MSTORE 0000118a: PUSH1 0x64 0000118c: ADD 0000118d: PUSH2 0x05d6 00001190: JUMP 00001191: JUMPDEST 00001192: PUSH1 0x01 00001194: DUP1 00001195: SLOAD 00001196: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000011b7: AND 000011b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011cd: SWAP3 000011ce: SWAP1 000011cf: SWAP3 000011d0: AND 000011d1: SWAP2 000011d2: SWAP1 000011d3: SWAP2 000011d4: OR 000011d5: SWAP1 000011d6: SSTORE 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: SLOAD 000011dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f1: AND 000011f2: CALLER 000011f3: EQ 000011f4: PUSH2 0x1265 000011f7: JUMPI 000011f8: PUSH1 0x40 000011fa: MLOAD 000011fb: PUSH3 0x461bcd 000011ff: PUSH1 0xe5 00001201: SHL 00001202: DUP2 00001203: MSTORE 00001204: PUSH1 0x20 00001206: PUSH1 0x04 00001208: DUP3 00001209: ADD 0000120a: MSTORE 0000120b: PUSH1 0x21 0000120d: PUSH1 0x24 0000120f: DUP3 00001210: ADD 00001211: MSTORE 00001212: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 00001233: PUSH1 0x44 00001235: DUP3 00001236: ADD 00001237: MSTORE 00001238: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 00001259: PUSH1 0x64 0000125b: DUP3 0000125c: ADD 0000125d: MSTORE 0000125e: PUSH1 0x84 00001260: ADD 00001261: PUSH2 0x05d6 00001264: JUMP 00001265: JUMPDEST 00001266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127b: DUP2 0000127c: AND 0000127d: PUSH2 0x12c8 00001280: JUMPI 00001281: PUSH1 0x40 00001283: MLOAD 00001284: PUSH3 0x461bcd 00001288: PUSH1 0xe5 0000128a: SHL 0000128b: DUP2 0000128c: MSTORE 0000128d: PUSH1 0x20 0000128f: PUSH1 0x04 00001291: DUP3 00001292: ADD 00001293: MSTORE 00001294: PUSH1 0x0f 00001296: PUSH1 0x24 00001298: DUP3 00001299: ADD 0000129a: MSTORE 0000129b: PUSH32 0x4e6f207a65726f20616464726573730000000000000000000000000000000000 000012bc: PUSH1 0x44 000012be: DUP3 000012bf: ADD 000012c0: MSTORE 000012c1: PUSH1 0x64 000012c3: ADD 000012c4: PUSH2 0x05d6 000012c7: JUMP 000012c8: JUMPDEST 000012c9: PUSH1 0x00 000012cb: DUP1 000012cc: SLOAD 000012cd: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000012ee: AND 000012ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001304: SWAP3 00001305: SWAP1 00001306: SWAP3 00001307: AND 00001308: SWAP2 00001309: SWAP1 0000130a: SWAP2 0000130b: OR 0000130c: SWAP1 0000130d: SSTORE 0000130e: JUMP 0000130f: JUMPDEST 00001310: PUSH1 0x02 00001312: DUP1 00001313: SLOAD 00001314: PUSH2 0x131c 00001317: SWAP1 00001318: PUSH2 0x1942 0000131b: JUMP 0000131c: JUMPDEST 0000131d: DUP1 0000131e: PUSH1 0x1f 00001320: ADD 00001321: PUSH1 0x20 00001323: DUP1 00001324: SWAP2 00001325: DIV 00001326: MUL 00001327: PUSH1 0x20 00001329: ADD 0000132a: PUSH1 0x40 0000132c: MLOAD 0000132d: SWAP1 0000132e: DUP2 0000132f: ADD 00001330: PUSH1 0x40 00001332: MSTORE 00001333: DUP1 00001334: SWAP3 00001335: SWAP2 00001336: SWAP1 00001337: DUP2 00001338: DUP2 00001339: MSTORE 0000133a: PUSH1 0x20 0000133c: ADD 0000133d: DUP3 0000133e: DUP1 0000133f: SLOAD 00001340: PUSH2 0x1348 00001343: SWAP1 00001344: PUSH2 0x1942 00001347: JUMP 00001348: JUMPDEST 00001349: DUP1 0000134a: ISZERO 0000134b: PUSH2 0x1395 0000134e: JUMPI 0000134f: DUP1 00001350: PUSH1 0x1f 00001352: LT 00001353: PUSH2 0x136a 00001356: JUMPI 00001357: PUSH2 0x0100 0000135a: DUP1 0000135b: DUP4 0000135c: SLOAD 0000135d: DIV 0000135e: MUL 0000135f: DUP4 00001360: MSTORE 00001361: SWAP2 00001362: PUSH1 0x20 00001364: ADD 00001365: SWAP2 00001366: PUSH2 0x1395 00001369: JUMP 0000136a: JUMPDEST 0000136b: DUP3 0000136c: ADD 0000136d: SWAP2 0000136e: SWAP1 0000136f: PUSH1 0x00 00001371: MSTORE 00001372: PUSH1 0x20 00001374: PUSH1 0x00 00001376: KECCAK256 00001377: SWAP1 00001378: JUMPDEST 00001379: DUP2 0000137a: SLOAD 0000137b: DUP2 0000137c: MSTORE 0000137d: SWAP1 0000137e: PUSH1 0x01 00001380: ADD 00001381: SWAP1 00001382: PUSH1 0x20 00001384: ADD 00001385: DUP1 00001386: DUP4 00001387: GT 00001388: PUSH2 0x1378 0000138b: JUMPI 0000138c: DUP3 0000138d: SWAP1 0000138e: SUB 0000138f: PUSH1 0x1f 00001391: AND 00001392: DUP3 00001393: ADD 00001394: SWAP2 00001395: JUMPDEST 00001396: POP 00001397: POP 00001398: POP 00001399: POP 0000139a: POP 0000139b: DUP2 0000139c: JUMP 0000139d: JUMPDEST 0000139e: PUSH1 0x00 000013a0: SLOAD 000013a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b6: AND 000013b7: CALLER 000013b8: EQ 000013b9: PUSH2 0x142a 000013bc: JUMPI 000013bd: PUSH1 0x40 000013bf: MLOAD 000013c0: PUSH3 0x461bcd 000013c4: PUSH1 0xe5 000013c6: SHL 000013c7: DUP2 000013c8: MSTORE 000013c9: PUSH1 0x20 000013cb: PUSH1 0x04 000013cd: DUP3 000013ce: ADD 000013cf: MSTORE 000013d0: PUSH1 0x21 000013d2: PUSH1 0x24 000013d4: DUP3 000013d5: ADD 000013d6: MSTORE 000013d7: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 000013f8: PUSH1 0x44 000013fa: DUP3 000013fb: ADD 000013fc: MSTORE 000013fd: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 0000141e: PUSH1 0x64 00001420: DUP3 00001421: ADD 00001422: MSTORE 00001423: PUSH1 0x84 00001425: ADD 00001426: PUSH2 0x05d6 00001429: JUMP 0000142a: JUMPDEST 0000142b: PUSH1 0x0a 0000142d: SLOAD 0000142e: PUSH22 0x01000000000000000000000000000000000000000000 00001445: SWAP1 00001446: DIV 00001447: PUSH1 0xff 00001449: AND 0000144a: ISZERO 0000144b: PUSH2 0x1496 0000144e: JUMPI 0000144f: PUSH1 0x40 00001451: MLOAD 00001452: PUSH3 0x461bcd 00001456: PUSH1 0xe5 00001458: SHL 00001459: DUP2 0000145a: MSTORE 0000145b: PUSH1 0x20 0000145d: PUSH1 0x04 0000145f: DUP3 00001460: ADD 00001461: MSTORE 00001462: PUSH1 0x0e 00001464: PUSH1 0x24 00001466: DUP3 00001467: ADD 00001468: MSTORE 00001469: PUSH32 0x4e6f2072652d656e7472616e6379000000000000000000000000000000000000 0000148a: PUSH1 0x44 0000148c: DUP3 0000148d: ADD 0000148e: MSTORE 0000148f: PUSH1 0x64 00001491: ADD 00001492: PUSH2 0x05d6 00001495: JUMP 00001496: JUMPDEST 00001497: PUSH1 0x0a 00001499: DUP1 0000149a: SLOAD 0000149b: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 000014bc: AND 000014bd: PUSH22 0x01000000000000000000000000000000000000000000 000014d4: OR 000014d5: SWAP1 000014d6: SSTORE 000014d7: PUSH1 0x00 000014d9: DUP1 000014da: SLOAD 000014db: PUSH1 0x06 000014dd: SLOAD 000014de: PUSH1 0x40 000014e0: MLOAD 000014e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f6: SWAP1 000014f7: SWAP3 000014f8: AND 000014f9: SWAP2 000014fa: DUP4 000014fb: DUP2 000014fc: DUP2 000014fd: DUP2 000014fe: DUP6 000014ff: DUP8 00001500: GAS 00001501: CALL 00001502: SWAP3 00001503: POP 00001504: POP 00001505: POP 00001506: RETURNDATASIZE 00001507: DUP1 00001508: PUSH1 0x00 0000150a: DUP2 0000150b: EQ 0000150c: PUSH2 0x1531 0000150f: JUMPI 00001510: PUSH1 0x40 00001512: MLOAD 00001513: SWAP2 00001514: POP 00001515: PUSH1 0x1f 00001517: NOT 00001518: PUSH1 0x3f 0000151a: RETURNDATASIZE 0000151b: ADD 0000151c: AND 0000151d: DUP3 0000151e: ADD 0000151f: PUSH1 0x40 00001521: MSTORE 00001522: RETURNDATASIZE 00001523: DUP3 00001524: MSTORE 00001525: RETURNDATASIZE 00001526: PUSH1 0x00 00001528: PUSH1 0x20 0000152a: DUP5 0000152b: ADD 0000152c: RETURNDATACOPY 0000152d: PUSH2 0x1536 00001530: JUMP 00001531: JUMPDEST 00001532: PUSH1 0x60 00001534: SWAP2 00001535: POP 00001536: JUMPDEST 00001537: POP 00001538: POP 00001539: SWAP1 0000153a: POP 0000153b: DUP1 0000153c: PUSH2 0x1587 0000153f: JUMPI 00001540: PUSH1 0x40 00001542: MLOAD 00001543: PUSH3 0x461bcd 00001547: PUSH1 0xe5 00001549: SHL 0000154a: DUP2 0000154b: MSTORE 0000154c: PUSH1 0x20 0000154e: PUSH1 0x04 00001550: DUP3 00001551: ADD 00001552: MSTORE 00001553: PUSH1 0x16 00001555: PUSH1 0x24 00001557: DUP3 00001558: ADD 00001559: MSTORE 0000155a: PUSH32 0x4272696467655472616e73666572206661696c65642100000000000000000000 0000157b: PUSH1 0x44 0000157d: DUP3 0000157e: ADD 0000157f: MSTORE 00001580: PUSH1 0x64 00001582: ADD 00001583: PUSH2 0x05d6 00001586: JUMP 00001587: JUMPDEST 00001588: POP 00001589: PUSH1 0x00 0000158b: PUSH1 0x06 0000158d: SSTORE 0000158e: PUSH1 0x0a 00001590: DUP1 00001591: SLOAD 00001592: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 000015b3: AND 000015b4: SWAP1 000015b5: SSTORE 000015b6: JUMP 000015b7: JUMPDEST 000015b8: PUSH1 0x00 000015ba: SLOAD 000015bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d0: AND 000015d1: CALLER 000015d2: EQ 000015d3: PUSH2 0x1644 000015d6: JUMPI 000015d7: PUSH1 0x40 000015d9: MLOAD 000015da: PUSH3 0x461bcd 000015de: PUSH1 0xe5 000015e0: SHL 000015e1: DUP2 000015e2: MSTORE 000015e3: PUSH1 0x20 000015e5: PUSH1 0x04 000015e7: DUP3 000015e8: ADD 000015e9: MSTORE 000015ea: PUSH1 0x21 000015ec: PUSH1 0x24 000015ee: DUP3 000015ef: ADD 000015f0: MSTORE 000015f1: PUSH32 0x4f6e6c7920746865206f776e65722063616e20646f207468697320616374696f 00001612: PUSH1 0x44 00001614: DUP3 00001615: ADD 00001616: MSTORE 00001617: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 00001638: PUSH1 0x64 0000163a: DUP3 0000163b: ADD 0000163c: MSTORE 0000163d: PUSH1 0x84 0000163f: ADD 00001640: PUSH2 0x05d6 00001643: JUMP 00001644: JUMPDEST 00001645: PUSH1 0x04 00001647: SSTORE 00001648: JUMP 00001649: JUMPDEST 0000164a: PUSH1 0x00 0000164c: PUSH2 0x1655 0000164f: DUP3 00001650: DUP5 00001651: PUSH2 0x1996 00001654: JUMP 00001655: JUMPDEST 00001656: SWAP4 00001657: SWAP3 00001658: POP 00001659: POP 0000165a: POP 0000165b: JUMP 0000165c: JUMPDEST 0000165d: PUSH1 0x00 0000165f: PUSH2 0x1655 00001662: DUP3 00001663: DUP5 00001664: PUSH2 0x19d3 00001667: JUMP 00001668: JUMPDEST 00001669: PUSH1 0x00 0000166b: PUSH2 0x1655 0000166e: DUP3 0000166f: DUP5 00001670: PUSH2 0x18bd 00001673: JUMP 00001674: JUMPDEST 00001675: PUSH1 0x00 00001677: PUSH2 0x1655 0000167a: DUP3 0000167b: DUP5 0000167c: PUSH2 0x1a0e 0000167f: JUMP 00001680: JUMPDEST 00001681: PUSH1 0x00 00001683: PUSH1 0x20 00001685: DUP3 00001686: DUP5 00001687: SUB 00001688: SLT 00001689: ISZERO 0000168a: PUSH2 0x1692 0000168d: JUMPI 0000168e: PUSH1 0x00 00001690: DUP1 00001691: REVERT 00001692: JUMPDEST 00001693: DUP2 00001694: CALLDATALOAD 00001695: DUP1 00001696: ISZERO 00001697: ISZERO 00001698: DUP2 00001699: EQ 0000169a: PUSH2 0x1655 0000169d: JUMPI 0000169e: PUSH1 0x00 000016a0: DUP1 000016a1: REVERT 000016a2: JUMPDEST 000016a3: PUSH1 0x00 000016a5: PUSH1 0x20 000016a7: DUP3 000016a8: DUP5 000016a9: SUB 000016aa: SLT 000016ab: ISZERO 000016ac: PUSH2 0x16b4 000016af: JUMPI 000016b0: PUSH1 0x00 000016b2: DUP1 000016b3: REVERT 000016b4: JUMPDEST 000016b5: POP 000016b6: CALLDATALOAD 000016b7: SWAP2 000016b8: SWAP1 000016b9: POP 000016ba: JUMP 000016bb: JUMPDEST 000016bc: PUSH1 0x00 000016be: DUP1 000016bf: PUSH1 0x00 000016c1: PUSH1 0x40 000016c3: DUP5 000016c4: DUP7 000016c5: SUB 000016c6: SLT 000016c7: ISZERO 000016c8: PUSH2 0x16d0 000016cb: JUMPI 000016cc: PUSH1 0x00 000016ce: DUP1 000016cf: REVERT 000016d0: JUMPDEST 000016d1: DUP4 000016d2: CALLDATALOAD 000016d3: SWAP3 000016d4: POP 000016d5: PUSH1 0x20 000016d7: DUP5 000016d8: ADD 000016d9: CALLDATALOAD 000016da: PUSH8 0xffffffffffffffff 000016e3: DUP1 000016e4: DUP3 000016e5: GT 000016e6: ISZERO 000016e7: PUSH2 0x16ef 000016ea: JUMPI 000016eb: PUSH1 0x00 000016ed: DUP1 000016ee: REVERT 000016ef: JUMPDEST 000016f0: DUP2 000016f1: DUP7 000016f2: ADD 000016f3: SWAP2 000016f4: POP 000016f5: DUP7 000016f6: PUSH1 0x1f 000016f8: DUP4 000016f9: ADD 000016fa: SLT 000016fb: PUSH2 0x1703 000016fe: JUMPI 000016ff: PUSH1 0x00 00001701: DUP1 00001702: REVERT 00001703: JUMPDEST 00001704: DUP2 00001705: CALLDATALOAD 00001706: DUP2 00001707: DUP2 00001708: GT 00001709: ISZERO 0000170a: PUSH2 0x1712 0000170d: JUMPI 0000170e: PUSH1 0x00 00001710: DUP1 00001711: REVERT 00001712: JUMPDEST 00001713: DUP8 00001714: PUSH1 0x20 00001716: DUP3 00001717: DUP6 00001718: ADD 00001719: ADD 0000171a: GT 0000171b: ISZERO 0000171c: PUSH2 0x1724 0000171f: JUMPI 00001720: PUSH1 0x00 00001722: DUP1 00001723: REVERT 00001724: JUMPDEST 00001725: PUSH1 0x20 00001727: DUP4 00001728: ADD 00001729: SWAP5 0000172a: POP 0000172b: DUP1 0000172c: SWAP4 0000172d: POP 0000172e: POP 0000172f: POP 00001730: POP 00001731: SWAP3 00001732: POP 00001733: SWAP3 00001734: POP 00001735: SWAP3 00001736: JUMP 00001737: JUMPDEST 00001738: DUP1 00001739: CALLDATALOAD 0000173a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000174f: DUP2 00001750: AND 00001751: DUP2 00001752: EQ 00001753: PUSH2 0x175b 00001756: JUMPI 00001757: PUSH1 0x00 00001759: DUP1 0000175a: REVERT 0000175b: JUMPDEST 0000175c: SWAP2 0000175d: SWAP1 0000175e: POP 0000175f: JUMP 00001760: JUMPDEST 00001761: PUSH1 0x00 00001763: DUP1 00001764: PUSH1 0x00 00001766: PUSH1 0x60 00001768: DUP5 00001769: DUP7 0000176a: SUB 0000176b: SLT 0000176c: ISZERO 0000176d: PUSH2 0x1775 00001770: JUMPI 00001771: PUSH1 0x00 00001773: DUP1 00001774: REVERT 00001775: JUMPDEST 00001776: PUSH2 0x177e 00001779: DUP5 0000177a: PUSH2 0x1737 0000177d: JUMP 0000177e: JUMPDEST 0000177f: SWAP3 00001780: POP 00001781: PUSH2 0x178c 00001784: PUSH1 0x20 00001786: DUP6 00001787: ADD 00001788: PUSH2 0x1737 0000178b: JUMP 0000178c: JUMPDEST 0000178d: SWAP2 0000178e: POP 0000178f: PUSH2 0x179a 00001792: PUSH1 0x40 00001794: DUP6 00001795: ADD 00001796: PUSH2 0x1737 00001799: JUMP 0000179a: JUMPDEST 0000179b: SWAP1 0000179c: POP 0000179d: SWAP3 0000179e: POP 0000179f: SWAP3 000017a0: POP 000017a1: SWAP3 000017a2: JUMP 000017a3: JUMPDEST 000017a4: PUSH1 0x00 000017a6: DUP1 000017a7: PUSH1 0x00 000017a9: PUSH1 0x60 000017ab: DUP5 000017ac: DUP7 000017ad: SUB 000017ae: SLT 000017af: ISZERO 000017b0: PUSH2 0x17b8 000017b3: JUMPI 000017b4: PUSH1 0x00 000017b6: DUP1 000017b7: REVERT 000017b8: JUMPDEST 000017b9: PUSH2 0x17c1 000017bc: DUP5 000017bd: PUSH2 0x1737 000017c0: JUMP 000017c1: JUMPDEST 000017c2: SWAP6 000017c3: PUSH1 0x20 000017c5: DUP6 000017c6: ADD 000017c7: CALLDATALOAD 000017c8: SWAP6 000017c9: POP 000017ca: PUSH1 0x40 000017cc: SWAP1 000017cd: SWAP5 000017ce: ADD 000017cf: CALLDATALOAD 000017d0: SWAP4 000017d1: SWAP3 000017d2: POP 000017d3: POP 000017d4: POP 000017d5: JUMP 000017d6: JUMPDEST 000017d7: PUSH1 0x00 000017d9: DUP1 000017da: PUSH1 0x40 000017dc: DUP4 000017dd: DUP6 000017de: SUB 000017df: SLT 000017e0: ISZERO 000017e1: PUSH2 0x17e9 000017e4: JUMPI 000017e5: PUSH1 0x00 000017e7: DUP1 000017e8: REVERT 000017e9: JUMPDEST 000017ea: PUSH2 0x17f2 000017ed: DUP4 000017ee: PUSH2 0x1737 000017f1: JUMP 000017f2: JUMPDEST 000017f3: SWAP5 000017f4: PUSH1 0x20 000017f6: SWAP4 000017f7: SWAP1 000017f8: SWAP4 000017f9: ADD 000017fa: CALLDATALOAD 000017fb: SWAP4 000017fc: POP 000017fd: POP 000017fe: POP 000017ff: JUMP 00001800: JUMPDEST 00001801: PUSH1 0x00 00001803: PUSH1 0x20 00001805: DUP3 00001806: DUP5 00001807: SUB 00001808: SLT 00001809: ISZERO 0000180a: PUSH2 0x1812 0000180d: JUMPI 0000180e: PUSH1 0x00 00001810: DUP1 00001811: REVERT 00001812: JUMPDEST 00001813: PUSH2 0x1655 00001816: DUP3 00001817: PUSH2 0x1737 0000181a: JUMP 0000181b: JUMPDEST 0000181c: PUSH1 0x00 0000181e: PUSH1 0x20 00001820: DUP1 00001821: DUP4 00001822: MSTORE 00001823: DUP4 00001824: MLOAD 00001825: DUP1 00001826: DUP3 00001827: DUP6 00001828: ADD 00001829: MSTORE 0000182a: PUSH1 0x00 0000182c: JUMPDEST 0000182d: DUP2 0000182e: DUP2 0000182f: LT 00001830: ISZERO 00001831: PUSH2 0x1848 00001834: JUMPI 00001835: DUP6 00001836: DUP2 00001837: ADD 00001838: DUP4 00001839: ADD 0000183a: MLOAD 0000183b: DUP6 0000183c: DUP3 0000183d: ADD 0000183e: PUSH1 0x40 00001840: ADD 00001841: MSTORE 00001842: DUP3 00001843: ADD 00001844: PUSH2 0x182c 00001847: JUMP 00001848: JUMPDEST 00001849: DUP2 0000184a: DUP2 0000184b: GT 0000184c: ISZERO 0000184d: PUSH2 0x185a 00001850: JUMPI 00001851: PUSH1 0x00 00001853: PUSH1 0x40 00001855: DUP4 00001856: DUP8 00001857: ADD 00001858: ADD 00001859: MSTORE 0000185a: JUMPDEST 0000185b: POP 0000185c: PUSH1 0x1f 0000185e: ADD 0000185f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001880: AND 00001881: SWAP3 00001882: SWAP1 00001883: SWAP3 00001884: ADD 00001885: PUSH1 0x40 00001887: ADD 00001888: SWAP4 00001889: SWAP3 0000188a: POP 0000188b: POP 0000188c: POP 0000188d: JUMP 0000188e: JUMPDEST 0000188f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000018b0: PUSH1 0x00 000018b2: MSTORE 000018b3: PUSH1 0x11 000018b5: PUSH1 0x04 000018b7: MSTORE 000018b8: PUSH1 0x24 000018ba: PUSH1 0x00 000018bc: REVERT 000018bd: JUMPDEST 000018be: PUSH1 0x00 000018c0: DUP3 000018c1: NOT 000018c2: DUP3 000018c3: GT 000018c4: ISZERO 000018c5: PUSH2 0x18d0 000018c8: JUMPI 000018c9: PUSH2 0x18d0 000018cc: PUSH2 0x188e 000018cf: JUMP 000018d0: JUMPDEST 000018d1: POP 000018d2: ADD 000018d3: SWAP1 000018d4: JUMP 000018d5: JUMPDEST 000018d6: DUP4 000018d7: DUP2 000018d8: MSTORE 000018d9: PUSH1 0x40 000018db: PUSH1 0x20 000018dd: DUP3 000018de: ADD 000018df: MSTORE 000018e0: DUP2 000018e1: PUSH1 0x40 000018e3: DUP3 000018e4: ADD 000018e5: MSTORE 000018e6: DUP2 000018e7: DUP4 000018e8: PUSH1 0x60 000018ea: DUP4 000018eb: ADD 000018ec: CALLDATACOPY 000018ed: PUSH1 0x00 000018ef: DUP2 000018f0: DUP4 000018f1: ADD 000018f2: PUSH1 0x60 000018f4: SWAP1 000018f5: DUP2 000018f6: ADD 000018f7: SWAP2 000018f8: SWAP1 000018f9: SWAP2 000018fa: MSTORE 000018fb: PUSH1 0x1f 000018fd: SWAP1 000018fe: SWAP3 000018ff: ADD 00001900: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001921: AND 00001922: ADD 00001923: ADD 00001924: SWAP3 00001925: SWAP2 00001926: POP 00001927: POP 00001928: JUMP 00001929: JUMPDEST 0000192a: PUSH1 0x00 0000192c: PUSH1 0x20 0000192e: DUP3 0000192f: DUP5 00001930: SUB 00001931: SLT 00001932: ISZERO 00001933: PUSH2 0x193b 00001936: JUMPI 00001937: PUSH1 0x00 00001939: DUP1 0000193a: REVERT 0000193b: JUMPDEST 0000193c: POP 0000193d: MLOAD 0000193e: SWAP2 0000193f: SWAP1 00001940: POP 00001941: JUMP 00001942: JUMPDEST 00001943: PUSH1 0x01 00001945: DUP2 00001946: DUP2 00001947: SHR 00001948: SWAP1 00001949: DUP3 0000194a: AND 0000194b: DUP1 0000194c: PUSH2 0x1956 0000194f: JUMPI 00001950: PUSH1 0x7f 00001952: DUP3 00001953: AND 00001954: SWAP2 00001955: POP 00001956: JUMPDEST 00001957: PUSH1 0x20 00001959: DUP3 0000195a: LT 0000195b: DUP2 0000195c: EQ 0000195d: ISZERO 0000195e: PUSH2 0x1990 00001961: JUMPI 00001962: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001983: PUSH1 0x00 00001985: MSTORE 00001986: PUSH1 0x22 00001988: PUSH1 0x04 0000198a: MSTORE 0000198b: PUSH1 0x24 0000198d: PUSH1 0x00 0000198f: REVERT 00001990: JUMPDEST 00001991: POP 00001992: SWAP2 00001993: SWAP1 00001994: POP 00001995: JUMP 00001996: JUMPDEST 00001997: PUSH1 0x00 00001999: DUP2 0000199a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000019bb: DIV 000019bc: DUP4 000019bd: GT 000019be: DUP3 000019bf: ISZERO 000019c0: ISZERO 000019c1: AND 000019c2: ISZERO 000019c3: PUSH2 0x19ce 000019c6: JUMPI 000019c7: PUSH2 0x19ce 000019ca: PUSH2 0x188e 000019cd: JUMP 000019ce: JUMPDEST 000019cf: POP 000019d0: MUL 000019d1: SWAP1 000019d2: JUMP 000019d3: JUMPDEST 000019d4: PUSH1 0x00 000019d6: DUP3 000019d7: PUSH2 0x1a09 000019da: JUMPI 000019db: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000019fc: PUSH1 0x00 000019fe: MSTORE 000019ff: PUSH1 0x12 00001a01: PUSH1 0x04 00001a03: MSTORE 00001a04: PUSH1 0x24 00001a06: PUSH1 0x00 00001a08: REVERT 00001a09: JUMPDEST 00001a0a: POP 00001a0b: DIV 00001a0c: SWAP1 00001a0d: JUMP 00001a0e: JUMPDEST 00001a0f: PUSH1 0x00 00001a11: DUP3 00001a12: DUP3 00001a13: LT 00001a14: ISZERO 00001a15: PUSH2 0x1a20 00001a18: JUMPI 00001a19: PUSH2 0x1a20 00001a1c: PUSH2 0x188e 00001a1f: JUMP 00001a20: JUMPDEST 00001a21: POP 00001a22: SUB 00001a23: SWAP1 00001a24: JUMP 00001a25: INVALID 00001a26: LOG2 00001a27: PUSH5 0x6970667358 00001a2d: UNKNOWN(0x22) 00001a2e: SLT 00001a2f: KECCAK256 00001a30: DUP12 00001a31: NOT 00001a32: ADD 00001a33: PUSH11 0x55ee623da76df4f60ecbc5 00001a3f: SWAP5 00001a40: PUSH1 0x9e 00001a42: UNKNOWN(0xCE) 00001a43: UNKNOWN(0xD3) 00001a44: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc63171970d611c6418799e4622c693dfa7d5576831aafe8fcf8a00d0cd89d3a7
call_targets:
0x1973006f6ba037e70967a1bb2a15c5432361c5fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc63171970d611c6418799e4622c693dfa7d5576831aafe8fcf8a00d0cd89d3a7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1973006f6ba037e70967a1bb2a15c5432361c5fe"
],
"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": "0xdb18ba7d",
"selector": "0xdb18ba7d",
"calldata_variants": [
"0xdb18ba7d",
"0xdb18ba7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb8d55f1",
"selector": "0xdb8d55f1",
"calldata_variants": [
"0xdb8d55f1",
"0xdb8d55f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8228f7b",
"selector": "0xf8228f7b",
"calldata_variants": [
"0xf8228f7b",
"0xf8228f7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb93f016",
"selector": "0xfb93f016",
"calldata_variants": [
"0xfb93f016",
"0xfb93f0160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc763e5a1",
"selector": "0xc763e5a1",
"calldata_variants": [
"0xc763e5a1",
"0xc763e5a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc860ebc6",
"selector": "0xc860ebc6",
"calldata_variants": [
"0xc860ebc6",
"0xc860ebc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd294f093",
"selector": "0xd294f093",
"calldata_variants": [
"0xd294f093",
"0xd294f0930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5d53104",
"selector": "0xa5d53104",
"calldata_variants": [
"0xa5d53104",
"0xa5d531040000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3303,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5377,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc63171970d611c6418799e4622c693dfa7d5576831aafe8fcf8a00d0cd89d3a7
call_targets:
0x1973006f6ba037e70967a1bb2a15c5432361c5fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc63171970d611c6418799e4622c693dfa7d5576831aafe8fcf8a00d0cd89d3a7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1973006f6ba037e70967a1bb2a15c5432361c5fe"
],
"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": "0xdb18ba7d",
"selector": "0xdb18ba7d",
"calldata_variants": [
"0xdb18ba7d",
"0xdb18ba7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb8d55f1",
"selector": "0xdb8d55f1",
"calldata_variants": [
"0xdb8d55f1",
"0xdb8d55f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8228f7b",
"selector": "0xf8228f7b",
"calldata_variants": [
"0xf8228f7b",
"0xf8228f7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfb93f016",
"selector": "0xfb93f016",
"calldata_variants": [
"0xfb93f016",
"0xfb93f0160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc763e5a1",
"selector": "0xc763e5a1",
"calldata_variants": [
"0xc763e5a1",
"0xc763e5a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc860ebc6",
"selector": "0xc860ebc6",
"calldata_variants": [
"0xc860ebc6",
"0xc860ebc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd294f093",
"selector": "0xd294f093",
"calldata_variants": [
"0xd294f093",
"0xd294f0930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5d53104",
"selector": "0xa5d53104",
"calldata_variants": [
"0xa5d53104",
"0xa5d531040000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3303,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5377,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|