<reponame>blockhunters/smartbugs-results<gh_stars>0
{
  "contract": "0x5ee4c95b0547afbeba683805301eab291ad28f45",
  "tool": "mythril",
  "start": 1563576883.6959984,
  "end": 1563576906.0776582,
  "duration": 22.381659746170044,
  "analysis": {
    "error": null,
    "issues": [
      {
        "address": 1669,
        "code": "  ret",
        "debug": "storage_4: 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\ncallvalue: 0x11c80137e40000\nblock_number: 0x0\nstorage_1 +\nkeccac_1461501637330902918203684832716283019655932542975_&\n1461501637330902918203684832716283019655932542975_&\ncaller: 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\nretval_1999: 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\nextcodesize: 0x0\ncalldata_TheNextBlock_0: 0x3099689700000000000000000000000000000000000000000000000000000000\ncalldatasize_TheNextBlock: 0x4\n",
        "description": "A possible integer overflow exists in the function `placeBet(address)`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
        "filename": "/unique_chucks/13/0x5ee4c95b0547afbeba683805301eab291ad28f45.sol",
        "function": "placeBet(address)",
        "lineno": 32,
        "title": "Integer Overflow ",
        "type": "Warning"
      },
      {
        "address": 1682,
        "code": "  }\n}\n\n/**\n * ",
        "debug": "The exception is triggered under the following conditions:\n\nstorage_4: 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\ncallvalue: 0x11d37837e00000\nblock_number: 0x0\nstorage_1 +\nkeccac_1461501637330902918203684832716283019655932542975_&\n1461501637330902918203684832716283019655932542975_&\ncaller: 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\nretval_1999: 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\nextcodesize: 0x0\ncalldata_TheNextBlock_0: 0x3099689700000000000000000000000000000000000000000000000000000000\ncalldatasize_TheNextBlock: 0x4\n",
        "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. This is acceptable in most situations. Note however that `assert()` should only be used to check invariants. Use `require()` for regular input checking. ",
        "filename": "/unique_chucks/13/0x5ee4c95b0547afbeba683805301eab291ad28f45.sol",
        "function": "placeBet(address)",
        "lineno": 33,
        "title": "Exception state",
        "type": "Informational"
      },
      {
        "address": 3463,
        "code": "sfer(balance);\n    }\n    \n  ",
        "debug": "",
        "description": "A possible transaction order independence vulnerability exists in function withdrawMyFunds(). The value or direction of the call statement is determined from a tainted storage location",
        "filename": "/unique_chucks/13/0x5ee4c95b0547afbeba683805301eab291ad28f45.sol",
        "function": "withdrawMyFunds()",
        "lineno": 204,
        "title": "Transaction order dependence",
        "type": "Warning"
      },
      {
        "address": 3767,
        "code": "\n        return prizePool;\n ",
        "debug": "",
        "description": "A possible transaction order independence vulnerability exists in function withdrawOwnersFunds(). The value or direction of the call statement is determined from a tainted storage location",
        "filename": "/unique_chucks/13/0x5ee4c95b0547afbeba683805301eab291ad28f45.sol",
        "function": "withdrawOwnersFunds()",
        "lineno": 211,
        "title": "Transaction order dependence",
        "type": "Warning"
      }
    ],
    "success": true
  }
}