本文深入探讨了现代重入漏洞，这种漏洞不仅仅是传统意义上的在状态更新完成前进行外部调用。文章通过实例展示了如何在只读视图（view）函数中利用重入漏洞，以及自动化检测工具的局限性。同时，强调了安全审计的重要性，并提出了有效的防御措施，例如在执行过程中防止关键视图调用。
本文介绍了智能合约安全中自定义模糊测试的重要性，强调了Spearbit将模糊测试自动化与专家驱动的手动审查相结合的方法，以应对传统模糊测试工具的局限性。文章深入探讨了模糊测试的工作原理、不同类型（如基于突变、基于生成、智能与笨拙型模糊器），并通过实际案例展示了Spearbit如何利用差分模糊测试揭示跨实现语义不一致性，从而提高智能合约的安全性。
