fix: disable slither warnings for calls-loop in signature verification

YukiTsuchida · YukiTsuchida · commit 8ade5c512224 · 2025-11-13T14:41:38.000+09:00
diff --git a/src/core/TxAuthManager.sol b/src/core/TxAuthManager.sol
@@ -98,6 +98,7 @@ abstract contract TxAuthManager is TxAuthManagerBase, CrossStore {
 
         CrossStore.AuthStorage storage s = _getAuthStorage();
 
+        // slither-disable-start calls-loop
         for (uint256 i = 0; i < len; ++i) {
             Account.Data calldata signer = signers[i];
 
@@ -123,6 +124,7 @@ abstract contract TxAuthManager is TxAuthManagerBase, CrossStore {
                 revert VerifierReturnedFalse(txIDHash, typeUrl);
             }
         }
+        // slither-disable-end calls-loop
     }
 
     function _setStateFromRemainingList(CrossStore.AuthStorage storage s, bytes32 txID, Account.Data[] memory list)

Original file line number	Diff line number	Diff line change
`@@ -98,6 +98,7 @@ abstract contract TxAuthManager is TxAuthManagerBase, CrossStore {`
`98`	`98`
`99`	`99`	`CrossStore.AuthStorage storage s = _getAuthStorage();`
`100`	`100`
	`101`	`+ // slither-disable-start calls-loop`
`101`	`102`	`for (uint256 i = 0; i < len; ++i) {`
`102`	`103`	`Account.Data calldata signer = signers[i];`
`103`	`104`
`@@ -123,6 +124,7 @@ abstract contract TxAuthManager is TxAuthManagerBase, CrossStore {`
`123`	`124`	`revert VerifierReturnedFalse(txIDHash, typeUrl);`
`124`	`125`	`}`
`125`	`126`	`}`
	`127`	`+ // slither-disable-end calls-loop`
`126`	`128`	`}`
`127`	`129`
`128`	`130`	`function _setStateFromRemainingList(CrossStore.AuthStorage storage s, bytes32 txID, Account.Data[] memory list)`