Ethereum and smart contract security tools summarized

Some of the most important tools for testing ensuring or improving the security for your smart contract are the followings. Even if some of them are pretty much in a beta phase, it is practical to list them:

- OpenZeppelin: Solidity library for writing secure smart contracts:

https://github.com/OpenZeppelin/zeppelin-solidity

- Oyente: analysis tool for smart contracts:

https://github.com/melonproject/oyente

- SolCover: Solidity testing code coverage

https://github.com/sc-forks/solidity-coverage

- SolGraph: visualizing structure and control flow of solidity contracts

https://github.com/raineorshine/solgraph

- Vyper: new experimental and more secure programming language for Ethereum smart contracts

https://github.com/ethereum/vyper

- Securify: formal verification initiative for solidity smart contracts

https://securify.ch/

- SmartCheck: another verification tool for looking for wrongly implemented patterns
https://tool.smartdec.net/

- Ganache: more UI and user friendly testrpc

https://github.com/trufflesuite/ganache