Omniscia Box Fun Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
BDE-01SIllegible Numeric Value Representations
BDE-02SInexistent Event Emissions
BDE-03SInexistent Sanitization of Input Addresses
BDE-04SMultiple Top-Level Declarations
BDE-05SVariable Mutability Specifiers (Constant)
BDE-06SDeprecated Native Asset Transfer
BDE-07SImproper Invocations of EIP-20 transfer / transferFrom
BL2-01SIllegible Numeric Value Representations
BL2-02SInexistent Event Emissions
BL2-03SInexistent Sanitization of Input Addresses
BL2-04SMultiple Top-Level Declarations
BL2-05SVariable Mutability Specifiers (Constant)
BL2-06SImproper Invocations of EIP-20 transfer / transferFrom
UDE-01SInexistent Event Emission
UDE-02SInexistent Sanitization of Input Address