Omniscia Euler Finance Audit
EVCUtil Static Analysis Findings
EVCUtil Static Analysis Findings
EVC-01S: Inexistent Sanitization of Input Address
| Type | Severity | Location |
|---|---|---|
| Input Sanitization |  | EVCUtil.sol:L17-L19 |
Description:
The linked function accepts an address argument yet does not properly sanitize it.
Impact:
The presence of zero-value addresses, especially in constructor implementations, can cause the contract to be permanently inoperable. These checks are advised as zero-value inputs are a common side-effect of off-chain software related bugs.
Example:
src/utils/EVCUtil.sol
17constructor(IEVC _evc) {18 evc = _evc;19}Recommendation:
We advise some basic sanitization to be put in place by ensuring that the address specified is non-zero.
Alleviation (577d1991de2aa6c1b0578e9e45d363e8d6799408):
The input _evc address argument of the EVCUtil::constructor function is adequately sanitized as non-zero in the latest in-scope revision of the codebase, addressing this exhibit.