{
  "contract": "0xae754fc7761d6b4b9da6511adb9d45af8c800457",
  "tool": "oyente",
  "start": 1563757659.541187,
  "end": 1563757705.656003,
  "duration": 46.11481595039368,
  "analysis": [
    {
      "errors": [],
      "file": "/unique_chucks/42/0xae754fc7761d6b4b9da6511adb9d45af8c800457.sol",
      "name": "FoundersVesting",
      "evm_code_coverage": "71.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_chucks/42/0xae754fc7761d6b4b9da6511adb9d45af8c800457.sol",
      "name": "Goldmint",
      "evm_code_coverage": "81.8%",
      "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_chucks/42/0xae754fc7761d6b4b9da6511adb9d45af8c800457.sol",
      "name": "GoldmintUnsold",
      "evm_code_coverage": "95.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": 16,
          "column": 20,
          "level": "Warning",
          "message": "Integer Overflow."
        }
      ],
      "file": "/unique_chucks/42/0xae754fc7761d6b4b9da6511adb9d45af8c800457.sol",
      "name": "MNTP",
      "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
    },
    {
      "errors": [],
      "file": "/unique_chucks/42/0xae754fc7761d6b4b9da6511adb9d45af8c800457.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": [],
      "file": "/unique_chucks/42/0xae754fc7761d6b4b9da6511adb9d45af8c800457.sol",
      "name": "StdToken",
      "evm_code_coverage": "74.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
    }
  ]
}