Omniscia Kyo Finance Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
ERO-01SInexistent Sanitization of Input Address
ENO-01SInexistent Sanitization of Input Addresses
SSC-01SInexistent Sanitization of Input Address
UVY-01SInexistent Sanitization of Input Address
UVF-01SIllegible Numeric Value Representation
UVP-01SIllegible Numeric Value Representation
UVD-01SInexistent Sanitization of Input Addresses