In the method StabilityPool._sendGainsToDepositor it's made a transfer without checking the boolean result, ERC20 standard specify that the token can return false if the transfer was not made, so it's mandatory to check the result of transfer methods.
Handle
0x1f8b
Vulnerability details
[FIX for polygon address]
Impact
Unsafe transfer was done.
Proof of Concept
In the method
StabilityPool._sendGainsToDepositor
it's made a transfer without checking the boolean result, ERC20 standard specify that the token can return false if the transfer was not made, so it's mandatory to check the result of transfer methods.Tools Used
Manual review
Recommended Mitigation Steps
Use safe transfer or check the boolean result