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:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| BDE-01S | ![]() | ![]() | Illegible Numeric Value Representations |
| BDE-02S | ![]() | ![]() | Inexistent Event Emissions |
| BDE-03S | ![]() | ![]() | Inexistent Sanitization of Input Addresses |
| BDE-04S | ![]() | ![]() | Multiple Top-Level Declarations |
| BDE-05S | ![]() | ![]() | Variable Mutability Specifiers (Constant) |
| BDE-06S | ![]() | ![]() | Deprecated Native Asset Transfer |
| BDE-07S | ![]() | ![]() | Improper Invocations of EIP-20 transfer / transferFrom |
| BL2-01S | ![]() | ![]() | Illegible Numeric Value Representations |
| BL2-02S | ![]() | ![]() | Inexistent Event Emissions |
| BL2-03S | ![]() | ![]() | Inexistent Sanitization of Input Addresses |
| BL2-04S | ![]() | ![]() | Multiple Top-Level Declarations |
| BL2-05S | ![]() | ![]() | Variable Mutability Specifiers (Constant) |
| BL2-06S | ![]() | ![]() | Improper Invocations of EIP-20 transfer / transferFrom |
| UDE-01S | ![]() | ![]() | Inexistent Event Emission |
| UDE-02S | ![]() | ![]() | Inexistent Sanitization of Input Address |



