Omniscia Alliance Block Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
GFT-01SInexistent Zero Address Check
WER-01SInexistent Application of CEI Pattern
WER-02SUnoptimized Function Visibilities