ytrezq
ytrezq
@nbanmp : is #1371 the broader case you’re working on?
I do confirm this behaviour still happens in lastest ᴇᴠᴍ version. A transaction whose failure is undetected sounds like to be related to execution correctness… So isn’t this related to...
@norhh : Ok, but what about the storage mappings ? This is typicall for token which can be acquired using only off‑chain purchase. Or even when the `onlycustodian` address is...
@norhh : and sometimes owner isn’t the creator or some but not all actions of the owner aren’t able to be performed (typically off‑chain actions) by third party leading to...
@norhh : oh ! Simple : Etherrol ! For such on‑chain contract, mythril base it’s permissions on creator actions whereas the adress which has real owner priviliges isn’t controlled by...
@norhh : It would be a first step. Thanks. Oh, also please notice the off‑chain robot of Etherrol is triggered by a log event fired by the contract address. Thus,...
@norhh : hard for newbie perspective, but easy to determine both the key and the value for someone like me (especially with the new low‑level storage change per transaction feature...
@norhh : except it won’t works for tokens which requires msg.sender to have a non zero Balance in order to perform any actions.
@norhh : `All the actors are assumed to have some ether which they can use to buy token in some transaction` Except if the contract as no mechanism for minting....
@norhh : except if again at contract creation creaor isn’t the original recipient of the tokens.