Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic site

Assessment reports>Awaken Swap>Threat Model>Module: TokenContract_ACS2.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_ACS2.cs

Function: `ResourceInfo GetResourceInfo(Transaction txn)`

Gets the read and write data dependencies for a given transaction.

Inputs

txn
- Validation: None.
- Impact: Transaction to decode.

Branches and code coverage (including function calls)

Intended branches

Transfer data dependency is correct.

TransferFrom data dependency is correct.

Other calls return nonparallelizable.

Negative behavior

N/A.

Function call analysis

This function makes no external state-mutating calls.

Zellic © 2024Back to top ↑