Omniscia Stakewise Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
ERC-01SInformationalYesRedundant Empty Code Block
ORA-01SInformationalYesVariable Data Location Optimization
POO-01SMinorYesPotentially Misconfigured Upgrade
POO-02SInformationalYesVariable Data Location Optimization
PVS-01SMinorYesInexistent Zero-Based Input Validation
RET-01SMinorYesInexistent Sanitization Against Claim to Zero
RET-02SMinorYesInexistent Zero-Based Input Validation
RET-03SInformationalNoUsage of Accuracy Numeric Literal
RET-04SInformationalNoUsage of Percentage Numeric Literal