image1 Published May 24, 2019 at 1239 × 414 in Slither: The Leading Static Analyzer for Smart Contracts Next → Fig. 1: How Slither works