Omniscia AllianceBlock Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
ABT-01SData Location Optimizations
ABT-02SInexistent Sanitization of Input Addresses