The Most Popular Smart Contract Analysis Tool