output-mythril2.json

{
  "error": null,
  "issues": [
    {
      "address": 392,
      "code": "callee.call(\"\")",
      "contract": "ReturnValue",
      "description": "The return value of a message call is not checked.\nExternal calls return a boolean value. If the callee halts with an exception, 'false' is returned and execution continues in the caller. The caller should check whether an exception happened and react accordingly to avoid unexpected behavior. For example it is often desirable to wrap external calls in require() so the transaction is reverted if the call fails.",
      "filename": "./contracts/returnvalue.sol",
      "function": "callnotchecked()",
      "lineno": 8,
      "max_gas_used": 36948,
      "min_gas_used": 2054,
      "severity": "Medium",
      "sourceMap": ":::-",
      "swc-id": "104",
      "title": "Unchecked return value from external call.",
      "tx_sequence": {
        "initialState": {
          "accounts": {
            "0xaffeaffeaffeaffeaffeaffeaffeaffeaffeaffe": { "balance": "0x0", "code": "", "nonce": 0, "storage": "{}" },
            "0xdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef": { "balance": "0x0", "code": "", "nonce": 0, "storage": "{}" }
          }
        },
        "steps": [
          {
            "address": "",
            "calldata": "",
            "input": "0x608060405273e0f7e56e62b4267062172495d7506087205a42296000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555034801561006457600080fd5b50610299806100746000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c8063633ab5e014610046578063ceee2e2014610050578063e3bea2821461006e575b600080fd5b61004e610078565b005b610058610113565b6040516100659190610202565b60405180910390f35b610076610137565b005b60008060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166040516100be9061024e565b6000604051808303816000865af19150503d80600081146100fb576040519150601f19603f3d011682016040523d82523d6000602084013e610100565b606091505b50915091508161010f57600080fd5b5050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660405161017a9061024e565b6000604051808303816000865af19150503d80600081146101b7576040519150601f19603f3d011682016040523d82523d6000602084013e6101bc565b606091505b505050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006101ec826101c1565b9050919050565b6101fc816101e1565b82525050565b600060208201905061021760008301846101f3565b92915050565b600081905092915050565b50565b600061023860008361021d565b915061024382610228565b600082019050919050565b60006102598261022b565b915081905091905056fea2646970667358221220a1654b83c9a0841d9472ac09b7e87be70d7a5f2b5bc9f011799c9ec531300f3e64736f6c63430008120033",
            "name": "unknown",
            "origin": "0xaffeaffeaffeaffeaffeaffeaffeaffeaffeaffe",
            "value": "0x0"
          },
          {
            "address": "0x901d12ebe1b195e5aa8748e62bd7734ae19b51f",
            "calldata": "0x633ab5e0",
            "input": "0x633ab5e0",
            "name": "callchecked()",
            "origin": "0xaffeaffeaffeaffeaffeaffeaffeaffeaffeaffe",
            "resolved_input": null,
            "value": "0x0"
          },
          {
            "address": "0x901d12ebe1b195e5aa8748e62bd7734ae19b51f",
            "calldata": "0xe3bea282",
            "input": "0xe3bea282",
            "name": "callnotchecked()",
            "origin": "0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
            "resolved_input": null,
            "value": "0x0"
          }
        ]
      }
    }
  ],
  "success": true
}