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:

IDSeverityAddressedTitle
ABL-01SIllegible Numeric Value Representations
BLM-01SIllegible Numeric Value Representations
DSG-01SInexistent Event Emission
DSG-02SInexistent Sanitization of Input Addresses
DSG-03SMultiple Top-Level Declarations
DSG-04SImproper Invocations of EIP-20 transfer
FMR-01SInexistent Event Emission
FMR-02SInexistent Initialization Protection of Base Implementation
PSB-01SIllegible Numeric Value Representations
SSG-01SIllegible Numeric Value Representation
SSG-02SInexistent Event Emissions
SSG-03SInexistent Sanitization of Input Addresses
SSG-04SMultiple Top-Level Declarations
SSG-05SImproper Invocations of EIP-20 transfer