ytrezq

Part1 of this Feature Request Merged! https://github.com/ConsenSys/mythril/pull/1252 It now just remains to specify storage.

@norhh : are you aware for example that because of the impossibility to specify address balance through raw storage address and value, that mythril fails to find the specific bug...

@norhh : `If you are talking about the reentrancy then Mythril should detect it.` It detects no longer usable re-entrancy but not the ones which were used for the hack....

`it doesn't detect re-entrancy as ether theft but it detects it as any state change after external calls, as that may result in re-entrancy.` No it doesn’t detect the state...

@norhh but you stated that https://github.com/ConsenSys/mythril/pull/1252 never use on chain storage so that it only works only if the address is specified in the source code. Anyway, after multi level...

@norhh for me, there’s no point mentioning the issue at all. Performing a state change after calling a library is fully expected and has nothing to do with reentrancy.

@norhh no it can know. But this requires to analyse if the address can be changed (then with which transaction sequence) and/or to analyse what the target contract does (which...

@norhh check if the target library calls nothing else? Performance expansive?

> check if the target library calls nothing else? Performance expansive? If it's a static analysis tool then it sounds good. but for symbolic execution this may explode the number...

@norhh Perfomance wise, mythril can t do serious things if it constantly reanalyse states it already analysed. I m not a coder. Where s your work with the new plugin...