Function: create(byte[32] implementation_id, bytes[32] init_data, bytes[32] salt)

This allows the creation of clones of a master contract.

Inputs

• implementation_id

  • Control: Fully controlled by owner

  • Constraints: Assumed to be a valid implementation.

  • Impact: Allows the owner to create clones of the implementation.

• init_data

  • Control: Fully controlled by owner.

  • Constraints: None.

  • Impact: The owner can pass arbitrary data to the initializer of the clone.

• salt

  • Control: Fully controlled by owner.

  • Constraints: None.

  • Impact: The salt used for the CREATE2 opcode for deploying the clone.

Branches and code coverage (including function calls)

Intended branches

• Ensure that the master contract being cloned is a valid contract.

  Test coverage

• Add the clone to the list of instances.

  Test coverage

• Set the reverse mapping of the clone to the implementation ID.

  Test coverage

• Bootstrap the clone.

  Test coverage

• Initialize the clone.

  Test coverage

Negative behavior

• Should not allow anyone other than the owner to create clones.

  Negative test

• Should not allow the creation of clones of nonexistent implementations.

  Negative test