Summary

The MartenitsaToken owner can transfer the token to anyone without updating the counter, so therefore functions that check for the counter aren't working properly.

Impact

Medium risk, as it creates an imbalance between the counter "countMartenitsaTokensOwner[]" and the amount of Martenitsas an user has. It affects other functions that use "countMartenitsaTokensOwner[]"

Tools Used

Manual Review.

Recommendations

Override functions that transfer the MartenitsaTokens (as safeTransferFrom, and , and make it update the counter prior to the transfer.