News for hackers. Stuff that matters.

A comment on How to steal Ethers: scanning for vulnerable contracts.

Re:How to steal Ethers: scanning for vulnerable contracts by kolinko on Friday December 07, 2018 @06:59PM (#18632798)
Oh nice, and I just published "Show HN" with my symbolic execution decompiler - http://www.eveem.org/

Seems like there will be a big trend with all kinds of symbolic execution tools showing up in the upcoming year :)

[ Parent | on HN ]
Re:How to steal Ethers: scanning for vulnerable contracts by palkeo on Friday December 07, 2018 @07:00PM (#18632805)
I link to eveem in my article. I used it quite a lot for my investigation :) Thanks for your great tool!
[ Parent | on HN ]
Re:How to steal Ethers: scanning for vulnerable contracts by wslh on Saturday December 08, 2018 @04:54AM (#18634632)
By coincidence we just published an article [1] comparing automated tools to human auditing in smart contracts. I am reviewing your article for expanding ours. At ethdev[2] someone suggested to check the Slither[3] tool also.

[1] https://blog.coinfabrik.com/smart-contract-auditing-human-vs...

[2] https://www.reddit.com/r/ethdev/comments/a4492r/comment/ebbn...

[3] https://github.com/trailofbits/slither

[ Parent | on HN ]