Omniscia DAFI Protocol Audit

EthBridgeOptimized Static Analysis Findings

EthBridgeOptimized Static Analysis Findings

EBO-01S: Redundant bool Variable Comparison

TypeSeverityLocation
Gas OptimizationInformationalEthBridgeOptimized.sol:L134, L146, L164, L237

Description:

The linked statements perform a direct comparison between a bool variable and a bool literal.

Example:

contracts/EthBridgeOptimized.sol
237if (!(currentOwner > lastOwner && validators[currentOwner] == true))

Recommendation:

We advise the bool variable to be utilized directly instead either in its normal or negated (!) form.

Alleviation:

The comparison was updated only for the last of the linked instances thereby partially alleviating the exhibit.