Omniscia Arcade Protocol Audit

Static Analysis

Static Analysis

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

The remaining 9 issues were validated and grouped and formalized into the 5 exhibits that follow:

IDSeverityAddressedTitle
VTV-01SImproper Invocation of EIP-20 transfer
VTR-01SRedundant Variable Assignment
VTR-02SInexistent Sanitization of Input Addresses
VTR-03SImproper Invocation of EIP-20 transfer
VTW-01SImproper Invocation of EIP-20 transfer