Omniscia NFTFY Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
SHA-01SMinorNoVariable Shadowing
SHA-02SMinorYesInapplicacy of Checks-Effects-Interactions Pattern
WRA-01SMinorYesInexistent Input Sanitization
WRA-02SInformationalYesUnutilized Return Value