search

eth-sri / securify2

Securify v2.0
Apache License 2.0
586 stars 136 forks source link

Securify Grammar Error #37

Open MichMassetti opened 2 years ago

MichMassetti commented 2 years ago

Hello, I am trying to use Securify on a smart contracts of 0.8.9 version, but the tool continues to give me the following error: securify.grammar.GrammarError: Symbol 'UncheckedBlock' not found in grammar.

What should I do? Thx!

jacopovt commented 2 years ago

From previous Issues reported and from here it seems the current version of Solidity supported is up to 0.6.*