Manticore 是一个符号执行工具，用于分析智能合约和二进制程序。它的工作原理是探索程序所有可能的执行路径，识别整数溢出、下溢等潜在漏洞及其他安全缺陷。这使开发者能够在部署前自动检测并修复 bug。
登录查看节点详情
首阶段节点可试读；登录后解锁全部路线图节点正文与进度同步。