DeFiVulnLabs靶场全系列详解（四十七）逻辑错误-合约锁定处理错误导致可多次提款

// SPDX-License-Identifier: MITpragma solidity ^0.8.20;import"@openzeppelin/contracts/token/ERC20/IERC20.sol";//一个存在漏洞的银行系统合约contract VulnerableBank {    struct Locker {        bool hasLockedTokens;        uint256 amount;        uint256 lockTime;        address tokenAddress;    }//嵌套字典//{address:{id:Locker}}    mapping(address => mapping(uint256 => Locker)) private _unlockToken;    uint256 private _nextLockerId = 1;//创建锁定functioncreateLocker(        address tokenAddress,        uint256 amount,        uint256 lockTime) public{//存入代币必须大于0require(amount > 0, "Amount must be greater than 0");//解锁的时间大于当前区块时间require(lockTime > block.timestamp, "Lock time must be in the future");//发送者上toeknAddress的地址必须大于amountrequire(            IERC20(tokenAddress).balanceOf(msg.sender) >= amount,"Insufficient token balance"        );//调用transferFrom将代币转移到银行合约中        IERC20(tokenAddress).transferFrom(msg.sender, address(this), amount);// 然后创建锁定时间，主要是hasLockedTokens=True        Locker storage locker = _unlockToken[msg.sender][_nextLockerId];        locker.hasLockedTokens = true;        locker.amount = amount;        locker.lockTime = lockTime;        locker.tokenAddress = tokenAddress;        _nextLockerId++; //给这笔存款添加一个id    }//解锁代币并转账functionunlockToken(uint256 lockerId) public{//获取lockid下的Locker        Locker storage locker = _unlockToken[msg.sender][lockerId];// 获取存放代币的值        uint256 amount = locker.amount;//判断是否 hasLockedTokens=True  ,也就是Bank里是否还存在没解锁的tokenrequire(locker.hasLockedTokens, "No locked tokens");// 如果当前区块时间大于解锁的时间，代币则置零if (block.timestamp > locker.lockTime) {            locker.amount = 0;        }//然后转账//这里乍一看没问题，但是实际上上面如果当前区块时间小于解锁的时间，代币就不置零//那么也就意味着locker.amount不会为0，我们无限调用unlockToken即可        IERC20(locker.tokenAddress).transfer(msg.sender, amount);    }}