Omniscia Metavisor Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
MBV-01SPotential Lock of Native Assets
MBV-02SImproper Invocations of EIP-20 transfer
MMV-01SDeprecated Native Asset Transfer
MMV-02SImproper Invocations of EIP-20 transfer / transferFrom
MRY-01SIllegible Numeric Value Representation
MRY-02SInexistent Sanitization of Input Addresses