Omniscia Alliance Block Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
FCF-01SInformationalYesData Location Optimization
FCF-02SInformationalYesUnused Return Value
IWT-01SMinorYesIncorrect ERC20 Interface
ROU-01SInformationalYesData Location Optimization
ROU-02SInformationalYesUnused Return Value
RFT-01SInformationalYesUnused Return Value
WTN-01SInformationalNoSensible Inheritence