Smart contract decompiler that uses symbolic execution

Show HN: Using random forest to cluster smart contract functions

Smart contract decompiler that uses symbolic execution is active in the show hn launch space.

Profile

Hi All, A team at EthParis just did a cool thing based on my/Eveem API for decompilation of smart contracts.They took syntax trees of decompiled contract functions ( https://eveem.org/json/0x06012c8cf97BEaD5deAe237070F9587f8E7... ), and launched machine learning on top of them.This resulted in groupings of contract functions not by name and behaviour.Here's the outline:https://twitter.com/willprice221/status/1104739673593835521Here's a direct link to an example contract: http://35.198.178.99:8080/contract/0x06012c8cf97bead5deae237...They were able to cluster various implementations of the same functions (e.g. transfer), and also found out that some of the bugs in functions make them pushed i

Smart contract decompiler that uses symbolic execution is positioned in show hn launch, a segment that rewards a clear, focused offering.

The company is listed at the Show HN launch stage of development.

Website: eveem.org/json/0x06012c8cf97BEaD5deAe237070F9587f8E7