Do we have any standardized security scanning tool to go for security code review for solidity language? If not, what all opensource tools are there on which we can relay? Need response urgently.
SmartCheck  is a static code analyzer developed by SmartDec Security Team. It runs analysis in Solidity source code and automatically checks smart contracts for security vulnerabilities and bad practices. The full list of them can be found in the SmartCheck Knowledge Base . It is totally free and doesn’t need installation.
Securify  is an automated formal verifier for Ethereum smart contracts. It can detect various security issues such as missing input validation, reentrancy, and others. You can directly ping the team for access to the latest version which features more security patterns (e.g., for detecting bugs like the parity multisig bug ).
: Securify system: https://securify.ch
: An In-Depth Look at the Parity Multisig Bug: http://hackingdistributed.com/2017/07/22/deep-dive-parity-bug/
- Manticore - Dynamic binary analysis tool with EVM support
- Mythril - Reversing and bug hunting framework for the Ethereum blockchain
- Oyente - Analyze Ethereum code to find common vulnerabilities, based on this paper.
- Solgraph - Generates a DOT graph that visualizes function control flow of a Solidity contract and highlights potential security vulnerabilities.
- SmartCheck - Static analysis of Solidity source code for security vulnerabilities and best practices.
- Securify - an automated formal verifier for Ethereum smart contracts.
- solidity-coverage - Code coverage for Solidity testing.
Linters improve code quality by enforcing rules for style and composition, making code easier to read and review.
- Solcheck - A linter for Solidity code written in JS and heavily inspired by eslint.
- Solint - Solidity linting that helps you enforce consistent conventions and avoid errors in your Solidity smart-contracts.
- Solium - Yet another Solidity linting.
- Solhint - A linter for Solidity that provides both Security and Style Guide validations.
I suppose there is not any standardized tool, however there is a pretty good static analysis tool to test contracts for having certain vulnerabilities. It is called Oyente and it is able to check 4 bugs in contracts:
- Reentrancy bugs (just like the one exploited in the DAO v1.0)
- Mishandled Exceptions (see KingOfTheEtherThrone)
- Transaction-Ordering Dependence
- Timestamp dependence
There is also a SonarQube static analyzer for Solidity.
SonarSolidity has rules that support Solidity’s best practices and track security vulnerabilities and code smell issues.
I have already analyzed some open source projects and very interesting issues were found.
So, I would like to invite anyone interested to take advantage of SonarSolidity’s value.
Feedback is very much appreciated.