Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>Spectral Modelers>Threat Model>setConsumptionContract
GeneralOverview
Findings
Critical (1)
High (2)
Medium (3)
Low (1)
Informational (1)
DiscussionReturn of staked tokensInsufficient testingMissing zero-address check in `setAdmin`
Threat ModelWhat are threat models?BeaconProxyDeployer.sol
Competition.solemergencyOptOutValidatorgetModelerToMedianreplaceOptOutTopNModelersetConsumptionContractsetModelerNetPerformanceResultAndUpdatesignUpToCompetition
CompetitionFactory.solModeler.solServiceAgreement.sol
Audit ResultsSummary

Function: setConsumptionContract(IConsumption _consumptionContract)

This function sets the consumption contract address in the calling contract.

Inputs

  • _consumptionContract

    • Control: Controlled by the admin.

    • Constraints: Address must not be zero.

    • Impact: Updates the consumptionContract state variable with the provided address.

Branches and code coverage

Intended branches

  • Updating the consumptionContract state variable.

Negative behavior

  • Ensuring caller is an admin.

  • _consumptionContract must not be a zero address.

Zellic © 2025Back to top ↑