Omniscia Xcaliswap Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
GEG-01SInexistent Sanitization of Input Addresses
MRE-01SIllegible Numeric Value Representations
MRE-02SInexistent Sanitization of Input Addresses
MPA-01SIllegible Numeric Value Representation
MPA-02SInexistent Sanitization of Input Address
MPA-03SImproper Invocation of EIP-20 transferFrom
RUL-01SInexistent Sanitization of Input Address
SFY-01SRedundant Variable Assignment
SFY-02SInexistent Sanitization of Input Address
SFS-01SInexistent Sanitization of Input Addresses
SPR-01SIllegible Numeric Value Representation
SPR-02SInexistent Visibility Specifiers
TNE-01SInexistent Sanitization of Input Address
VRE-01SIllegible Numeric Value Representation
VRE-02SInexistent Sanitization of Input Addresses
VDT-01SIllegible Numeric Value Representation
VDT-02SInexistent Sanitization of Input Address
VEW-01SInexistent Sanitization of Input Address