Mythril - Improve reading of dynamic arrays

Mythril is a security analysis tool for Ethereum smart contracts, written in Python.

Mythril's --storage option allows reading the storage contents of contract accounts. Its current implementation supports regular storage slots and dynamically sized arrays. In this challenge you'll add support for the following cases:

• Mappings: https://github.com/ConsenSys/mythril/issues/139
• Dynamically sized arrays for an arbitrary positions: https://github.com/ConsenSys/mythril/issues/138

See also: Solidity: Layout of State Variables in Storage

Final Submission Guidelines

Submit Git patch against the latest commit in Mythril's master branch (3e4340174ef94ba5193975f7016d5d6349e20439, at the moment of writing)