Omniscia Euler Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
EDR-01SInexistent Sanitization of Input Addresses
EDR-02SInexistent Event Emission
ESS-01SInexistent Sanitization of Input Addresses
ESS-02SData Location Optimizations