A framework for high-level Analysis of Ethereum Bytecode - View it on GitHub