Omniscia Euler Finance Audit

Storage Static Analysis Findings

Storage Static Analysis Findings

STO-01S: Inexistent Visibility Specifiers

TypeSeverityLocation
Code StyleStorage.sol:L10, L12, L13, L15, L16, L23, L41, L42

Description:

The linked variables have no visibility specifier explicitly set.

Example:

contracts/Storage.sol
10uint reentrancyLock;

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:

The internal visibility specifier was introduced for the referenced variable thus alleviating this exhibit.