dharma09

Highlights

• payEther() calls native payable.transfer, which can be unusable for sm

  The use of the deprecated transfer() function for an address will inevitably make the transaction fail.

• Pools reserves can be manipulated because of failed check of remaining

  The condition require((reserves.reserve0 >= PoolUtils.DUST) && (reserves.reserve1 >= PoolUtils.DUST), "Insufficient reserves after liquidity removal"); checks