solidity-smoke-v2/tx-origin.sol at main · boonyashka/solidity-smoke-v2 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract TxOrigin {
    address public owner;

    constructor() {
        owner=msg.sender;
        require(tx.origin == owner); //bug
    }


    function bug() public view {
        require(tx.origin == owner); //bug
    }

    function bad() public view returns(uint) {
        uint k=1;
        if(tx.origin == owner) { //bug
            return k;
            }
        return k;
    }

    function bad1() public view returns(uint) {
        uint k=1;
        assert(tx.origin==owner); //bug
        return k;
    }

    function good() public view returns(uint) {
        uint k=1;
        require(msg.sender == owner); //OK
        if (msg.sender==owner) { //OK
            return k;
            }
        return k;
    }
}