智能合约审计之返回值未检查

智能合约安全：未检查的转币返回值风险与防御

最新推荐文章于 2024-09-14 09:12:31 发布

原创最新推荐文章于 2024-09-14 09:12:31 发布 · 2.2k 阅读

3 ·

CC 4.0 BY-SA版权

智能合约审计专栏收录该内容

13 篇文章

订阅专栏

本文介绍了Solidity智能合约中常见的安全问题——未检查send和call.value返回值的调用，这种做法可能导致资金丢失且无法回滚。当转账失败时，合约可能会继续执行，造成状态异常。示例代码展示了如何在withdraw函数中忽略send返回值导致的问题。防御措施是务必检查转账函数的返回值，确保转账成功后再执行后续操作。

文章前言

返回值调用验证问题多出现在和转币相关的智能合约中，故又称作静默失败发送或未经检查发送，在Solidity中存在transfer()、send()、call.value()等转币方法，都可以用于向某一地址发送Ether，其区别在于：

transfer发送失败时会throw，并且进行状态回滚，只会传递2300gas供调用，防止重入攻击
send发送失败时会返回false，只会传递2300gas供调用，防止重入攻击
call.value发送失败时会返回false，传递所有可用gas进行调用(可通过传入gas_value参数进行限制)，不能有效防止重入攻击。

这里的"未检查返回值的调用"主要指的就是没有检查send和call.value转币函数的返回值从而导致合约会继续执行后续代码，还可能由于Ether发送失败而导致意外的结果

演示示例

示例代码如下：

function withdraw(uint256 _amount) public {
  require(balances[msg.sender] >= _amount);
  balances[msg.sender] -= _amount;
  etherLeft -= _amount;
  msg.sender.send(_amount);
}

上面代码忘记检查send函数的返回值，如果Ether发送失败，由于没有自定义回滚机制，etherLeft将出现异常，从而导致msg.sender用户的币白白转丢，但是接受者的账户却没有收到任何代币。