Omniscia Steer Protocol Audit

Static Analysis

Static Analysis

The execution of our static analysis toolkit identified 497 potential issues within the codebase of which 461 were ruled out to be false positives or negligible findings.

The remaining 36 issues were validated and grouped and formalized into the 16 exhibits that follow:

IDSeverityAddressedTitle
BLM-01SIllegible Numeric Value Representations
BLM-02SInexistent Visibility Specifiers
BNO-01SInexistent Event Emission
BRY-01SInexistent Event Emission
GVT-01SDeprecated Native Asset Transfers
GVT-02SInexistent Sanitization of Input Addresses
IGE-01SData Location Optimizations
IGE-02SLiteral Equality of bool Variables
ORO-01SInexistent Sanitization of Input Addresses
SRS-01SIllegible Numeric Value Representations
SRS-02SInexistent Visibility Specifiers
SRS-03SLiteral Equality of bool Variable
SPY-01SImproper Invocations of EIP-20 transfer / transferFrom
SRY-01SIllegible Numeric Value Representation
SRY-02SInexistent Visibility Specifier
VRY-01SInexistent Sanitization of Input Addresses