CertiK发布形式化验证自动检测引擎AutoScan：市值前500通证合约中多达53个含高危漏洞隐患...