Omniscia Steer Protocol Audit

Static Analysis

Static Analysis

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

The remaining 17 issues were validated and grouped and formalized into the 3 exhibits that follow:

IDSeverityAddressedTitle
SRD-01SInexistent Event Emissions
SRD-02SInexistent Sanitization of Input Addresses
SRD-03SImproper Invocations of EIP-20 transfer / transferFrom