3 ms·
Oh nice, and I just published "Show HN" with my symbolic execution decompiler - http://www.eveem.org/ http://www.eveem.org/ Seems like there will be a big tren
by kolinko 8y ago
Oh nice, and I just published "Show HN" with my symbolic execution decompiler - http://www.eveem.org/ 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 :)
- palkeo 8y agoI link to eveem in my article. I used it quite a lot for my investigation :) Thanks for your great tool!
- wslh 8y agoBy 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-machine/ https://blog.coinfabrik.com/smart-contract-auditing-human-vs... [2] https://www.reddit.com/r/ethdev/comments/a4492r/comment/ebbnwt4 https://www.reddit.com/r/ethdev/comments/a4492r/comment/ebbn... [3] https://github.com/trailofbits/slither https://github.com/trailofbits/slither