Function: depositFor(address paymasterId)

This function deposits into the entry point and add to paymasterID's balance.

Inputs

• paymasterId

  • Control: Full.

  • Constraints: None.

  • Impact: Adds to user's balance and deposits into the entry point.

Branches and code coverage (including function calls)

Intended branches

• Deposits into the specified address

  Test coverage

Negative behavior

• Does not allow 0 value deposits

  Negative Test

Function call analysis

• depositFor -> entrypoint.depositTo

  • What is controllable? Everything.

  • What happens if it reverts, reenters, or does other unusual control flow? N/A.

  • If return value is controllable, how is it used and how can it go wrong: Discarded.