Omniscia Morpho Labs Audit

Static Analysis

Static Analysis

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

The remaining 15 issues were validated and grouped and formalized into the 9 exhibits that follow:

IDSeverityAddressedTitle
SHV-01SIllegible Numeric Value Representation
SRC-01SIllegible Numeric Value Representations
SRC-02SInexistent Sanitization of Input Address
SHV-02SInexistent Sanitization of Input Addresses
SVU-01SInexistent Sanitization of Input Addresses
SRO-01SInexistent Sanitization of Input Addresses
UVS-01SInexistent Sanitization of Input Addresses
SRU-01SIllegible Numeric Value Representation
SRU-02SInexistent Sanitization of Input Address