【ERC20安全审计】——33、变量覆盖攻击

文章前言

随着区块链技术的不断发展，智能合约作为其重要的应用之一，已经被广泛应用于各种领域，但是智能合约的安全问题一直备受关注，其中变量覆盖攻击是一种常见的攻击方式，本文将详细介绍变量覆盖攻击的原理、攻击方式以及如何避免该攻击，希望能够帮助读者更好地理解智能合约安全问题并提高其安全意识

基础知识

在Solidity中变量的数据位置(storage或memory)取决于它们的用途和声明方式，这里有一些关于如何区分它们的规则：

状态变量(State variables)：状态变量是在合约级别声明的变量，它们的数据位置默认为storage，状态变量的生命周期与合约实例相同，即使在函数调用之间也会保持它们的值

pragma solidity ^0.8.0;

contract MyContract {
    // 这是一个存储（storage）状态变量
    uint256 public myStorageVariable;
}

局部变量(Local variables)：局部变量是在函数内部声明的变量，它们的默认数据位置是memory，局部变量的生命周期仅限于函数调用，一旦函数执行完毕它们的值就会被丢弃

pragma solidity ^0.8.0;

contract MyContract {
    function myFunction() public {
        // 这是一个内存（memory）局部变量
        uint256 myLocalVariable = 42;
    }
}

显式指定数据位置：在某些情况下你需要显式指定数据位置，例