形式化验证

等智能合约语言，也能识别重入攻击、整数溢出等具有明显代码特征的经典漏洞。审计最占优势的场景——训练数据里这类标准代币合约非常多，规则性的漏洞特征也比较明显。的审计能力在于局部代码的模式识别，而协议级漏...