Omniscia Euler Finance Audit

Storage Static Analysis Findings

Storage Static Analysis Findings

SEG-01S: Inexistent Visibility Specifiers

TypeSeverityLocation
Code StyleStorage.sol:L12, L16, L19

Description:

The linked variables have no visibility specifier explicitly set.

Example:

src/EVault/shared/Storage.sol
12bool initialized;

Recommendation:

We advise them 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 (fb2dd77a6ff9b7f710edb48e7eb5437e0db4fc1a):

The internal visibility specifier has been introduced to all referenced variables, preventing potential compilation discrepancies and addressing this exhibit.