智能合约是在区块链上运行的程序。它们是不可更改的，因此一旦部署就无法修补错误。因此，在部署之前确保它们没有错误并且设计良好是至关重要的。合约缺陷是智能合约中的错误、缺陷或故障，导致其产生不正确或意外的结果，或以非预期的方式运行。合约缺陷的检测是一种避免潜在错误和改进现有代码设计的方法。由于智能合约包含许多独特的功能，例如燃料系统。去中心化，重要的是找到智能合约指定的缺陷。为了填补这一空白，我们收集...