Many security tools can fix and mitigate internal and external errors in smart contracts. Among the most commonly used: - Oyente for analysis of secure code; - SmartInspect for analysis of deployed smart contract; - Securify for analysis of security vulnerabilities; - SmartCheck for translating solidity code to XML format; - Vandal for solving sample code to logic relations. They all serve to ensure smart contract safety.