Summary

The contracts in scope all use unlocked pragma version using the caret ^0.8.18

Vulnerability Details

It is considered best practise to lock the Solidity Compiler version.

Impact

Informational: Using unlocked pragma can result in different versions being used between testing, development, contracts etc leading to different features, bugs, across the contracts

Tools Used

Manual Analysis

Recommendations

It is recommended to lock the pragma to single latest versions and use that throughout all of the code files for consistency:
pragma solidity 0.8.18;