Potential Out-of-Bounds Error in Rebalancing Contract's updateTokens Function

[Havoc19]

In the updateTokens function of the Rebalancing contract, there is a potential out-of-bounds error when calculating the dustValue for each token. The current implementation assumes a direct correspondence between the _tokens array and the rebalanceData._sellAmounts array, which may not always be the case.

Code -

for (uint256 i; i < tokenLength; i++) {
      address _portfolioToken = _tokens[i];
      if (tokensMapping[_portfolioToken]) {
        uint256 dustValue = (rebalanceData._sellAmounts[i] *
          protocolConfig.allowedDustTolerance()) / TOTAL_WEIGHT;
        if (_getTokenBalanceOf(_portfolioToken, _vault) > dustValue)
          revert ErrorLibrary.BalanceOfVaultShouldNotExceedDust();
      }
      delete tokensMapping[_portfolioToken];
    }