mythril/tests/testdata/outputs_expected/exceptions.sol.o.jsonv2

[
    {
        "issues": [
            {
                "description": {
                    "head": "A reachable exception has been detected.",
                    "tail": "It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking."
                },
                "extra": {
                    "discoveryTime": "<DISCOVERY-TIME-DATA>",
                    "testCase": "<TEST-CASE>"
                },
                "locations": [
                    {
                        "sourceMap": "446:1:0"
                    }
                ],
                "severity": "Low",
                "swcID": "SWC-110",
                "swcTitle": "Assert Violation"
            },
            {
                "description": {
                    "head": "A reachable exception has been detected.",
                    "tail": "It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking."
                },
                "extra": {
                    "discoveryTime": "<DISCOVERY-TIME-DATA>",
                    "testCase": "<TEST-CASE>"
                },
                "locations": [
                    {
                        "sourceMap": "484:1:0"
                    }
                ],
                "severity": "Low",
                "swcID": "SWC-110",
                "swcTitle": "Assert Violation"
            },
            {
                "description": {
                    "head": "A reachable exception has been detected.",
                    "tail": "It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking."
                },
                "extra": {
                    "discoveryTime": "<DISCOVERY-TIME-DATA>",
                    "testCase": "<TEST-CASE>"
                },
                "locations": [
                    {
                        "sourceMap": "506:1:0"
                    }
                ],
                "severity": "Low",
                "swcID": "SWC-110",
                "swcTitle": "Assert Violation"
            },
            {
                "description": {
                    "head": "A reachable exception has been detected.",
                    "tail": "It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking."
                },
                "extra": {
                    "discoveryTime": "<DISCOVERY-TIME-DATA>",
                    "testCase": "<TEST-CASE>"
                },
                "locations": [
                    {
                        "sourceMap": "531:1:0"
                    }
                ],
                "severity": "Low",
                "swcID": "SWC-110",
                "swcTitle": "Assert Violation"
            }
        ],
        "meta": {},
        "sourceFormat": "evm-byzantium-bytecode",
        "sourceList": [
            "0x4a773a86bc6fb269f88bf09bb3094de29b6073cf13b1760e9d01d957f50a9dfd"
        ],
        "sourceType": "raw-bytecode"
    }
]