Assessment reportsPublic findings
Back to Zellic site
↗
Assessment reports>Cove>Threat Model>setOperator
GeneralOverview
Findings
Critical (2)
High (3)
Medium (2)
Low (1)
Informational (1)
DiscussionTransparent intent of redeemal might lead to unintended consequencesShares can round down to zeroWeights can pass uncheckedDenial-of-service risk where attackers can disrupt rebalance process with BasketManagerUtils.completeRebalance() functionality
Threat ModelWhat are threat models?AnchoredOracle.solAssetRegistry.solBasketManagerUtils.sol
BasketToken.solcancelDepositRequestcancelRedeemRequestclaimFallbackSharesclaimFallbackSharesdepositdepositfallbackRedeemTriggerfulfillDepositfulfillRedeemmintmintprepareForRebalanceproRataRedeemredeemrequestDepositrequestRedeemsetBitFlagsetOperatorwithdraw
CoWSwapAdapter.solCoWSwapClone.solFeeCollector.solManagedWeightStrategy.sol
Audit ResultsAssessment Results

Function: setOperator(address operator, bool approved)

This function sets an operator's ability to act on behalf of a controller.

Inputs

  • operator

    • Control: Fully controlled by the caller.

    • Constraints: None at this level.

    • Impact: The address of the operator to set the status for.

  • approved

    • Control: Fully controlled by the caller.

    • Constraints: None at this level.

    • Impact: The status of the operator.

Branches and code coverage

Intended branches

  • Set msg.sender's status in isOperator for operator to approved.

Zellic © 2025Back to top ↑