Omniscia Flisko Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
IDO-01SMinorYesInexistent Data Sanitization
IDO-02SInformationalYesData Location Optimization
KST-01SInformationalYesVariable Mutability Specifier
KSS-01SMinorYesUnutilized Return Values
KSS-02SInformationalYesInexistent Zero Address Check