Maian, Mythril, Oyente, and Solidity SMTChecker

[joeykrug]

Since this is so mission critical code, it'd be great if these 4 tools were run on it. They're all static analysis tools which are great at catching bugs and vulnerabilities.

[barathcj]

Hi Joey, Thanks for the tip.
We will def look at using static analysis tools for the wallet contract code.