search

eth-sri / securify

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

How many smart contract problems can Securify detect now? #109

Closed xf97 closed 4 years ago

xf97 commented 4 years ago

Hello, I am a graduate student from Hohai University. I noticed that Securify's README.md was updated five months ago and mentioned that Securify can solve six security issues for smart contracts. I would like to ask if there are more kinds of smart contract problems that Securify can scan today, what kinds are they and what specific descriptions are there？

ritzdorf commented 4 years ago

Hello @xf97,

you can find the patterns and their description here: https://github.com/eth-sri/securify/tree/master/src/main/java/ch/securify/patterns. There is more than six. https://securify.chainsecurity.com/ also lists some examples.

We will make it easier in the future to retrieve the list.

Hope that helps. Otherwise feel free to ask again.

xf97 commented 4 years ago

Thank you for your reply, which has helped me, and I wish you a happy life!

At 2019-09-13 00:34:28, "Hubert Ritzdorf" notifications@github.com wrote:

Hello @xf97,

you can find the patterns and their description here: https://github.com/eth-sri/securify/tree/master/src/main/java/ch/securify/patterns. There is more than six. https://securify.chainsecurity.com/ also lists some examples.

We will make it easier in the future to retrieve the list.

Hope that helps. Otherwise feel free to ask again.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.