Was hat uns dazu gebracht, Vanguard, unseren statischen Analyzer, zu entwickeln, und wie haben wir ihn über Solidity hinaus erweitert? @FormallyJon erklärt im @HouseofZK-Podcast.