<gh_stars>0
{
  "contract": "0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c",
  "tool": "oyente",
  "start": 1563232115.7331204,
  "end": 1563232269.8590827,
  "duration": 154.12596225738525,
  "analysis": [
    {
      "errors": [],
      "file": "/unique_contracts/0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c.sol",
      "name": "BasicToken",
      "evm_code_coverage": "76.1%",
      "integer_underflow": false,
      "integer_overflow": false,
      "parity_multisig_bug_2": false,
      "callstack_depth_attack_vulnerability": false,
      "transaction-ordering_dependence_tod": false,
      "timestamp_dependency": false,
      "re-entrancy_vulnerability": false
    },
    {
      "errors": [],
      "file": "/unique_contracts/0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c.sol",
      "name": "Crowdsale",
      "evm_code_coverage": "64.7%",
      "integer_underflow": false,
      "integer_overflow": false,
      "parity_multisig_bug_2": false,
      "callstack_depth_attack_vulnerability": false,
      "transaction-ordering_dependence_tod": false,
      "timestamp_dependency": false,
      "re-entrancy_vulnerability": false
    },
    {
      "errors": [],
      "file": "/unique_contracts/0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c.sol",
      "name": "FlypCrowdsale",
      "evm_code_coverage": "75.2%",
      "integer_underflow": false,
      "integer_overflow": false,
      "parity_multisig_bug_2": false,
      "callstack_depth_attack_vulnerability": false,
      "transaction-ordering_dependence_tod": false,
      "timestamp_dependency": false,
      "re-entrancy_vulnerability": false
    },
    {
      "errors": [
        {
          "line": 39,
          "column": 17,
          "level": "Warning",
          "message": "Integer Overflow."
        }
      ],
      "file": "/unique_contracts/0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c.sol",
      "name": "FypToken",
      "evm_code_coverage": "96.2%",
      "integer_underflow": false,
      "integer_overflow": true,
      "parity_multisig_bug_2": false,
      "callstack_depth_attack_vulnerability": false,
      "transaction-ordering_dependence_tod": false,
      "timestamp_dependency": false,
      "re-entrancy_vulnerability": false
    },
    {
      "errors": [
        {
          "line": 39,
          "column": 17,
          "level": "Warning",
          "message": "Integer Overflow."
        }
      ],
      "file": "/unique_contracts/0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c.sol",
      "name": "MintableToken",
      "evm_code_coverage": "85.2%",
      "integer_underflow": false,
      "integer_overflow": true,
      "parity_multisig_bug_2": false,
      "callstack_depth_attack_vulnerability": false,
      "transaction-ordering_dependence_tod": false,
      "timestamp_dependency": false,
      "re-entrancy_vulnerability": false
    },
    {
      "errors": [],
      "file": "/unique_contracts/0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c.sol",
      "name": "Ownable",
      "evm_code_coverage": "99.5%",
      "integer_underflow": false,
      "integer_overflow": false,
      "parity_multisig_bug_2": false,
      "callstack_depth_attack_vulnerability": false,
      "transaction-ordering_dependence_tod": false,
      "timestamp_dependency": false,
      "re-entrancy_vulnerability": false
    },
    {
      "errors": [],
      "file": "/unique_contracts/0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c.sol",
      "name": "SafeMath",
      "evm_code_coverage": "100.0%",
      "integer_underflow": false,
      "integer_overflow": false,
      "parity_multisig_bug_2": false,
      "callstack_depth_attack_vulnerability": false,
      "transaction-ordering_dependence_tod": false,
      "timestamp_dependency": false,
      "re-entrancy_vulnerability": false
    },
    {
      "errors": [
        {
          "line": 39,
          "column": 17,
          "level": "Warning",
          "message": "Integer Overflow."
        }
      ],
      "file": "/unique_contracts/0x06dafc2a5fe47fcc9f37b5f91c0c2bd1cf2a9a4c.sol",
      "name": "StandardToken",
      "evm_code_coverage": "86.1%",
      "integer_underflow": false,
      "integer_overflow": true,
      "parity_multisig_bug_2": false,
      "callstack_depth_attack_vulnerability": false,
      "transaction-ordering_dependence_tod": false,
      "timestamp_dependency": false,
      "re-entrancy_vulnerability": false
    }
  ]
}