Function: withdrawTo( address payable withdrawAddress, uint256 amount)

The function that the Paymaster calls to send Ether from the entry point to the target address.

Inputs

• withdrawAddress

  • Control: Full.

  • Constraints: != 0.

  • Impact: The target to receive the Ether (probably the submitter).

• amount

  • Control: Full.

  • Constraints: paymasterIdBalances[msg.sender] >= amount.

  • Impact: The amount to send.

Branches and code coverage (including function calls)

Intended branches

• Withdraws Eth to the specified address

  Test coverage

Negative behavior

• Reverts when paymasterIdBalance is not enough

  Negative test

Function call analysis

• withdrawTo -> entrypoint.withdraw

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