0x5870357dfa6a11d3fe45d775c21ed9ae60ac4bef

1//decompiled by exvvul decompiler tool contact@exvul.com https://x.com/exvulsec2// SPDX-License-Identifier: MIT3pragma solidity >=0.8.0;45contract DesolexContract {6    uint8 public constant decimals = 18;7    8    string _name; // STORAGE[0x0]9    string _symbol; // STORAGE[0x1]10    uint256 public totalSupply; // STORAGE[0x2]11    address public owner; // STORAGE[0x3]12    mapping(address => uint256) public balanceOf; // STORAGE[0x4]13    mapping(address => mapping(address => uint256)) public allowance; // STORAGE[0x5]14    15    error ERC20FailedDecreaseAllowance(address, uint256, uint256);16    error ERC20InvalidSender(address);17    event Transfer(address indexed, address indexed, uint256);18    error ERC20InvalidReceiver(address);19    error ERC20InsufficientAllowance(address, uint256, uint256);20    event Approval(address indexed, address indexed, uint256);21    error ERC20InsufficientBalance(address, uint256, uint256);22    error ERC20InvalidSpender(address);23    error ERC20InvalidApprover(address);24    25    function name() public view returns (string memory) {26        return _name;27    }28    29    function approve(address spender, uint256 amount) public payable returns (bool) {30        require(msg.sender != address(0), ERC20InvalidApprover(address(0)));31        require(spender != address(0), ERC20InvalidSpender(address(0)));32        allowance[msg.sender][spender] = amount;33        emit Approval(msg.sender, spender, amount);34        return true;35    }36    37    function transferFrom(address from, address to, uint256 amount) public payable returns (bool) {38        _spendAllowance(amount, msg.sender, from);39        _transferToken(amount, to, from);40        return true;41    }42    43    function increaseAllowance(address spender, uint256 addedValue) public payable returns (bool) {44        require(msg.sender != address(0), ERC20InvalidApprover(address(0)));45        require(spender != address(0), ERC20InvalidSpender(address(0)));46        allowance[msg.sender][spender] = addedValue + allowance[msg.sender][spender];47        emit Approval(msg.sender, spender, addedValue + allowance[msg.sender][spender]);48        return true;49    }50    51    function symbol() public view returns (string memory) {52        return _symbol;53    }54    55    function decreaseAllowance(address spender, uint256 subtractedValue) public payable returns (bool) {56        require(!(allowance[msg.sender][spender] < subtractedValue), ERC20FailedDecreaseAllowance());57        require(msg.sender != address(0), ERC20InvalidApprover(address(0)));58        require(spender != address(0), ERC20InvalidSpender(address(0)));59        allowance[msg.sender][spender] = allowance[msg.sender][spender] - subtractedValue;60        emit Approval(msg.sender, spender, allowance[msg.sender][spender] - subtractedValue);61        return true;62    }63    64    function transfer(address to, uint256 amount) public payable returns (bool) {65        uint256 var_a;66        var_a = 0x60 + var_a;67        var_d = 0x80;68        uint256 value0 = 0;69        while (true) {70            uint256 value1 = value0;71            if (!(value0 < var_f)) {72                break;73            }74            if (!((0x20 + value0) < var_f)) {75                break;76            }77            value0 = 0x20 + (0x20 + value0);78            value1 = 0x20 + value0;79        }80        var_a = ((0x24 + var_a) + 0x80) + ((var_o + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)) + 0x20;81        address(0x636f6e736f6c652e6c6f67).log(var_d, msg.sender, to, amount); // staticcall82        require(msg.sender != address(0));83        require(to != address(0));84        internal_590(amount, to, msg.sender);85        return true;86    }87    88    function _transferToken(uint256 amount, address to, address from) private {89        // Decompilation incomplete: helper effect provenance is conservative.90        require(from != address(0), ERC20InvalidSender(address(0)));91        require(to != address(0), ERC20InvalidReceiver(address(0)));92        internal_590(amount, to, from);93    }94    95    function internal_590(uint256 arg0, address arg1, address arg2) private {96        // Decompilation incomplete: helper effect provenance is conservative.97        if (arg2 != address(0)) {98            require(!(balanceOf[arg2] < arg0), ERC20InsufficientBalance(arg2, balanceOf[arg2], arg0));99            balanceOf[arg2] = balanceOf[arg2] - arg0;100        } else {101            totalSupply = (arg0 + totalSupply);102            uint256 var_d;103            var_d = 0x40 + var_d;104            internal_703(arg2, var_d);105        }106        if (arg1 != address(0)) {107            balanceOf[arg1] = arg0 + balanceOf[arg1];108        } else {109            totalSupply = totalSupply - arg0;110        }111        emit Transfer(arg2, arg1, arg0);112    }113    114    function internal_703(address arg0, uint256 arg1) private {115        // Decompilation incomplete: helper effect provenance is conservative.116        var_f = 0x40;117        uint256 value0 = 0;118        while (true) {119            uint256 value1 = value0;120            if (!(value0 < var_h)) {121                break;122            }123            if (!((0x20 + value0) < var_h)) {124                break;125            }126            value0 = 0x20 + (0x20 + value0);127            value1 = 0x20 + value0;128        }129        var_d = (((0x24 + var_d) + 0x40) + ((var_q + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) + 0x20;130        address(0x636f6e736f6c652e6c6f67).log(var_f, arg0); // staticcall131    }132    133    function _spendAllowance(uint256 amount, address spender, address tokenOwner) private {134        if (!(allowance[tokenOwner][spender] == 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)) {135            require(!(allowance[tokenOwner][spender] < amount), ERC20InsufficientAllowance(spender, allowance[tokenOwner][spender], amount));136            require(tokenOwner != address(0), ERC20InvalidApprover(address(0)));137            require(spender != address(0), ERC20InvalidSpender(address(0)));138            allowance[tokenOwner][spender] = allowance[tokenOwner][spender] - amount;139        }140    }141    142    // Note: This selector table is synthetic and is not part of the original Solidity source.143    // It records the recovered selector-to-signature mapping without executable behavior.144    145    // 0x06fdde03 => name()146    // 0x095ea7b3 => approve(address,uint256)147    // 0x18160ddd => totalSupply()148    // 0x23b872dd => transferFrom(address,address,uint256)149    // 0x313ce567 => decimals()150    // 0x39509351 => increaseAllowance(address,uint256)151    // 0x70a08231 => balanceOf(address)152    // 0x8da5cb5b => owner()153    // 0x95d89b41 => symbol()154    // 0xa457c2d7 => decreaseAllowance(address,uint256)155    // 0xa9059cbb => transfer(address,uint256)156    // 0xdd62ed3e => allowance(address,address)157}