Assessment reports>Polyhedra DVN>Threat Model>setReceiveView

Function: setReceiveView(address receiveLib_, address receiveLibView_)

Configures the view receive library for the given receive library address.

Inputs

  • receiveLib_

    • Control: Full.

    • Constraints: None.

    • Impact: The receive library to use as the key.

  • receiveLibView_

    • Control: Full.

    • Constraints: None.

    • Impact: The view receive library to configure.

Branches and code coverage

Intended branches

  • Successfully sets the view receive library for the given receive library address.

Negative behavior

  • Addresses cannot be zero.

Zellic © 2025Back to top ↑