This extension will help you to analyze the solidity code of smart contracts using IARD Solutions' Solidity Analyzer.
