Nikhil Parasaram
Nikhil Parasaram
## Description As discussed in #1645 mythril's calldata cannot directly be decoded. Hence, it is useful to provide an equivalent decoded output to the user along with the un-decodable calldata.
currently it's pretty bad. No of args in mythril-cli is roughly same as no of args the class the SymExecWrapper takes. Passing args object might be cleaner.
## Description This might be a quick fix while parallelizing and for some other weird errors which popped up on discord.
## Description Currently the keccak_256("") isn't handled well as we can't model it as a bitvector. It's also debatable that there is of no use modelling it well because we...
## Description As mentioned by @Danc2050 in #584 there are race conditions with config file which should be eliminated. ## Implementation details Something simple like avoid using config file when...
## Description Currently mythril's creation tx data is bytecode+args, We may not need to show bytecode in such circumstances for the non api output formats.
## Description As the amount of ether sent and received by the attacker is same(`collectAllFees` sends `collectedFees` which is accumulated by the attacker) , so `ether_thief` module discards it. Need...
## Description Only 1 address is supported in error reporting, we need to give support for multiple addresses.