Unclear storage contents in .summary file

[offlinemark]

OS / Environment

Manticore version

Python version

Dependencies

Summary of the problem

The .summary files have some unclear contents. what do

Storage: STORAGE_5da83cffb5bab1cd888417a5ecefe37b9e250d67 and Storage: STORAGE_c6737b8b2a6a7b5fbb5d75b895f628f2922bae14 mean?

also what does this mean?

Storage: (store )

Step to reproduce the behavior

manticore two_tx_ovf.sol in examples/evm

Expected behavior

Actual behavior

Any relevant logs

Message: STOP
Last exception: STOP
Last instruction at contract ca2410fda28718e5623a7a755531ae6dd30a28d2 offset 72
    8  function test_me(int input) {
        9          if (did_init == 0) {
        10              did_init = 1;
        11              Log("initialized");
        12              return;
        13          }
        14  
        15          if (input < 42) {
        16              // safe
        17              Log("safe");
        18              return;
        19          } else {
        20              // overflow possibly!
        21              int could_overflow = input + 1;
        22              Log("overflow");
        23          }
        24  
        25      }

3 accounts.
* owner::
Address: 0x5da83cffb5bab1cd888417a5ecefe37b9e250d67 
Balance: 1000 
Storage: STORAGE_5da83cffb5bab1cd888417a5ecefe37b9e250d67

* attacker::
Address: 0xc6737b8b2a6a7b5fbb5d75b895f628f2922bae14 
Balance: 1000 (*)
Storage: STORAGE_c6737b8b2a6a7b5fbb5d75b895f628f2922bae14

* contract0::
Address: 0xca2410fda28718e5623a7a755531ae6dd30a28d2 
Balance: 0 (*)
Storage: (store )
Storage:
storage[0] = 1 (*)
Code:
	b'608060405260043610610041576000357c010000000000000000000000000000'
	b'0000000000000000000000000000900463ffffffff168063cc2761a414610046'
	b'575b600080fd5b34801561005257600080fd5b50610071600480360381019080'
	b'80359060200190929190505050610073565b005b60008060005414156100f457'
	b'60016000819055507fcf34ef537ac33ee1ac626ca1587a0a7e8e51561e5514f8'
	b'cb36afa1c5102b3bab60405180806020018281038252600b8152602001807f69'
	b'6e697469616c697a656400000000000000000000000000000000000000000081'
	b'525060200191505060405180910390a16101d9565b602a82121561016a577fcf'
	b'34ef537ac33ee1ac626ca1587a0a7e8e51561e5514f8cb36afa1c5102b3bab60'
	b'40518080602001828103825260048152602001807f7361666500000000000000'
	b'0000000000000000000000000000000000000000008152506020019150506040'
	b'5180910390a16101d9565b6001820190507fcf34ef537ac33ee1ac626ca1587a'
	b'0a7e8e51561e5514f8cb36afa1c5102b3bab6040518080602001828103825260'
	b'088152602001807f6f766572666c6f7700000000000000000000000000000000'
	b'000000000000000081525060200191505060405180910390a15b50505600a165'
	b'627a7a72305820f89fd1fe7a4f9ce026cab98e1235b8b0bdbc41dd756a4b12df'
	b'02f408631579850029'
Coverage 75% (on this state)



(*) Example solution given. Value is symbolic and may take other values

[Jovonni]

+1

Is there any update on understanding the outputs shown above? I am not seeing any clear documentation on the internet about comprehending what Manticore outputs.

Can someone explain this? @disconnect3d @ehennenfent ?