Omniscia Astrolab DAO Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
A62-01SInexistent Event Emissions
AAT-01SInexistent Event Emission
AMS-01SIllegible Numeric Value Representation
ARE-01SInexistent Visibility Specifiers
ARE-02SDeprecated Native Asset Transfer
SV5-01SInexistent Event Emission
SVC-01SInexistent Event Emission