Omniscia SaucerSwap Audit

Static Analysis

Static Analysis

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

The remaining 16 issues were validated and grouped and formalized into the 6 exhibits that follow:

IDSeverityAddressedTitle
OEL-01STautological Comparison
PNO-01STautological Comparison
UVF-01SIllegible Numeric Value Representations
UVF-02SInexistent Event Emissions
UVF-03SInexistent Sanitization of Input Addresses
UVP-01STautological Comparison