result-securify-simple_dao.sol.sarif

{
    "$schema": "https://json.schemastore.org/sarif-2.1.0.json",
    "runs": [
        {
            "results": [
                {
                    "locations": [
                        {
                            "physicalLocation": {
                                "artifactLocation": {
                                    "uri": "simple_dao.sol"
                                }
                            }
                        }
                    ],
                    "message": {
                        "text": "DAO"
                    },
                    "ruleId": "securify_DAO"
                },
                {
                    "locations": [
                        {
                            "physicalLocation": {
                                "artifactLocation": {
                                    "uri": "simple_dao.sol"
                                }
                            }
                        }
                    ],
                    "message": {
                        "text": "MissingInputValidation"
                    },
                    "ruleId": "securify_MissingInputValidation"
                }
            ],
            "tool": {
                "driver": {
                    "informationUri": "https://github.com/eth-sri/securify",
                    "name": "Securify",
                    "rules": [
                        {
                            "id": "securify_DAO",
                            "name": "DAO"
                        },
                        {
                            "id": "securify_MissingInputValidation",
                            "name": "MissingInputValidation"
                        }
                    ]
                }
            }
        }
    ],
    "version": "2.1.0"
}