Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine