Omniscia Steer Protocol Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 232 potential issues within the codebase of which 178 were ruled out to be false positives or negligible findings.
The remaining 54 issues were validated and grouped and formalized into the 14 exhibits that follow:
ID | Severity | Addressed | Title |
---|---|---|---|
ABL-01S | Illegible Numeric Value Representations | ||
BLM-01S | Illegible Numeric Value Representations | ||
DSG-01S | Inexistent Event Emission | ||
DSG-02S | Inexistent Sanitization of Input Addresses | ||
DSG-03S | Multiple Top-Level Declarations | ||
DSG-04S | Improper Invocations of EIP-20 transfer | ||
FMR-01S | Inexistent Event Emission | ||
FMR-02S | Inexistent Initialization Protection of Base Implementation | ||
PSB-01S | Illegible Numeric Value Representations | ||
SSG-01S | Illegible Numeric Value Representation | ||
SSG-02S | Inexistent Event Emissions | ||
SSG-03S | Inexistent Sanitization of Input Addresses | ||
SSG-04S | Multiple Top-Level Declarations | ||
SSG-05S | Improper Invocations of EIP-20 transfer |