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

{
    "error": null,
    "issues": [
        {
            "address": 446,
            "contract": "Unknown",
            "debug": "<DEBUG-DATA>",
            "description": "A reachable exception (opcode 0xfe) has been detected. This 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.",
            "function": "assert3(uint256)",
            "swc-id": "110",
            "min_gas_used": 206,
            "max_gas_used": 301,
            "title": "Exception state",
            "type": "Informational",
        },
        {
            "address": 484,
            "contract": "Unknown",
            "debug": "<DEBUG-DATA>",
            "description": "A reachable exception (opcode 0xfe) has been detected. This 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.",
            "function": "arrayaccess(uint256)",
            "swc-id": "110",
            "min_gas_used": 256,
            "max_gas_used": 351,
            "title": "Exception state",
            "type": "Informational",
        },
        {
            "address": 506,
            "contract": "Unknown",
            "debug": "<DEBUG-DATA>",
            "description": "A reachable exception (opcode 0xfe) has been detected. This 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.",
            "function": "divisionby0(uint256)",
            "swc-id": "110",
            "min_gas_used": 272,
            "max_gas_used": 367,
            "title": "Exception state",
            "type": "Informational",
        },
        {
            "address": 531,
            "contract": "Unknown",
            "debug": "<DEBUG-DATA>",
            "description": "A reachable exception (opcode 0xfe) has been detected. This 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.",
            "function": "assert1()",
            "swc-id": "110",
            "min_gas_used": 268,
            "max_gas_used": 363,
            "title": "Exception state",
            "type": "Informational",
        },
    ],
    "success": true,
}