Symbolic execution tool for analysis of binaries and smart contracts
