search

muellerberndt / laser-ethereum

Symbolic virtual machine for Ethereum
MIT License
68 stars 20 forks source link

ꜱʜʟ and ꜱʜʀ are missing… #43

Open ytrezq opened 4 years ago

ytrezq commented 4 years ago

Bit shifting opcodes recently added to Ethereum and for almost all address operations used by solidity.

norhh commented 4 years ago

This repository is now merged into mythril which should cover those opcodes https://github.com/ConsenSys/mythril

ytrezq commented 4 years ago

@norhh : the problem is it's still listed under PyPi. I would need it to replace the ᴠᴍ of an existing decompiler which has the capacity to detect loops and convert memory access to variables but has a poor ᴠᴍ which prevents most functions from being disassembled which is used by https://Etherscan.io.

I agree though it should receive all the improvements from the Mythril’s version and not just supports the new opcodes…

Unless you want to add the capability to properly decompile contracts to Mythril of course (but since you have the ability to generate call graphs why not) !