...by Daniel Szego
"Simplicity is the ultimate sophistication."
Leonardo da Vinci

Monday, February 12, 2018

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:

- Oyente: analysis tool for smart contracts:

- SolCover: Solidity testing code coverage

- SolGraph: visualizing structure and control flow of solidity contracts

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

- Securify: formal verification initiative for solidity smart contracts

- SmartCheck: another verification tool for looking for wrongly implemented patterns

- Ganache: more UI and user friendly testrpc