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