Omniscia Maverick Protocol Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
MVM-01SInexistent Sanitization of Input Addresses
MVF-01SInexistent Sanitization of Input Addresses
MVE-01SInexistent Sanitization of Input Address
MVY-01SInexistent Sanitization of Input Address