72 - Securify Securify: is a security scanner for Ethereum smart contracts which Implements static analysis written in Datalog and supports 38 vulnerabilities Slide Screenshot Slide Text Security Scanner Chain Security Static Analysis Written in Datalog 38+ Detectors References Youtube Reference Tags
