From db280eea55e99bb40c4f9597cc6e408584b2018c Mon Sep 17 00:00:00 2001
From: Foivos <foivos@umich.edu>
Date: Mon, 15 Apr 2024 18:58:15 +0300
Subject: [PATCH] try to fix slither

---
 contracts/TokenHandler.sol | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/contracts/TokenHandler.sol b/contracts/TokenHandler.sol
index a5ab1049..df49400d 100644
--- a/contracts/TokenHandler.sol
+++ b/contracts/TokenHandler.sol
@@ -185,7 +185,7 @@ contract TokenHandler is ITokenHandler, ITokenManagerType, ReentrancyGuard, Crea
      * @param metadataVersion The metadata version is used to determine how to pay for gas.
      * @param gasValue how much gas to pay.
      */
-    // slither-disable-next-line locked-ether arbitrary-send-eth
+    // slither-disable-next-line locked-ether
     function callContract(
         string calldata destinationChain,
         string calldata destinationAddress,
@@ -195,6 +195,7 @@ contract TokenHandler is ITokenHandler, ITokenManagerType, ReentrancyGuard, Crea
     ) external payable {
         if (gasValue > 0) {
             if (metadataVersion == MetadataVersion.CONTRACT_CALL) {
+                // slither-disable-next-line arbitrary-send-eth
                 IAxelarGasService(gasService).payNativeGasForContractCall{ value: gasValue }(
                     address(this),
                     destinationChain,
@@ -203,6 +204,7 @@ contract TokenHandler is ITokenHandler, ITokenManagerType, ReentrancyGuard, Crea
                     tx.origin
                 );
             } else if (metadataVersion == MetadataVersion.EXPRESS_CALL) {
+                // slither-disable-next-line arbitrary-send-eth
                 IAxelarGasService(gasService).payNativeGasForExpressCall{ value: gasValue }(
                     address(this),
                     destinationChain,
@@ -240,6 +242,7 @@ contract TokenHandler is ITokenHandler, ITokenManagerType, ReentrancyGuard, Crea
     ) external payable {
         if (gasValue > 0) {
             if (metadataVersion == MetadataVersion.CONTRACT_CALL) {
+                // slither-disable-next-line arbitrary-send-eth
                 IAxelarGasService(gasService).payNativeGasForContractCallWithToken{ value: gasValue }(
                     address(this),
                     destinationChain,
@@ -250,6 +253,7 @@ contract TokenHandler is ITokenHandler, ITokenManagerType, ReentrancyGuard, Crea
                     tx.origin
                 );
             } else if (metadataVersion == MetadataVersion.EXPRESS_CALL) {
+                // slither-disable-next-line arbitrary-send-eth
                 IAxelarGasService(gasService).payNativeGasForExpressCallWithToken{ value: gasValue }(
                     address(this),
                     destinationChain,