result-maian-simple_dao.sol.sarif

{
    "$schema": "https://json.schemastore.org/sarif-2.1.0.json",
    "runs": [
        {
            "results": [
                {
                    "locations": [
                        {
                            "message": {
                                "text": "contract SimpleDAO"
                            },
                            "physicalLocation": {
                                "artifactLocation": {
                                    "uri": "simple_dao.sol"
                                }
                            }
                        }
                    ],
                    "message": {
                        "text": "Not destructible (no self-destruct)"
                    },
                    "ruleId": "maian_Not_destructible_no_self_destruct"
                },
                {
                    "locations": [
                        {
                            "message": {
                                "text": "contract SimpleDAO"
                            },
                            "physicalLocation": {
                                "artifactLocation": {
                                    "uri": "simple_dao.sol"
                                }
                            }
                        }
                    ],
                    "message": {
                        "text": "No Ether lock (Ether refused)"
                    },
                    "ruleId": "maian_No_Ether_lock_Ether_refused"
                }
            ],
            "tool": {
                "driver": {
                    "informationUri": "https://github.com/smartbugs/MAIAN",
                    "name": "Maian",
                    "rules": [
                        {
                            "id": "maian_Not_destructible_no_self_destruct",
                            "name": "Not destructible (no self-destruct)"
                        },
                        {
                            "id": "maian_No_Ether_lock_Ether_refused",
                            "name": "No Ether lock (Ether refused)"
                        }
                    ],
                    "version": "#4bab09a"
                }
            }
        }
    ],
    "version": "2.1.0"
}