Assessment reports>Omron>Threat Model>tokenBalance

Function: tokenBalance(address _userAddress, address _tokenAddress)

This function is used to get the token balance for a user.

Inputs

  • _userAddress

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Address of the user to check the token balance for.

  • _tokenAddress

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Address of the token to check the balance for.

Branches and code coverage

Intended branches

  • Returns the token balance of the user for the specified token.

Zellic © 2025Back to top ↑