Function: executeMessage(string calldata sourceChain, string calldata, bytes calldata payload, bytes[] calldata attributes)

This function executes cross-chain messages by processing attributes to extract nonce information, validating the cross-chain sender, checking nonce uniqueness, and executing the provided payload on the current contract.

Inputs

• sourceChain

  • Control: Full.

  • Constraints: N/A.

  • Impact: Ensures nonce isolation between different source chains, preventing cross-chain replay attacks.

• payload

  • Control: Full.

  • Constraints: N/A.

  • Impact: Allows arbitrary function execution on the current contract, relying on access control for security.

• attributes

  • Control: Full.

  • Constraints: N/A.

  • Impact: Provides metadata, including nonce information required for replay-attack prevention.

Branches and code coverage (including function calls)

Intended branches

Negative behavior