Using automated bug finding tools to catch the MakerDAO voting vulnerability | Hacker News Reader