News for hackers. Stuff that matters.

A comment on Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts. Parent comment

Re:Manticore: A Symbolic Execution Framework for Binaries an... by mirekrusin on Saturday July 20, 2019 @04:14AM (#20484702)
EVM is not a language. EVM is deterministic otherwise the whole Ethereum would not function at all. Your criticism is directed more towards ie. Solidity. However alternatives are not availble as far as I know. There are some research projects but everything in this area is in alpha-research state.
[ Parent | on HN ]
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...
[ Parent | on HN ]
Re:Manticore: A Symbolic Execution Framework for Binaries an... by DennisP on Saturday July 20, 2019 @09:59AM (#20485786)
Vyper is available now. https://github.com/ethereum/vyper
[ Parent | on HN ]