[kolinko]

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 :)

[palkeo]

I link to eveem in my article. I used it quite a lot for my investigation :) Thanks for your great tool!

[wslh]

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