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)",
      "max_gas_used": 301,
      "min_gas_used": 206,
      "swc-id": "110",
      "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)",
      "max_gas_used": 351,
      "min_gas_used": 256,
      "swc-id": "110",
      "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)",
      "max_gas_used": 367,
      "min_gas_used": 272,
      "swc-id": "110",
      "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()",
      "max_gas_used": 363,
      "min_gas_used": 268,
      "swc-id": "110",
      "title": "Exception state",
      "type": "Informational"
    }
  ],
  "success": true
}