Omniscia Avant Protocol Audit

Static Analysis

Static Analysis

The execution of our static analysis toolkit identified 29 potential issues within the codebase of which 24 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
AUM-01SIllegible Numeric Value Representation
AUD-01SInexistent Sanitization of Input Addresses
AUD-02SInexistent Visibility Specifiers
AUD-03SImproper Invocation of EIP-20 transfer