News for hackers. Stuff that matters.
Re:Manticore: A Symbolic Execution Framework for Binaries an... by emilypi on Saturday July 20, 2019 @10:49AM (#20486065)
The problem is with the structure of the VM and its bytecode language. There are additional problems with Solidity, but the VM itself is the problem. Solidity only amplifies a poor architecture: https://medium.com/kadena-io/the-evm-is-fundamentally-unsafe...

There are no comments on this comment yet.