AccountStateReachableQuery
The main queries we want to support:
- Can the Address force a specific change to the state
- We often have
address _owner;
state variables, which allows the owner of a smart contract to access functions that other accounts cannot access. Are we able to have Account B change the value of_owner
to any other value?
- We often have
- Can the balance of Address B ever get above its starting amount?
- Can the total of all address balances ever be more then the starting sum?
Required Issues
Edited by Jon Shahen