This discussion post portrays the different smart contract vulnerabilities and the potential analysis tools used in detecting and mitigating against them. Thank you for the illustrative and detailed discussion @Harvesto.
These analysis tools are very important as they help in checking smart contract codes for any potential flaws that could impede security.
With the current known vulnerabilities, these analysis tools were identified based on their strength and capacity in dealing with one or more vulnerabilities with interest in their use cases on accuracy, usability, time coverage etc.
Based on the illustrative table showing the analysis tools and different vulnerabilities detected, one could see that SmartCheck has the least accuracy of 31.11% while having some of the vulnerabilities it detects also covered by the likes of Oyente, Osiris, ContractWard etc.
However, following the Research Summary on SuperDetector, SmartCheck has one of the best usability at 94.62%. What do you think could have motivated this high usability on SmartCheck static analysis tool even at a low accuracy rate?