Assessment reports>TruFin Injective Staker>Threat Model>Message: ExecuteMsg::EnableValidator

Message: ExecuteMsg::EnableValidator

This allows the admin to re-enable a previously disabled validator, permitting new stakes to the validator.

Inputs

  • info.sender

    • Validation: The enable_validator function verifies that the info.sender is the contract owner.

    • Impact: N/A.

  • validator_addr

    • Validation: Ensures the validator exists in the contract's state and is currently disabled.

    • Impact: This is the validator address that is enabled.

Branches and code coverage (including function calls)

Intended branches

  • If validator_addr exists and is disabled, it is marked as enabled in the contract state.

Negative behavior

  • Fail if validator_addr does not exist in the validator list.

  • Fail if validator_addr is already enabled.

Zellic © 2025Back to top ↑