Omniscia Euler Finance Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 93 potential issues within the codebase of which 48 were ruled out to be false positives or negligible findings.
The remaining 45 issues were validated and grouped and formalized into the 20 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| BES-01S |  |  | Inexistent Sanitization of Input Addresses |
| BES-02S | | | Inexistent Visibility Specifiers |
| BPY-01S | | | Inexistent Visibility Specifiers |
| BGN-01S | | | Multiple Top-Level Declarations |
| CST-01S | | | Illegible Numeric Value Representation |
| DHC-01S | | | Inexistent Sanitization of Input Addresses |
| EVC-01S | | | Inexistent Sanitization of Input Address |
| EVC-02S | | | Inexistent Visibility Specifier |
| ESE-01S | | | Inexistent Visibility Specifier |
| GFY-01S | | | Inexistent Sanitization of Input Address |
| GFY-02S | | | Inexistent Visibility Specifiers |
| GFY-03S | |  | Multiple Top-Level Declarations |
| GEC-01S | | | Inexistent Visibility Specifiers |
| IRM-01S | | | Inexistent Sanitization of Input Addresses |
| IEZ-01S | | | Inexistent Visibility Specifiers |
| LNO-01S | | | Inexistent Visibility Specifier |
| PSM-01S | | | Illegible Numeric Value Representation |
| PSM-02S | | | Inexistent Sanitization of Input Addresses |
| PCG-01S | | | Inexistent Sanitization of Input Addresses |
| SEG-01S | | | Inexistent Visibility Specifiers |