发现智能合约中的 bug 的 7 个方法