search

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Apache License 2.0
215 stars 50 forks source link

Vulnerabilities detected by Securify #33

Open TlxTejaswi opened 5 years ago

TlxTejaswi commented 5 years ago

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?

image

The above image is also available as Fig 2 in the document whose link has been shared.

Kindly assist me with this information.

f4z3r commented 5 years ago

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.

TlxTejaswi commented 5 years ago

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.