Maian, Mythril, Oyente, and Solidity SMTChecker

BitGo / eth-multisig-v2

Multi-Sig Wallet v2, supporting original Wallet.sol methods with additional confirmAndExecute improvements to allow for single-transaction signing by multiple owners.

Apache License 2.0

271 stars 101 forks source link

Maian, Mythril, Oyente, and Solidity SMTChecker #5

Open joeykrug opened 6 years ago

joeykrug commented 6 years ago

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 commented 6 years ago

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