Function: validateUserOp(UserOperation userOp, byte[32] userOpHash)

Validates userOperation.

Inputs

• userOp

  • Control: Full.

  • Constraints: N/A.

  • Impact: User Operation to be validated.

• userOpHash

  • Control: Full.

  • Constraints: Must be a valid 32-byte--hash representation of the corresponding userOp.

  • Impact: Hash of the User Operation to be validated.

Branches and code coverage (including function calls)

Intended branches

• Function is successfully invoked.

  Test coverage

Negative behavior

• Function reverts with SIG_VALIDATION_FAILED.

  Negative test

• Should revert with wrong session key data.

  Negative test

• Should revert with the wrong session validation module address.

  Negative test

• Should revert if session key is already expired.

  Negative test

• Should revert if session key is not yet valid.

  Negative test

• Should revert with wrong validAfter.

  Negative test

• Should revert with wrong validUntil.

  Negative test

• Should revert if signed with the session key that is not in the Merkle tree.

  Negative test

Function call analysis

• rootFunction -> _getSessionData(address)

  • What is controllable?: N/A.

  • 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?: N/A.

• rootFunction -> validateSessionKey(address, uint48, uint48, address, byte[], byte[32][])

  • What is controllable?: userOp.

  • 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?: N/A.

• rootFunction -> _packValidationData(bool, unit48, uint48)

  • What is controllable?: userOp and userOpHash.

  • If return value controllable, how is it used and how can it go wrong?: True for signature failure, false for success.

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