Omniscia Euler Finance Audit

Liquidation Static Analysis Findings

Liquidation Static Analysis Findings

LNO-01S: Inexistent Visibility Specifier

TypeSeverityLocation
Code StyleLiquidation.sol:L19

Description:

The linked variable has no visibility specifier explicitly set.

Example:

src/EVault/modules/Liquidation.sol
19uint256 constant MAXIMUM_LIQUIDATION_DISCOUNT = 0.2 * 1e18;

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

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