Omniscia Colony Lab Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
PGU-01SInexistent Event Emission
PGU-02SRedundant bool Variable Comparison
RSG-01SInexplicable Loss of Precision