{
  "contract": "0x63cb5b75688017aa0e4d79b3ba9f7a4f75b6bd20",
  "tool": "mythril",
  "start": 1563767275.5103781,
  "end": 1563767279.7794898,
  "duration": 4.269111633300781,
  "analysis": {
    "success": false,
    "error": "Solc experienced a fatal error (code 1).\n\n/unique_chucks/45/0x63cb5b75688017aa0e4d79b3ba9f7a4f75b6bd20.sol:1:1: Error: Source file requires different compiler version (current compiler is 0.4.25+commit.59dbf8f1.Linux.g++ - note that nightly builds are considered to be strictly less than the released version\npragma solidity 0.4.23;\r\n^---------------------^\n/unique_chucks/45/0x63cb5b75688017aa0e4d79b3ba9f7a4f75b6bd20.sol:157:4: Warning: Defining constructors as functions with the same name as the contract is deprecated. Use \"constructor(...) { ... }\" instead.\n   function GraspSmartBlockchainLock() public {\r\n   ^ (Relevant source part starts here and spans across multiple lines).\n/unique_chucks/45/0x63cb5b75688017aa0e4d79b3ba9f7a4f75b6bd20.sol:102:9: Warning: Invoking events without \"emit\" prefix is deprecated.\n        Transfer(_from, _to, _value);\r\n        ^--------------------------^\n/unique_chucks/45/0x63cb5b75688017aa0e4d79b3ba9f7a4f75b6bd20.sol:164:9: Warning: Invoking events without \"emit\" prefix is deprecated.\n        Transfer(address(0x0), 0x72A4e7Ea1DDd6E33eA18b3B249E66A2201A7d7f5 , totalSupply_);\r\n        ^-------------------------------------------------------------------------------^\n/unique_chucks/45/0x63cb5b75688017aa0e4d79b3ba9f7a4f75b6bd20.sol:190:5: Warning: Invoking events without \"emit\" prefix is deprecated.\n    Transfer(_from, _to, _value);\r\n    ^--------------------------^\n/unique_chucks/45/0x63cb5b75688017aa0e4d79b3ba9f7a4f75b6bd20.sol:206:5: Warning: Invoking events without \"emit\" prefix is deprecated.\n    Approval(msg.sender, _spender, _value);\r\n    ^------------------------------------^\n/unique_chucks/45/0x63cb5b75688017aa0e4d79b3ba9f7a4f75b6bd20.sol:238:17: Warning: Using contract member \"balance\" inherited from the address type is deprecated. Convert the contract to \"address\" type to access the member, for example use \"address(contract).balance\" instead.\n        require(this.balance >= amount * sellPrice);      // checks if the contract has enough ether to buy\r\n                ^----------^\n",
    "issues": []
  }
}