Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic site

Assessment reports>Awaken Swap>Threat Model>Module: TokenContract.cs

GeneralOverview

Findings

Informational (2)

DiscussionVirtual addresses are not actually used No tests for ACS2 read/write path correctness Additional token-sanity checks

Threat ModelModule: AwakenSwapContract.cs Module: AwakenSwapContract_Admin.cs Module: AwakenSwapContract_Helper.cs Module: AwakenSwapContract_LP.cs Module: AwakenSwapContract_Swap.cs Module: AwakenSwapContract_Views.cs Module: TokenContract.cs Module: TokenContract_ACS2.cs Module: TokenContract_Actions.cs

Audit ResultsSummary

Module: TokenContract.cs

Function: `Empty Initialize(InitializeInput input)`

Initializes the contract. Can only be called by deployer.

Inputs

input.Owner
- Validation: None.
- Impact: Sets the owner of the contract. The owner is also added to the MinterMap.

Branches and code coverage (including function calls)

Intended branches

Initializes contract.

Negative behavior

Reverts if contract is already initialized.

Reverts if contract is uninitialized but the caller is not the contract author.

Function call analysis

This function makes no external state-mutating calls.

Zellic © 2024Back to top ↑