Omniscia BlazeSwap Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
BBF-01SInexistent Sanitization of Input Address
BSB-01SInexistent Visibility Specifier
BSB-02SInexistent Sanitization of Input Addresses
BDP-01SInexistent Sanitization of Input Address
BFR-01SIllegible Numeric Value Representation
BFR-02SRedundant Argument Definition
CON-01SInexistent Sanitization of Input Address
BRM-01SData Location Optimization
BRM-02SInexistent Sanitization of Input Address
BRM-03SPotential Lock of Native Assets
BRM-04SImproper Invocation of EIP-20 transfer
BSR-01SInexistent Sanitization of Input Addresses
BSR-02SImproper Invocation of EIP-20 transfer
COF-01SInexistent Sanitization of Input Address
DEL-01SIllegible Numeric Value Representation