TOOLS AND RESOURCES FOR ANALYZING AND SECURING SMART CONTRACTS IN BLOCKCHAIN.

Porosity - Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts.
Mythril - Security analysis tool for Ethereum smart contracts.
MAIAN - Automatic tool for finding trace vulnerabilities in Ethereum smart contracts.
Echidna - Ethereum fuzz testing framework.
Ethersplay - A graphical EVM disassembler with advanced features. (Binja)
Oyente - An automatic EVM code analyzer based on symbolic execution and Z3 SMT solver.
IDA-EVM - IDA Processor Module for the Ethereum Virtual Machine.

Evmdis - EVM disassembler.
Securify - Formal Verification of Ethereum Smart Contracts.
SmartCheck - Static smart contract security analyzer
Solgraph - Visualise Solidity control flow for smart contract security analysis
Manticore - Symbolic execution tool on Smart Contracts and Binaries
Rattle - Rattle is an EVM static analyzer that analyzes the EVM bytecode directly for vulnerabilities.
Slither - Static analysis on Solidity.
Diligence - Security Services, Tools and Best Practices for the Ethereum Ecosystem.
Fuildai - Fluid is an AI that can automatically find and fix fatal security vulnerabilities in Smart Contracts.
VSCode - Solidity Visual Auditor Extension for VS Code.

Smart Contract Audit Reports.