Omniscia Platypus Finance Audit

Static Analysis

Static Analysis

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

The remaining 3 issues were validated and, along with 2 compilation errors, grouped and formalized into the 4 exhibits that follow:

IDSeverityAddressedTitle
MPS-01SInformationalNoEnumerable Set Optimization
MPS-02SInformationalYesTest Imports
VPP-01SMinorYesInexistent Protection Against Reentrancy
VPP-02SInformationalYesUnused Function Inputs