Omniscia Sovryn Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
MAS-01SMinorNoImproper ERC-20 Transfers
MAS-02SMinorNoInapplicacy of Checks-Effects-Interactions
TPA-01SMinorYesInapplicacy of Checks-Effects-Interactions