diff --git a/slither/tools/properties/properties/ercs/erc20/properties/transfer.py b/slither/tools/properties/properties/ercs/erc20/properties/transfer.py index bea208f02..5e199a49c 100644 --- a/slither/tools/properties/properties/ercs/erc20/properties/transfer.py +++ b/slither/tools/properties/properties/ercs/erc20/properties/transfer.py @@ -57,7 +57,7 @@ ERC20_Transferable = [ ), Property( name="crytic_revert_transfer_to_zero_ERC20PropertiesTransferable()", - description="No one should be able to send tokens to the address 0x0 (transfer).", + description="Using transfer to send tokens to the address 0x0 will revert.", content=""" \t\tif (this.balanceOf(msg.sender) == 0){ \t\t\trevert(); @@ -71,7 +71,7 @@ ERC20_Transferable = [ ), Property( name="crytic_revert_transferFrom_to_zero_ERC20PropertiesTransferable()", - description="No one should be able to send tokens to the address 0x0 (transferFrom).", + description="Using transferFrom to send tokens to the address 0x0 will revert.", content=""" \t\tuint balance = this.balanceOf(msg.sender); \t\tif (balance == 0){ @@ -87,7 +87,7 @@ ERC20_Transferable = [ ), Property( name="crytic_self_transferFrom_ERC20PropertiesTransferable()", - description="Self transferFrom works.", + description="Self transfering tokens using transferFrom works as expected.", content=""" \t\tuint balance = this.balanceOf(msg.sender); \t\tbool approve_return = approve(msg.sender, balance); @@ -101,7 +101,7 @@ ERC20_Transferable = [ ), Property( name="crytic_self_transferFrom_to_other_ERC20PropertiesTransferable()", - description="transferFrom works.", + description="Transfering tokens to other address using transferFrom works as expected.", content=""" \t\tuint balance = this.balanceOf(msg.sender); \t\tbool approve_return = approve(msg.sender, balance); @@ -119,7 +119,7 @@ ERC20_Transferable = [ ), Property( name="crytic_self_transfer_ERC20PropertiesTransferable()", - description="Self transfer works.", + description="Self transfering tokens using transfer works as expected.", content=""" \t\tuint balance = this.balanceOf(msg.sender); \t\tbool transfer_return = transfer(msg.sender, balance); @@ -132,7 +132,7 @@ ERC20_Transferable = [ ), Property( name="crytic_transfer_to_other_ERC20PropertiesTransferable()", - description="transfer works.", + description="Transfering tokens to other address using transfer works as expected.", content=""" \t\tuint balance = this.balanceOf(msg.sender); \t\taddress other = crytic_user; @@ -152,7 +152,7 @@ ERC20_Transferable = [ ), Property( name="crytic_revert_transfer_to_user_ERC20PropertiesTransferable()", - description="Cannot transfer more than the balance.", + description="Transfering more tokens than the balance will revert.", content=""" \t\tuint balance = this.balanceOf(msg.sender); \t\tif (balance == (2 ** 256 - 1))