<gh_stars>0
{
  "contract": "0x80406630da2eca06e293467f2b757049823cd361",
  "tool": "mythril",
  "start": 1563641955.6038513,
  "end": 1563641966.8317187,
  "duration": 11.227867364883423,
  "analysis": {
    "error": null,
    "issues": [
      {
        "address": 253,
        "code": "  %(/************/",
        "debug": "storage_2: 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\norigin: 0x0\ncaller: 0x0\ncalldata_Roulette_0: 0xb00000000000000000000000000000000000000000000000000000000\ncalldatasize_Roulette: 0x4\ncallvalue: 0xde0b6b3a7640000\n",
        "description": "A possible integer overflow exists in the function `fallback`.\nThe addition or multiplication may result in a value higher than the maximum representable integer.",
        "filename": "/unique_chucks/27/0x80406630da2eca06e293467f2b757049823cd361.sol",
        "function": "fallback",
        "lineno": 2,
        "title": "Integer Overflow ",
        "type": "Warning"
      },
      {
        "address": 769,
        "debug": "",
        "description": "Function fallback retrieves the transaction origin (tx.origin) using the ORIGIN opcode. Use msg.sender instead.\nSee also: https://solidity.readthedocs.io/en/develop/security-considerations.html#tx-origin",
        "filename": "/unique_chucks/27/0x80406630da2eca06e293467f2b757049823cd361.sol",
        "function": "fallback",
        "lineno": 134,
        "title": "Use of tx.origin",
        "type": "Warning"
      },
      {
        "address": 1590,
        "code": "\n        feeAddr = msg.s",
        "debug": "The exception is triggered under the following conditions:\n\ncalldata_Roulette_4: 0x0\nstorage_2: 0x0\ncalldata_Roulette_0: 0xf71d96cb00000000000000000000000000000000000000000000000000000000\ncalldatasize_Roulette: 0x4\ncallvalue: 0x0\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/27/0x80406630da2eca06e293467f2b757049823cd361.sol",
        "function": "_function_0xf71d96cb",
        "lineno": 61,
        "title": "Exception state",
        "type": "Informational"
      }
    ],
    "success": true
  }
}