4 ms·Using automated bug finding tools to catch the MakerDAO voting vulnerability1 points by elopio 7y ago