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

文章前言

随着区块链技术的发展，智能合约作为其中的重要组成部分正在被越来越多的人所关注和应用，然而智能合约的安全问题也逐渐浮出水面，其中笔误安全问题是一种常见的智能合约安全问题，它可能会导致智能合约的执行结果与预期不符从而引发一系列风险和损失，本文将深入探讨笔误安全问题的成因、影响和防范措施，希望能够为读者提供有益的参考和借鉴

笔误介绍

智能合约编写过程中常见的笔误问题主要包含以下几类：

• 构造函数：智能合约初期合约名称和构造函数名称一致，如果构造函数名称和合约名称不一致将导致其变为一个public的函数被任意用户调用，例如：大小写不相同、构造函数后面加s等
• 数值运算：智能合约中必不可少的涉及到数值计算问题，如果我们将一个数字与变量求和(+=)使用了错误的操作(=+)就会出现笔误(=+是再次初始化变量),一元+运算符在新Solidity编译器版本中已弃用
• 逻辑比较：智能合约中必不可少的涉及到逻辑比较问题，如果我们将一个逻辑比较大于等于(>=)写成了等于(=)，那么将直接导致笔误问题，使得我们逻辑判断条件出现变更的情况

漏洞案例

下面我们使用一个数值运算的笔误问题作为演示，示例合约如下所示：

pragm