本文探讨了智能合约审计中任意调用（Arbitrary Calls）的风险，指出合约若存在任意调用，则不应包含 transfer/transferFrom/approve 等操作，否则可能导致代币被盗。文章还列举了需要检查的要点、安全假设以及应对措施，强调了防范利用任意调用漏洞的重要性。
本文介绍了Pessimistic.io团队开发的Slitherin工具的最新版本，重点介绍了新增加的“Arbitrary Call”检测器，该检测器旨在帮助审计人员发现智能合约中潜在的任意外部调用风险。此外，文章还提到了Slitherin与AuditWizard.io的合作，以及Slitherin未来的发展计划。
officer_cia
officercia