Vulnerabilities detected by Securify
TlxTejaswi opened this issue · 2 comments
I was researching on the various tools for Ethereum smart contract security and came across Securify. I read through in this document that Securify detects 18 critical vulnerabilities in Ethereum smart contracts. Can someone kindly consider my humble request for a list of all the 18 vulnerabilities?
Secondly, I would like to know how the vulnerability report presented in the below report can be obtained on Securify. Is it through the web application or can I obtain a similar report through the command prompt?
The above image is also available as Fig 2 in the document whose link has been shared.
Kindly assist me with this information.
The security report shown above can be obtained from the web application. It cannot be obtained in this format from the command line but improvements on the command line output are being worked on.
Thank you very much for the response, Beckmann. Can I request you to point me to a link that describes all the vulnerabilities that Securify can detect. One of the articles said that the tool can detect 18 of them and would like to know about them.