继续操作前,先核对所选入口与自己打算使用的功能。
调用前的合约状态可能已经改变。
保存调用位置、输入参数和调用前后状态。
记录每次函数调用的交易索引或内部调用序号。
检查每次调用前的相关存储字段。
将状态前后差异与返回值关联,不只比较函数参数。