是什麼促使我們開發了靜態分析儀 Vanguard，以及我們如何將其擴展到 Solidity 之外？@FormallyJon在@HouseofZK播客上解釋道。