[
    {
        "check": "tx-origin",
        "expressions": [
            {
                "expression": "require(bool)(tx.origin == owner)",
                "source_mapping": {
                    "filename": "tests/tx_origin.sol",
                    "length": 27,
                    "lines": [
                        10
                    ],
                    "start": 140
                }
            }
        ],
        "function": {
            "name": "bug0",
            "source_mapping": {
                "filename": "tests/tx_origin.sol",
                "length": 60,
                "lines": [
                    9,
                    10,
                    11
                ],
                "start": 114
            }
        }
    },
    {
        "check": "tx-origin",
        "expressions": [
            {
                "expression": "tx.origin != owner",
                "source_mapping": {
                    "filename": "tests/tx_origin.sol",
                    "length": 57,
                    "lines": [
                        14,
                        15,
                        16
                    ],
                    "start": 206
                }
            }
        ],
        "function": {
            "name": "bug2",
            "source_mapping": {
                "filename": "tests/tx_origin.sol",
                "length": 89,
                "lines": [
                    13,
                    14,
                    15,
                    16,
                    17
                ],
                "start": 180
            }
        }
    }
]