Omniscia Olive Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
MAN-01SArbitrary Code Execution
MAN-02SInexistent Validation of Input Address
MAN-03SInefficient Usage of EnumerableSet
POO-01SVariable Shadowing
STA-01SInefficient Usage of EnumerableSet
STA-02SRedundant Zero Value Writes