Function: beforeDeploy()

This borrows the max amount from Aave and sends it to the strategyVault.

Branches and code coverage (including function calls)

Intended branches

• The function calls _borrow() to borrow the max amount from Aave and transfers the borrowed amount to msg.sender.

  Test coverage

Negative behavior

• The function reverts if _borrow() fails.

  Negative test

• The function reverts if the caller is an address other than strategy.

  Negative test

Function call analysis

• _borrow()

  • What is controllable? No external control.

  • If return value controllable, how is it used and how can it go wrong? The return value is not controllable, but its impact is significant as it represents the borrowed amount from Aave.

  • What happens if it reverts, reenters, or does other unusual control flow? If this reverts, the entire call fails --- no reentrancy issues.

• strategyBorrowToken.safeTransfer(msg.sender, borrowAmount)

  • What is controllable? msg.sender.

  • If return value controllable, how is it used and how can it go wrong? N/A.

  • What happens if it reverts, reenters, or does other unusual control flow? If this reverts, the entire call fails --- no reentrancy issues.