[
    {
        "contract": "OnlyLocked",
        "functions_payable": [
            "receive"
        ],
        "sourceMapping": [
            {
                "filename": "tests/locked_ether.sol",
                "length": 72,
                "start": 46
            }
        ],
        "vuln": "LockedEther"
    }
]