90be7e44-6361-444c-bd12-dbefc17a5000
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 |
|---|---|---|---|---|
| 31270 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 110618 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 110619 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 110620 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 110621 | capability.graph | complete | 1 / 3 | 1 week ago |
| 110622 | detector.run | complete | 1 / 3 | 1 week ago |
| 110623 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1459451] OpenAI Codex v0.77.0 (research preview)
[codex:1459451] --------
[codex:1459451] workdir: /tmp/codex-multi-ml3nfuip
[codex:1459451] model: gpt-5.2-codex
[codex:1459451] provider: openai
[codex:1459451] approval: never
[codex:1459451] sandbox: read-only
[codex:1459451] reasoning effort: xhigh
[codex:1459451] reasoning summaries: auto
[codex:1459451] session id: 019b7f3b-ca2f-7d42-ba77-4ffc822cc36a
[codex:1459451] --------
[codex:1459451] user
[codex:1459451] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1459451]
[codex:1459451] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1459451]
[codex:1459451] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1459451] - Gas inefficiency, code quality, naming, or best practices
[codex:1459451] - Theoretical vulnerabilities without a clear extraction path
[codex:1459451] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1459451] - Front-running unless it enables theft beyond MEV
[codex:1459451] - DoS, griefing, or issues that don't result in attacker profit
[codex:1459451] - Missing events, view function issues, or informational findings
[codex:1459451]
[codex:1459451] HIGH-VALUE PATTERNS TO HUNT:
[codex:1459451] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1459451] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1459451] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1459451] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1459451] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1459451] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1459451] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1459451] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1459451] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1459451]
[codex:1459451] For each finding, you MUST provide:
[codex:1459451] 1. Exact file and line numbers of vulnerable code
[codex:1459451] 2. Step-by-step exploit transaction sequence
[codex:1459451] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1459451]
[codex:1459451] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1459451]
[codex:1459451] Output MUST be valid JSON matching the provided schema.
[codex:1459451] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1459451] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1459451] mcp startup: no servers
[codex:1459451]
[codex:1459451] thinking
[codex:1459451] **Reading AUDIT_BUNDLE.txt**
[codex:1459451] exec
[codex:1459451] /bin/bash -lc ls in /tmp/codex-multi-ml3nfuip succeeded in 5ms:
[codex:1459451] AUDIT_BUNDLE.txt
[codex:1459451] codex-output-schema.json
[codex:1459451] contracts
[codex:1459451] exec
[codex:1459451] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ml3nfuip succeeded in 5ms:
[codex:1459451] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1459451]
[codex:1459451] ================================================================================
[codex:1459451] FILE: contracts/src/interfaces/factories/IFactory.sol
[codex:1459451] ================================================================================
[codex:1459451] // SPDX-License-Identifier: BUSL-1.1
[codex:1459451] pragma solidity 0.8.25;
[codex:1459451]
[codex:1459451] import "./IFactoryEntity.sol";
[codex:1459451] import "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
[codex:1459451] import "@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol";
[codex:1459451] import "@openzeppelin/contracts/utils/structs/EnumerableSet.sol";
[codex:1459451]
[codex:1459451] /// @title IFactory
[codex:1459451] /// @notice Interface for a factory that manages deployable upgradeable proxies and implementation governance.
[codex:1459451] interface IFactory is IFactoryEntity {
[codex:1459451] /// @notice Thrown when attempting to access an index outside the valid range.
[codex:1459451] error OutOfBounds(uint256 index);
[codex:1459451]
[codex:1459451] /// @notice Thrown when trying to use an implementation version that is blacklisted.
[codex:1459451]
[codex:1459451] thinking
[codex:1459451] **Evaluating exploitability and preparing report**
[codex:1459451]
[codex:1459451] I’m reviewing the available first-party Solidity files to find any concrete exploit paths that could lead to profit, focusing on key functions like Subvault’s pullAssets and the call method that uses a verifier contract. Since no external withdrawal functions are exposed without strict checks and no verifier code is given, I see no concrete exploitable paths. I’ll produce a JSON report confirming no findings, including a concise summary noting that no exploitable profit paths were found in the audited sources, with an empty findings array.
[codex:1459451] codex
[codex:1459451] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided first‑party sources.","findings":[]}
[codex:1459451] tokens used
[codex:1459451] 11,470
[codex:1459451] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided first‑party sources.","findings":[]}
{
"codex": {
"ran_at": "2026-01-02T15:03:23.240817+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths found in the provided first\u2011party sources.",
"raw_final": {
"summary": "No concrete, exploitable profit paths found in the provided first\u2011party sources.",
"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 0x0071 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x439fab91 00000018: GT 00000019: PUSH2 0x004c 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x439fab91 00000023: EQ 00000024: PUSH2 0x012c 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x87cd303d 0000002e: EQ 0000002f: PUSH2 0x014d 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xa6df3a8d 00000039: EQ 0000003a: PUSH2 0x016c 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xfbfa77cf 00000044: EQ 00000045: PUSH2 0x0198 00000048: JUMPI 00000049: PUSH0 0000004a: DUP1 0000004b: REVERT 0000004c: JUMPDEST 0000004d: DUP1 0000004e: PUSH4 0x150b7a02 00000053: EQ 00000054: PUSH2 0x007c 00000057: JUMPI 00000058: DUP1 00000059: PUSH4 0x1ca0027a 0000005e: EQ 0000005f: PUSH2 0x00b9 00000062: JUMPI 00000063: DUP1 00000064: PUSH4 0x2b7ac3f3 00000069: EQ 0000006a: PUSH2 0x0100 0000006d: JUMPI 0000006e: PUSH0 0000006f: DUP1 00000070: REVERT 00000071: JUMPDEST 00000072: CALLDATASIZE 00000073: PUSH2 0x0078 00000076: JUMPI 00000077: STOP 00000078: JUMPDEST 00000079: PUSH0 0000007a: DUP1 0000007b: REVERT 0000007c: JUMPDEST 0000007d: CALLVALUE 0000007e: DUP1 0000007f: ISZERO 00000080: PUSH2 0x0087 00000083: JUMPI 00000084: PUSH0 00000085: DUP1 00000086: REVERT 00000087: JUMPDEST 00000088: POP 00000089: PUSH2 0x009b 0000008c: PUSH2 0x0096 0000008f: CALLDATASIZE 00000090: PUSH1 0x04 00000092: PUSH2 0x0984 00000095: JUMP 00000096: JUMPDEST 00000097: PUSH2 0x01ac 0000009a: JUMP 0000009b: JUMPDEST 0000009c: PUSH1 0x40 0000009e: MLOAD 0000009f: PUSH1 0x01 000000a1: PUSH1 0x01 000000a3: PUSH1 0xe0 000000a5: SHL 000000a6: SUB 000000a7: NOT 000000a8: SWAP1 000000a9: SWAP2 000000aa: AND 000000ab: DUP2 000000ac: MSTORE 000000ad: PUSH1 0x20 000000af: ADD 000000b0: JUMPDEST 000000b1: PUSH1 0x40 000000b3: MLOAD 000000b4: DUP1 000000b5: SWAP2 000000b6: SUB 000000b7: SWAP1 000000b8: RETURN 000000b9: JUMPDEST 000000ba: CALLVALUE 000000bb: DUP1 000000bc: ISZERO 000000bd: PUSH2 0x00c4 000000c0: JUMPI 000000c1: PUSH0 000000c2: DUP1 000000c3: REVERT 000000c4: JUMPDEST 000000c5: POP 000000c6: PUSH2 0x00f1 000000c9: PUSH2 0x00d3 000000cc: CALLDATASIZE 000000cd: PUSH1 0x04 000000cf: PUSH2 0x09f2 000000d2: JUMP 000000d3: JUMPDEST 000000d4: PUSH1 0x40 000000d6: DUP1 000000d7: MLOAD 000000d8: PUSH1 0x20 000000da: DUP1 000000db: DUP3 000000dc: ADD 000000dd: DUP4 000000de: MSTORE 000000df: PUSH0 000000e0: SWAP1 000000e1: SWAP2 000000e2: MSTORE 000000e3: DUP2 000000e4: MLOAD 000000e5: SWAP1 000000e6: DUP2 000000e7: ADD 000000e8: SWAP1 000000e9: SWAP2 000000ea: MSTORE 000000eb: SWAP1 000000ec: SLOAD 000000ed: DUP2 000000ee: MSTORE 000000ef: SWAP1 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH1 0x40 000000f4: MLOAD 000000f5: SWAP1 000000f6: MLOAD 000000f7: DUP2 000000f8: MSTORE 000000f9: PUSH1 0x20 000000fb: ADD 000000fc: PUSH2 0x00b0 000000ff: JUMP 00000100: JUMPDEST 00000101: CALLVALUE 00000102: DUP1 00000103: ISZERO 00000104: PUSH2 0x010b 00000107: JUMPI 00000108: PUSH0 00000109: DUP1 0000010a: REVERT 0000010b: JUMPDEST 0000010c: POP 0000010d: PUSH2 0x0114 00000110: PUSH2 0x01be 00000113: JUMP 00000114: JUMPDEST 00000115: PUSH1 0x40 00000117: MLOAD 00000118: PUSH1 0x01 0000011a: PUSH1 0x01 0000011c: PUSH1 0xa0 0000011e: SHL 0000011f: SUB 00000120: SWAP1 00000121: SWAP2 00000122: AND 00000123: DUP2 00000124: MSTORE 00000125: PUSH1 0x20 00000127: ADD 00000128: PUSH2 0x00b0 0000012b: JUMP 0000012c: JUMPDEST 0000012d: CALLVALUE 0000012e: DUP1 0000012f: ISZERO 00000130: PUSH2 0x0137 00000133: JUMPI 00000134: PUSH0 00000135: DUP1 00000136: REVERT 00000137: JUMPDEST 00000138: POP 00000139: PUSH2 0x014b 0000013c: PUSH2 0x0146 0000013f: CALLDATASIZE 00000140: PUSH1 0x04 00000142: PUSH2 0x0a09 00000145: JUMP 00000146: JUMPDEST 00000147: PUSH2 0x01f0 0000014a: JUMP 0000014b: JUMPDEST 0000014c: STOP 0000014d: JUMPDEST 0000014e: CALLVALUE 0000014f: DUP1 00000150: ISZERO 00000151: PUSH2 0x0158 00000154: JUMPI 00000155: PUSH0 00000156: DUP1 00000157: REVERT 00000158: JUMPDEST 00000159: POP 0000015a: PUSH2 0x014b 0000015d: PUSH2 0x0167 00000160: CALLDATASIZE 00000161: PUSH1 0x04 00000163: PUSH2 0x0a48 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH2 0x035d 0000016b: JUMP 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0177 00000173: JUMPI 00000174: PUSH0 00000175: DUP1 00000176: REVERT 00000177: JUMPDEST 00000178: POP 00000179: PUSH2 0x018b 0000017c: PUSH2 0x0186 0000017f: CALLDATASIZE 00000180: PUSH1 0x04 00000182: PUSH2 0x0a72 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH2 0x0412 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH1 0x40 0000018e: MLOAD 0000018f: PUSH2 0x00b0 00000192: SWAP2 00000193: SWAP1 00000194: PUSH2 0x0af8 00000197: JUMP 00000198: JUMPDEST 00000199: CALLVALUE 0000019a: DUP1 0000019b: ISZERO 0000019c: PUSH2 0x01a3 0000019f: JUMPI 000001a0: PUSH0 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: POP 000001a5: PUSH2 0x0114 000001a8: PUSH2 0x04de 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH4 0x0a85bd01 000001b2: PUSH1 0xe1 000001b4: SHL 000001b5: JUMPDEST 000001b6: SWAP6 000001b7: SWAP5 000001b8: POP 000001b9: POP 000001ba: POP 000001bb: POP 000001bc: POP 000001bd: JUMP 000001be: JUMPDEST 000001bf: PUSH0 000001c0: PUSH32 0x64c1c625d4fa05bd856847766d74588293bfa70862522688a7df032f69d88300 000001e1: JUMPDEST 000001e2: SLOAD 000001e3: PUSH1 0x01 000001e5: PUSH1 0x01 000001e7: PUSH1 0xa0 000001e9: SHL 000001ea: SUB 000001eb: AND 000001ec: SWAP2 000001ed: SWAP1 000001ee: POP 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00000212: DUP1 00000213: SLOAD 00000214: PUSH1 0x01 00000216: PUSH1 0x40 00000218: SHL 00000219: DUP2 0000021a: DIV 0000021b: PUSH1 0xff 0000021d: AND 0000021e: ISZERO 0000021f: SWAP1 00000220: PUSH8 0xffffffffffffffff 00000229: AND 0000022a: PUSH0 0000022b: DUP2 0000022c: ISZERO 0000022d: DUP1 0000022e: ISZERO 0000022f: PUSH2 0x0235 00000232: JUMPI 00000233: POP 00000234: DUP3 00000235: JUMPDEST 00000236: SWAP1 00000237: POP 00000238: PUSH0 00000239: DUP3 0000023a: PUSH8 0xffffffffffffffff 00000243: AND 00000244: PUSH1 0x01 00000246: EQ 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: POP 0000024e: ADDRESS 0000024f: EXTCODESIZE 00000250: ISZERO 00000251: JUMPDEST 00000252: SWAP1 00000253: POP 00000254: DUP2 00000255: ISZERO 00000256: DUP1 00000257: ISZERO 00000258: PUSH2 0x025f 0000025b: JUMPI 0000025c: POP 0000025d: DUP1 0000025e: ISZERO 0000025f: JUMPDEST 00000260: ISZERO 00000261: PUSH2 0x027d 00000264: JUMPI 00000265: PUSH1 0x40 00000267: MLOAD 00000268: PUSH4 0xf92ee8a9 0000026d: PUSH1 0xe0 0000026f: SHL 00000270: DUP2 00000271: MSTORE 00000272: PUSH1 0x04 00000274: ADD 00000275: PUSH1 0x40 00000277: MLOAD 00000278: DUP1 00000279: SWAP2 0000027a: SUB 0000027b: SWAP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: DUP5 0000027f: SLOAD 00000280: PUSH8 0xffffffffffffffff 00000289: NOT 0000028a: AND 0000028b: PUSH1 0x01 0000028d: OR 0000028e: DUP6 0000028f: SSTORE 00000290: DUP4 00000291: ISZERO 00000292: PUSH2 0x02a7 00000295: JUMPI 00000296: DUP5 00000297: SLOAD 00000298: PUSH1 0xff 0000029a: PUSH1 0x40 0000029c: SHL 0000029d: NOT 0000029e: AND 0000029f: PUSH1 0x01 000002a1: PUSH1 0x40 000002a3: SHL 000002a4: OR 000002a5: DUP6 000002a6: SSTORE 000002a7: JUMPDEST 000002a8: PUSH0 000002a9: DUP1 000002aa: PUSH2 0x02b5 000002ad: DUP9 000002ae: DUP11 000002af: ADD 000002b0: DUP11 000002b1: PUSH2 0x0b2d 000002b4: JUMP 000002b5: JUMPDEST 000002b6: SWAP2 000002b7: POP 000002b8: SWAP2 000002b9: POP 000002ba: PUSH2 0x02c1 000002bd: PUSH2 0x0505 000002c0: JUMP 000002c1: JUMPDEST 000002c2: PUSH2 0x02ca 000002c5: DUP3 000002c6: PUSH2 0x0517 000002c9: JUMP 000002ca: JUMPDEST 000002cb: PUSH2 0x02d3 000002ce: DUP2 000002cf: PUSH2 0x058a 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH32 0x5e399709a9ff1709f6f6be7268c8e5c3eeaa9da9cd9797e78f07ef287c3717fe 000002f5: DUP10 000002f6: DUP10 000002f7: PUSH1 0x40 000002f9: MLOAD 000002fa: PUSH2 0x0304 000002fd: SWAP3 000002fe: SWAP2 000002ff: SWAP1 00000300: PUSH2 0x0b8c 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH1 0x40 00000307: MLOAD 00000308: DUP1 00000309: SWAP2 0000030a: SUB 0000030b: SWAP1 0000030c: LOG1 0000030d: POP 0000030e: POP 0000030f: DUP4 00000310: ISZERO 00000311: PUSH2 0x0354 00000314: JUMPI 00000315: DUP5 00000316: SLOAD 00000317: PUSH1 0xff 00000319: PUSH1 0x40 0000031b: SHL 0000031c: NOT 0000031d: AND 0000031e: DUP6 0000031f: SSTORE 00000320: PUSH1 0x40 00000322: MLOAD 00000323: PUSH1 0x01 00000325: DUP2 00000326: MSTORE 00000327: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 00000348: SWAP1 00000349: PUSH1 0x20 0000034b: ADD 0000034c: PUSH1 0x40 0000034e: MLOAD 0000034f: DUP1 00000350: SWAP2 00000351: SUB 00000352: SWAP1 00000353: LOG1 00000354: JUMPDEST 00000355: POP 00000356: POP 00000357: POP 00000358: POP 00000359: POP 0000035a: POP 0000035b: POP 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH2 0x0365 00000361: PUSH2 0x05b9 00000364: JUMP 00000365: JUMPDEST 00000366: CALLER 00000367: PUSH2 0x036e 0000036a: PUSH2 0x04de 0000036d: JUMP 0000036e: JUMPDEST 0000036f: PUSH1 0x01 00000371: PUSH1 0x01 00000373: PUSH1 0xa0 00000375: SHL 00000376: SUB 00000377: AND 00000378: DUP2 00000379: PUSH1 0x01 0000037b: PUSH1 0x01 0000037d: PUSH1 0xa0 0000037f: SHL 00000380: SUB 00000381: AND 00000382: EQ 00000383: PUSH2 0x039f 00000386: JUMPI 00000387: PUSH1 0x40 00000389: MLOAD 0000038a: PUSH4 0x62df0545 0000038f: PUSH1 0xe0 00000391: SHL 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x04 00000396: ADD 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: DUP1 0000039b: SWAP2 0000039c: SUB 0000039d: SWAP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: PUSH2 0x03aa 000003a3: DUP4 000003a4: DUP3 000003a5: DUP5 000003a6: PUSH2 0x05f0 000003a9: JUMP 000003aa: JUMPDEST 000003ab: DUP1 000003ac: PUSH1 0x01 000003ae: PUSH1 0x01 000003b0: PUSH1 0xa0 000003b2: SHL 000003b3: SUB 000003b4: AND 000003b5: DUP4 000003b6: PUSH1 0x01 000003b8: PUSH1 0x01 000003ba: PUSH1 0xa0 000003bc: SHL 000003bd: SUB 000003be: AND 000003bf: PUSH32 0x409f90100010c596e4859c24945544ea3430a899b81522dadfd9671b9bc1a402 000003e0: DUP5 000003e1: PUSH1 0x40 000003e3: MLOAD 000003e4: PUSH2 0x03ef 000003e7: SWAP2 000003e8: DUP2 000003e9: MSTORE 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: SWAP1 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x40 000003f2: MLOAD 000003f3: DUP1 000003f4: SWAP2 000003f5: SUB 000003f6: SWAP1 000003f7: LOG3 000003f8: POP 000003f9: PUSH2 0x040e 000003fc: PUSH1 0x01 000003fe: PUSH0 000003ff: DUP1 00000400: MLOAD 00000401: PUSH1 0x20 00000403: PUSH2 0x0d07 00000406: DUP4 00000407: CODECOPY 00000408: DUP2 00000409: MLOAD 0000040a: SWAP2 0000040b: MSTORE 0000040c: SSTORE 0000040d: JUMP 0000040e: JUMPDEST 0000040f: POP 00000410: POP 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x60 00000415: PUSH2 0x041c 00000418: PUSH2 0x05b9 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH2 0x0424 00000420: PUSH2 0x01be 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH1 0x01 00000427: PUSH1 0x01 00000429: PUSH1 0xa0 0000042b: SHL 0000042c: SUB 0000042d: AND 0000042e: PUSH4 0x10749ebd 00000433: CALLER 00000434: DUP9 00000435: DUP9 00000436: DUP9 00000437: DUP9 00000438: DUP9 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: DUP8 0000043d: PUSH4 0xffffffff 00000442: AND 00000443: PUSH1 0xe0 00000445: SHL 00000446: DUP2 00000447: MSTORE 00000448: PUSH1 0x04 0000044a: ADD 0000044b: PUSH2 0x0459 0000044e: SWAP7 0000044f: SWAP6 00000450: SWAP5 00000451: SWAP4 00000452: SWAP3 00000453: SWAP2 00000454: SWAP1 00000455: PUSH2 0x0c1c 00000458: JUMP 00000459: JUMPDEST 0000045a: PUSH0 0000045b: PUSH1 0x40 0000045d: MLOAD 0000045e: DUP1 0000045f: DUP4 00000460: SUB 00000461: DUP2 00000462: DUP7 00000463: DUP1 00000464: EXTCODESIZE 00000465: ISZERO 00000466: DUP1 00000467: ISZERO 00000468: PUSH2 0x046f 0000046b: JUMPI 0000046c: PUSH0 0000046d: DUP1 0000046e: REVERT 0000046f: JUMPDEST 00000470: POP 00000471: GAS 00000472: STATICCALL 00000473: ISZERO 00000474: DUP1 00000475: ISZERO 00000476: PUSH2 0x0481 00000479: JUMPI 0000047a: RETURNDATASIZE 0000047b: PUSH0 0000047c: DUP1 0000047d: RETURNDATACOPY 0000047e: RETURNDATASIZE 0000047f: PUSH0 00000480: REVERT 00000481: JUMPDEST 00000482: POP 00000483: POP 00000484: POP 00000485: POP 00000486: PUSH2 0x04c6 00000489: DUP7 0000048a: DUP6 0000048b: DUP6 0000048c: DUP1 0000048d: DUP1 0000048e: PUSH1 0x1f 00000490: ADD 00000491: PUSH1 0x20 00000493: DUP1 00000494: SWAP2 00000495: DIV 00000496: MUL 00000497: PUSH1 0x20 00000499: ADD 0000049a: PUSH1 0x40 0000049c: MLOAD 0000049d: SWAP1 0000049e: DUP2 0000049f: ADD 000004a0: PUSH1 0x40 000004a2: MSTORE 000004a3: DUP1 000004a4: SWAP4 000004a5: SWAP3 000004a6: SWAP2 000004a7: SWAP1 000004a8: DUP2 000004a9: DUP2 000004aa: MSTORE 000004ab: PUSH1 0x20 000004ad: ADD 000004ae: DUP4 000004af: DUP4 000004b0: DUP1 000004b1: DUP3 000004b2: DUP5 000004b3: CALLDATACOPY 000004b4: PUSH0 000004b5: SWAP3 000004b6: ADD 000004b7: SWAP2 000004b8: SWAP1 000004b9: SWAP2 000004ba: MSTORE 000004bb: POP 000004bc: DUP11 000004bd: SWAP3 000004be: POP 000004bf: PUSH2 0x064b 000004c2: SWAP2 000004c3: POP 000004c4: POP 000004c5: JUMP 000004c6: JUMPDEST 000004c7: SWAP1 000004c8: POP 000004c9: PUSH2 0x01b5 000004cc: PUSH1 0x01 000004ce: PUSH0 000004cf: DUP1 000004d0: MLOAD 000004d1: PUSH1 0x20 000004d3: PUSH2 0x0d07 000004d6: DUP4 000004d7: CODECOPY 000004d8: DUP2 000004d9: MLOAD 000004da: SWAP2 000004db: MSTORE 000004dc: SSTORE 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH0 000004e0: PUSH32 0x8dee547c917d7961753080c905e0efa76bb5fd5cd4be0a3c540607d4a34e4500 00000501: PUSH2 0x01e1 00000504: JUMP 00000505: JUMPDEST 00000506: PUSH2 0x050d 00000509: PUSH2 0x06f2 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH2 0x0515 00000511: PUSH2 0x073b 00000514: JUMP 00000515: JUMPDEST 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH2 0x051f 0000051b: PUSH2 0x06f2 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH1 0x01 00000522: PUSH1 0x01 00000524: PUSH1 0xa0 00000526: SHL 00000527: SUB 00000528: DUP2 00000529: AND 0000052a: PUSH2 0x0546 0000052d: JUMPI 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: PUSH4 0xd92e233d 00000536: PUSH1 0xe0 00000538: SHL 00000539: DUP2 0000053a: MSTORE 0000053b: PUSH1 0x04 0000053d: ADD 0000053e: PUSH1 0x40 00000540: MLOAD 00000541: DUP1 00000542: SWAP2 00000543: SUB 00000544: SWAP1 00000545: REVERT 00000546: JUMPDEST 00000547: DUP1 00000548: PUSH32 0x64c1c625d4fa05bd856847766d74588293bfa70862522688a7df032f69d88300 00000569: JUMPDEST 0000056a: DUP1 0000056b: SLOAD 0000056c: PUSH1 0x01 0000056e: PUSH1 0x01 00000570: PUSH1 0xa0 00000572: SHL 00000573: SUB 00000574: NOT 00000575: AND 00000576: PUSH1 0x01 00000578: PUSH1 0x01 0000057a: PUSH1 0xa0 0000057c: SHL 0000057d: SUB 0000057e: SWAP3 0000057f: SWAP1 00000580: SWAP3 00000581: AND 00000582: SWAP2 00000583: SWAP1 00000584: SWAP2 00000585: OR 00000586: SWAP1 00000587: SSTORE 00000588: POP 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH2 0x0592 0000058e: PUSH2 0x06f2 00000591: JUMP 00000592: JUMPDEST 00000593: DUP1 00000594: PUSH32 0x8dee547c917d7961753080c905e0efa76bb5fd5cd4be0a3c540607d4a34e4500 000005b5: PUSH2 0x0569 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH0 000005bb: DUP1 000005bc: MLOAD 000005bd: PUSH1 0x20 000005bf: PUSH2 0x0d07 000005c2: DUP4 000005c3: CODECOPY 000005c4: DUP2 000005c5: MLOAD 000005c6: SWAP2 000005c7: MSTORE 000005c8: DUP1 000005c9: SLOAD 000005ca: PUSH1 0x01 000005cc: NOT 000005cd: ADD 000005ce: PUSH2 0x05ea 000005d1: JUMPI 000005d2: PUSH1 0x40 000005d4: MLOAD 000005d5: PUSH4 0x3ee5aeb5 000005da: PUSH1 0xe0 000005dc: SHL 000005dd: DUP2 000005de: MSTORE 000005df: PUSH1 0x04 000005e1: ADD 000005e2: PUSH1 0x40 000005e4: MLOAD 000005e5: DUP1 000005e6: SWAP2 000005e7: SUB 000005e8: SWAP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: PUSH1 0x02 000005ed: SWAP1 000005ee: SSTORE 000005ef: JUMP 000005f0: JUMPDEST 000005f1: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed 00000606: NOT 00000607: PUSH1 0x01 00000609: PUSH1 0x01 0000060b: PUSH1 0xa0 0000060d: SHL 0000060e: SUB 0000060f: DUP5 00000610: AND 00000611: ADD 00000612: PUSH2 0x0624 00000615: JUMPI 00000616: PUSH2 0x061f 00000619: DUP3 0000061a: DUP3 0000061b: PUSH2 0x074b 0000061e: JUMP 0000061f: JUMPDEST 00000620: POP 00000621: POP 00000622: POP 00000623: JUMP 00000624: JUMPDEST 00000625: PUSH2 0x061f 00000628: PUSH1 0x01 0000062a: PUSH1 0x01 0000062c: PUSH1 0xa0 0000062e: SHL 0000062f: SUB 00000630: DUP5 00000631: AND 00000632: DUP4 00000633: DUP4 00000634: PUSH2 0x07dd 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH1 0x01 0000063b: PUSH0 0000063c: DUP1 0000063d: MLOAD 0000063e: PUSH1 0x20 00000640: PUSH2 0x0d07 00000643: DUP4 00000644: CODECOPY 00000645: DUP2 00000646: MLOAD 00000647: SWAP2 00000648: MSTORE 00000649: SSTORE 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH1 0x60 0000064e: DUP2 0000064f: SELFBALANCE 00000650: LT 00000651: ISZERO 00000652: PUSH2 0x067c 00000655: JUMPI 00000656: PUSH1 0x40 00000658: MLOAD 00000659: PUSH4 0xcf479181 0000065e: PUSH1 0xe0 00000660: SHL 00000661: DUP2 00000662: MSTORE 00000663: SELFBALANCE 00000664: PUSH1 0x04 00000666: DUP3 00000667: ADD 00000668: MSTORE 00000669: PUSH1 0x24 0000066b: DUP2 0000066c: ADD 0000066d: DUP4 0000066e: SWAP1 0000066f: MSTORE 00000670: PUSH1 0x44 00000672: ADD 00000673: JUMPDEST 00000674: PUSH1 0x40 00000676: MLOAD 00000677: DUP1 00000678: SWAP2 00000679: SUB 0000067a: SWAP1 0000067b: REVERT 0000067c: JUMPDEST 0000067d: PUSH0 0000067e: DUP1 0000067f: DUP6 00000680: PUSH1 0x01 00000682: PUSH1 0x01 00000684: PUSH1 0xa0 00000686: SHL 00000687: SUB 00000688: AND 00000689: DUP5 0000068a: DUP7 0000068b: PUSH1 0x40 0000068d: MLOAD 0000068e: PUSH2 0x0697 00000691: SWAP2 00000692: SWAP1 00000693: PUSH2 0x0cf0 00000696: JUMP 00000697: JUMPDEST 00000698: PUSH0 00000699: PUSH1 0x40 0000069b: MLOAD 0000069c: DUP1 0000069d: DUP4 0000069e: SUB 0000069f: DUP2 000006a0: DUP6 000006a1: DUP8 000006a2: GAS 000006a3: CALL 000006a4: SWAP3 000006a5: POP 000006a6: POP 000006a7: POP 000006a8: RETURNDATASIZE 000006a9: DUP1 000006aa: PUSH0 000006ab: DUP2 000006ac: EQ 000006ad: PUSH2 0x06d1 000006b0: JUMPI 000006b1: PUSH1 0x40 000006b3: MLOAD 000006b4: SWAP2 000006b5: POP 000006b6: PUSH1 0x1f 000006b8: NOT 000006b9: PUSH1 0x3f 000006bb: RETURNDATASIZE 000006bc: ADD 000006bd: AND 000006be: DUP3 000006bf: ADD 000006c0: PUSH1 0x40 000006c2: MSTORE 000006c3: RETURNDATASIZE 000006c4: DUP3 000006c5: MSTORE 000006c6: RETURNDATASIZE 000006c7: PUSH0 000006c8: PUSH1 0x20 000006ca: DUP5 000006cb: ADD 000006cc: RETURNDATACOPY 000006cd: PUSH2 0x06d6 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH1 0x60 000006d4: SWAP2 000006d5: POP 000006d6: JUMPDEST 000006d7: POP 000006d8: SWAP2 000006d9: POP 000006da: SWAP2 000006db: POP 000006dc: PUSH2 0x06e6 000006df: DUP7 000006e0: DUP4 000006e1: DUP4 000006e2: PUSH2 0x082f 000006e5: JUMP 000006e6: JUMPDEST 000006e7: SWAP3 000006e8: POP 000006e9: POP 000006ea: POP 000006eb: JUMPDEST 000006ec: SWAP4 000006ed: SWAP3 000006ee: POP 000006ef: POP 000006f0: POP 000006f1: JUMP 000006f2: JUMPDEST 000006f3: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00000714: SLOAD 00000715: PUSH1 0x01 00000717: PUSH1 0x40 00000719: SHL 0000071a: SWAP1 0000071b: DIV 0000071c: PUSH1 0xff 0000071e: AND 0000071f: PUSH2 0x0515 00000722: JUMPI 00000723: PUSH1 0x40 00000725: MLOAD 00000726: PUSH4 0x1afcd79f 0000072b: PUSH1 0xe3 0000072d: SHL 0000072e: DUP2 0000072f: MSTORE 00000730: PUSH1 0x04 00000732: ADD 00000733: PUSH1 0x40 00000735: MLOAD 00000736: DUP1 00000737: SWAP2 00000738: SUB 00000739: SWAP1 0000073a: REVERT 0000073b: JUMPDEST 0000073c: PUSH2 0x0743 0000073f: PUSH2 0x06f2 00000742: JUMP 00000743: JUMPDEST 00000744: PUSH2 0x0515 00000747: PUSH2 0x088b 0000074a: JUMP 0000074b: JUMPDEST 0000074c: DUP1 0000074d: SELFBALANCE 0000074e: LT 0000074f: ISZERO 00000750: PUSH2 0x0775 00000753: JUMPI 00000754: PUSH1 0x40 00000756: MLOAD 00000757: PUSH4 0xcf479181 0000075c: PUSH1 0xe0 0000075e: SHL 0000075f: DUP2 00000760: MSTORE 00000761: SELFBALANCE 00000762: PUSH1 0x04 00000764: DUP3 00000765: ADD 00000766: MSTORE 00000767: PUSH1 0x24 00000769: DUP2 0000076a: ADD 0000076b: DUP3 0000076c: SWAP1 0000076d: MSTORE 0000076e: PUSH1 0x44 00000770: ADD 00000771: PUSH2 0x0673 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH0 00000777: DUP1 00000778: DUP4 00000779: PUSH1 0x01 0000077b: PUSH1 0x01 0000077d: PUSH1 0xa0 0000077f: SHL 00000780: SUB 00000781: AND 00000782: DUP4 00000783: PUSH1 0x40 00000785: MLOAD 00000786: PUSH0 00000787: PUSH1 0x40 00000789: MLOAD 0000078a: DUP1 0000078b: DUP4 0000078c: SUB 0000078d: DUP2 0000078e: DUP6 0000078f: DUP8 00000790: GAS 00000791: CALL 00000792: SWAP3 00000793: POP 00000794: POP 00000795: POP 00000796: RETURNDATASIZE 00000797: DUP1 00000798: PUSH0 00000799: DUP2 0000079a: EQ 0000079b: PUSH2 0x07bf 0000079e: JUMPI 0000079f: PUSH1 0x40 000007a1: MLOAD 000007a2: SWAP2 000007a3: POP 000007a4: PUSH1 0x1f 000007a6: NOT 000007a7: PUSH1 0x3f 000007a9: RETURNDATASIZE 000007aa: ADD 000007ab: AND 000007ac: DUP3 000007ad: ADD 000007ae: PUSH1 0x40 000007b0: MSTORE 000007b1: RETURNDATASIZE 000007b2: DUP3 000007b3: MSTORE 000007b4: RETURNDATASIZE 000007b5: PUSH0 000007b6: PUSH1 0x20 000007b8: DUP5 000007b9: ADD 000007ba: RETURNDATACOPY 000007bb: PUSH2 0x07c4 000007be: JUMP 000007bf: JUMPDEST 000007c0: PUSH1 0x60 000007c2: SWAP2 000007c3: POP 000007c4: JUMPDEST 000007c5: POP 000007c6: SWAP2 000007c7: POP 000007c8: SWAP2 000007c9: POP 000007ca: DUP2 000007cb: PUSH2 0x07d7 000007ce: JUMPI 000007cf: PUSH2 0x07d7 000007d2: DUP2 000007d3: PUSH2 0x0893 000007d6: JUMP 000007d7: JUMPDEST 000007d8: POP 000007d9: POP 000007da: POP 000007db: POP 000007dc: JUMP 000007dd: JUMPDEST 000007de: PUSH1 0x40 000007e0: DUP1 000007e1: MLOAD 000007e2: PUSH1 0x01 000007e4: PUSH1 0x01 000007e6: PUSH1 0xa0 000007e8: SHL 000007e9: SUB 000007ea: DUP5 000007eb: AND 000007ec: PUSH1 0x24 000007ee: DUP3 000007ef: ADD 000007f0: MSTORE 000007f1: PUSH1 0x44 000007f3: DUP1 000007f4: DUP3 000007f5: ADD 000007f6: DUP5 000007f7: SWAP1 000007f8: MSTORE 000007f9: DUP3 000007fa: MLOAD 000007fb: DUP1 000007fc: DUP4 000007fd: SUB 000007fe: SWAP1 000007ff: SWAP2 00000800: ADD 00000801: DUP2 00000802: MSTORE 00000803: PUSH1 0x64 00000805: SWAP1 00000806: SWAP2 00000807: ADD 00000808: SWAP1 00000809: SWAP2 0000080a: MSTORE 0000080b: PUSH1 0x20 0000080d: DUP2 0000080e: ADD 0000080f: DUP1 00000810: MLOAD 00000811: PUSH1 0x01 00000813: PUSH1 0x01 00000815: PUSH1 0xe0 00000817: SHL 00000818: SUB 00000819: AND 0000081a: PUSH4 0xa9059cbb 0000081f: PUSH1 0xe0 00000821: SHL 00000822: OR 00000823: SWAP1 00000824: MSTORE 00000825: PUSH2 0x061f 00000828: SWAP1 00000829: DUP5 0000082a: SWAP1 0000082b: PUSH2 0x08bf 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x60 00000832: DUP3 00000833: PUSH2 0x0844 00000836: JUMPI 00000837: PUSH2 0x083f 0000083a: DUP3 0000083b: PUSH2 0x0893 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH2 0x06eb 00000843: JUMP 00000844: JUMPDEST 00000845: DUP2 00000846: MLOAD 00000847: ISZERO 00000848: DUP1 00000849: ISZERO 0000084a: PUSH2 0x085b 0000084d: JUMPI 0000084e: POP 0000084f: PUSH1 0x01 00000851: PUSH1 0x01 00000853: PUSH1 0xa0 00000855: SHL 00000856: SUB 00000857: DUP5 00000858: AND 00000859: EXTCODESIZE 0000085a: ISZERO 0000085b: JUMPDEST 0000085c: ISZERO 0000085d: PUSH2 0x0884 00000860: JUMPI 00000861: PUSH1 0x40 00000863: MLOAD 00000864: PUSH4 0x9996b315 00000869: PUSH1 0xe0 0000086b: SHL 0000086c: DUP2 0000086d: MSTORE 0000086e: PUSH1 0x01 00000870: PUSH1 0x01 00000872: PUSH1 0xa0 00000874: SHL 00000875: SUB 00000876: DUP6 00000877: AND 00000878: PUSH1 0x04 0000087a: DUP3 0000087b: ADD 0000087c: MSTORE 0000087d: PUSH1 0x24 0000087f: ADD 00000880: PUSH2 0x0673 00000883: JUMP 00000884: JUMPDEST 00000885: POP 00000886: DUP1 00000887: PUSH2 0x06eb 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH2 0x0638 0000088f: PUSH2 0x06f2 00000892: JUMP 00000893: JUMPDEST 00000894: DUP1 00000895: MLOAD 00000896: ISZERO 00000897: PUSH2 0x08a3 0000089a: JUMPI 0000089b: DUP1 0000089c: MLOAD 0000089d: DUP1 0000089e: DUP3 0000089f: PUSH1 0x20 000008a1: ADD 000008a2: REVERT 000008a3: JUMPDEST 000008a4: PUSH1 0x40 000008a6: MLOAD 000008a7: PUSH4 0xd6bda275 000008ac: PUSH1 0xe0 000008ae: SHL 000008af: DUP2 000008b0: MSTORE 000008b1: PUSH1 0x04 000008b3: ADD 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: DUP1 000008b8: SWAP2 000008b9: SUB 000008ba: SWAP1 000008bb: REVERT 000008bc: JUMPDEST 000008bd: POP 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH0 000008c1: DUP1 000008c2: PUSH1 0x20 000008c4: PUSH0 000008c5: DUP5 000008c6: MLOAD 000008c7: PUSH1 0x20 000008c9: DUP7 000008ca: ADD 000008cb: PUSH0 000008cc: DUP9 000008cd: GAS 000008ce: CALL 000008cf: DUP1 000008d0: PUSH2 0x08de 000008d3: JUMPI 000008d4: PUSH1 0x40 000008d6: MLOAD 000008d7: RETURNDATASIZE 000008d8: PUSH0 000008d9: DUP3 000008da: RETURNDATACOPY 000008db: RETURNDATASIZE 000008dc: DUP2 000008dd: REVERT 000008de: JUMPDEST 000008df: POP 000008e0: POP 000008e1: PUSH0 000008e2: MLOAD 000008e3: RETURNDATASIZE 000008e4: SWAP2 000008e5: POP 000008e6: DUP2 000008e7: ISZERO 000008e8: PUSH2 0x08f5 000008eb: JUMPI 000008ec: DUP1 000008ed: PUSH1 0x01 000008ef: EQ 000008f0: ISZERO 000008f1: PUSH2 0x0902 000008f4: JUMP 000008f5: JUMPDEST 000008f6: PUSH1 0x01 000008f8: PUSH1 0x01 000008fa: PUSH1 0xa0 000008fc: SHL 000008fd: SUB 000008fe: DUP5 000008ff: AND 00000900: EXTCODESIZE 00000901: ISZERO 00000902: JUMPDEST 00000903: ISZERO 00000904: PUSH2 0x07d7 00000907: JUMPI 00000908: PUSH1 0x40 0000090a: MLOAD 0000090b: PUSH4 0x5274afe7 00000910: PUSH1 0xe0 00000912: SHL 00000913: DUP2 00000914: MSTORE 00000915: PUSH1 0x01 00000917: PUSH1 0x01 00000919: PUSH1 0xa0 0000091b: SHL 0000091c: SUB 0000091d: DUP6 0000091e: AND 0000091f: PUSH1 0x04 00000921: DUP3 00000922: ADD 00000923: MSTORE 00000924: PUSH1 0x24 00000926: ADD 00000927: PUSH2 0x0673 0000092a: JUMP 0000092b: JUMPDEST 0000092c: PUSH1 0x01 0000092e: PUSH1 0x01 00000930: PUSH1 0xa0 00000932: SHL 00000933: SUB 00000934: DUP2 00000935: AND 00000936: DUP2 00000937: EQ 00000938: PUSH2 0x08bc 0000093b: JUMPI 0000093c: PUSH0 0000093d: DUP1 0000093e: REVERT 0000093f: JUMPDEST 00000940: PUSH0 00000941: DUP1 00000942: DUP4 00000943: PUSH1 0x1f 00000945: DUP5 00000946: ADD 00000947: SLT 00000948: PUSH2 0x094f 0000094b: JUMPI 0000094c: PUSH0 0000094d: DUP1 0000094e: REVERT 0000094f: JUMPDEST 00000950: POP 00000951: DUP2 00000952: CALLDATALOAD 00000953: PUSH8 0xffffffffffffffff 0000095c: DUP2 0000095d: GT 0000095e: ISZERO 0000095f: PUSH2 0x0966 00000962: JUMPI 00000963: PUSH0 00000964: DUP1 00000965: REVERT 00000966: JUMPDEST 00000967: PUSH1 0x20 00000969: DUP4 0000096a: ADD 0000096b: SWAP2 0000096c: POP 0000096d: DUP4 0000096e: PUSH1 0x20 00000970: DUP3 00000971: DUP6 00000972: ADD 00000973: ADD 00000974: GT 00000975: ISZERO 00000976: PUSH2 0x097d 00000979: JUMPI 0000097a: PUSH0 0000097b: DUP1 0000097c: REVERT 0000097d: JUMPDEST 0000097e: SWAP3 0000097f: POP 00000980: SWAP3 00000981: SWAP1 00000982: POP 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH0 00000986: DUP1 00000987: PUSH0 00000988: DUP1 00000989: PUSH0 0000098a: PUSH1 0x80 0000098c: DUP7 0000098d: DUP9 0000098e: SUB 0000098f: SLT 00000990: ISZERO 00000991: PUSH2 0x0998 00000994: JUMPI 00000995: PUSH0 00000996: DUP1 00000997: REVERT 00000998: JUMPDEST 00000999: DUP6 0000099a: CALLDATALOAD 0000099b: PUSH2 0x09a3 0000099e: DUP2 0000099f: PUSH2 0x092b 000009a2: JUMP 000009a3: JUMPDEST 000009a4: SWAP5 000009a5: POP 000009a6: PUSH1 0x20 000009a8: DUP7 000009a9: ADD 000009aa: CALLDATALOAD 000009ab: PUSH2 0x09b3 000009ae: DUP2 000009af: PUSH2 0x092b 000009b2: JUMP 000009b3: JUMPDEST 000009b4: SWAP4 000009b5: POP 000009b6: PUSH1 0x40 000009b8: DUP7 000009b9: ADD 000009ba: CALLDATALOAD 000009bb: SWAP3 000009bc: POP 000009bd: PUSH1 0x60 000009bf: DUP7 000009c0: ADD 000009c1: CALLDATALOAD 000009c2: PUSH8 0xffffffffffffffff 000009cb: DUP2 000009cc: GT 000009cd: ISZERO 000009ce: PUSH2 0x09d5 000009d1: JUMPI 000009d2: PUSH0 000009d3: DUP1 000009d4: REVERT 000009d5: JUMPDEST 000009d6: PUSH2 0x09e1 000009d9: DUP9 000009da: DUP3 000009db: DUP10 000009dc: ADD 000009dd: PUSH2 0x093f 000009e0: JUMP 000009e1: JUMPDEST 000009e2: SWAP7 000009e3: SWAP10 000009e4: SWAP6 000009e5: SWAP9 000009e6: POP 000009e7: SWAP4 000009e8: SWAP7 000009e9: POP 000009ea: SWAP3 000009eb: SWAP5 000009ec: SWAP4 000009ed: SWAP3 000009ee: POP 000009ef: POP 000009f0: POP 000009f1: JUMP 000009f2: JUMPDEST 000009f3: PUSH0 000009f4: PUSH1 0x20 000009f6: DUP3 000009f7: DUP5 000009f8: SUB 000009f9: SLT 000009fa: ISZERO 000009fb: PUSH2 0x0a02 000009fe: JUMPI 000009ff: PUSH0 00000a00: DUP1 00000a01: REVERT 00000a02: JUMPDEST 00000a03: POP 00000a04: CALLDATALOAD 00000a05: SWAP2 00000a06: SWAP1 00000a07: POP 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: PUSH0 00000a0b: DUP1 00000a0c: PUSH1 0x20 00000a0e: DUP4 00000a0f: DUP6 00000a10: SUB 00000a11: SLT 00000a12: ISZERO 00000a13: PUSH2 0x0a1a 00000a16: JUMPI 00000a17: PUSH0 00000a18: DUP1 00000a19: REVERT 00000a1a: JUMPDEST 00000a1b: DUP3 00000a1c: CALLDATALOAD 00000a1d: PUSH8 0xffffffffffffffff 00000a26: DUP2 00000a27: GT 00000a28: ISZERO 00000a29: PUSH2 0x0a30 00000a2c: JUMPI 00000a2d: PUSH0 00000a2e: DUP1 00000a2f: REVERT 00000a30: JUMPDEST 00000a31: PUSH2 0x0a3c 00000a34: DUP6 00000a35: DUP3 00000a36: DUP7 00000a37: ADD 00000a38: PUSH2 0x093f 00000a3b: JUMP 00000a3c: JUMPDEST 00000a3d: SWAP1 00000a3e: SWAP7 00000a3f: SWAP1 00000a40: SWAP6 00000a41: POP 00000a42: SWAP4 00000a43: POP 00000a44: POP 00000a45: POP 00000a46: POP 00000a47: JUMP 00000a48: JUMPDEST 00000a49: PUSH0 00000a4a: DUP1 00000a4b: PUSH1 0x40 00000a4d: DUP4 00000a4e: DUP6 00000a4f: SUB 00000a50: SLT 00000a51: ISZERO 00000a52: PUSH2 0x0a59 00000a55: JUMPI 00000a56: PUSH0 00000a57: DUP1 00000a58: REVERT 00000a59: JUMPDEST 00000a5a: DUP3 00000a5b: CALLDATALOAD 00000a5c: PUSH2 0x0a64 00000a5f: DUP2 00000a60: PUSH2 0x092b 00000a63: JUMP 00000a64: JUMPDEST 00000a65: SWAP5 00000a66: PUSH1 0x20 00000a68: SWAP4 00000a69: SWAP1 00000a6a: SWAP4 00000a6b: ADD 00000a6c: CALLDATALOAD 00000a6d: SWAP4 00000a6e: POP 00000a6f: POP 00000a70: POP 00000a71: JUMP 00000a72: JUMPDEST 00000a73: PUSH0 00000a74: DUP1 00000a75: PUSH0 00000a76: DUP1 00000a77: PUSH0 00000a78: PUSH1 0x80 00000a7a: DUP7 00000a7b: DUP9 00000a7c: SUB 00000a7d: SLT 00000a7e: ISZERO 00000a7f: PUSH2 0x0a86 00000a82: JUMPI 00000a83: PUSH0 00000a84: DUP1 00000a85: REVERT 00000a86: JUMPDEST 00000a87: DUP6 00000a88: CALLDATALOAD 00000a89: PUSH2 0x0a91 00000a8c: DUP2 00000a8d: PUSH2 0x092b 00000a90: JUMP 00000a91: JUMPDEST 00000a92: SWAP5 00000a93: POP 00000a94: PUSH1 0x20 00000a96: DUP7 00000a97: ADD 00000a98: CALLDATALOAD 00000a99: SWAP4 00000a9a: POP 00000a9b: PUSH1 0x40 00000a9d: DUP7 00000a9e: ADD 00000a9f: CALLDATALOAD 00000aa0: PUSH8 0xffffffffffffffff 00000aa9: DUP1 00000aaa: DUP3 00000aab: GT 00000aac: ISZERO 00000aad: PUSH2 0x0ab4 00000ab0: JUMPI 00000ab1: PUSH0 00000ab2: DUP1 00000ab3: REVERT 00000ab4: JUMPDEST 00000ab5: PUSH2 0x0ac0 00000ab8: DUP10 00000ab9: DUP4 00000aba: DUP11 00000abb: ADD 00000abc: PUSH2 0x093f 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: SWAP1 00000ac2: SWAP6 00000ac3: POP 00000ac4: SWAP4 00000ac5: POP 00000ac6: PUSH1 0x60 00000ac8: DUP9 00000ac9: ADD 00000aca: CALLDATALOAD 00000acb: SWAP2 00000acc: POP 00000acd: DUP1 00000ace: DUP3 00000acf: GT 00000ad0: ISZERO 00000ad1: PUSH2 0x0ad8 00000ad4: JUMPI 00000ad5: PUSH0 00000ad6: DUP1 00000ad7: REVERT 00000ad8: JUMPDEST 00000ad9: POP 00000ada: DUP7 00000adb: ADD 00000adc: PUSH1 0x60 00000ade: DUP2 00000adf: DUP10 00000ae0: SUB 00000ae1: SLT 00000ae2: ISZERO 00000ae3: PUSH2 0x0aea 00000ae6: JUMPI 00000ae7: PUSH0 00000ae8: DUP1 00000ae9: REVERT 00000aea: JUMPDEST 00000aeb: DUP1 00000aec: SWAP2 00000aed: POP 00000aee: POP 00000aef: SWAP3 00000af0: SWAP6 00000af1: POP 00000af2: SWAP3 00000af3: SWAP6 00000af4: SWAP1 00000af5: SWAP4 00000af6: POP 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH1 0x20 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH0 00000afe: DUP3 00000aff: MLOAD 00000b00: DUP1 00000b01: PUSH1 0x20 00000b03: DUP5 00000b04: ADD 00000b05: MSTORE 00000b06: DUP1 00000b07: PUSH1 0x20 00000b09: DUP6 00000b0a: ADD 00000b0b: PUSH1 0x40 00000b0d: DUP6 00000b0e: ADD 00000b0f: MCOPY 00000b10: PUSH0 00000b11: PUSH1 0x40 00000b13: DUP3 00000b14: DUP6 00000b15: ADD 00000b16: ADD 00000b17: MSTORE 00000b18: PUSH1 0x40 00000b1a: PUSH1 0x1f 00000b1c: NOT 00000b1d: PUSH1 0x1f 00000b1f: DUP4 00000b20: ADD 00000b21: AND 00000b22: DUP5 00000b23: ADD 00000b24: ADD 00000b25: SWAP2 00000b26: POP 00000b27: POP 00000b28: SWAP3 00000b29: SWAP2 00000b2a: POP 00000b2b: POP 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: PUSH0 00000b2f: DUP1 00000b30: PUSH1 0x40 00000b32: DUP4 00000b33: DUP6 00000b34: SUB 00000b35: SLT 00000b36: ISZERO 00000b37: PUSH2 0x0b3e 00000b3a: JUMPI 00000b3b: PUSH0 00000b3c: DUP1 00000b3d: REVERT 00000b3e: JUMPDEST 00000b3f: DUP3 00000b40: CALLDATALOAD 00000b41: PUSH2 0x0b49 00000b44: DUP2 00000b45: PUSH2 0x092b 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: SWAP2 00000b4b: POP 00000b4c: PUSH1 0x20 00000b4e: DUP4 00000b4f: ADD 00000b50: CALLDATALOAD 00000b51: PUSH2 0x0b59 00000b54: DUP2 00000b55: PUSH2 0x092b 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: DUP1 00000b5b: SWAP2 00000b5c: POP 00000b5d: POP 00000b5e: SWAP3 00000b5f: POP 00000b60: SWAP3 00000b61: SWAP1 00000b62: POP 00000b63: JUMP 00000b64: JUMPDEST 00000b65: DUP2 00000b66: DUP4 00000b67: MSTORE 00000b68: DUP2 00000b69: DUP2 00000b6a: PUSH1 0x20 00000b6c: DUP6 00000b6d: ADD 00000b6e: CALLDATACOPY 00000b6f: POP 00000b70: PUSH0 00000b71: DUP3 00000b72: DUP3 00000b73: ADD 00000b74: PUSH1 0x20 00000b76: SWAP1 00000b77: DUP2 00000b78: ADD 00000b79: SWAP2 00000b7a: SWAP1 00000b7b: SWAP2 00000b7c: MSTORE 00000b7d: PUSH1 0x1f 00000b7f: SWAP1 00000b80: SWAP2 00000b81: ADD 00000b82: PUSH1 0x1f 00000b84: NOT 00000b85: AND 00000b86: SWAP1 00000b87: SWAP2 00000b88: ADD 00000b89: ADD 00000b8a: SWAP1 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH1 0x20 00000b8f: DUP2 00000b90: MSTORE 00000b91: PUSH0 00000b92: PUSH2 0x0b9f 00000b95: PUSH1 0x20 00000b97: DUP4 00000b98: ADD 00000b99: DUP5 00000b9a: DUP7 00000b9b: PUSH2 0x0b64 00000b9e: JUMP 00000b9f: JUMPDEST 00000ba0: SWAP5 00000ba1: SWAP4 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: POP 00000ba6: JUMP 00000ba7: JUMPDEST 00000ba8: PUSH0 00000ba9: DUP1 00000baa: DUP4 00000bab: CALLDATALOAD 00000bac: PUSH1 0x1e 00000bae: NOT 00000baf: DUP5 00000bb0: CALLDATASIZE 00000bb1: SUB 00000bb2: ADD 00000bb3: DUP2 00000bb4: SLT 00000bb5: PUSH2 0x0bbc 00000bb8: JUMPI 00000bb9: PUSH0 00000bba: DUP1 00000bbb: REVERT 00000bbc: JUMPDEST 00000bbd: DUP4 00000bbe: ADD 00000bbf: PUSH1 0x20 00000bc1: DUP2 00000bc2: ADD 00000bc3: SWAP3 00000bc4: POP 00000bc5: CALLDATALOAD 00000bc6: SWAP1 00000bc7: POP 00000bc8: PUSH8 0xffffffffffffffff 00000bd1: DUP2 00000bd2: GT 00000bd3: ISZERO 00000bd4: PUSH2 0x0bdb 00000bd7: JUMPI 00000bd8: PUSH0 00000bd9: DUP1 00000bda: REVERT 00000bdb: JUMPDEST 00000bdc: DUP1 00000bdd: PUSH1 0x05 00000bdf: SHL 00000be0: CALLDATASIZE 00000be1: SUB 00000be2: DUP3 00000be3: SGT 00000be4: ISZERO 00000be5: PUSH2 0x097d 00000be8: JUMPI 00000be9: PUSH0 00000bea: DUP1 00000beb: REVERT 00000bec: JUMPDEST 00000bed: DUP2 00000bee: DUP4 00000bef: MSTORE 00000bf0: PUSH0 00000bf1: PUSH1 0x01 00000bf3: PUSH1 0x01 00000bf5: PUSH1 0xfb 00000bf7: SHL 00000bf8: SUB 00000bf9: DUP4 00000bfa: GT 00000bfb: ISZERO 00000bfc: PUSH2 0x0c03 00000bff: JUMPI 00000c00: PUSH0 00000c01: DUP1 00000c02: REVERT 00000c03: JUMPDEST 00000c04: DUP3 00000c05: PUSH1 0x05 00000c07: SHL 00000c08: DUP1 00000c09: DUP4 00000c0a: PUSH1 0x20 00000c0c: DUP8 00000c0d: ADD 00000c0e: CALLDATACOPY 00000c0f: SWAP4 00000c10: SWAP1 00000c11: SWAP4 00000c12: ADD 00000c13: PUSH1 0x20 00000c15: ADD 00000c16: SWAP4 00000c17: SWAP3 00000c18: POP 00000c19: POP 00000c1a: POP 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: PUSH1 0x01 00000c1f: PUSH1 0x01 00000c21: PUSH1 0xa0 00000c23: SHL 00000c24: SUB 00000c25: DUP8 00000c26: DUP2 00000c27: AND 00000c28: DUP3 00000c29: MSTORE 00000c2a: DUP7 00000c2b: AND 00000c2c: PUSH1 0x20 00000c2e: DUP3 00000c2f: ADD 00000c30: MSTORE 00000c31: PUSH1 0x40 00000c33: DUP2 00000c34: ADD 00000c35: DUP6 00000c36: SWAP1 00000c37: MSTORE 00000c38: PUSH1 0xa0 00000c3a: PUSH1 0x60 00000c3c: DUP3 00000c3d: ADD 00000c3e: DUP2 00000c3f: SWAP1 00000c40: MSTORE 00000c41: PUSH0 00000c42: SWAP1 00000c43: PUSH2 0x0c4f 00000c46: SWAP1 00000c47: DUP4 00000c48: ADD 00000c49: DUP6 00000c4a: DUP8 00000c4b: PUSH2 0x0b64 00000c4e: JUMP 00000c4f: JUMPDEST 00000c50: DUP3 00000c51: DUP2 00000c52: SUB 00000c53: PUSH1 0x80 00000c55: DUP5 00000c56: ADD 00000c57: MSTORE 00000c58: DUP4 00000c59: CALLDATALOAD 00000c5a: PUSH1 0x04 00000c5c: DUP2 00000c5d: LT 00000c5e: PUSH2 0x0c65 00000c61: JUMPI 00000c62: PUSH0 00000c63: DUP1 00000c64: REVERT 00000c65: JUMPDEST 00000c66: DUP2 00000c67: MSTORE 00000c68: PUSH1 0x20 00000c6a: DUP5 00000c6b: ADD 00000c6c: CALLDATALOAD 00000c6d: CALLDATASIZE 00000c6e: DUP6 00000c6f: SWAP1 00000c70: SUB 00000c71: PUSH1 0x1e 00000c73: NOT 00000c74: ADD 00000c75: DUP2 00000c76: SLT 00000c77: PUSH2 0x0c7e 00000c7a: JUMPI 00000c7b: PUSH0 00000c7c: DUP1 00000c7d: REVERT 00000c7e: JUMPDEST 00000c7f: DUP5 00000c80: ADD 00000c81: PUSH1 0x20 00000c83: DUP2 00000c84: ADD 00000c85: SWAP1 00000c86: CALLDATALOAD 00000c87: PUSH8 0xffffffffffffffff 00000c90: DUP2 00000c91: GT 00000c92: ISZERO 00000c93: PUSH2 0x0c9a 00000c96: JUMPI 00000c97: PUSH0 00000c98: DUP1 00000c99: REVERT 00000c9a: JUMPDEST 00000c9b: DUP1 00000c9c: CALLDATASIZE 00000c9d: SUB 00000c9e: DUP3 00000c9f: SGT 00000ca0: ISZERO 00000ca1: PUSH2 0x0ca8 00000ca4: JUMPI 00000ca5: PUSH0 00000ca6: DUP1 00000ca7: REVERT 00000ca8: JUMPDEST 00000ca9: PUSH1 0x60 00000cab: PUSH1 0x20 00000cad: DUP5 00000cae: ADD 00000caf: MSTORE 00000cb0: PUSH2 0x0cbd 00000cb3: PUSH1 0x60 00000cb5: DUP5 00000cb6: ADD 00000cb7: DUP3 00000cb8: DUP5 00000cb9: PUSH2 0x0b64 00000cbc: JUMP 00000cbd: JUMPDEST 00000cbe: SWAP2 00000cbf: POP 00000cc0: POP 00000cc1: PUSH2 0x0ccd 00000cc4: PUSH1 0x40 00000cc6: DUP7 00000cc7: ADD 00000cc8: DUP7 00000cc9: PUSH2 0x0ba7 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: DUP4 00000ccf: DUP4 00000cd0: SUB 00000cd1: PUSH1 0x40 00000cd3: DUP6 00000cd4: ADD 00000cd5: MSTORE 00000cd6: PUSH2 0x0ce0 00000cd9: DUP4 00000cda: DUP3 00000cdb: DUP5 00000cdc: PUSH2 0x0bec 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: SWAP13 00000ce2: SWAP12 00000ce3: POP 00000ce4: POP 00000ce5: POP 00000ce6: POP 00000ce7: POP 00000ce8: POP 00000ce9: POP 00000cea: POP 00000ceb: POP 00000cec: POP 00000ced: POP 00000cee: POP 00000cef: JUMP 00000cf0: JUMPDEST 00000cf1: PUSH0 00000cf2: DUP3 00000cf3: MLOAD 00000cf4: DUP1 00000cf5: PUSH1 0x20 00000cf7: DUP6 00000cf8: ADD 00000cf9: DUP5 00000cfa: MCOPY 00000cfb: PUSH0 00000cfc: SWAP3 00000cfd: ADD 00000cfe: SWAP2 00000cff: DUP3 00000d00: MSTORE 00000d01: POP 00000d02: SWAP2 00000d03: SWAP1 00000d04: POP 00000d05: JUMP 00000d06: INVALID 00000d07: SWAP12 00000d08: PUSH24 0x9b17422d0df92223018b32b4d1fa46e071723d6817e2486d 00000d21: STOP 00000d22: EXTCODESIZE 00000d23: UNKNOWN(0xEC) 00000d24: UNKNOWN(0xC5) 00000d25: PUSH0 00000d26: STOP 00000d27: LOG2 00000d28: PUSH5 0x6970667358 00000d2e: UNKNOWN(0x22) 00000d2f: SLT 00000d30: KECCAK256 00000d31: UNKNOWN(0xCE) 00000d32: UNKNOWN(0xE5) 00000d33: OR 00000d34: UNKNOWN(0xB7) 00000d35: NUMBER 00000d36: JUMPI 00000d37: UNKNOWN(0x4C) 00000d38: UNKNOWN(0xD4) 00000d39: PUSH26 0x49d152dcc089f91432efeebea28766188c6886118813ea64736f 00000d54: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9482fbb6536ae8fadb169855d1d49697c730a72f199e14f7575e1525eadcc38e
call_targets:
0x0000000e535b4e063f8372933a55470e67910a66
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9482fbb6536ae8fadb169855d1d49697c730a72f199e14f7575e1525eadcc38e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000e535b4e063f8372933a55470e67910a66"
],
"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": "0x439fab91",
"selector": "0x439fab91",
"calldata_variants": [
"0x439fab91",
"0x439fab910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87cd303d",
"selector": "0x87cd303d",
"calldata_variants": [
"0x87cd303d",
"0x87cd303d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6df3a8d",
"selector": "0xa6df3a8d",
"calldata_variants": [
"0xa6df3a8d",
"0xa6df3a8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbfa77cf",
"selector": "0xfbfa77cf",
"calldata_variants": [
"0xfbfa77cf",
"0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ca0027a",
"selector": "0x1ca0027a",
"calldata_variants": [
"0x1ca0027a",
"0x1ca0027a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b7ac3f3",
"selector": "0x2b7ac3f3",
"calldata_variants": [
"0x2b7ac3f3",
"0x2b7ac3f30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1699,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1937,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2254,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x9482fbb6536ae8fadb169855d1d49697c730a72f199e14f7575e1525eadcc38e
call_targets:
0x0000000e535b4e063f8372933a55470e67910a66
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9482fbb6536ae8fadb169855d1d49697c730a72f199e14f7575e1525eadcc38e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000e535b4e063f8372933a55470e67910a66"
],
"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": "0x439fab91",
"selector": "0x439fab91",
"calldata_variants": [
"0x439fab91",
"0x439fab910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87cd303d",
"selector": "0x87cd303d",
"calldata_variants": [
"0x87cd303d",
"0x87cd303d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6df3a8d",
"selector": "0xa6df3a8d",
"calldata_variants": [
"0xa6df3a8d",
"0xa6df3a8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbfa77cf",
"selector": "0xfbfa77cf",
"calldata_variants": [
"0xfbfa77cf",
"0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ca0027a",
"selector": "0x1ca0027a",
"calldata_variants": [
"0x1ca0027a",
"0x1ca0027a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b7ac3f3",
"selector": "0x2b7ac3f3",
"calldata_variants": [
"0x2b7ac3f3",
"0x2b7ac3f30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1699,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1937,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2254,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| 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": 5
}
|