Potential DOS due to Gas Exhaustion Due to Large Array Iteration in `_distribute` Function

Fee on transfer tokens will cause users to lose funds

`Lender` does not handle correctly rebasing, inflationary, deflationary tokens and tokens with fee on transfer

Single-step process for critical ownership transfer is risky

Some ERC20 tokens would revert on zero value fee transfers.

Zero address leads to transaction reverts

Lender fails to giveLoan because of inconsistent length between `loadIds` and `poolIds`

Missing Events Emitting

Amount != 0 checks are missing

Multiple accesses of a mapping/array should use a local variable cache.

Uncheck Arithmetic where overflow/underflow impossible

Unnecessary If condition in update() of Staking.sol

Use assembly to check for `address(0)`

Floating pragma in all contracts

Conformance to Solidity naming conventions

Multiple `address` mappings can be combined into a single mapping of an `address` to a `struct`, where appropriate

Using `x >> constant(uint)` with the right shift operator is a more gas-efficient

[G-01] - Do not add the data which is alreday included in the tx to save users gas cost.

Test Coverage Improvements

Using delete statement can save gas

Use `assembly` to write address storage values

Use indexed events for value types as they are less costly compared to non-indexed ones

Events are missing sender information

Chainlink oracle will return the wrong price if the aggregator hits `minAnswer`

Too many DSC tokens can get minted for fee-on-transfer tokens.

Pragma isn't specified correctly which can lead to nonfunction/damaged contract when deployed on Arbitrum

`++i`/`i++` should be `unchecked{++i}`/`unchecked{i++}` when it is not possible for them to overflow, as is the case when used in `for`- and `while`-loops

Combine Multiple Mapping Address

Use `assembly` to check for `address(0)`

Unnesessery argument in getTimeout function

Amounts should be checked for `0` before calling a `transfer`

Contract Can Be Deployed Without Funds.

Use assembly to check for `address(0)`