Function: beforeWithdraw(uint256 amount)

This withdraws the amount from Aave (from withdrawals in strategy vault).

Inputs

• amount

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: The amount to withdraw.

Branches and code coverage (including function calls)

Intended branches

• Calls the _withdraw function with the provided amount and true as arguments.

  Test coverage

• Emits an AaveWithdraw event.

  Test coverage

Negative behavior

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

  Negative test

Function call analysis

• _withdraw(amount, true)

  • What is controllable? amount.

  • 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.