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:
ID | Severity | Addressed | Title |
---|---|---|---|
BLM-01S | Illegible Numeric Value Representations | ||
BLM-02S | Inexistent Visibility Specifiers | ||
BNO-01S | Inexistent Event Emission | ||
BRY-01S | Inexistent Event Emission | ||
GVT-01S | Deprecated Native Asset Transfers | ||
GVT-02S | Inexistent Sanitization of Input Addresses | ||
IGE-01S | Data Location Optimizations | ||
IGE-02S | Literal Equality of bool Variables | ||
ORO-01S | Inexistent Sanitization of Input Addresses | ||
SRS-01S | Illegible Numeric Value Representations | ||
SRS-02S | Inexistent Visibility Specifiers | ||
SRS-03S | Literal Equality of bool Variable | ||
SPY-01S | Improper Invocations of EIP-20 transfer / transferFrom | ||
SRY-01S | Illegible Numeric Value Representation | ||
SRY-02S | Inexistent Visibility Specifier | ||
VRY-01S | Inexistent Sanitization of Input Addresses |