Omniscia Bonq Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 592 potential issues within the codebase of which 554 were ruled out to be false positives or negligible findings.
The remaining 38 issues were validated and grouped and formalized into the 13 exhibits that follow:
ID | Severity | Addressed | Title |
---|---|---|---|
BOQ-01S | Improper Invocations of EIP-20 transfer / transferFrom | ||
ARB-01S | Inexistent Sanitization of Input Addresses | ||
ARB-02S | Improper Invocations of EIP-20 transfer / transferFrom | ||
COM-01S | Inexistent Sanitization of Input Addresses | ||
COM-02S | Improper Invocations of EIP-20 transfer / transferFrom | ||
EXT-01S | Inexistent Sanitization of Input Addresses | ||
MIT-01S | Inexistent Event Emissions | ||
PRI-01S | Inexistent Sanitization of Input Addresses | ||
STA-01S | Inexistent Sanitization of Input Addresses | ||
STA-02S | Improper Invocations of EIP-20 transfer / transferFrom | ||
TRE-01S | Improper Invocations of EIP-20 transfer / transferFrom | ||
TRO-01S | Inexistent Sanitization of Input Addresses | ||
TRO-02S | Improper Invocations of EIP-20 transfer / transferFrom |