Omniscia KlimaDAO Audit

KlimaCirculatingSupplyContract Static Analysis Findings

KlimaCirculatingSupplyContract Static Analysis Findings

KCS-01S: Redundant bool Variable Comparison

Description:

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

Example:

contracts/utils/KlimaCirculatingSupplyContract.sol
303require( isInitialized == false );

Recommendation:

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

Alleviation:

The KlimaDAO team considered this exhibit but opted to retain the codebase in its current state.