fix: slither warnings

availproject · Jun 28, 2024 · 1e6fc28 · 1e6fc28
1 parent 1a3f90e
commit 1e6fc28
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/src/AvailAttestation.sol b/src/AvailAttestation.sol
@@ -33,9 +33,10 @@ abstract contract AvailAttestation is Initializable {
     function _attest(IAvailBridge.MerkleProofInput calldata input) internal virtual {
         if (!bridge.verifyBlobLeaf(input)) revert InvalidAttestationProof();
         attestations[input.leaf] = AttestationData(
-            vectorx.rangeStartBlocks(input.rangeHash) + uint32(input.dataRootIndex), uint128(input.leafIndex)
+            vectorx.rangeStartBlocks(input.rangeHash) + uint32(input.dataRootIndex) + 1, uint128(input.leafIndex)
         );
     }
 
+    // slither-disable-next-line naming-convention
     uint256[50] private __gap;
 }
diff --git a/src/AvailBridgeV1.sol b/src/AvailBridgeV1.sol
@@ -37,7 +37,7 @@ contract AvailBridgeV1 is
     uint32 private constant ETH_DOMAIN = 2;
     uint256 private constant MAX_DATA_LENGTH = 102_400;
     // Derived from abi.encodePacked("ETH")
-    // slither-disable-next-line too-many-digits
+    // slither-disable-next-line too-many-digits,unused-state
     bytes32 private constant ETH_ASSET_ID = 0x4554480000000000000000000000000000000000000000000000000000000000;
     bytes32 private constant PAUSER_ROLE = keccak256("PAUSER_ROLE");
     // map store spent message hashes, used for Avail -> Ethereum messages

diff --git a/src/MessageReceiver.sol b/src/MessageReceiver.sol
@@ -30,5 +30,6 @@ abstract contract MessageReceiver is Initializable, IMessageReceiver {
     // slither-disable-next-line,unimplemented-functions
     function _onAvailMessage(bytes32 from, bytes calldata data) internal virtual;
 
+    // slither-disable-next-line naming-convention
     uint256[50] private __gap;
 }