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

{
    "error": null,
    "issues": [
        {
            "address": 446,
            "contract": "Unknown",
            "description": "A reachable exception has been detected.\nIt 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.",
            "function": "assert3(uint256)",
            "max_gas_used": 301,
            "min_gas_used": 206,
            "severity": "Low",
            "sourceMap": null,
            "swc-id": "110",
            "title": "Exception State",
            "tx_sequence": "<TX-DATA>"
        },
        {
            "address": 484,
            "contract": "Unknown",
            "description": "A reachable exception has been detected.\nIt 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.",
            "function": "arrayaccess(uint256)",
            "max_gas_used": 351,
            "min_gas_used": 256,
            "severity": "Low",
            "sourceMap": null,
            "swc-id": "110",
            "title": "Exception State",
            "tx_sequence": "<TX-DATA>"
        },
        {
            "address": 506,
            "contract": "Unknown",
            "description": "A reachable exception has been detected.\nIt 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.",
            "function": "divisionby0(uint256)",
            "max_gas_used": 367,
            "min_gas_used": 272,
            "severity": "Low",
            "sourceMap": null,
            "swc-id": "110",
            "title": "Exception State",
            "tx_sequence": "<TX-DATA>"
        },
        {
            "address": 531,
            "contract": "Unknown",
            "description": "A reachable exception has been detected.\nIt 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.",
            "function": "assert1()",
            "max_gas_used": 363,
            "min_gas_used": 268,
            "severity": "Low",
            "sourceMap": null,
            "swc-id": "110",
            "title": "Exception State",
            "tx_sequence": "<TX-DATA>"
        }
    ],
    "success": true
}