[
    {
        "check": "reentrancy",
        "external_calls": [
            {
                "expression": "! (msg.sender.call.value(userBalance[msg.sender])())",
                "source_mapping": {
                    "filename": "tests/reentrancy.sol",
                    "length": 92,
                    "lines": [
                        17,
                        18,
                        19
                    ],
                    "start": 478
                }
            }
        ],
        "external_calls_sending_eth": [],
        "function": {
            "name": "withdrawBalance",
            "source_mapping": {
                "filename": "tests/reentrancy.sol",
                "length": 314,
                "lines": [
                    14,
                    15,
                    16,
                    17,
                    18,
                    19,
                    20,
                    21
                ],
                "start": 299
            }
        },
        "variables_written": [
            {
                "expression": "userBalance[msg.sender] = 0",
                "name": "userBalance",
                "source_mapping": {
                    "filename": "tests/reentrancy.sol",
                    "length": 27,
                    "lines": [
                        20
                    ],
                    "start": 579
                }
            }
        ]
    }
]