Omniscia Gravita Protocol Audit

SortedVessels Static Analysis Findings

SortedVessels Static Analysis Findings

SVS-01S: Inexistent Visibility Specifier

TypeSeverityLocation
Code StyleSortedVessels.sol:L49

Description:

The linked variable has no visibility specifier explicitly set.

Example:

contracts/SortedVessels.sol
49uint256 constant MAX_UINT256 = type(uint256).max;

Recommendation:

We advise one to be set so to avoid potential compilation discrepancies in the future as the current behaviour is for the compiler to assign one automatically which may deviate between pragma versions.

Alleviation:

The referenced variable is no longer present in the codebase rendering this exhibit no longer applicable.