【ERC20安全审计】——26、变量歧义命名漏洞刨析

文章前言

Solidity允许在继承时对状态变量进行歧义命名，定义有变量x的合约A可以继承同样含有状态变量x的合约B，这将导致两个单独版本的x，一个可以从合约A访问， 而另一个则需要从合约B访问，在更复杂的合约系统中，这种情况可能不会引起注意， 并随后导致严重的安全问题。

漏洞示例

下面进行一个简单的测试，首先我们来看局部变量与全局变量之间的关系：

pragma solidity 0.4.24;

contract ShadowingInFunctions {
    uint n = 2;
    uint x = 3;

    function test1() constant returns (uint n) {
        return n; // Will return 0
    }

    function test2() constant returns (uint n) {
        n = 1;
        return n; // Will return 1
    }

    function test3() constant returns (uint x) {
        uint n = 4;
        return n+x; // Will return 4
    }
}

首先部署合约：

调用test1函数来测试当同名的全局变量与局部变量同时存在且局部变量未初始化时局部变量作何回应——0：