tokenpocket钱包转账合同验证错误
关于tokenpocket钱包转账合同验证错误的信息
如下图例子所示转账合约中有overflowbug,如果用testing需要测试者输入一个极大的值才能找出,但是形式化验证者会通过“total。
日期 2024-01-11 阅 36 tokenpocket钱包转账合同验证错误
1
如下图例子所示转账合约中有overflowbug,如果用testing需要测试者输入一个极大的值才能找出,但是形式化验证者会通过“total。
日期 2024-01-11 阅 36 tokenpocket钱包转账合同验证错误