是什么促使我们开发了静态分析器 Vanguard，我们如何将其扩展到 Solidity 之外？@FormallyJon在@HouseofZK播客中解释道。