0x77eb52e44db06777bce478159f25c0d55a295314

1//decompiled by exvvul decompiler tool contact@exvul.com https://x.com/exvulsec2// SPDX-License-Identifier: MIT3pragma solidity >=0.8.0;45contract DesolexContract {6    receive() external payable {7    }8    9    fallback() external payable {10        // Synthetic compatibility routes preserve original selectors for unresolved names.11        if ((msg.data.length >= 4) && (msg.sig == 0xa9059cbb)) {12            // Route to Unknown_a9059cbb(address,address,address,uint256) after replacing only msg.sig.13            __desolexSelectorShim(uint32(0xf843512d));14            return;15        }16    }17    18    19    function Unknown_a9059cbb(address arg0, address arg1, address arg2, uint256 arg3) public payable returns (bool) {20        require(!(((0x04 + (msg.data.length - 0x04)) - 0x04) < 0x40));21        require(!(msg.data.length - (0x04) < 0x60), "Invalid data length: expected at least 96 bytes");22        uint256 value0 = 0x04;23        uint256 value5 = 0x04;24        while (true) {25            if ((value0 + (0x60)) > msg.data.length) {26                return true;27                break;28            }29            require(!(0x04 + (0x80) < 0x04), "Arithmetic overflow in index calculation");30            uint256 var_a;31            var_a = (0x24 + var_a) + 0x60;32            uint256 value1 = 0;33            uint256 value2;34            while (true) {35                value2 = value1;36                if (value1 >= var_i) {37                    break;38                }39                if (value1 + 0x20 >= var_i) {40                    break;41                }42                value1 = (value1 + 0x20) + 0x20;43                value2 = value1 + 0x20;44            }45            if (value2 > var_i) {46            }47            (bool success0, bytes memory returnData0) = arg0.pisnfmc(var_p, var_q, var_r); // call48            uint256 value3 = 0x60;49            if (returnData0.length != 0) {50                var_a = var_a + ((returnData0.length + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));51                value3 = var_a;52            }53            uint256 value4 = success0;54            if (success0) {55                uint256 value6 = (var_s == 0) ? 1 : 0;56                if (var_s != 0) {57                    require(!(((0x20 + value3) + var_s) - (0x20 + value3) < 0x20));58                    require(var_t == (var_t != 0x0));59                    value6 = var_u;60                }61                value4 = value6;62            }63            require(value4 != 0x0, "Transfer failed");64            value0 = 0x04 + (0x80);65            value5 = (0x04) + (0x80);66        }67    }68    69    function __desolexSelectorShim(uint32 rewrittenSelector) private {70        assembly {71            let input := mload(0x40)72            calldatacopy(input, 0, calldatasize())73            mstore(input, or(and(mload(input), 0x00000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff), shl(224, and(rewrittenSelector, 0xffffffff))))74            let success := delegatecall(gas(), address(), input, calldatasize(), 0, 0)75            let size := returndatasize()76            returndatacopy(input, 0, size)77            switch success78            case 0 { revert(input, size) }79            default { return(input, size) }80        }81    }82    83    // Note: This selector table is synthetic and is not part of the original Solidity source.84    // It records the recovered selector-to-signature mapping without executable behavior.85    86    // 0xa9059cbb => Unknown_a9059cbb(address,address,address,uint256)87}