Diligent Fuzzing

Manticore 是一个用于分析智能合约和二进制程序的符号执行工具。它通过探索程序的所有可能执行路径来工作，识别潜在的漏洞，如整数溢出、下溢和其他安全缺陷。这使得开发者在部署前可以自动检测和修复错误。