Omniscia Steer Protocol Audit

Static Analysis

Static Analysis

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

The remaining 5 issues were validated and grouped and formalized into the 4 exhibits that follow:

IDSeverityAddressedTitle
DFH-01SIllegible Numeric Value Representations
DFH-02SInexistent Sanitization of Input Address
DFH-03SPotential Lock of Native Assets
DFH-04SImproper Invocation of EIP-20 transfer