laser-ethereum (pypi): Symbolic Ethereum virtual machine
Keywords: hacking|security|ethereum