Omniscia Dapp Radar Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
LAP-01SData Location Optimizations
SRC-01SInexistent Visibility Specifier
SRC-02SLiteral Equality of bool Variable
SRC-03SRedundant Variable Assignment
SRP-01SLiteral Equality of bool Variable
SRP-02SRedundant Variable Assignments