A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
Done in 594bf3dd084ea710f766359914b97878be10fcd9, db021653e411d45e56a5d9036d822b0f89cabae8, e6a76c9f683813e755f6d5eb5a3ebeb5f788011e and d14fd58e87722c83a1ff0a74d711708eb4e7fc91.
Done in 594bf3dd084ea710f766359914b97878be10fcd9, db021653e411d45e56a5d9036d822b0f89cabae8, e6a76c9f683813e755f6d5eb5a3ebeb5f788011e and d14fd58e87722c83a1ff0a74d711708eb4e7fc91.