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:

IDSeverityAddressedTitle
BOQ-01SImproper Invocations of EIP-20 transfer / transferFrom
ARB-01SInexistent Sanitization of Input Addresses
ARB-02SImproper Invocations of EIP-20 transfer / transferFrom
COM-01SInexistent Sanitization of Input Addresses
COM-02SImproper Invocations of EIP-20 transfer / transferFrom
EXT-01SInexistent Sanitization of Input Addresses
MIT-01SInexistent Event Emissions
PRI-01SInexistent Sanitization of Input Addresses
STA-01SInexistent Sanitization of Input Addresses
STA-02SImproper Invocations of EIP-20 transfer / transferFrom
TRE-01SImproper Invocations of EIP-20 transfer / transferFrom
TRO-01SInexistent Sanitization of Input Addresses
TRO-02SImproper Invocations of EIP-20 transfer / transferFrom