Securify,asecurityanalyzerforEthereumsmartcontractsthatisscalable,fullyautomated,andabletoprovecontractbehaviorsassafe/unsafewithrespecttoagivenproperty.Securifysanalysisconsistsoftwosteps.First,itsymbolicallyanalyzesthecontractsdependencygraphtoextractpr
1